Combining Texts

All the ideas for 'Deflationary Metaontology of Thomasson', 'How to Russell a Frege-Church' and 'works'

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


8 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Zermelo made 'set' and 'member' undefined axioms [Zermelo, by Chihara]
For Zermelo's set theory the empty set is zero and the successor of each number is its unit set [Zermelo, by Blackburn]
5. Theory of Logic / F. Referring in Logic / 2. Descriptions / c. Theory of definite descriptions
For Russell, expressions dependent on contingent circumstances must be eliminated [Kaplan]
9. Objects / A. Existence of Objects / 5. Individuation / e. Individuation by kind
No sortal could ever exactly pin down which set of particles count as this 'cup' [Schaffer,J]
9. Objects / F. Identity among Objects / 6. Identity between Objects
Identities can be true despite indeterminate reference, if true under all interpretations [Schaffer,J]
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
'Haecceitism' says that sameness or difference of individuals is independent of appearances [Kaplan]
'Haecceitism' is common thisness under dissimilarity, or distinct thisnesses under resemblance [Kaplan]
If quantification into modal contexts is legitimate, that seems to imply some form of haecceitism [Kaplan]