Combining Texts

All the ideas for 'The Nature of Things', 'Identity' and 'Mereology'

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

26 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
10653 Maybe set theory need not be well-founded [Varzi]
4. Formal Logic / F. Set Theory ST / 7. Natural Sets
9406 A class is natural when everybody can spot further members of it [Quinton]
4. Formal Logic / G. Formal Mereology / 1. Mereology
10648 Mereology need not be nominalist, though it is often taken to be so [Varzi]
10655 Are there mereological atoms, and are all objects made of them? [Varzi]
10659 There is something of which everything is part, but no null-thing which is part of everything [Varzi]
6. Mathematics / A. Nature of Mathematics / 4. Using Numbers / c. Counting procedure
16014 It is controversial whether only 'numerical identity' allows two things to be counted as one [Noonan]
7. Existence / E. Categories / 5. Category Anti-Realism
15730 Extreme nominalists say all classification is arbitrary convention [Quinton]
8. Modes of Existence / B. Properties / 5. Natural Properties
15728 The naturalness of a class depends as much on the observers as on the objects [Quinton]
9407 Properties imply natural classes which can be picked out by everybody [Quinton]
8. Modes of Existence / D. Universals / 4. Uninstantiated Universals
15729 Uninstantiated properties must be defined using the instantiated ones [Quinton]
9. Objects / A. Existence of Objects / 5. Individuation / b. Individuation by properties
8520 An individual is a union of a group of qualities and a position [Quinton, by Campbell,K]
9. Objects / C. Structure of Objects / 5. Composition of an Object
10661 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi]
9. Objects / C. Structure of Objects / 8. Parts of Objects / a. Parts of objects
10647 Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi]
10651 If 'part' is reflexive, then identity is a limit case of parthood [Varzi]
10649 'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi]
10654 The parthood relation will help to define at least seven basic predicates [Varzi]
9. Objects / C. Structure of Objects / 8. Parts of Objects / c. Wholes from parts
10658 Sameness of parts won't guarantee identity if their arrangement matters [Varzi]
9. Objects / E. Objects over Time / 4. Four-Dimensionalism
16024 I could have died at five, but the summation of my adult stages could not [Noonan]
9. Objects / E. Objects over Time / 5. Temporal Parts
16023 Stage theorists accept four-dimensionalism, but call each stage a whole object [Noonan]
9. Objects / F. Identity among Objects / 2. Defining Identity
16015 Problems about identity can't even be formulated without the concept of identity [Noonan]
16017 Identity is usually defined as the equivalence relation satisfying Leibniz's Law [Noonan]
16016 Identity definitions (such as self-identity, or the smallest equivalence relation) are usually circular [Noonan]
16020 Identity can only be characterised in a second-order language [Noonan]
9. Objects / F. Identity among Objects / 8. Leibniz's Law
16018 Indiscernibility is basic to our understanding of identity and distinctness [Noonan]
16019 Leibniz's Law must be kept separate from the substitutivity principle [Noonan]
10. Modality / D. Knowledge of Modality / 4. Conceivable as Possible / b. Conceivable but impossible
10652 Conceivability may indicate possibility, but literary fantasy does not [Varzi]