21 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. |
| 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). |
| 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. |
| 19701 | Fallibilism is consistent with dogmatism or scepticism, and is not alternative to them [Dougherty] |
| Full Idea: There has been a tendency to treat fallibilism as an alternative to either dogmatism or scepticism. ...But it is much better to think of fallibilism as consistent with either dogmatism or skepticism. | |
| From: Trent Dougherty (Fallibilism [2011], 'Closure') | |
| A reaction: It seems perfectly reasonably to describe oneself as a 'fallibilist dogmatist' (perhaps from the Pope?), or a 'fallibilist sceptic' (perhaps from Peter Unger?), so this idea sounds correct. |
| 19700 | It is best to see the fallibility in the reasons, rather than in the agents or the knowledge [Dougherty] |
| Full Idea: It seems best to take fallible reasons as the basic notion of fallibilism. So fallible knowers are agents who know what they know on the basis of fallible reasons. Fallible knowledge will be knowledge on basis of fallible reasons. | |
| From: Trent Dougherty (Fallibilism [2011], 'Cognates') | |
| A reaction: This is because an ideal knower would be compelled by the evidence, so if fallibilism is universal it must reside in the evidence and not in the knower (bottom p.131). |
| 19702 | We can't normally say that we know something 'but it might be false' [Dougherty] |
| Full Idea: It will ordinarily be conversationally inappropriate to say 'I know that p, but p might be false' even if it is true, since this would mislead an interlocutor to infer that that possibility was an epistemically significant one. | |
| From: Trent Dougherty (Fallibilism [2011], 'Epistemic') | |
| A reaction: This seems to imply hypocrisy when a fallibilist philosopher claims (in non-philosophical company) to know something. Fair enough. Philosophers are in a permanent state of hypocrisy about what they are really thinking. That's the fun of it. |
| 411 | If we succeed in speaking the truth, we cannot know we have done it [Xenophanes] |
| Full Idea: No man has seen certain truth, and no man will ever know about the gods and other things I mentioned; for if he succeeds in saying what is fully true, he himself is unaware of it; opinion is fixed by fate on all things. | |
| From: Xenophanes (fragments/reports [c.530 BCE], B34), quoted by Sextus Empiricus - Against the Professors (six books) 7.49.4 |
| 412 | If God had not created honey, men would say figs are sweeter [Xenophanes] |
| Full Idea: If God had not created yellow honey, men would say that figs were sweeter. | |
| From: Xenophanes (fragments/reports [c.530 BCE], B38), quoted by Herodian - On Peculiar Speech 41.5 |
| 1640 | The basic Eleatic belief was that all things are one [Xenophanes, by Plato] |
| Full Idea: The Eleatic tribe, which had its beginnings from Xenophanes and still earlier, proceed on the grounds that all things so-called are one. | |
| From: report of Xenophanes (fragments/reports [c.530 BCE]) by Plato - The Sophist 242d |
| 3055 | Xenophanes said the essence of God was spherical and utterly inhuman [Xenophanes, by Diog. Laertius] |
| Full Idea: Xenophanes taught that the essence of God was of a spherical form, in no respect resembling man. | |
| From: report of Xenophanes (fragments/reports [c.530 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 09.2.3 |
| 408 | Ethiopian gods have black hair, and Thracian gods have red hair [Xenophanes] |
| Full Idea: Ethiopians have gods with snub noses and black hair, Thracians have gods with grey eyes and red hair. | |
| From: Xenophanes (fragments/reports [c.530 BCE], B16), quoted by Clement - Miscellanies 7.22.1 |
| 407 | Mortals believe gods are born, and have voices and clothes just like mortals [Xenophanes] |
| Full Idea: Mortals believe the gods to be created by birth, and to have raiment, voice and body like mortals'. | |
| From: Xenophanes (fragments/reports [c.530 BCE], B14), quoted by Clement - Miscellanies 5.109.2 |