19 ideas
| 10653 | Maybe set theory need not be well-founded [Varzi] |
| 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] |
| 3338 | Numbers have been defined in terms of 'successors' to the concept of 'zero' [Peano, by Blackburn] |
| 13949 | All models of Peano axioms are isomorphic, so the models all seem equally good for natural numbers [Cartwright,R on Peano] |
| 18113 | PA concerns any entities which satisfy the axioms [Peano, by Bostock] |
| 17634 | Peano axioms not only support arithmetic, but are also fairly obvious [Peano, by Russell] |
| 5897 | 0 is a non-successor number, all successors are numbers, successors can't duplicate, if P(n) and P(n+1) then P(all-n) [Peano, by Flew] |
| 15653 | We can add Reflexion Principles to Peano Arithmetic, which assert its consistency or soundness [Halbach on Peano] |
| 17635 | Arithmetic can have even simpler logical premises than the Peano Axioms [Russell on Peano] |
| 10661 | 'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi] |
| 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] |
| 10658 | Sameness of parts won't guarantee identity if their arrangement matters [Varzi] |
| 10652 | Conceivability may indicate possibility, but literary fantasy does not [Varzi] |
| 1513 | The Egyptians were the first to say the soul is immortal and reincarnated [Herodotus] |