Combining Philosophers

Ideas for Herodotus, Achille Varzi and Ruth Garrett Millikan

unexpand these ideas     |    start again     |     choose another area for these philosophers

display all the ideas for this combination of philosophers


4 ideas

4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
Maybe set theory need not be well-founded [Varzi]
     Full Idea: There are some proposals for non-well-founded set theory (tolerating cases of self-membership and membership circularities).
     From: Achille Varzi (Mereology [2003], 2.1)
     A reaction: [He cites Aczel 1988, and Barwise and Moss 1996]
4. Formal Logic / G. Formal Mereology / 1. Mereology
Mereology need not be nominalist, though it is often taken to be so [Varzi]
     Full Idea: While mereology was originally offered with a nominalist viewpoint, resulting in a conception of mereology as an ontologically parsimonious alternative to set theory, there is no necessary link between analysis of parthood and nominalism.
     From: Achille Varzi (Mereology [2003], 1)
     A reaction: He cites Lesniewski and Leonard-and-Goodman. Do you allow something called a 'whole' into your ontology, as well as the parts? He observes that while 'wholes' can be concrete, they can also be abstract, if the parts are abstract.
Are there mereological atoms, and are all objects made of them? [Varzi]
     Full Idea: It is an open question whether there are any mereological atoms (with no proper parts), and also whether every object is ultimately made up of atoms.
     From: Achille Varzi (Mereology [2003], 3)
     A reaction: Such a view would have to presuppose (metaphysically) that the divisibility of matter has limits. If one follows this route, then are there only 'natural' wholes, or are we 'unrestricted' in our view of how the atoms combine? I favour the natural route.
There is something of which everything is part, but no null-thing which is part of everything [Varzi]
     Full Idea: It is common in mereology to hold that there is something of which everything is part, but few hold that there is a 'null entity' that is part of everything.
     From: Achille Varzi (Mereology [2003], 4.1)
     A reaction: This comes out as roughly the opposite of set theory, which cannot do without the null set, but is not keen on the set of everything.