66 ideas
| 12249 | 'Animal' is a genus and 'rational' is a specific difference [Oderberg] |
| 12242 | Definition distinguishes one kind from another, and individuation picks out members of the kind [Oderberg] |
| 18395 | Sets are mereological sums of the singletons of their members [Lewis, by Armstrong] |
| 15496 | We can build set theory on singletons: classes are then fusions of subclasses, membership is the singleton [Lewis] |
| 15500 | Classes divide into subclasses in many ways, but into members in only one way [Lewis] |
| 15499 | A subclass of a subclass is itself a subclass; a member of a member is not in general a member [Lewis] |
| 15503 | We needn't accept this speck of nothingness, this black hole in the fabric of Reality! [Lewis] |
| 15498 | We can accept the null set, but there is no null class of anything [Lewis] |
| 15502 | There are four main reasons for asserting that there is an empty set [Lewis] |
| 15497 | We can replace the membership relation with the member-singleton relation (plus mereology) [Lewis] |
| 15506 | If we don't understand the singleton, then we don't understand classes [Lewis] |
| 15511 | If singleton membership is external, why is an object a member of one rather than another? [Lewis] |
| 15513 | Maybe singletons have a structure, of a thing and a lasso? [Lewis] |
| 15507 | Set theory has some unofficial axioms, generalisations about how to understand it [Lewis] |
| 10191 | Set theory reduces to a mereological theory with singletons as the only atoms [Lewis, by MacBride] |
| 15523 | Set theory isn't innocent; it generates infinities from a single thing; but mathematics needs it [Lewis] |
| 15508 | If singletons are where their members are, then so are all sets [Lewis] |
| 15514 | A huge part of Reality is only accepted as existing if you have accepted set theory [Lewis] |
| 15525 | Plural quantification lacks a complete axiom system [Lewis] |
| 15518 | I like plural quantification, but am not convinced of its connection with second-order logic [Lewis] |
| 12238 | The Aristotelian view is that numbers depend on (and are abstracted from) other things [Oderberg] |
| 15524 | Zermelo's model of arithmetic is distinctive because it rests on a primitive of set theory [Lewis] |
| 15517 | Giving up classes means giving up successful mathematics because of dubious philosophy [Lewis] |
| 15515 | To be a structuralist, you quantify over relations [Lewis] |
| 15520 | Existence doesn't come in degrees; once asserted, it can't then be qualified [Lewis] |
| 12254 | Being is substantial/accidental, complete/incomplete, necessary/contingent, possible, relative, intrinsic.. [Oderberg] |
| 15501 | We have no idea of a third sort of thing, that isn't an individual, a class, or their mixture [Lewis] |
| 15504 | Atomless gunk is an individual whose parts all have further proper parts [Lewis] |
| 15516 | A property is any class of possibilia [Lewis] |
| 12253 | If tropes are in space and time, in what sense are they abstract? [Oderberg] |
| 12256 | We need to distinguish the essential from the non-essential powers [Oderberg] |
| 14193 | 'Substance theorists' take modal properties as primitive, without structure, just falling under a sortal [Paul,LA] |
| 14195 | If an object's sort determines its properties, we need to ask what determines its sort [Paul,LA] |
| 14196 | Substance essentialism says an object is multiple, as falling under various different sortals [Paul,LA] |
| 12252 | Empiricists gave up 'substance', as unknowable substratum, or reducible to a bundle [Oderberg] |
| 14748 | The many are many and the one is one, so they can't be identical [Lewis] |
| 6129 | Lewis affirms 'composition as identity' - that an object is no more than its parts [Lewis, by Merricks] |
| 15512 | In mereology no two things consist of the same atoms [Lewis] |
| 15519 | Trout-turkeys exist, despite lacking cohesion, natural joints and united causal power [Lewis] |
| 15521 | Given cats, a fusion of cats adds nothing further to reality [Lewis] |
| 15522 | The one has different truths from the many; it is one rather than many, one rather than six [Lewis] |
| 14198 | Absolutely unrestricted qualitative composition would allow things with incompatible properties [Paul,LA] |
| 10566 | Lewis prefers giving up singletons to giving up sums [Lewis, by Fine,K] |
| 14244 | Lewis only uses fusions to create unities, but fusions notoriously flatten our distinctions [Oliver/Smiley on Lewis] |
| 10660 | A commitment to cat-fusions is not a further commitment; it is them and they are it [Lewis] |
| 12241 | Essences are real, about being, knowable, definable and classifiable [Oderberg, by PG] |
| 14190 | Deep essentialist objects have intrinsic properties that fix their nature; the shallow version makes it contextual [Paul,LA] |
| 12244 | Nominalism is consistent with individual but not with universal essences [Oderberg] |
| 12240 | Essentialism is the main account of the unity of objects [Oderberg] |
| 14191 | Deep essentialists say essences constrain how things could change; modal profiles fix natures [Paul,LA] |
| 12247 | Essence is not explanatory but constitutive [Oderberg] |
| 12258 | Properties are not part of an essence, but they flow from it [Oderberg] |
| 12257 | Could we replace essence with collections of powers? [Oderberg] |
| 14192 | Essentialism must deal with charges of arbitrariness, and failure to reduce de re modality [Paul,LA] |
| 14197 | An object's modal properties don't determine its possibilities [Paul,LA] |
| 12236 | Leibniz's Law is an essentialist truth [Oderberg] |
| 12250 | Bodies have act and potency, the latter explaining new kinds of existence [Oderberg] |
| 12234 | Realism about possible worlds is circular, since it needs a criterion of 'possible' [Oderberg] |
| 14189 | 'Modal realists' believe in many concrete worlds, 'actualists' in just this world, 'ersatzists' in abstract other worlds [Paul,LA] |
| 12235 | Necessity of identity seems trivial, because it leaves out the real essence [Oderberg] |
| 12237 | Rigid designation has at least three essentialist presuppositions [Oderberg] |
| 15509 | Some say qualities are parts of things - as repeatable universals, or as particulars [Lewis] |
| 12245 | Essence is the source of a thing's characteristic behaviour [Oderberg] |
| 12246 | What makes Parmenidean reality a One rather than a Many? [Oderberg] |
| 12239 | The real essentialist is not merely a scientist [Oderberg] |
| 12243 | The reductionism found in scientific essentialism is mistaken [Oderberg] |