58 ideas
| 15557 | Verisimilitude has proved hard to analyse, and seems to have several components [Lewis] |
| 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] |
| 15506 | If we don't understand the singleton, then we don't understand classes [Lewis] |
| 15497 | We can replace the membership relation with the member-singleton relation (plus mereology) [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] |
| 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] |
| 15523 | Set theory isn't innocent; it generates infinities from a single thing; but mathematics needs it [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] |
| 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] |
| 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] |
| 15554 | A disposition needs a causal basis, a property in a certain causal role. Could the disposition be the property? [Lewis] |
| 16435 | Plantinga proposes necessary existent essences as surrogates for the nonexistent things [Plantinga, by Stalnaker] |
| 14655 | The 'identity criteria' of a name are a group of essential and established facts [Plantinga] |
| 14658 | 'Being Socrates' and 'being identical with Socrates' characterise Socrates, so they are among his properties [Plantinga] |
| 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] |
| 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] |
| 10566 | Lewis prefers giving up singletons to giving up sums [Lewis, by Fine,K] |
| 14656 | Does Socrates have essential properties, plus a unique essence (or 'haecceity') which entails them? [Plantinga] |
| 14654 | Properties are 'trivially essential' if they are instantiated by every object in every possible world [Plantinga] |
| 14653 | X is essentially P if it is P in every world, or in every X-world, or in the actual world (and not ¬P elsewhere) [Plantinga] |
| 14660 | If a property is ever essential, can it only ever be an essential property? [Plantinga] |
| 14661 | Essences are instantiated, and are what entails a thing's properties and lack of properties [Plantinga] |
| 14657 | Does 'being identical with Socrates' name a property? I can think of no objections to it [Plantinga] |
| 14652 | 'De re' modality is as clear as 'de dicto' modality, because they are logically equivalent [Plantinga] |
| 15560 | We can explain a chance event, but can never show why some other outcome did not occur [Lewis] |
| 14659 | We can imagine being beetles or alligators, so it is possible we might have such bodies [Plantinga] |
| 15509 | Some say qualities are parts of things - as repeatable universals, or as particulars [Lewis] |
| 15559 | Does a good explanation produce understanding? That claim is just empty [Lewis] |
| 15556 | Science may well pursue generalised explanation, rather than laws [Lewis] |
| 15558 | A good explanation is supposed to show that the event had to happen [Lewis] |
| 4809 | Lewis endorses the thesis that all explanation of singular events is causal explanation [Lewis, by Psillos] |
| 14321 | To explain an event is to provide some information about its causal history [Lewis] |
| 15555 | Explaining match lighting in general is like explaining one lighting of a match [Lewis] |
| 15551 | Ways of carving causes may be natural, but never 'right' [Lewis] |
| 15552 | We only pick 'the' cause for the purposes of some particular enquiry. [Lewis] |
| 15553 | Causal dependence is counterfactual dependence between events [Lewis] |