more on this theme     |     more from this thinker


Single Idea 15521

[filed under theme 9. Objects / C. Structure of Objects / 8. Parts of Objects / b. Sums of parts ]

Full Idea

Given a prior commitment to cats, a commitment to cat-fusions is not a further commitment. The fusion is nothing over and above the cats that compose it. It just is them. They just are it. Together or separately, the cats are the same portion of Reality.

Gist of Idea

Given cats, a fusion of cats adds nothing further to reality

Source

David Lewis (Parts of Classes [1991], 3.6)

Book Ref

Lewis,David: 'Parts of Classes' [Blackwell 1991], p.81


A Reaction

The two extremes of ontology are that there are no objects, or that every combination is an object. Until reading this I thought Lewis was in the second camp, but this sounds like object-nihilism, as in Van Inwagen and Merricks.

Related Ideas

Idea 15522 The one has different truths from the many; it is one rather than many, one rather than six [Lewis]

Idea 17861 Two men do not make one thing, as well as themselves [Aristotle]


The 35 ideas from 'Parts of Classes'

Sets are mereological sums of the singletons of their members [Lewis, by Armstrong]
Set theory reduces to a mereological theory with singletons as the only atoms [Lewis, by MacBride]
Lewis prefers giving up singletons to giving up sums [Lewis, by Fine,K]
Lewis only uses fusions to create unities, but fusions notoriously flatten our distinctions [Oliver/Smiley on Lewis]
We can build set theory on singletons: classes are then fusions of subclasses, membership is the singleton [Lewis]
We can replace the membership relation with the member-singleton relation (plus mereology) [Lewis]
Classes divide into subclasses in many ways, but into members in only one way [Lewis]
A subclass of a subclass is itself a subclass; a member of a member is not in general a member [Lewis]
We can accept the null set, but there is no null class of anything [Lewis]
We have no idea of a third sort of thing, that isn't an individual, a class, or their mixture [Lewis]
There are four main reasons for asserting that there is an empty set [Lewis]
We needn't accept this speck of nothingness, this black hole in the fabric of Reality! [Lewis]
Atomless gunk is an individual whose parts all have further proper parts [Lewis]
Set theory has some unofficial axioms, generalisations about how to understand it [Lewis]
If we don't understand the singleton, then we don't understand classes [Lewis]
If singletons are where their members are, then so are all sets [Lewis]
Some say qualities are parts of things - as repeatable universals, or as particulars [Lewis]
If singleton membership is external, why is an object a member of one rather than another? [Lewis]
In mereology no two things consist of the same atoms [Lewis]
Maybe singletons have a structure, of a thing and a lasso? [Lewis]
A huge part of Reality is only accepted as existing if you have accepted set theory [Lewis]
To be a structuralist, you quantify over relations [Lewis]
A property is any class of possibilia [Lewis]
Giving up classes means giving up successful mathematics because of dubious philosophy [Lewis]
I like plural quantification, but am not convinced of its connection with second-order logic [Lewis]
Existence doesn't come in degrees; once asserted, it can't then be qualified [Lewis]
Trout-turkeys exist, despite lacking cohesion, natural joints and united causal power [Lewis]
Given cats, a fusion of cats adds nothing further to reality [Lewis]
The one has different truths from the many; it is one rather than many, one rather than six [Lewis]
The many are many and the one is one, so they can't be identical [Lewis]
Set theory isn't innocent; it generates infinities from a single thing; but mathematics needs it [Lewis]
Zermelo's model of arithmetic is distinctive because it rests on a primitive of set theory [Lewis]
Plural quantification lacks a complete axiom system [Lewis]
A commitment to cat-fusions is not a further commitment; it is them and they are it [Lewis]
Lewis affirms 'composition as identity' - that an object is no more than its parts [Lewis, by Merricks]