16 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). |
| 9967 | 'Impure' sets have a concrete member, while 'pure' (abstract) sets do not [Jubien] |
| Full Idea: Any set with a concrete member is 'impure'. 'Pure' sets are those that are not impure, and are paradigm cases of abstract entities, such as the sort of sets apparently dealt with in Zermelo-Fraenkel (ZF) set theory. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.116) | |
| A reaction: [I am unclear whether Jubien is introducing this distinction] This seems crucial in accounts of mathematics. On the one had arithmetic can be built from Millian pebbles, giving impure sets, while logicists build it from pure sets. |
| 9968 | A model is 'fundamental' if it contains only concrete entities [Jubien] |
| Full Idea: A first-order model can be viewed as a kind of ordered set, and if the domain of the model contains only concrete entities then it is a 'fundamental' model. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.117) | |
| A reaction: An important idea. Fundamental models are where the world of logic connects with the physical world. Any account of relationship between fundamental models and more abstract ones tells us how thought links to world. |
| 9965 | There couldn't just be one number, such as 17 [Jubien] |
| Full Idea: It makes no sense to suppose there might be just one natural number, say seventeen. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.113) | |
| A reaction: Hm. Not convinced. If numbers are essentially patterns, we might only have the number 'twelve', because we had built our religion around anything which exhibited that form (in any of its various arrangements). Nice point, though. |
| 9966 | The subject-matter of (pure) mathematics is abstract structure [Jubien] |
| Full Idea: The subject-matter of (pure) mathematics is abstract structure per se. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.115) | |
| A reaction: This is the Structuralist idea beginning to take shape after Benacerraf's launching of it. Note that Jubien gets there by his rejection of platonism, whereas some structuralist have given a platonist interpretation of structure. |
| 9963 | If we all intuited mathematical objects, platonism would be agreed [Jubien] |
| Full Idea: If the intuition of mathematical objects were general, there would be no real debate over platonism. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
| A reaction: It is particularly perplexing when Gödel says that his perception of them is just like sight or smell, since I have no such perception. How do you individuate very large numbers, or irrational numbers, apart from writing down numerals? |
| 9962 | How can pure abstract entities give models to serve as interpretations? [Jubien] |
| Full Idea: I am unable to see how the mere existence of pure abstract entities enables us to concoct appropriate models to serve as interpretations. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.111) | |
| A reaction: Nice question. It is always assumed that once we have platonic realm, that everything else follows. Even if we are able to grasp the objects, despite their causal inertness, we still have to discern innumerable relations between them. |
| 9964 | Since mathematical objects are essentially relational, they can't be picked out on their own [Jubien] |
| Full Idea: The essential properties of mathematical entities seem to be relational, ...so we make no progress unless we can pick out some mathematical entities wihout presupposing other entities already picked out. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.112) | |
| A reaction: [compressed] Jubien is a good critic of platonism. He has identified the problem with Frege's metaphor of a 'borehole', where we discover delightful new properties of numbers simply by reaching them. |
| 9969 | The empty set is the purest abstract object [Jubien] |
| Full Idea: The empty set is the pure abstract object par excellence. | |
| From: Michael Jubien (Ontology and Mathematical Truth [1977], p.118 n8) | |
| A reaction: So a really good PhD on the empty set could crack the whole nature of reality. Get to work, whoever you are! |
| 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). |
| 7861 | Libet says the processes initiated in the cortex can still be consciously changed [Libet, by Papineau] |
| Full Idea: Libet himself points out that the conscious decisions still have the power to 'endorse' or 'cancel', so to speak, the processes initiated by the earlier cortical activity: no action will result if the action's execution is consciously countermanded. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by David Papineau - Thinking about Consciousness 1.4 | |
| A reaction: This is why Libet's findings do not imply 'epiphenomenalism'. It seems that part of a decisive action is non-conscious, undermining the all-or-nothing view of consciousness. Searle tries to smuggle in free will at this point (Idea 3817). |
| 6660 | Libet found conscious choice 0.2 secs before movement, well after unconscious 'readiness potential' [Libet, by Lowe] |
| Full Idea: Libet found that a subject's conscious choice to move was about a fifth of a second before movement, and thus later than the onset of the brain's so-called 'readiness potential', which seems to imply that unconscious processes initiates action. | |
| From: report of Benjamin Libet (Unconscious Cerebral Initiative [1985]) by E.J. Lowe - Introduction to the Philosophy of Mind Ch.9 | |
| A reaction: Of great interest to philosophers! It seems to make conscious choices epiphenomenal. The key move, I think, is to give up the idea of consciousness as being all-or-nothing. My actions are still initiated by 'me', but 'me' shades off into unconsciousness. |