more on this theme     |     more from this thinker


Single Idea 10653

[filed under theme 4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets ]

Full Idea

There are some proposals for non-well-founded set theory (tolerating cases of self-membership and membership circularities).

Gist of Idea

Maybe set theory need not be well-founded

Source

Achille Varzi (Mereology [2003], 2.1)

Book Ref

'Stanford Online Encyclopaedia of Philosophy', ed/tr. Stanford University [plato.stanford.edu], p.5


A Reaction

[He cites Aczel 1988, and Barwise and Moss 1996]


The 11 ideas from 'Mereology'

Mereology need not be nominalist, though it is often taken to be so [Varzi]
Parts may or may not be attached, demarcated, arbitrary, material, extended, spatial or temporal [Varzi]
If 'part' is reflexive, then identity is a limit case of parthood [Varzi]
'Part' stands for a reflexive, antisymmetric and transitive relation [Varzi]
Maybe set theory need not be well-founded [Varzi]
Conceivability may indicate possibility, but literary fantasy does not [Varzi]
The parthood relation will help to define at least seven basic predicates [Varzi]
Are there mereological atoms, and are all objects made of them? [Varzi]
Sameness of parts won't guarantee identity if their arrangement matters [Varzi]
There is something of which everything is part, but no null-thing which is part of everything [Varzi]
'Composition is identity' says multitudes are the reality, loosely composing single things [Varzi]