back to ideas for this text


Single Idea 14669

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

Full Idea

Insofar as modal logic is concerned exclusively with the logic of metaphysical modality, ..T may well be the one and only (strongest) correct system of (first-order) propositional logic.

Gist of Idea

For metaphysics, T may be the only correct system of modal logic

Source

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

Book Reference

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


A Reaction

This contrasts sharply with the orthodox view, that S5 (or at the very least S4) is the correct system for metaphysics.