Ideas from 'Mereology' by Achille Varzi [2003], by Theme Structure

[found in 'Stanford Online Encyclopaedia of Philosophy' (ed/tr Stanford University) [plato.stanford.edu ,-]].

green numbers give full details    |     back to texts     |     expand these ideas


4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Maybe set theory need not be well-founded
4. Formal Logic / G. Formal Mereology / 1. Mereology
Mereology need not be nominalist, though it is often taken to be so
Are there mereological atoms, and are all objects made of them?
There is something of which everything is part, but no null-thing which is part of everything
9. Objects / C. Structure of Objects / 5. Composition of an Object
'Composition is identity' says multitudes are the reality, loosely composing single things
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
The parthood relation will help to define at least seven basic predicates
If 'part' is reflexive, then identity is a limit case of parthood
'Part' stands for a reflexive, antisymmetric and transitive relation
Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
Sameness of parts won't guarantee identity if their arrangement matters
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / b. Conceivable but impossible
Conceivability may indicate possibility, but literary fantasy does not