165 ideas
16281 | Honesty requires philosophical theories we can commit to with our ordinary commonsense [Lewis] |
14721 | Metaphysical enquiry can survive if its conclusions are tentative [Sider] |
16288 | Analysis reduces primitives and makes understanding explicit (without adding new knowledge) [Lewis] |
5728 | The concept of truth was originated by the senses [Lucretius] |
9651 | Verisimilitude might be explained as being close to the possible world where the truth is exact [Lewis] |
15731 | Quantification sometimes commits to 'sets', but sometimes just to pluralities (or 'classes') [Lewis] |
10470 | There are only two kinds: sets, and possibilia (actual and possible particulars) [Lewis, by Oliver] |
14760 | Four-dimensionalism sees things and processes as belonging in the same category [Sider] |
9650 | Supervenience concerns whether things could differ, so it is a modal notion [Lewis] |
8909 | Abstractions may well be verbal fictions, in which we ignore some features of an object [Lewis] |
9057 | Vagueness is semantic indecision: we haven't settled quite what our words are meant to express [Lewis] |
9671 | Whether or not France is hexagonal depends on your standards of precision [Lewis] |
15751 | Surely 'slept in by Washington' is a property of some bed? [Lewis] |
15735 | Properties don't have degree; they are determinate, and things have varying relations to them [Lewis] |
9656 | The 'abundant' properties are just any bizarre property you fancy [Lewis] |
15737 | To be a 'property' is to suit a theoretical role [Lewis] |
15741 | All of the natural properties are included among the intrinsic properties [Lewis] |
15742 | A disjunctive property can be unnatural, but intrinsic if its disjuncts are intrinsic [Lewis] |
15397 | If a global intrinsic never varies between possible duplicates, all necessary properties are intrinsic [Cameron on Lewis] |
15398 | Global intrinsic may make necessarily coextensive properties both intrinsic or both extrinsic [Cameron on Lewis] |
15752 | We might try defining the natural properties by a short list of them [Lewis] |
14996 | Natural properties give similarity, joint carving, intrinsicness, specificity, homogeneity... [Lewis] |
15744 | We can't define natural properties by resemblance, if they are used to explain resemblance [Lewis] |
15743 | Defining natural properties by means of laws of nature is potentially circular [Lewis] |
15740 | I don't take 'natural' properties to be fixed by the nature of one possible world [Lewis] |
16262 | Sparse properties rest either on universals, or on tropes, or on primitive naturalness [Lewis, by Maudlin] |
14194 | Proper ontology should only use categorical (actual) properties, not hypothetical ones [Sider] |
15739 | There is the property of belonging to a set, so abundant properties are as numerous as the sets [Lewis] |
10723 | A property is the set of its actual and possible instances [Lewis, by Oliver] |
15399 | The property of being F is identical with the set of objects, in all possible worlds, which are F [Lewis, by Cameron] |
15732 | Properties don't seem to be sets, because different properties can have the same set [Lewis] |
15733 | Accidentally coextensive properties come apart when we include their possible instances [Lewis] |
15734 | If a property is relative, such as being a father or son, then set membership seems relative too [Lewis] |
9655 | Trilateral and triangular seem to be coextensive sets in all possible worlds [Lewis] |
16290 | I believe in properties, which are sets of possible individuals [Lewis] |
9653 | It would be easiest to take a property as the set of its instances [Lewis] |
9657 | You must accept primitive similarity to like tropes, but tropes give a good account of it [Lewis] |
15750 | Tropes need a similarity primitive, so they cannot be used to explain similarity [Lewis] |
15749 | Trope theory (unlike universals) needs a primitive notion of being duplicates [Lewis] |
15748 | Trope theory needs a primitive notion for what unites some tropes [Lewis] |
15745 | Universals recur, are multiply located, wholly present, make things overlap, and are held in common [Lewis] |
15746 | If particles were just made of universals, similar particles would be the same particle [Lewis] |
15747 | Universals aren't parts of things, because that relationship is transitive, and universals need not be [Lewis] |
14745 | If sortal terms fix the kind and the persistence conditions, we need to know what kinds there are [Sider] |
14740 | If Tib is all of Tibbles bar her tail, when Tibbles loses her tail, two different things become one [Sider] |
14752 | Artists 'create' statues because they are essentially statues, and so lack identity with the lump of clay [Sider] |
14743 | The stage view of objects is best for dealing with coincident entities [Sider] |
14747 | 'Composition as identity' says that an object just is the objects which compose it [Sider] |
9667 | Mereological composition is unrestricted: any class of things has a mereological sum [Lewis] |
13268 | There are no restrictions on composition, because they would be vague, and composition can't be vague [Lewis, by Sider] |
13793 | An essential property is one possessed by all counterparts [Lewis, by Elder] |
14757 | Mereological essentialism says an object's parts are necessary for its existence [Sider] |
9663 | A thing 'perdures' if it has separate temporal parts, and 'endures' if it is wholly present at different times [Lewis] |
14737 | Properties cannot be relations to times, if there are temporary properties which are intrinsic [Lewis, by Sider] |
14727 | Three-dimensionalists assert 'enduring', being wholly present at each moment, and deny 'temporal parts' [Sider] |
9664 | Endurance is the wrong account, because things change intrinsic properties like shape [Lewis] |
9665 | There are three responses to the problem that intrinsic shapes do not endure [Lewis] |
14738 | Some might say that its inconsistency with time travel is a reason to favour three-dimensionalism [Sider] |
14726 | Four-dimensionalists assert 'temporal parts', 'perduring', and being spread out over time [Sider] |
14728 | 4D says intrinsic change is difference between successive parts [Sider] |
14729 | 4D says each spatiotemporal object must have a temporal part at every moment at which it exists [Sider] |
14730 | Temporal parts exist, but are not prior building blocks for objects [Sider] |
14731 | Temporal parts are instantaneous [Sider] |
14758 | How can an instantaneous stage believe anything, if beliefs take time? [Sider] |
14762 | Four-dimensionalism says temporal parts are caused (through laws of motion) by previous temporal parts [Sider] |
14741 | The ship undergoes 'asymmetric' fission, where one candidate is seen as stronger [Sider] |
19280 | I can ask questions which create a context in which origin ceases to be essential [Lewis] |
15968 | Identity is simple - absolutely everything is self-identical, and nothing is identical to another thing [Lewis] |
15969 | Two things can never be identical, so there is no problem [Lewis] |
14754 | If you say Leibniz's Law doesn't apply to 'timebound' properties, you are no longer discussing identity [Sider] |
9660 | The impossible can be imagined as long as it is a bit vague [Lewis] |
9669 | There are no free-floating possibilia; they have mates in a world, giving them extrinsic properties [Lewis] |
16133 | Possible worlds can contain contradictions if such worlds are seen as fictions [Lewis] |
16132 | On mountains or in worlds, reporting contradictions is contradictory, so no such truths can be reported [Lewis] |
16283 | For me, all worlds are equal, with each being actual relative to itself [Lewis] |
12255 | For Lewis there is no real possibility, since all possibilities are actual [Oderberg on Lewis] |
9219 | Lewis posits possible worlds just as Quine says that physics needs numbers and sets [Lewis, by Sider] |
15022 | If possible worlds really exist, then they are part of actuality [Sider on Lewis] |
10469 | A world is a maximal mereological sum of spatiotemporally interrelated things [Lewis] |
16441 | Lewis rejects actualism because he identifies properties with sets [Lewis, by Stalnaker] |
16282 | Ersatzers say we have one world, and abstract representations of how it might have been [Lewis] |
16284 | Ersatz worlds represent either through language, or by models, or magically [Lewis] |
16286 | Linguistic possible worlds need a complete supply of unique names for each thing [Lewis] |
16287 | Maximal consistency for a world seems a modal distinction, concerning what could be true together [Lewis] |
9662 | Linguistic possible worlds have problems of inconsistencies, no indiscernibles, and vocabulary [Lewis] |
7690 | If sets exist, then defining worlds as proposition sets implies an odd distinction between existing and actual [Jacquette on Lewis] |
14404 | The counterpart relation is sortal-relative, so objects need not be a certain way [Lewis, by Merricks] |
5440 | A counterpart in a possible world is sufficiently similar, and more similar than anything else [Lewis, by Mautner] |
5441 | Why should statements about what my 'counterpart' could have done interest me? [Mautner on Lewis] |
16291 | In counterpart theory 'Humphrey' doesn't name one being, but a mereological sum of many beings [Lewis] |
14763 | Counterparts rest on similarity, so there are many such relations in different contexts [Sider] |
11903 | Extreme haecceitists could say I might have been a poached egg, but it is too remote to consider [Lewis, by Mackie,P] |
15129 | Haecceitism implies de re differences but qualitative identity [Lewis] |
9670 | Extreme haecceitism says you might possibly be a poached egg [Lewis] |
5729 | If the senses are deceptive, reason, which rests on them, is even worse [Lucretius] |
5702 | The senses are much the best way to distinguish true from false [Lucretius] |
5697 | The only possible standard for settling doubts is the foundation of the senses [Lucretius] |
16279 | General causal theories of knowledge are refuted by mathematics [Lewis] |
5727 | Most supposed delusions of the senses are really misinterpretations by the mind [Lucretius] |
5714 | Even simple facts are hard to believe at first hearing [Lucretius] |
9661 | Induction is just reasonable methods of inferring the unobserved from the observed [Lewis] |
9652 | To just expect unexamined emeralds to be grue would be totally unreasonable [Lewis] |
9658 | An explanation tells us how an event was caused [Lewis] |
16280 | Often explanaton seeks fundamental laws, rather than causal histories [Lewis] |
16274 | If the well-ordering of a pack of cards was by shuffling, the explanation would make it more surprising [Lewis] |
5718 | The mind is in the middle of the breast, because there we experience fear and joy [Lucretius] |
5717 | The mind is a part of a man, just like a hand or an eye [Lucretius] |
21387 | The separate elements and capacities of a mind cannot be distinguished [Lucretius] |
5709 | The actions of the mind are not determinate and passive, because atoms can swerve [Lucretius] |
5695 | Only bodies can touch one another [Lucretius] |
5711 | The earth is and always has been an insentient being [Lucretius] |
5712 | Particles may have sensation, but eggs turning into chicks suggests otherwise [Lucretius] |
5719 | The mind moves limbs, wakes the body up, changes facial expressions, which involve touch [Lucretius] |
5724 | Lions, foxes and deer have distinct characters because their minds share in their bodies [Lucretius] |
5713 | You needn't be made of laughing particles to laugh, so why not sensation from senseless seeds? [Lucretius] |
8901 | Abstraction is usually explained either by example, or conflation, or abstraction, or negatively [Lewis] |
8904 | The Way of Abstraction says an incomplete description of a concrete entity is the complete abstraction [Lewis] |
8938 | The Way of Example compares donkeys and numbers, but what is the difference, and what are numbers? [Lewis] |
8903 | Abstracta can be causal: sets can be causes or effects; there can be universal effects; events may be sets [Lewis] |
8902 | If abstractions are non-spatial, then both sets and universals seem to have locations [Lewis] |
8905 | If universals or tropes are parts of things, then abstraction picks out those parts [Lewis] |
8906 | If we can abstract the extrinsic relations and features of objects, abstraction isn't universals or tropes [Lewis] |
8907 | The abstract direction of a line is the equivalence class of it and all lines parallel to it [Lewis] |
8908 | For most sets, the concept of equivalence is too artificial to explain abstraction [Lewis] |
16289 | We can't account for an abstraction as 'from' something if the something doesn't exist [Lewis] |
16278 | A particular functional role is what gives content to a thought [Lewis] |
9654 | A proposition is a set of entire possible worlds which instantiate a particular property [Lewis] |
15736 | A proposition is the property of being a possible world where it holds true [Lewis] |
15738 | Propositions can't have syntactic structure if they are just sets of worlds [Lewis] |
6611 | One man's meat is another man's poison [Lucretius] |
5730 | Our bodies weren't created to be used; on the contrary, their creation makes a use possible [Lucretius] |
5726 | The dead are no different from those who were never born [Lucretius] |
5705 | Nature only wants two things: freedom from pain, and pleasure [Lucretius] |
5716 | Nature runs the universe by herself without the aid of gods [Lucretius] |
5704 | There can be no centre in infinity [Lucretius] |
5703 | The universe must be limitless, since there could be nothing outside to limit it [Lucretius] |
5693 | Everything is created and fed by nature from atoms, and they return to atoms in death [Lucretius] |
5701 | If an object is infinitely subdivisible, it will be the same as the whole universe [Lucretius] |
5708 | In downward motion, atoms occasionally swerve slightly for no reason [Lucretius] |
9659 | Causation is when at the closest world without the cause, there is no effect either [Lewis] |
17004 | Nothing can break the binding laws of eternity [Lucretius] |
5696 | If there were no space there could be no movement, or even creation [Lucretius] |
14725 | Maybe motion is a dynamical quantity intrinsic to a thing at a particular time [Sider] |
5706 | Atoms move themselves [Lucretius] |
5700 | It is quicker to break things up than to assemble them [Lucretius] |
14735 | Space is 3D and lacks a direction; time seems connected to causation [Sider] |
9666 | It is quite implausible that the future is unreal, as that would terminate everything [Lewis] |
14722 | Between presentism and eternalism is the 'growing block' view - the past is real, the future is not [Sider] |
14756 | For Presentists there must always be a temporal vantage point for any description [Sider] |
14724 | Presentists must deny truths about multiple times [Sider] |
5698 | We can only sense time by means of movement, or its absence [Lucretius] |
14723 | Talk using tenses can be eliminated, by reducing it to indexical connections for an utterance [Sider] |
14734 | The B-series involves eternalism, and the reduction of tense [Sider] |
14736 | The B-theory is adequate, except that it omits to say which time is present [Sider] |
5715 | This earth is very unlikely to be the only one created [Lucretius] |
5694 | Nothing can be created by divine power out of nothing [Lucretius] |
5699 | If matter wasn't everlasting, everything would have disappeared by now [Lucretius] |
5707 | The universe can't have been created by gods, because it is too imperfect [Lucretius] |
5710 | Gods are tranquil and aloof, and have no need of or interest in us [Lucretius] |
5731 | Why does Jupiter never hurl lightning from a blue sky? [Lucretius] |
5722 | For a separated spirit to remain sentient it would need sense organs attached to it [Lucretius] |
5725 | An immortal mind couldn't work harmoniously with a mortal body [Lucretius] |
5720 | Spirit is mortal [Lucretius] |
5721 | The mind is very small smooth particles, which evaporate at death [Lucretius] |
5723 | If spirit is immortal and enters us at birth, why don't we remember a previous existence? [Lucretius] |