display all the ideas for this combination of texts
9 ideas
| 13721 | 'Strong' necessity in all possible worlds; 'weak' necessity in the worlds where the relevant objects exist [Sider] |
| Full Idea: 'Strong necessity' requires the truth of 'necessarily φ' is all possible worlds. 'Weak necessity' merely requires that 'necessarily φ' be true in all worlds in which objects referred to within φ exist. | |
| From: Theodore Sider (Logic for Philosophy [2010], 9.6.3) | |
| A reaction: This seems to be a highly desirably distinction, given the problem of Idea 13719. It is weakly necessary that humans can't fly unaided, assuming we are referring the current feeble wingless species. That hardly seems to be strongly necessary. |
| 13707 | Maybe metaphysical accessibility is intransitive, if a world in which I am a frog is impossible [Sider] |
| Full Idea: Some argue that metaphysical accessibility is intransitive. The individuals involved mustn't be too different from the actual world. A world in which I am a frog isn't metaphysically possible. Perhaps the logic is modal system B or T. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.3.1) | |
| A reaction: This sounds rather plausible and attractive to me. We don't want to say that I am necessarily the way I actually am, though, so we need criteria. Essence! |
| 13709 | Logical truths must be necessary if anything is [Sider] |
| Full Idea: On any sense of necessity, surely logical truths must be necessary. | |
| From: Theodore Sider (Logic for Philosophy [2010], 6.4) |
| 18618 | Maybe possibilities are recombinations of the existing elements of reality [Mumford] |
| Full Idea: It has been suggested that we could think of possibilities as recombinations of all the existing elements of reality. | |
| From: Stephen Mumford (Metaphysics: a very short introduction [2012], 8) | |
| A reaction: [Armstrong 1989 is the source] The obvious problem would be that the existence of an entirely different reality would be impossible, if this was all possibility could be. It seems to cramp the style of the possible too much. Are properties elements? |
| 18619 | Combinatorial possibility has to allow all elements to be combinable, which seems unlikely [Mumford] |
| Full Idea: The combinatorial account only works if you allow that the elements are recombinable. ...But could Lincoln really have been green? It seems possible that you could jump to the moon, unless we impose some restrictions. | |
| From: Stephen Mumford (Metaphysics: a very short introduction [2012], 8) | |
| A reaction: Mumford suggests different combination rules for logical and natural possibility. The general objection is that combinatorial possibility is too permissive - which it clearly is. |
| 18620 | Combinatorial possibility relies on what actually exists (even over time), but there could be more [Mumford] |
| Full Idea: Can combinatorial possibility deliver enough possibilities? It uses the existing elements, but there might have been one more particular or one more property. Even extended over time, the elements seem finite, yet there could have been more. | |
| From: Stephen Mumford (Metaphysics: a very short introduction [2012], 8) | |
| A reaction: [compressed] One objection is that the theory allows too much, and now the objection is that it allows too little. Both objections are correct, so that's the end of that. But I admire the attempt to base modality on actuality. |
| 13716 | 'If B hadn't shot L someone else would have' if false; 'If B didn't shoot L, someone else did' is true [Sider] |
| Full Idea: To show the semantic difference between counterfactuals and indicative conditionals, 'If Booth hadn't shot Lincoln someone else would have' is false, but 'If Booth didn't shoot Lincoln then someone else did' is true. | |
| From: Theodore Sider (Logic for Philosophy [2010], 8) | |
| A reaction: He notes that indicative conditionals also differ in semantics from material and strict conditionals. The first example allows a world where Lincoln was not shot, but the second assumes our own world, where he was. Contextual domains? |
| 13717 | Transworld identity is not a problem in de dicto sentences, which needn't identify an individual [Sider] |
| Full Idea: There is no problem of transworld identification with de dicto modal sentence, for their evaluation does not require taking an individual from one possible world and reidentifying it in another. | |
| From: Theodore Sider (Logic for Philosophy [2010], 9.2) | |
| A reaction: If 'de dicto' is about the sentence and 'de re' is about the object (Idea 5732), how do you evaluate the sentence without at least some notion of the object to which it refers. Nec the Prime Minister chairs the cabinet. Could a poached egg do the job? |
| 13719 | Barcan Formula problem: there might have been a ghost, despite nothing existing which could be a ghost [Sider] |
| Full Idea: A problem with the Barcan Formula is it might be possible for there to exist a ghost, even though there in fact exists nothing that could be a ghost. There could have existed some 'extra' thing which could be a ghost. | |
| From: Theodore Sider (Logic for Philosophy [2010], 9.5.2) | |
| A reaction: Thus when we make modal claims, do they only refer to what actually exists, or is specified in our initial domain? Can a claim enlarge the domain? Are domains 'variable'? Simple claims about what might have existed seem to be a problem. |