10 ideas
| 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? |
| 15789 | Lewis's distinction of 'existing' from 'being actual' is Meinong's between 'existing' and 'subsisting' [Lycan on Lewis] |
| Full Idea: I suggest that Lewis's view in fact is just Meinong's view. ...Meinong distinguishes between 'existing' and merely 'subsisting', Lewis between 'being actual' and merely 'existing'. | |
| From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 06 | |
| A reaction: Lewis attempts to make actuality purely 'indexical' in character, like distinguishing the world 'here' from the world 'elsewhere', but Lycan seems right that he is committed to more than that. |
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| Full Idea: If your interest in logic is confined to applications to mathematics or other a priori matters, it is fine for validity to preserve certainty, ..but if you use conditionals when arguing about contingent matters, then great caution will be required. | |
| From: Dorothy Edgington (Conditionals [2001], 17.2.1) |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| Full Idea: As well as conditional beliefs, there are conditional desires, hopes, fears etc. As well as conditional statements, there are conditional commands, questions, offers, promises, bets etc. | |
| From: Dorothy Edgington (Conditionals [2001], 17.3.4) |
| 13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
| Full Idea: Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? Are they non-truth-functional, like 'because' or 'before'? Do the values of A and B, in some cases, leave open the value of 'If A,B'? | |
| From: Dorothy Edgington (Conditionals [2001], 17.1) | |
| A reaction: I would say they are not truth-functional, because the 'if' asserts some further dependency relation that goes beyond the truth or falsity of A and B. Logical ifs, causal ifs, psychological ifs... The material conditional ⊃ is truth-functional. |
| 13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
| Full Idea: If it were possible to have A true, B false, and If A,B true, it would be unsafe to infer B from A and If A,B: modus ponens would thus be invalid. Hence 'If A,B' must entail ¬(A & ¬B). | |
| From: Dorothy Edgington (Conditionals [2001], 17.1) | |
| A reaction: This is a firm defence of part of the truth-functional view of conditionals, and seems unassailable. The other parts of the truth table are open to question, though, if A is false, or they are both true. |
| 15790 | Lewis can't know possible worlds without first knowing what is possible or impossible [Lycan on Lewis] |
| Full Idea: Lewis's knowledge of what possible worlds there are and of other general truths about worlds is posterior, not prior, to his knowledge of what things are possible and what things are impossible. | |
| From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 07 | |
| A reaction: This elementary objection seems to me to destroy any attempt to explain modality in terms of possible worlds. It is a semantics for modal statements, but that doesn't make it an ontology. To assess possibilities, study actuality. |
| 15791 | What are the ontological grounds for grouping possibilia into worlds? [Lycan on Lewis] |
| Full Idea: Lewis must seek some ontological ground for the grouping of possibilia into disjoint worlds. | |
| From: comment on David Lewis (Possible Worlds [1973]) by William Lycan - The Trouble with Possible Worlds 07 | |
| A reaction: I do love people like Lycan who ask the simple commonsense questions about these highly sophisticated systems that students of philosophy are required to study. If a proposition is a 'set of worlds', understanding a proposition is beyond me. |