Combining Texts

Ideas for 'Intensional Logic', 'On the General Idea of Proof Theory' and 'The Nature of Mathematics'

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

display all the ideas for this combination of texts

---

2 ideas

10. Modality / B. Possibility / 1. Possibility

14786

Some logical possibility concerns single propositions, but there is also compatibility between propositions [Peirce]

10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity

15377

Definite descriptions pick out different objects in different possible worlds [Fitting]