more on this theme     |     more from this text


Single Idea 8580

[filed under theme 7. Existence / D. Theories of Reality / 6. Physicalism ]

Full Idea

Final definition of 'Materialism': Among worlds where no natural properties alien to our world are instantiated, no two differ without differing physically; and two such worlds that are exactly alike physically are duplicates.

Gist of Idea

Materialism is (roughly) that two worlds cannot differ without differing physically

Source

David Lewis (New work for a theory of universals [1983], 'Min Mat')

Book Ref

'Properties', ed/tr. Mellor,D.H. /Oliver,A [OUP 1997], p.212


A Reaction

This would presumably allow for an anomalous monist/property dualist view of mind, but not full dualism. But if there are no psychophysical laws, what stops the mental changing while the physical remains the same?


The 324 ideas from David Lewis

For modality Lewis rejected boxes and diamonds, preferring worlds, and an index for the actual one [Lewis, by Stalnaker]
The actual world is just the world you are in [Lewis, by Cappelen/Dever]
A content is a property, and believing it is self-ascribing that property [Lewis, by Recanati]
Lewis's popular centred worlds approach gives an attitude an index of world, subject and time [Lewis, by Recanati]
Attitudes involve properties (not propositions), and belief is self-ascribing the properties [Lewis, by Solomon]
A theory of perspectival de se content gives truth conditions relative to an agent [Lewis, by Cappelen/Dever]
Lewis endorses the thesis that all explanation of singular events is causal explanation [Lewis, by Psillos]
We only pick 'the' cause for the purposes of some particular enquiry. [Lewis]
Ways of carving causes may be natural, but never 'right' [Lewis]
Causal dependence is counterfactual dependence between events [Lewis]
To explain an event is to provide some information about its causal history [Lewis]
A disposition needs a causal basis, a property in a certain causal role. Could the disposition be the property? [Lewis]
Science may well pursue generalised explanation, rather than laws [Lewis]
Explaining match lighting in general is like explaining one lighting of a match [Lewis]
A good explanation is supposed to show that the event had to happen [Lewis]
Does a good explanation produce understanding? That claim is just empty [Lewis]
Verisimilitude has proved hard to analyse, and seems to have several components [Lewis]
We can explain a chance event, but can never show why some other outcome did not occur [Lewis]
A theory of causation should explain why cause precedes effect, not take it for granted [Lewis, by Field,H]
It is just individious discrimination to pick out one cause and label it as 'the' cause [Lewis]
If dispositions are more fundamental than causes, then they won't conceptually reduce to them [Bird on Lewis]
The counterfactual view says causes are necessary (rather than sufficient) for their effects [Lewis, by Bird]
Lewis has basic causation, counterfactuals, and a general ancestral (thus handling pre-emption) [Lewis, by Bird]
Counterfactual causation implies all laws are causal, which they aren't [Tooley on Lewis]
Lewis's account of counterfactuals is fine if we know what a law of nature is, but it won't explain the latter [Cohen,LJ on Lewis]
The modern regularity view says a cause is a member of a minimal set of sufficient conditions [Lewis]
A proposition is a set of possible worlds where it is true [Lewis]
Regularity analyses could make c an effect of e, or an epiphenomenon, or inefficacious, or pre-empted [Lewis]
My counterfactual analysis applies to particular cases, not generalisations [Lewis]
Determinism says there can't be two identical worlds up to a time, with identical laws, which then differ [Lewis]
For true counterfactuals, both antecedent and consequent true is closest to actuality [Lewis]
One event causes another iff there is a causal chain from first to second [Lewis]
I reject making the direction of causation axiomatic, since that takes too much for granted [Lewis]
Presentism says only the present exists, so there is nothing for tensed truths to supervene on [Lewis]
Predications aren't true because of what exists, but of how it exists [Lewis]
Armstrong's analysis seeks truthmakers rather than definitions [Lewis]
Say 'truth is supervenient on being', but construe 'being' broadly [Lewis]
How do things combine to make states of affairs? Constituents can repeat, and fail to combine [Lewis]
There are few traces of an event before it happens, but many afterwards [Lewis, by Horwich]
Lewis says indicative conditionals are truth-functional [Lewis, by Jackson]
In good counterfactuals the consequent holds in world like ours except that the antecedent is true [Lewis, by Horwich]
A law of nature is a general axiom of the deductive system that is best for simplicity and strength [Lewis]
Counterpart theory is bizarre, as no one cares what happens to a mere counterpart [Kripke on Lewis]
Counterparts are not the original thing, but resemble it more than other things do [Lewis]
If the closest resembler to you is in fact quite unlike you, then you have no counterpart [Lewis]
Essential attributes are those shared with all the counterparts [Lewis]
Aristotelian essentialism says essences are not relative to specification [Lewis]
It doesn't take the whole of a possible Humphrey to win the election [Lewis]
Causal necessities hold in all worlds compatible with the laws of nature [Lewis]
We must avoid circularity between what is intrinsic and what is natural [Lewis, by Cameron]
A property is 'intrinsic' iff it can never differ between duplicates [Lewis]
Interdefinition is useless by itself, but if we grasp one separately, we have them both [Lewis]
Ellipsoidal stars seem to have an intrinsic property which depends on other objects [Lewis]
Defining terms either enables elimination, or shows that they don't require elimination [Lewis]
There is a method for defining new scientific terms just using the terms we already understand [Lewis]
A Ramsey sentence just asserts that a theory can be realised, without saying by what [Lewis]
It is better to have one realisation of a theory than many - but it may not always be possible [Lewis]
A logically determinate name names the same thing in every possible world [Lewis]
The Ramsey sentence of a theory says that it has at least one realisation [Lewis]
Knowing is context-sensitive because the domain of quantification varies [Lewis, by Cohen,S]
We have knowledge if alternatives are eliminated, but appropriate alternatives depend on context [Lewis, by Cohen,S]
Justification is neither sufficient nor necessary for knowledge [Lewis]
To say S knows P, but cannot eliminate not-P, sounds like a contradiction [Lewis]
The timid student has knowledge without belief, lacking confidence in their correct answer [Lewis]
Causation is a general relation derived from instances of causal dependence [Lewis]
The events that suit semantics may not be the events that suit causation [Lewis]
An event is a property of a unique space-time region [Lewis]
Properties are very abundant (unlike universals), and are used for semantics and higher-order variables [Lewis]
Events have inbuilt essences, as necessary conditions for their occurrence [Lewis]
Events are classes, and so there is a mereology of their parts [Lewis]
Some events involve no change; they must, because causal histories involve unchanges [Lewis]
Being alone doesn't guarantee intrinsic properties; 'being alone' is itself extrinsic [Lewis, by Sider]
Extrinsic properties come in degrees, with 'brother' less extrinsic than 'sibling' [Lewis]
Total intrinsic properties give us what a thing is [Lewis]
Backtracking counterfactuals go from supposed events to their required causal antecedents [Lewis]
A 'finkish' disposition is real, but disappears when the stimulus occurs [Lewis]
All dispositions must have causal bases [Lewis]
The distinction between dispositional and 'categorical' properties leads to confusion [Lewis]
Experiences are defined by their causal role, and causal roles belong to physical states [Lewis]
'Pain' contingently names the state that occupies the causal role of pain [Lewis]
Truthmakers are about existential grounding, not about truth [Lewis]
To be true a sentence must express a proposition, and not be ambiguous or vague or just expressive [Lewis]
Truthmaker is correspondence, but without the requirement to be one-to-one [Lewis]
I tried to be unsystematic and piecemeal, but failed; my papers presuppose my other views [Lewis]
The world is just a vast mosaic of little matters of local particular fact [Lewis]
Humean supervenience says the world is just a vast mosaic of qualities in space-time [Lewis]
A theory must be mixed, to cover qualia without behaviour, and behaviour without qualia [Lewis, by PG]
The application of 'pain' to physical states is non-rigid and contingent [Lewis]
Type-type psychophysical identity is combined with a functional characterisation of pain [Lewis]
Basic to pragmatics is taking a message in a way that makes sense of it [Lewis]
If cats are vague, we deny that the many cats are one, or deny that the one cat is many [Lewis]
We have one cloud, but many possible boundaries and aggregates for it [Lewis]
Semantic indecision explains vagueness (if we have precisifications to be undecided about) [Lewis]
Part of the folk concept of qualia is what makes recognition and comparison possible [Lewis]
Mathematics is generalisations about singleton functions [Lewis]
Megethology is the result of adding plural quantification to mereology [Lewis]
Mathematics reduces to set theory, which reduces, with some mereology, to the singleton function [Lewis]
We can accept the null set, but not a null class, a class lacking members [Lewis]
I say that absolutely any things can have a mereological fusion [Lewis]
The null set is not a little speck of sheer nothingness, a black hole in Reality [Lewis]
The null set plays the role of last resort, for class abstracts and for existence [Lewis]
What on earth is the relationship between a singleton and an element? [Lewis]
Are all singletons exact intrinsic duplicates? [Lewis]
We don't need 'abstract structures' to have structural truths about successor functions [Lewis]
We can use mereology to simulate quantification over relations [Lewis]
'Allists' embrace the existence of all controversial entities; 'noneists' reject all but the obvious ones [Lewis]
We can quantify over fictions by quantifying for real over their names [Lewis]
We could quantify over impossible objects - as bundles of properties [Lewis]
We can't accept a use of 'existence' that says only some of the things there are actually exist [Lewis]
We could not uphold a truthmaker for 'Fa' without structures [Lewis]
The main rivals to universals are resemblance or natural-class nominalism, or sparse trope theory [Lewis]
The whole truth supervenes on the physical truth [Lewis]
I am a reductionist about mind because I am an a priori reductionist about everything [Lewis]
Where pixels make up a picture, supervenience is reduction [Lewis]
Folk psychology makes good predictions, by associating mental states with causal roles [Lewis]
Arguments are nearly always open to challenge, but they help to explain a position rather than force people to believe [Lewis]
Human pain might be one thing; Martian pain might be something else [Lewis]
A mind is an organ of representation [Lewis]
Folk psychology doesn't say that there is a language of thought [Lewis]
If you don't share an external world with a brain-in-a-vat, then externalism says you don't share any beliefs [Lewis]
Nothing shows that all content is 'wide', or that wide content has logical priority [Lewis]
A spontaneous duplicate of you would have your brain states but no experience, so externalism would deny him any beliefs [Lewis]
Wide content derives from narrow content and relationships with external things [Lewis]
If sets exist, then defining worlds as proposition sets implies an odd distinction between existing and actual [Jacquette on Lewis]
Lewis rejects actualism because he identifies properties with sets [Lewis, by Stalnaker]
For Lewis there is no real possibility, since all possibilities are actual [Oderberg on Lewis]
Lewis posits possible worlds just as Quine says that physics needs numbers and sets [Lewis, by Sider]
If possible worlds really exist, then they are part of actuality [Sider on Lewis]
The counterpart relation is sortal-relative, so objects need not be a certain way [Lewis, by Merricks]
Why should statements about what my 'counterpart' could have done interest me? [Mautner on Lewis]
A counterpart in a possible world is sufficiently similar, and more similar than anything else [Lewis, by Mautner]
There are only two kinds: sets, and possibilia (actual and possible particulars) [Lewis, by Oliver]
The property of being F is identical with the set of objects, in all possible worlds, which are F [Lewis, by Cameron]
Supervenience concerns whether things could differ, so it is a modal notion [Lewis]
On mountains or in worlds, reporting contradictions is contradictory, so no such truths can be reported [Lewis]
Possible worlds can contain contradictions if such worlds are seen as fictions [Lewis]
Verisimilitude might be explained as being close to the possible world where the truth is exact [Lewis]
To just expect unexamined emeralds to be grue would be totally unreasonable [Lewis]
An explanation tells us how an event was caused [Lewis]
A proposition is a set of entire possible worlds which instantiate a particular property [Lewis]
A proposition is the property of being a possible world where it holds true [Lewis]
Propositions can't have syntactic structure if they are just sets of worlds [Lewis]
There is the property of belonging to a set, so abundant properties are as numerous as the sets [Lewis]
A property is the set of its actual and possible instances [Lewis, by Oliver]
It would be easiest to take a property as the set of its instances [Lewis]
Accidentally coextensive properties come apart when we include their possible instances [Lewis]
Properties don't seem to be sets, because different properties can have the same set [Lewis]
If a property is relative, such as being a father or son, then set membership seems relative too [Lewis]
Trilateral and triangular seem to be coextensive sets in all possible worlds [Lewis]
You must accept primitive similarity to like tropes, but tropes give a good account of it [Lewis]
Universals aren't parts of things, because that relationship is transitive, and universals need not be [Lewis]
Universals recur, are multiply located, wholly present, make things overlap, and are held in common [Lewis]
If particles were just made of universals, similar particles would be the same particle [Lewis]
Trope theory needs a primitive notion for what unites some tropes [Lewis]
Trope theory (unlike universals) needs a primitive notion of being duplicates [Lewis]
Tropes need a similarity primitive, so they cannot be used to explain similarity [Lewis]
All of the natural properties are included among the intrinsic properties [Lewis]
Surely 'slept in by Washington' is a property of some bed? [Lewis]
A disjunctive property can be unnatural, but intrinsic if its disjuncts are intrinsic [Lewis]
Properties don't have degree; they are determinate, and things have varying relations to them [Lewis]
The 'abundant' properties are just any bizarre property you fancy [Lewis]
To be a 'property' is to suit a theoretical role [Lewis]
Natural properties give similarity, joint carving, intrinsicness, specificity, homogeneity... [Lewis]
Defining natural properties by means of laws of nature is potentially circular [Lewis]
We can't define natural properties by resemblance, if they are used to explain resemblance [Lewis]
Quantification sometimes commits to 'sets', but sometimes just to pluralities (or 'classes') [Lewis]
I don't take 'natural' properties to be fixed by the nature of one possible world [Lewis]
We might try defining the natural properties by a short list of them [Lewis]
A world is a maximal mereological sum of spatiotemporally interrelated things [Lewis]
Causation is when at the closest world without the cause, there is no effect either [Lewis]
Abstraction is usually explained either by example, or conflation, or abstraction, or negatively [Lewis]
The Way of Abstraction says an incomplete description of a concrete entity is the complete abstraction [Lewis]
The Way of Example compares donkeys and numbers, but what is the difference, and what are numbers? [Lewis]
Abstracta can be causal: sets can be causes or effects; there can be universal effects; events may be sets [Lewis]
If abstractions are non-spatial, then both sets and universals seem to have locations [Lewis]
If we can abstract the extrinsic relations and features of objects, abstraction isn't universals or tropes [Lewis]
If universals or tropes are parts of things, then abstraction picks out those parts [Lewis]
For most sets, the concept of equivalence is too artificial to explain abstraction [Lewis]
The abstract direction of a line is the equivalence class of it and all lines parallel to it [Lewis]
Abstractions may well be verbal fictions, in which we ignore some features of an object [Lewis]
The impossible can be imagined as long as it is a bit vague [Lewis]
A particular functional role is what gives content to a thought [Lewis]
General causal theories of knowledge are refuted by mathematics [Lewis]
Induction is just reasonable methods of inferring the unobserved from the observed [Lewis]
Often explanaton seeks fundamental laws, rather than causal histories [Lewis]
If the well-ordering of a pack of cards was by shuffling, the explanation would make it more surprising [Lewis]
Honesty requires philosophical theories we can commit to with our ordinary commonsense [Lewis]
Extreme haecceitists could say I might have been a poached egg, but it is too remote to consider [Lewis, by Mackie,P]
An essential property is one possessed by all counterparts [Lewis, by Elder]
For me, all worlds are equal, with each being actual relative to itself [Lewis]
Ersatzers say we have one world, and abstract representations of how it might have been [Lewis]
Ersatz worlds represent either through language, or by models, or magically [Lewis]
Linguistic possible worlds need a complete supply of unique names for each thing [Lewis]
Maximal consistency for a world seems a modal distinction, concerning what could be true together [Lewis]
Linguistic possible worlds have problems of inconsistencies, no indiscernibles, and vocabulary [Lewis]
Analysis reduces primitives and makes understanding explicit (without adding new knowledge) [Lewis]
We can't account for an abstraction as 'from' something if the something doesn't exist [Lewis]
I believe in properties, which are sets of possible individuals [Lewis]
In counterpart theory 'Humphrey' doesn't name one being, but a mereological sum of many beings [Lewis]
Identity is simple - absolutely everything is self-identical, and nothing is identical to another thing [Lewis]
Two things can never be identical, so there is no problem [Lewis]
Endurance is the wrong account, because things change intrinsic properties like shape [Lewis]
There are three responses to the problem that intrinsic shapes do not endure [Lewis]
A thing 'perdures' if it has separate temporal parts, and 'endures' if it is wholly present at different times [Lewis]
It is quite implausible that the future is unreal, as that would terminate everything [Lewis]
Mereological composition is unrestricted: any class of things has a mereological sum [Lewis]
Haecceitism implies de re differences but qualitative identity [Lewis]
Extreme haecceitism says you might possibly be a poached egg [Lewis]
There are no free-floating possibilia; they have mates in a world, giving them extrinsic properties [Lewis]
Vagueness is semantic indecision: we haven't settled quite what our words are meant to express [Lewis]
Whether or not France is hexagonal depends on your standards of precision [Lewis]
I can ask questions which create a context in which origin ceases to be essential [Lewis]
Properties cannot be relations to times, if there are temporary properties which are intrinsic [Lewis, by Sider]
There are no restrictions on composition, because they would be vague, and composition can't be vague [Lewis, by Sider]
Sparse properties rest either on universals, or on tropes, or on primitive naturalness [Lewis, by Maudlin]
If a global intrinsic never varies between possible duplicates, all necessary properties are intrinsic [Cameron on Lewis]
Global intrinsic may make necessarily coextensive properties both intrinsic or both extrinsic [Cameron on Lewis]
The interesting time travel is when personal and external time come apart [Lewis, by Baron/Miller]
Lewis said it might just be that travellers to the past can't kill their grandfathers [Lewis, by Baron/Miller]
Set theory reduces to a mereological theory with singletons as the only atoms [Lewis, by MacBride]
Sets are mereological sums of the singletons of their members [Lewis, by Armstrong]
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 replace the membership relation with the member-singleton relation (plus mereology) [Lewis]
We can build set theory on singletons: classes are then fusions of subclasses, membership is the singleton [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]
If singletons are where their members are, then so are all sets [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]
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]
Lewis can't know possible worlds without first knowing what is possible or impossible [Lycan on Lewis]
What are the ontological grounds for grouping possibilia into worlds? [Lycan on Lewis]
Lewis's distinction of 'existing' from 'being actual' is Meinong's between 'existing' and 'subsisting' [Lycan on Lewis]
A conditional probability does not measure the probability of the truth of any proposition [Lewis, by Edgington]
Properties are sets of their possible instances (which separates 'renate' from 'cordate') [Lewis, by Mellor/Oliver]
If simplicity and strength are criteria for laws of nature, that introduces a subjective element [Mumford on Lewis]
A number of systematizations might tie as the best and most coherent system [Mumford on Lewis]
Laws are the best axiomatization of the total history of world events or facts [Lewis, by Mumford]
Descriptive theories remain part of the theory of reference (with seven mild modifications) [Lewis]
Causal theories of reference make errors in reference easy [Lewis]
A gerrymandered mereological sum can be a mess, but still have natural joints [Lewis]
Anti-realists see the world as imaginary, or lacking joints, or beyond reference, or beyond truth [Lewis]
A consistent theory just needs one model; isomorphic versions will do too, and large domains provide those [Lewis]
You can't deny temporary intrinsic properties by saying the properties are relations (to times) [Lewis]
Tropes are particular properties, which cannot recur, but can be exact duplicates [Lewis]
The 'magical' view of structural universals says they are atoms, even though they have parts [Lewis]
If 'methane' is an atomic structural universal, it has nothing to connect it to its carbon universals [Lewis]
The 'pictorial' view of structural universals says they are wholes made of universals as parts [Lewis]
The structural universal 'methane' needs the universal 'hydrogen' four times over [Lewis]
A whole is distinct from its parts, but is not a further addition in ontology [Lewis]
Mathematicians abstract by equivalence classes, but that doesn't turn a many into one [Lewis]
Maybe abstraction is just mereological subtraction [Lewis]
I assume there could be natural properties that are not instantiated in our world [Lewis]
Different things (a toy house and toy car) can be made of the same parts at different times [Lewis]
Composition is not just making new things from old; there are too many counterexamples [Lewis]
Butane and Isobutane have the same atoms, but different structures [Lewis]
Structural universals have a necessary connection to the universals forming its parts [Lewis]
We can't get rid of structural universals if there are no simple universals [Lewis]
If you think universals are immanent, you must believe them to be sparse, and not every related predicate [Lewis]
Universals are meant to give an account of resemblance [Lewis]
We can add a primitive natural/unnatural distinction to class nominalism [Lewis]
Lewis later proposed the axioms at the intersection of the best theories (which may be few) [Mumford on Lewis]
De re modal predicates are ambiguous [Lewis, by Rudder Baker]
Every proposition is entirely about being [Lewis]
If it were true that nothing at all existed, would that have a truthmaker? [Lewis]
Physics aims to discover which universals actually exist [Lewis, by Moore,AW]
Lewisian properties have powers because of their relationships to other properties [Lewis, by Hawthorne]
Properties are classes of possible and actual concrete particulars [Lewis, by Koslicki]
Lewis says properties are sets of actual and possible objects [Lewis, by Heil]
Natural properties figure in the analysis of similarity in intrinsic respects [Lewis, by Oliver]
Lewisian natural properties fix reference of predicates, through a principle of charity [Lewis, by Hawley]
The One over Many problem (in predication terms) deserves to be neglected (by ostriches) [Lewis]
In addition to analysis of a concept, one can deny it, or accept it as primitive [Lewis]
Reference partly concerns thought and language, partly eligibility of referent by natural properties [Lewis]
Objects are demarcated by density and chemistry, and natural properties belong in what is well demarcated [Lewis]
Natural properties tend to belong to well-demarcated things, typically loci of causal chains [Lewis]
For us, a property being natural is just an aspect of its featuring in the contents of our attitudes [Lewis]
We need natural properties in order to motivate the principle of charity [Lewis]
A sophisticated principle of charity sometimes imputes error as well as truth [Lewis]
A supervenience thesis is a denial of independent variation [Lewis]
Supervenience is reduction without existence denials, ontological priorities, or translatability [Lewis]
Physics aims for a list of natural properties [Lewis]
Counterfactuals 'backtrack' if a different present implies a different past [Lewis]
I suspend judgements about universals, but their work must be done [Lewis]
Causal counterfactuals must avoid backtracking, to avoid epiphenomena and preemption [Lewis]
A law of nature is any regularity that earns inclusion in the ideal system [Lewis]
Physics discovers laws and causal explanations, and also the natural properties required [Lewis]
Materialism is (roughly) that two worlds cannot differ without differing physically [Lewis]
Psychophysical identity implies the possibility of idealism or panpsychism [Lewis]
All perfectly natural properties are intrinsic [Lewis, by Lewis]
Natural properties fix resemblance and powers, and are picked out by universals [Lewis]
Any class of things is a property, no matter how whimsical or irrelevant [Lewis]
Universals are wholly present in their instances, whereas properties are spread around [Lewis]
There are far more properties than any brain could ever encodify [Lewis]
We need properties as semantic values for linguistic expressions [Lewis]
To have a property is to be a member of a class, usually a class of things [Lewis]
Most properties are causally irrelevant, and we can't spot the relevant ones. [Lewis]
Class Nominalism and Resemblance Nominalism are pretty much the same [Lewis]
Semantic vagueness involves alternative and equal precisifications of the language [Lewis]
An event causes another just if the second event would not have happened without the first [Lewis, by Psillos]