Combining Philosophers

Ideas for Lynch,MP/Glasgow,JM, JP Burgess / G Rosen and Kit Fine

unexpand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers


2 ideas

4. Formal Logic / D. Modal Logic ML / 1. Modal Logic
Modal logic gives an account of metalogical possibility, not metaphysical possibility [Burgess/Rosen]
     Full Idea: If you want a logic of metaphysical possibility, the existing literature was originally developed to supply a logic of metalogical possibility, and still reflects its origins.
     From: JP Burgess / G Rosen (A Subject with No Object [1997], II.B.3.b)
     A reaction: This is a warning shot (which I don't fully understand) to people like me, who were beginning to think they could fill their ontology with possibilia, which could then be incorporated into the wider account of logical thinking. Ah well...
4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / h. System S5
S5 provides the correct logic for necessity in the broadly logical sense [Fine,K]
     Full Idea: S5 provides the correct logic for necessity in the broadly logical sense.
     From: Kit Fine (Model Theory for Modal Logic I [1978], 151), quoted by Charles Chihara - A Structural Account of Mathematics
     A reaction: I have no view on this, but I am prejudiced in favour of the idea that there is a correct logic for such things, whichever one it may be. Presumably the fact that S5 has no restrictions on accessibility makes it more comprehensive and 'metaphysical'.