8 ideas
| 10121 | Contradiction is not a sign of falsity, nor lack of contradiction a sign of truth [Pascal] |
| Full Idea: Contradiction is not a sign of falsity, nor the lack of contradiction a sign of truth. | |
| From: Blaise Pascal (works [1660]), quoted by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
| A reaction: [Quoted in Auden and Kronenberger's Book of Aphorisms] Presumably we would now say that contradiction is a purely formal, syntactic notion, and not a semantic one. If you hit a contradiction, something has certainly gone wrong. |
| 12205 | There are two families of modal notions, metaphysical and epistemic, of equal strength [Edgington] |
| Full Idea: In my view, there are two independent families of modal notions, metaphysical and epistemic, neither stronger than the other. | |
| From: Dorothy Edgington (Two Kinds of Possibility [2004], Abs) | |
| A reaction: My immediate reaction is that epistemic necessity is not necessity at all. 'For all I know' 2 plus 2 might really be 95, and squares may also be circular. |
| 12207 | Metaphysical possibility is discovered empirically, and is contrained by nature [Edgington] |
| Full Idea: Metaphysical necessity derives from distinguishing things which can happen and things which can't, in virtue of their nature, which we discover empirically: the metaphysically possible, I claim, is constrained by the laws of nature. | |
| From: Dorothy Edgington (Two Kinds of Possibility [2004], §I) | |
| A reaction: She claims that Kripke is sympathetic to this. Personally I like the idea that natural necessity is metaphysically necessary (see 'Scientific Essentialism'), but the other way round comes as a bit of a surprise. I will think about it. |
| 12206 | Broadly logical necessity (i.e. not necessarily formal logical necessity) is an epistemic notion [Edgington] |
| Full Idea: So-called broadly logical necessity (by which I mean, not necessarily formal logical necessity) is an epistemic notion. | |
| From: Dorothy Edgington (Two Kinds of Possibility [2004], §I) | |
| A reaction: This is controversial, and is criticised by McFetridge and Rumfitt. Fine argues that 'narrow' (formal) logical necessity is metaphysical. Between them they have got rid of logical necessity completely. |
| 12208 | An argument is only valid if it is epistemically (a priori) necessary [Edgington] |
| Full Idea: Validity is governed by epistemic necessity, i.e. an argument is valid if and only if there is an a priori route from premises to conclusion. | |
| From: Dorothy Edgington (Two Kinds of Possibility [2004], §V) | |
| A reaction: Controversial, and criticised by McFetridge and Rumfitt. I don't think I agree with her. I don't see validity as depending on dim little human beings. |
| 9216 | Each area of enquiry, and its source, has its own distinctive type of necessity [Fine,K] |
| Full Idea: The three sources of necessity - the identity of things, the natural order, and the normative order - have their own peculiar forms of necessity. The three main areas of human enquiry - metaphysics, science and ethics - each has its own necessity. | |
| From: Kit Fine (The Varieties of Necessity [2002], 6) | |
| A reaction: I would treat necessity in ethics with caution, if it is not reducible to natural or metaphysical necessity. Fine's proposal is interesting, but I did not find it convincing, especially in its view that metaphysical necessity doesn't intrude into nature. |
| 9214 | Unsupported testimony may still be believable [Fine,K] |
| Full Idea: I may have good reason to believe some testimony, for example, even though the person providing the testimony has no good reason for saying what he does. | |
| From: Kit Fine (The Varieties of Necessity [2002], 5) | |
| A reaction: Thus small children, madmen and dreamers may occasionally get things right without realising it. I take testimony to be merely one more batch of evidence which has to be assessed in building the most coherent picture possible. |
| 9215 | Causation is easier to disrupt than logic, so metaphysics is part of nature, not vice versa [Fine,K] |
| Full Idea: It would be harder to break P-and-Q implying P than the connection between cause and effect. This difference in strictness means it is more plausible that natural necessities include metaphysical necessities, than vice versa. | |
| From: Kit Fine (The Varieties of Necessity [2002], 6) | |
| A reaction: I cannot see any a priori grounds for the claim that causation is more easily disrupted than logic. It seems to be based on the strategy of inferring possibilities from what can be imagined, which seems to me to lead to wild misunderstandings. |