Combining Texts

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

unexpand 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]
	Full Idea: Many say everything is logically possible which involves no contradiction. In this sense two contradictory propositions may be severally possible. In the substantive sense, the contradictory of a possible proposition is impossible (if we were omniscient).
	From: Charles Sanders Peirce (The Nature of Mathematics [1898], III)

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

15377	Definite descriptions pick out different objects in different possible worlds [Fitting]
	Full Idea: Definite descriptions pick out different objects in different possible worlds quite naturally.
	From: Melvin Fitting (Intensional Logic [2007], 3.4)
	A reaction: A definite description can pick out the same object in another possible world, or a very similar one, or an object which has almost nothing in common with the others.