Combining Texts

All the ideas for 'Counterpart theory and Quant. Modal Logic', 'Gdel's Proof' and 'The Foundations of Mathematics (2nd ed)'

expand these ideas     |    start again     |     specify just one area for these texts

---

9 ideas

8. Modes of Existence / A. Relations / 4. Formal Relations / b. Equivalence relation

18465

An 'equivalence' relation is one which is reflexive, symmetric and transitive [Kunen]

9. Objects / D. Essence of Objects / 1. Essences of Objects

11976

Aristotelian essentialism says essences are not relative to specification [Lewis]

10. Modality / A. Necessity / 7. Natural Necessity

11978

Causal necessities hold in all worlds compatible with the laws of nature [Lewis]

10. Modality / E. Possible worlds / 3. Transworld Objects / b. Rigid designation

11979

It doesn't take the whole of a possible Humphrey to win the election [Lewis]

10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts

16994

Counterpart theory is bizarre, as no one cares what happens to a mere counterpart [Kripke on Lewis]

11974

Counterparts are not the original thing, but resemble it more than other things do [Lewis]

11975

If the closest resembler to you is in fact quite unlike you, then you have no counterpart [Lewis]

11977

Essential attributes are those shared with all the counterparts [Lewis]

18. Thought / A. Modes of Thought / 5. Rationality / b. Human rationality

9591	The human intellect has not been, and cannot be, fully formalized [Nagel/Newman]