Combining Texts

Ideas for 'Axiomatic Theories of Truth (2005 ver)', 'Conditional Assertion and Restricted Quantification' and 'Nature's Metaphysics'

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

display all the ideas for this combination of texts

2 ideas

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula
9449 The plausible Barcan formula implies modality in the actual world [Bird]
     Full Idea: Modality in the actual world is the import of the Barcan formula, and there are good reasons for accepting the Barcan formula.
     From: Alexander Bird (Nature's Metaphysics [2007], 1.2)
     A reaction: If you thought logic was irrelevant to metaphysics, this should make you think twice.
4. Formal Logic / F. Set Theory ST / 1. Set Theory
15657 To prove the consistency of set theory, we must go beyond set theory [Halbach]
     Full Idea: The consistency of set theory cannot be established without assumptions transcending set theory.
     From: Volker Halbach (Axiomatic Theories of Truth (2005 ver) [2005], 2.1)