15 ideas
| 14626 | In S5 matters of possibility and necessity are non-contingent [Williamson] |
| Full Idea: In system S5 matters of possibility and necessity are always non-contingent. | |
| From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 3) | |
| A reaction: This will be because if something is possible in one world (because it can be seen to be true in some possible world) it will be possible for all worlds (since they can all see that world in S5). |
| 18755 | Validity is explained as truth in all models, because that relies on the logical terms [McGee] |
| Full Idea: A model of a language assigns values to non-logical terms. If a sentence is true in every model, its truth doesn't depend on those non-logical terms. Hence the validity of an argument comes from its logical form. Thus models explain logical validity. | |
| From: Vann McGee (Logical Consequence [2014], 4) | |
| A reaction: [compressed] Thus you get a rigorous account of logical validity by only allowing the rigorous input of model theory. This is the modern strategy of analytic philosophy. But is 'it's red so it's coloured' logically valid? |
| 18751 | Natural language includes connectives like 'because' which are not truth-functional [McGee] |
| Full Idea: Natural language includes connectives that are not truth-functional. In order for 'p because q' to be true, both p and q have to be true, but knowing the simpler sentences are true doesn't determine whether the larger sentence is true. | |
| From: Vann McGee (Logical Consequence [2014], 2) |
| 18946 | Unreflectively, we all assume there are nonexistents, and we can refer to them [Reimer] |
| Full Idea: As speakers of the language, we unreflectively assume that there are nonexistents, and that reference to them is possible. | |
| From: Marga Reimer (The Problem of Empty Names [2001], p.499), quoted by Sarah Sawyer - Empty Names 4 | |
| A reaction: Sarah Swoyer quotes this as a good solution to the problem of empty names, and I like it. It introduces a two-tier picture of our understanding of the world, as 'unreflective' and 'reflective', but that seems good. We accept numbers 'unreflectively'. |
| 18761 | Second-order variables need to range over more than collections of first-order objects [McGee] |
| Full Idea: To get any advantage from moving to second-order logic, we need to assign to second-order variables a role different from merely ranging over collections made up of things the first-order variables range over. | |
| From: Vann McGee (Logical Consequence [2014], 7) | |
| A reaction: Thus it is exciting if they range over genuine properties, but not so exciting if you merely characterise those properties as sets of first-order objects. This idea leads into a discussion of plural quantification. |
| 18753 | An ontologically secure semantics for predicate calculus relies on sets [McGee] |
| Full Idea: We can get a less ontologically perilous presentation of the semantics of the predicate calculus by using sets instead of concepts. | |
| From: Vann McGee (Logical Consequence [2014], 4) | |
| A reaction: The perilous versions rely on Fregean concepts, and notably Russell's 'concept that does not fall under itself'. The sets, of course, have to be ontologically secure, and so will involve the iterative conception, rather than naive set theory. |
| 18754 | Logically valid sentences are analytic truths which are just true because of their logical words [McGee] |
| Full Idea: Logically valid sentences are a species of analytic sentence, being true not just in virtue of the meanings of their words, but true in virtue of the meanings of their logical words. | |
| From: Vann McGee (Logical Consequence [2014], 4) | |
| A reaction: A helpful link between logical truths and analytic truths, which had not struck me before. |
| 18757 | Soundness theorems are uninformative, because they rely on soundness in their proofs [McGee] |
| Full Idea: Soundness theorems are seldom very informative, since typically we use informally, in proving the theorem, the very same rules whose soundness we are attempting to establish. | |
| From: Vann McGee (Logical Consequence [2014], 5) | |
| A reaction: [He cites Quine 1935] |
| 18760 | The culmination of Euclidean geometry was axioms that made all models isomorphic [McGee] |
| Full Idea: One of the culminating achievements of Euclidean geometry was categorical axiomatisations, that describe the geometric structure so completely that any two models of the axioms are isomorphic. The axioms are second-order. | |
| From: Vann McGee (Logical Consequence [2014], 7) | |
| A reaction: [He cites Veblen 1904 and Hilbert 1903] For most mathematicians, categorical axiomatisation is the best you can ever dream of (rather than a single true axiomatisation). |
| 14625 | Necessity is counterfactually implied by its negation; possibility does not counterfactually imply its negation [Williamson] |
| Full Idea: Modal thinking is logically equivalent to a type of counterfactual thinking. ...The necessary is that which is counterfactually implied by its own negation; the possible is that which does not counterfactually imply its own negation. | |
| From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1) | |
| A reaction: I really like this, because it builds modality on ordinary imaginative thinking. He says you just need to grasp counterfactuals, and also negation and absurdity, and you can then understand necessity and possibility. We can all do that. |
| 14623 | Strict conditionals imply counterfactual conditionals: □(A⊃B)⊃(A□→B) [Williamson] |
| Full Idea: The strict conditional implies the counterfactual conditional: □(A⊃B) ⊃ (A□→B) - suppose that A would not have held without B holding too; then if A had held, B would also have held. | |
| From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1) | |
| A reaction: [He then adds a reading of his formula in terms of possible worlds] This sounds rather close to modus ponens. If A implies B, and A is actually the case, what have you got? B! |
| 14624 | Counterfactual conditionals transmit possibility: (A□→B)⊃(◊A⊃◊B) [Williamson] |
| Full Idea: The counterfactual conditional transmits possibility: (A□→B) ⊃ (◊A⊃◊B). Suppose that if A had held, B would also have held; the if it is possible for A to hold, it is also possible for B to hold. | |
| From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 1) |
| 14531 | Rather than define counterfactuals using necessity, maybe necessity is a special case of counterfactuals [Williamson, by Hale/Hoffmann,A] |
| Full Idea: Instead of regarding counterfactuals as conditionals restricted to a range of possible worlds, we can define the necessity operator by means of counterfactuals. Metaphysical necessity is a special case of ordinary counterfactual thinking. | |
| From: report of Timothy Williamson (Modal Logic within Counterfactual Logic [2010]) by Bob Hale/ Aviv Hoffmann - Introduction to 'Modality' 2 | |
| A reaction: [compressed] I very much like Williamson's approach, of basing these things on the ordinary way that ordinary people think. To me it is a welcome inclusion of psychology into metaphysics, which has been out in the cold since Frege. |
| 14628 | Imagination is important, in evaluating possibility and necessity, via counterfactuals [Williamson] |
| Full Idea: Imagination can be made to look cognitively worthless. Once we recall its fallible but vital role in evaluating counterfactual conditionals, we should be more open to the idea that it plays such a role in evaluating claims of possibility and necessity. | |
| From: Timothy Williamson (Modal Logic within Counterfactual Logic [2010], 6) | |
| A reaction: I take this to be a really important idea, because it establishes the importance of imagination within the formal framework of modern analytic philosopher (rather than in the whimsy of poets and dreamers). |
| 18762 | A maxim claims that if we are allowed to assert a sentence, that means it must be true [McGee] |
| Full Idea: If our linguistic conventions entitle us to assert a sentence, they thereby make it true, because of the maxim that 'truth is the norm of assertion'. | |
| From: Vann McGee (Logical Consequence [2014], 8) | |
| A reaction: You could only really deny that maxim if you had no belief at all in truth, but then you can assert anything you like (with full entitlement). Maybe you can assert anything you like as long as it doesn't upset anyone? Etc. |