display all the ideas for this combination of texts
6 ideas
10258 | Logical modalities may be acceptable, because they are reducible to satisfaction in models [Shapiro] |
Full Idea: For many philosophers the logical notions of possibility and necessity are exceptions to a general scepticism, perhaps because they have been reduced to model theory, via set theory. Thus Φ is logically possible if there is a model that satisfies it. | |
From: Stewart Shapiro (Philosophy of Mathematics [1997], 7.1) | |
A reaction: Initially this looks a bit feeble, like an empiricist only believing what they actually see right now, but the modern analytical philosophy project seems to be the extension of logical accounts further and further into what we intuit about modality. |
17572 | Actuality proves possibility, but that doesn't explain how it is possible [Inwagen] |
Full Idea: A proof of actuality is a proof of possibility, but that does not invariably explain the possibility whose existence it demonstrates, for we may know that a certain thing is actual (and hence possible) but have no explanation of how it could be possible. | |
From: Peter van Inwagen (Material Beings [1990], 12) | |
A reaction: I like this, because my project is to see all of philosophy in terms of explanation rather than of description. |
10266 | Why does the 'myth' of possible worlds produce correct modal logic? [Shapiro] |
Full Idea: The fact that the 'myth' of possible worlds happens to produce the correct modal logic is itself a phenomenon in need of explanation. | |
From: Stewart Shapiro (Philosophy of Mathematics [1997], 7.4) | |
A reaction: The claim that it produces 'the' correct modal logic seems to beg a lot of questions, given the profusion of modal systems. This is a problem with any sort of metaphysics which invokes fictionalism - what were those particular fictions responding to? |
17579 | Counterparts reduce counterfactual identity to problems about similarity relations [Inwagen] |
Full Idea: Counterpart Theory essentially reduces all problems about counterfactual identity to problems about choosing appropriate similarity relations. That is, Counterpart Theory essentially eliminates problems of counterfactual identity as such. | |
From: Peter van Inwagen (Material Beings [1990], 14) |
17590 | A merely possible object clearly isn't there, so that is a defective notion [Inwagen] |
Full Idea: The notion of a merely possible object is an even more defective notion than the notion of a borderline object; after all, a merely possible object is an object that definitely isn't there. | |
From: Peter van Inwagen (Material Beings [1990], 19) |
17591 | Merely possible objects must be consistent properties, or haecceities [Inwagen] |
Full Idea: Talk of merely possible objects may be redeemed in either maximally consistent sets of properties or in haecceities. | |
From: Peter van Inwagen (Material Beings [1990], 19) |