8 ideas
| 14263 | Strong Kleene disjunction just needs one true disjunct; Weak needs the other to have some value [Fine,K] |
| Full Idea: Under strong Kleene tables, a disjunction will be true if one of the disjuncts is true, regardless of whether or not the other disjunct has a truth-value; under the weak table it is required that the other disjunct also have a value. So for other cases. | |
| From: Kit Fine (Some Puzzles of Ground [2010], n7) | |
| A reaction: [see also p.111 of Fine's article] The Kleene tables seem to be the established form of modern three-valued logic, with the third value being indeterminate. |
| 8698 | Modal structuralism says mathematics studies possible structures, which may or may not be actualised [Hellman, by Friend] |
| Full Idea: The modal structuralist thinks of mathematical structures as possibilities. The application of mathematics is just the realisation that a possible structure is actualised. As structures are possibilities, realist ontological problems are avoided. | |
| From: report of Geoffrey Hellman (Mathematics without Numbers [1989]) by Michèle Friend - Introducing the Philosophy of Mathematics 4.3 | |
| A reaction: Friend criticises this and rejects it, but it is appealing. Mathematics should aim to be applicable to any possible world, and not just the actual one. However, does the actual world 'actualise a mathematical structure'? |
| 9557 | Statements of pure mathematics are elliptical for a sort of modal conditional [Hellman, by Chihara] |
| Full Idea: Hellman represents statements of pure mathematics as elliptical for modal conditionals of a certain sort. | |
| From: report of Geoffrey Hellman (Mathematics without Numbers [1989]) by Charles Chihara - A Structural Account of Mathematics 5.3 | |
| A reaction: It's a pity there is such difficulty in understanding conditionals (see Graham Priest on the subject). I intuit a grain of truth in this, though I take maths to reflect the structure of the actual world (with possibilities being part of that world). |
| 10263 | Modal structuralism can only judge possibility by 'possible' models [Shapiro on Hellman] |
| Full Idea: The usual way to show that a sentence is possible is to show that it has a model, but for Hellman presumably a sentence is possible if it might have a model (or if, possibly, it has a model). It is not clear what this move brings us. | |
| From: comment on Geoffrey Hellman (Mathematics without Numbers [1989]) by Stewart Shapiro - Philosophy of Mathematics 7.3 | |
| A reaction: I can't assess this, but presumably the possibility of the model must be demonstrated in some way. Aren't all models merely possible, because they are based on axioms, which seem to be no more than possibilities? |
| 14262 | Formal grounding needs transitivity of grounding, no self-grounding, and the existence of both parties [Fine,K] |
| Full Idea: The general formal principles of grounding are Transitivity (A«B, B«C/A«C: if A helps ground B and B helps C, then A helps C), Irreflexivity (A«A/absurd: A can't ground itself) and Factivity (A«B/A; A«/B: for grounding both A and B must be the case). | |
| From: Kit Fine (Some Puzzles of Ground [2010], 4) |
| 8386 | Events are picked out by descriptions, and facts by whole sentences [Crane] |
| Full Idea: Events are picked out using descriptions ('The death of Caesar'), while facts are picked out using whole sentences ('Caesar died'). | |
| From: Tim Crane (Causation [1995], 1.4.2) | |
| A reaction: Useful, and interesting. He mentions that Kim's usage doesn't agree with this. For analysis purposes, this means that an event is a more minimal item than a fact, and many facts will contain events as components. |
| 8387 | A cause has its effects in virtue of its properties [Crane] |
| Full Idea: Some philosophers say that a cause has its effects in virtue of its properties. | |
| From: Tim Crane (Causation [1995], 1.4.2) | |
| A reaction: The trouble with this approach, I think, is that it encourages us to invent dubious properties, because every explanation of an effect will require one. Dormative properties, for example, are ascribed to sleeping pills. |
| 8384 | The regularity theory explains a causal event by other items than the two that are involved [Crane] |
| Full Idea: An unsatisfactory aspect of the regularity thesis is that it explains why this A caused this B in terms of facts about things other that this A and this B. But we want to know what it is about this A and this B that makes one the cause of the other? | |
| From: Tim Crane (Causation [1995], 1.3) | |
| A reaction: Well said. This is the failing of any attempt to define things by their relationships (e.g. functional definitions). Hume, of course, was only relying on regularity because when he focused on the actual A and B, they had no helpful experiences to offer. |