Combining Texts

Ideas for 'fragments/reports', 'Nature's Metaphysics' and 'W.V. Quine'

expand 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 / 4. Alethic Modal Logic

8480	S4: 'poss that poss that p' implies 'poss that p'; S5: 'poss that nec that p' implies 'nec that p' [Orenstein]

4. Formal Logic / D. Modal Logic ML / 7. Barcan Formula

9449	The plausible Barcan formula implies modality in the actual world [Bird]