57 ideas
17275 | Realist metaphysics concerns what is real; naive metaphysics concerns natures of things [Fine,K] |
17282 | Truths need not always have their source in what exists [Fine,K] |
17283 | If the truth-making relation is modal, then modal truths will be grounded in anything [Fine,K] |
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] |
17286 | Logical consequence is verification by a possible world within a truth-set [Fine,K] |
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] |
17272 | 2+2=4 is necessary if it is snowing, but not true in virtue of the fact that it is snowing [Fine,K] |
17276 | If you say one thing causes another, that leaves open that the 'other' has its own distinct reality [Fine,K] |
17284 | An immediate ground is the next lower level, which gives the concept of a hierarchy [Fine,K] |
17285 | 'Strict' ground moves down the explanations, but 'weak' ground can move sideways [Fine,K] |
17288 | We learn grounding from what is grounded, not what does the grounding [Fine,K] |
17281 | If grounding is a relation it must be between entities of the same type, preferably between facts [Fine,K] |
17280 | Ground is best understood as a sentence operator, rather than a relation between predicates [Fine,K] |
17290 | Only metaphysical grounding must be explained by essence [Fine,K] |
17274 | Philosophical explanation is largely by ground (just as cause is used in science) [Fine,K] |
17278 | We can only explain how a reduction is possible if we accept the concept of ground [Fine,K] |
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] |
17287 | Facts, such as redness and roundness of a ball, can be 'fused' into one fact [Fine,K] |
15516 | A property is any class of possibilia [Lewis] |
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] |
17279 | Even a three-dimensionalist might identify temporal parts, in their thinking [Fine,K] |
3016 | Even the gods cannot strive against necessity [Pittacus, by Diog. Laertius] |
17289 | Every necessary truth is grounded in the nature of something [Fine,K] |
17273 | Each basic modality has its 'own' explanatory relation [Fine,K] |
15509 | Some say qualities are parts of things - as repeatable universals, or as particulars [Lewis] |
17291 | We explain by identity (what it is), or by truth (how things are) [Fine,K] |
17271 | Is there metaphysical explanation (as well as causal), involving a constitutive form of determination? [Fine,K] |
17277 | If mind supervenes on the physical, it may also explain the physical (and not vice versa) [Fine,K] |