20 ideas
| 18487 | We want to know what makes sentences true, rather than defining 'true' [McFetridge] |
| Full Idea: The generalisation 'What makes a (any) sentence true?' is not a request for definitions of 'true' (the concept), but rather requests for (partial) explanations of why certain particular sentences are true. | |
| From: Ian McFetridge (Truth, Correspondence, Explanation and Knowledge [1977], II) | |
| A reaction: McFetridge is responding to the shortcomings of Tarski's account of truth. The mystery seems to be why some of our representations of the world are 'successful', and others are not. |
| 10304 | Very few things in set theory remain valid in intuitionist mathematics [Bernays] |
| Full Idea: Very few things in set theory remain valid in intuitionist mathematics. | |
| From: Paul Bernays (On Platonism in Mathematics [1934]) |
| 10303 | Restricted Platonism is just an ideal projection of a domain of thought [Bernays] |
| Full Idea: A restricted Platonism does not claim to be more than, so to speak, an ideal projection of a domain of thought. | |
| From: Paul Bernays (On Platonism in Mathematics [1934], p.261) | |
| A reaction: I have always found Platonism to be congenial when it talks of 'ideals', and ridiculous when it talks of a special form of 'existence'. Ideals only 'exist' because we idealise things. I may declare myself, after all, to be a Restricted Platonist. |
| 10306 | Mathematical abstraction just goes in a different direction from logic [Bernays] |
| Full Idea: Mathematical abstraction does not have a lesser degree than logical abstraction, but rather another direction. | |
| From: Paul Bernays (On Platonism in Mathematics [1934], p.268) | |
| A reaction: His point is that the logicists seem to think that if you increasingly abstract from mathematics, you end up with pure logic. |
| 18488 | We normally explain natural events by citing further facts [McFetridge] |
| Full Idea: If one were asked 'What makes salt soluble in water?', the most natural answer would be something of the style 'The fact that it has such-and-such structure'. | |
| From: Ian McFetridge (Truth, Correspondence, Explanation and Knowledge [1977], II) | |
| A reaction: Personally I would want to talk about its 'powers' (dispositional properties), rather than its 'structure' (categorical properties). This defends facts, but you could easily paraphrase 'fact' out of this reply (as McFetridge realised). |
| 9052 | Vague predicates lack application; there are no borderline cases; vague F is not F [Unger, by Keefe/Smith] |
| Full Idea: In a slogan, Unger's thesis is that all vague predicates lack application ('nihilism', says Williamson). Classical logic can be retained in its entirety. There are no borderline cases: for vague F, everything is not F; nothing is either F or borderline F. | |
| From: report of Peter Unger (There are no ordinary things [1979]) by R Keefe / P Smith - Intro: Theories of Vagueness §1 | |
| A reaction: Vague F could be translated as 'I'm quite tempted to apply F', in which case Unger is right. This would go with Russell's view. Logic and reason need precise concepts. The only strategy with vagueness is to reason hypothetically. |
| 16070 | There are no objects with proper parts; there are only mereological simples [Unger, by Wasserman] |
| Full Idea: Eliminativism is often associated with Unger, who defends 'mereological nihilism', that there are no composite objects (objects with proper parts); there are only mereological simples (with no proper parts). The nihilist denies statues and ships. | |
| From: report of Peter Unger (There are no ordinary things [1979]) by Ryan Wasserman - Material Constitution 4 | |
| A reaction: The puzzle here is that he has a very clear notion of identity for the simples, but somehow bars combinations from having identity. So identity is simplicity? 'Complex identity' doesn't sound like an oxymoron. We're stuck if there are no simples. |
| 12184 | Logical necessity overrules all other necessities [McFetridge] |
| Full Idea: If it is logically necessary that if p then q, then there is no other sense of 'necessary' in which it is not necessary that if p then q. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
| A reaction: The thesis which McFetridge proposes to defend. The obvious rival would be metaphysical necessity, and the rival claim would presumably be that things are only logically necessary if that is entailed by a metaphysical necessity. Metaphysics drives logic. |
| 15083 | The fundamental case of logical necessity is the valid conclusion of an inference [McFetridge, by Hale] |
| Full Idea: McFetridge's conception of logical necessity is one which sees the concept as receiving its fundamental exemplification in the connection between the premiss and conclusion of a deductively valid inference. | |
| From: report of Ian McFetridge (Logical Necessity: Some Issues [1986]) by Bob Hale - Absolute Necessities 2 | |
| A reaction: This would mean that p could be logically necessary but false (if it was a valid argument from false premisses). What if it was a valid inference in a dodgy logical system (including 'tonk', for example)? |
| 15084 | In the McFetridge view, logical necessity means a consequent must be true if the antecedent is [McFetridge, by Hale] |
| Full Idea: McFetridge's view proves that if the conditional corresponding to a valid inference is logically necessary, then there is no sense in which it is possible that its antecedent be true but its consequent false. ..This result generalises to any statement. | |
| From: report of Ian McFetridge (Logical Necessity: Some Issues [1986]) by Bob Hale - Absolute Necessities 2 | |
| A reaction: I am becoming puzzled by Hale's assertion that logical necessity is 'absolute', while resting his case on a conditional. Are we interested in the necessity of the inference, or the necessity of the consequent? |
| 12180 | Logical necessity requires that a valid argument be necessary [McFetridge] |
| Full Idea: There will be a legitimate notion of 'logical' necessity only if there is a notion of necessity which attaches to the claim, concerning a deductively valid argument, that if the premisses are true then so is the conclusion. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
| A reaction: He quotes Aristotle's Idea 11148 in support. Is this resting a stronger idea on a weaker one? Or is it the wrong way round? We endorse validity because we see the necessity; we don't endorse necessity because we see 'validity'. |
| 12181 | Traditionally, logical necessity is the strongest, and entails any other necessities [McFetridge] |
| Full Idea: The traditional crucial assumption is that logical necessity is the strongest notion of necessity. If it is logically necessary that p, then it is necessary that p in any other use of the notion of necessity there may be (physically, practically etc.). | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
| A reaction: Sounds right. We might say it is physically necessary simply because it is logically necessary, and even that it is metaphysically necessary because it is logically necessary (required by logic). Logical possibility is hence the weakest kind? |
| 12183 | It is only logical necessity if there is absolutely no sense in which it could be false [McFetridge] |
| Full Idea: Is there any sense in which, despite an ascription of necessity to p, it is held that not-p is possible? If there is, then the original claim then it was necessary is not a claim of 'logical' necessity (which is the strongest necessity). | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
| A reaction: See Idea 12181, which leads up to this proposed "test" for logical necessity. McFetridge has already put epistemic ('for all I know') possibility to one side. □p→¬◊¬p is the standard reading of necessity. His word 'sense' bears the burden. |
| 12192 | The mark of logical necessity is deduction from any suppositions whatever [McFetridge] |
| Full Idea: The manifestation of the belief that a mode of inference is logically necessarily truth-preserving is the preparedness to employ that mode of inference in reasoning from any set of suppositions whatsoever. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §4) | |
| A reaction: He rests this on the idea of 'cotenability' of the two sides of a counterfactual (in Mill, Goodman and Lewis). There seems, at first blush, to be a problem of the relevance of the presuppositions. |
| 12182 | We assert epistemic possibility without commitment to logical possibility [McFetridge] |
| Full Idea: Time- and person-relative epistemic possibility can be asserted even when logical possibility cannot, such as undecided mathematical propositions. 'It may be that p' just comes to 'For all I know, not-p'. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §1) | |
| A reaction: If it is possible 'for all I know', then it could be actual for all I know, and if we accept that it might be actual, we could hardly deny that it is logically possible. Logical and epistemic possibilities of mathematical p stand or fall together. |
| 12187 | Objectual modal realists believe in possible worlds; non-objectual ones rest it on the actual world [McFetridge] |
| Full Idea: The 'objectual modal realist' holds that what makes modal beliefs true are certain modal objects, typically 'possible worlds'. ..The 'non-objectual modal realist' says modal judgements are made true by how things stand with respect to this world. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §2) | |
| A reaction: I am an enthusiastic 'non-objectual modal realist'. I accept the argument that real possible worlds have no relevance to the actual world, and explain nothing (see Jubien). The possibilities reside in the 'powers' of this world. See Molnar on powers. |
| 12186 | Modal realists hold that necessities and possibilities are part of the totality of facts [McFetridge] |
| Full Idea: The 'modal realist' holds that part of the totality of what is the case, the totality of facts, are such things as that certain events could have happened, certain propositions are necessarily true, if this happened then that would have been the case. | |
| From: Ian McFetridge (Logical Necessity: Some Issues [1986], §2) | |
| A reaction: I am an enthusiastic modal realist. If the aim of philosophy is 'to understand' (and I take that to be the master idea of the subject) then no understanding is possible which excludes the possibilities and necessities in things. |
| 8724 | The meaning of 'know' does not change from courtroom to living room [Unger] |
| Full Idea: There is no reason to suppose that the meaning of 'know' changes from the courtroom to the living room and back again; no more than for supposing that 'vacuum' changes from the laboratory to the cannery. | |
| From: Peter Unger (Ignorance: a Case for Scepticism [1975], 2.1) | |
| A reaction: I disagree. Lots of words change their meaning (or reference) according to context. Flat, fast, tall, clever. She 'knows a lot' certainly requires a context. The bar of justification goes up and down, and 'knowledge' changes accordingly. |
| 8722 | No one knows anything, and no one is ever justified or reasonable [Unger] |
| Full Idea: I argue for the thesis that no one ever knows about anything, ...and that consequently no one is ever justified or at all reasonable in anything. | |
| From: Peter Unger (Ignorance: a Case for Scepticism [1975], Intro) | |
| A reaction: The premiss of his book seems to be that knowledge is assumed to require certainty, and is therefore impossible. Unger has helped push us to a more relaxed and fallibilist attitude to knowledge. 'No one is reasonable' is daft! |
| 8723 | An evil scientist may give you a momentary life, with totally false memories [Unger] |
| Full Idea: The evil scientist might not only be deceiving you with his electrodes; maybe he has just created you with your ostensible memory beliefs and experiences, and for good measure he will immediately destroy you, so in the next moment you no longer exist. | |
| From: Peter Unger (Ignorance: a Case for Scepticism [1975], 1.12) | |
| A reaction: This is based on Russell's scepticism about memory (Idea 2792). Even this very train of thought may not exist, if the first half of it was implanted, rather than being developed by you. I cannot see how to dispute this possibility. |