back to ideas for this text


Single Idea 14671

[from 'The Logic of What Might Have Been' by Nathan Salmon, in 4. Formal Logic / D. Modal Logic ML / 3. Modal Logic Systems / g. System S4 ]

Full Idea

We can say of a wooden table that it would have been possible for it to have originated from some different matter, even though it is not actually possible. So what is necessary fails to be necessarily necessary, and S4 modal logic is fallacious.

Gist of Idea

What is necessary is not always necessarily necessary, so S4 is fallacious

Source

Nathan Salmon (The Logic of What Might Have Been [1989], I)

Book Reference

Salmon,Nathan: 'Metaphysics, Mathematics and Meaning' [OUP 2005], p.131


A Reaction

[compressed]