'To think often, and never to retain it so much as one moment, is a very useless sort of thinking' In An Essay concerning Human Understanding, John Locke sets out his theory of knowledge and how we acquire it. Eschewing doctrines of innate principles and ideas, Locke shows how all our ideas, even the most abstract and complex, are grounded in human experience and attained by sensation of external things or reflection upon our own mental activities. A thorough examination of (...) the communication of ideas through language and the conventions of taking words as signs of ideas paves the way for his penetrating critique of the limitations of ideas and the extent of our knowledge of ourselves, the world, God, and morals. Locke's masterpiece laid the foundation of British empiricism and is of enduring interest to anyone exploring the development of philosophical thought. This sensitive abridgement uses P. H. Nidditch's authoritative text, and together with an illuminating introduction and other features, makes Locke's arguments more accessible. (shrink)

Scientific Essentialism defends the view that the fundamental laws of nature depend on the essential properties of the things on which they are said to operate, and are therefore not independent of them. These laws are not imposed upon the world by God, the forces of nature or anything else, but rather are immanent in the world. Ellis argues that ours is a dynamic world consisting of more or less transient objects which are constantly interacting with each other, and whose (...) identities depend on their roles in these processes. Natural objects must behave as they do, because to do otherwise would be contrary to their natures. The laws of nature are, therefore, metaphysically necessary, and consequently, there are necessary connections between events. Brian Ellis calls for the rejection of the theory of Humean Supervenience and an implementation of a new kind of realism in philosophical analysis. (shrink)

This book is a defense of modal realism; the thesis that our world is but one of a plurality of worlds, and that the individuals that inhabit our world are only a few out of all the inhabitants of all the worlds. Lewis argues that the philosophical utility of modal realism is a good reason for believing that it is true.

The distinction between qualitative properties like mass and shape and non-qualitative properties like being Napoleon and being next to Obama is important, but remains largely unexamined. After discussing its theoretical significance and cataloguing various kinds of non-qualitative properties, I survey several views about the nature of this distinction and argue that all proposed reductive analyses of this distinction are unsatisfactory. I then defend primitivism, according to which the distinction resists reductive analysis.

A number of recent authors (Galles and Pearl, Found Sci 3 (1):151–182, 1998; Hiddleston, Noûs 39 (4):232–257, 2005; Halpern, J Artif Intell Res 12:317–337, 2000) advocate a causal modeling semantics for counterfactuals. But the precise logical significance of the causal modeling semantics remains murky. Particularly important, yet particularly under-explored, is its relationship to the similarity-based semantics for counterfactuals developed by Lewis (Counterfactuals. Harvard University Press, 1973b). The causal modeling semantics is both an account of the truth conditions of counterfactuals, and (...) an account of which inferences involving counterfactuals are valid. As an account of truth conditions, it is incomplete. While Lewis's similarity semantics lets us evaluate counterfactuals with arbitrarily complex antecedents and consequents, the causal modeling semantics makes it hard to ascertain the truth conditions of all but a highly restricted class of counterfactuals. I explain how to extend the causal modeling language to encompass a wider range of sentences, and provide a sound and complete axiomatization for the extended language. Extending the truth conditions for counterfactuals has serious consequences concerning valid inference. The extended language is unlike any logic of Lewis's: modus ponens is invalid, and classical logical equivalents cannot be freely substituted in the antecedents of conditionals. (shrink)

Dispositional essentialists argue that physical properties have their causal roles essentially. This is typically taken to mean that physical properties are identical to dispositions. I argue that this is untenable, and that we must instead say that properties bestow dispositions. I explore what it is for a property to have such a role essentially. Dispositional essentialists argue for their view by citing certain epistemological and metaphysical implications, and I appeal to these implications to place desiderata on the concept of essence (...) involved. I argue that the traditional modal theory of essence meets these desiderata, but that the resulting theory wrongly implies that certain dispositions essential to mass are essential to charge, thereby offering a new argument against modal theories of essence. I argue that dispositional essentialism requires a primitive notion of essence, and develop a primitivist theory based on Kit Fine's views. I show that the primitivist theory has all the virtues of the modal alternative, and none of the vices. I develop a novel way of thinking about the relationship between properties, laws and dispositions, and argue that it has distinct advantages over standard dispositional essentialist formulations. (shrink)

The distinction between essential versus accidental properties has been characterized in various ways, but it is currently most commonly understood in modal terms: an essential property of an object is a property that it must have, while an accidental property of an object is one that it happens to have but that it could lack. Let’s call this the basic modal characterization, where a modal characterization of a notion is one that explains the notion in terms of necessity/possibility. In the (...) characterization just given of the distinction between essential and accidental properties, the use of the word “must” reflects the fact that necessity is invoked, while the use of the word “could” reflects that possibility is invoked. The notions of necessity and possibility are interdefinable: to say that something is necessary is to say that its negation is not possible; to say that something is possible is to say that its negation is not necessary; to say that an object must have a certain property is to say that it could not lack it; and to say that an object could have a certain property is to say that it is not the case that it must lack it. (shrink)

According to Essentialism, an object’s properties divide into those that are essential and those that are accidental. While being human is commonly thought to be essential to Socrates, being a philosopher plausibly is not. We can motivate the distinction by appealing—as we just did—to examples. However, it is not obvious how best to characterize the notion of essential property, nor is it easy to give conclusive arguments for the essentiality of a given property. In this paper, I elaborate on these (...) issues and explore the way in which essential properties behave in relation to other related properties, like sufficient-for-existence properties and individual essences. (shrink)

George Molnar came to see that the solution to a number of the problems of contemporary philosophy lay in the development of an alternative to Hume's metaphysics. This alternative would have real causal powers at its centre. Molnar set about developing a thorough account of powers that might persuade those who remained, perhaps unknowingly, in the grip of Humean assumptions. He succeeded in producing something both highly focused and at the same time wide-ranging. He showed both that the notion of (...) a power was central and that it could serve to dispel a number of long-standing philosophical problems.Molnar's account of powers is as realist as any that has so far appeared. He shows that dispositions are as real as any other properties. Specifically, they do not depend for their existence on their manifestations. Nevertheless, they are directed towards such manifestations. Molnar thus appropriates the notion of intentionality, from Brentano, and argues that it is the essential characteristic of powers. He offers a persuasive case for there being some basic and ungrounded powers, thus ruling out the reducibility of the dispositional to the non-dispositional. However, he does allow that there are non-power properties as well as power properties. In this respect, his final position is dualistic.This is contemporary metaphysics of the highest quality. It is a work that was almost complete when its author died. It has been edited for publication by another specialist in the subject, Stephen Mumford, who has also provided an introduction that will allow non-specialists to become acquainted with the issues. David Armstrong, one of the greatest living metaphysicians and personal friend of George Molnar, has provided a Foreword. (shrink)

The law-governed world-picture -- A remarkable idea about the way the universe is cosmos and compulsion -- The laws as the cosmic order : the best-system approach -- The three ways : no-laws, non-governing-laws, governing-laws -- Work that laws do in science -- An important difference between the laws of nature and the cosmic order -- The picture in four theses -- The strategy of this book -- The meta-theoretic conception of laws -- The measurability approach to laws -- What (...) comes where -- In defense of some received views -- Some assumptions that will be in play -- The laws are propositions -- The laws are true -- The logically contingent consequences of the laws are laws themselves -- At least some laws are metaphysically contingent -- The meta-theoretic conception of laws -- Laws of nature, laws of science, laws of theories -- The first-order conception versus the meta-theoretic conception -- What is a law of nature? -- Some examples of meta-theoretic accounts -- The virtues of the meta-theoretic conception -- Weighing the virtues and shortcomings of the meta-theoretic conception -- An epistemological argument for the meta-theoretic conception of laws -- The discoverability thesis, the governing thesis, and the first-order conception -- The main argument -- The objection from bad company -- The objection from inference to the best explanation -- The objection from bayesianism -- The objection from contextualist epistemology -- The objection from the threat of inductive skepticism -- Laws, governing, and counterfactuals -- Where we are now -- What would things have to be like in order for the laws of nature to govern the universe? -- Lawhood, inevitability, counterfactuals -- What is it for a proposition to be inevitably true? -- What is it for a whole class of propositions to be inevitably true? -- What is it for lawhood to confer inevitability? -- NP and supporting counterfactuals -- The worry about context-variability -- A solution and a look ahead -- When would the laws have been different? -- Where we are now -- The God cases -- Other counterexamples to NP -- A moral-theoretic counterexample to NP -- Scientific contexts and non-scientific contexts -- Scientific God cases? -- Lewisian non-backtracking counterexamples -- Where things stand now -- How could science show that the laws govern? -- Why the law-governed world-picture must include the science-says-so thesis -- What is extra-scientific? -- How can the science-says-so thesis be true? -- NP as a consequence of the presuppositions in any scientific context -- Np as true in all possible scientific contexts -- But how could it be so? -- Attack of the actual-factualists -- Measurement and counterfactuals -- Where we are now -- Measurements, reliability, counterfactuals -- A general principle that captures the relation between measurement and counterfactuals -- What we can learn about lawhood from what we have learned about the counterfactual commitments of science -- A first-order account of laws or a meta-theoretic account of laws? -- What methods are presupposed to be legitimate measurement procedures? -- Why we must adopt a meta-theoretic account of laws -- What lawhood is -- Where we are now -- The measurability account of laws -- Brief review of the case for the mal -- A note about hedged laws -- How plausible is the mal? -- What if we don't care about the law-governed world-picture? -- Newton's God and Laplace's demon -- Beyond humean and non-humean -- Two views of laws -- Humean supervenience and the meta-theoretic conception -- Alleged counterexamples to humean supervenience -- Governing and non-trivial necessity -- How the mal lets us have it all -- Humeanism? non-humeanism? -- What is the significance of the idea of the law-governed universe? -- Where in the world are the laws of nature? -- Appendix: The mal in action : a few examples -- Of scientific theories and their laws -- Newton's theory as a paradigm example -- Classical special-force laws -- Geometrical optics and one of its laws -- Local deterministic field theories. (shrink)

Woodward's long awaited book is an attempt to construct a comprehensive account of causation explanation that applies to a wide variety of causal and explanatory claims in different areas of science and everyday life. The book engages some of the relevant literature from other disciplines, as Woodward weaves together examples, counterexamples, criticisms, defenses, objections, and replies into a convincing defense of the core of his theory, which is that we can analyze causation by appeal to the notion of manipulation.

Professional philosophers and advanced students working in metaphysics and the philosophy of science will find this book both provocative and stimulating.

The basic idea of counterfactual theories of causation is that the meaning of causal claims can be explained in terms of counterfactual conditionals of the form “If A had not occurred, C would not have occurred”. While counterfactual analyses have been given of type-causal concepts, most counterfactual analyses have focused on singular causal or token-causal claims of the form “event c caused event e”. Analyses of token-causation have become popular in the last thirty years, especially since the development in the (...) 1970's of possible world semantics for counterfactuals. The best known counterfactual analysis of causation is David Lewis's (1973b) theory. However, intense discussion over thirty years has cast doubt on the adequacy of any simple analysis of singular causation in terms of counterfactuals. Recent years have seen a proliferation of different refinements of the basic idea to achieve a closer match with commonsense judgements about causation. (shrink)

On the received view, counterfactuals are analysed using the concept of closeness between possible worlds: the counterfactual 'If it had been the case that p, then it would have been the case that q' is true at a world w just in case q is true at all the possible p-worlds closest to w. The degree of closeness between two worlds is usually thought to be determined by weighting different respects of similarity between them. The question I consider in the (...) paper is which weights attach to different respects of similarity. I start by considering Lewis's answer to the question and argue against it by presenting several counterexamples. I use the same examples to motivate a general principle about closeness: if a fact obtains in both of two worlds, then this similarity is relevant to the closeness between them if and only if the fact has the same explanation in the two worlds. I use this principle and some ideas of Lewis's to formulate a general account of counterfactuals, and I argue that this account can explain the asymmetry of counterfactual dependence. The paper concludes with a discussion of some examples that cannot be accommodated by the present version of the account and therefore necessitate further work on the details. (shrink)

It is argued that the so‐called principles of “strong centering” and “weak centering” central to the traditional Lewis‐Stalnaker semantics for counterfactuals are both fallacious. A foundation for an alternative semantics without these prinsciples is outlined. The core idea is that the statistically normal worlds – rather than those worlds most qualitatively similar to the actual world – should serve as the semantical fulcrum.

The question of how properties are individuated is extremely important. Consider the following proposals. To be in pain is to be in a certain neurological state. To be red is to appear red to normal observers in standard conditions. To be obligatory is to maximize the good. Each makes a claim of property identity. Each is a substantive metaphysical thesis of wide interest. None can be studied with due scrutiny in the absence of a general account of property identity. Here, (...) I will survey existing accounts and suggest a new account in terms of grounding that has some advantages over the other candidates. (shrink)

It is widely agreed that properties play causal roles: they capture the causal powers of things. But do properties have their causal roles essentially? David Lewis did not think so. He adhered to the doctrine of quidditism, namely the doctrine that the identity of properties is primitive and that they can trade their causal roles. Quidditism is controversial. But Lewis did not see why he should want to reject it. He knew that he could avoid quidditism on the cheap by (...) treating individuals and properties alike in rejecting transworld multilocation of properties and endorsing a counterpart theory for properties. But he did not see why he should want to do so. In this article, I argue that Lewis should have wanted to endorse a counterpart theory for properties in order to reject quidditism. My argument concerns resemblance relations among properties. Another constitutive role of properties is that they capture objective resemblances between their instances. The premises of my argument are intuitive claims about resemblances among some properties that Lewis held on Humean grounds. (shrink)

We show that truth conditions for counterfactuals need not always be given in terms of a vague notion of similarity. To this end, we single out the important class of historical counterfactuals and give formally rigorous truth conditions for these counterfactuals, employing a partial ordering relation called "comparative closeness" that is defined in the framework of branching space-times. Among other applications, we provide a detailed analysis of counterfactuals uttered in the context of lost bets. In an appendix we compare our (...) theory with the branching space-times based reading of counterfactuals recently proposed by Belnap. (shrink)

That laws of nature play a vital role in explanation, prediction, and inductive inference is far clearer than the nature of the laws themselves. My hope here is to shed some light on the nature of natural laws by developing and defending the view that they involve genuine relations between properties. Such a position is suggested by Plato, and more recent versions have been sketched by several writers.~ But I am not happy with any of these accounts, not so much (...) because they lack detail or engender minor difficulties, though they do, but because they share a quite fundamental defect. My goal here is to make this defect clear and, more importantly, to present a rather different version of this general conception of laws that avoids it. I begin by considering several features of natural laws and argue that these are best explained by the view that laws involve properties, that this involvement takes the form of a genuine relation between properties, and, finally, that the relation is a metaphysically necessary one. In the second section I start at the other end, and by reflecting on the nature of properties arrive at a similar account of natural laws. In the final section I develop this account in more detail, with emphasis on the nature of the relation between properties it invokes. Along the way several natural objections to the account are answered. (shrink)

Two arguments are offered here for postulating individual essences of concrete individuals on top of their sortal essences. One is the explanatory gap argument, the other draws on the analogy with the individual essences of events presupposed in single causal explanations. These arguments support qualitative individual essences with explanatory goals as opposed to hybrid impure relational essences accounting for origin and numerical identity. It is highlighted why origin properties as parts of impure relational essences do not yield genuine de re (...) constructions. The distinction between the two types of individual essences is traced back to the ambiguity of the very notion of individuation. (shrink)

According to structuralism, all natural properties are individuated by their roles in causal/nomological structures. According to quidditism, at least some natural properties are individuated in some other way. Because these theses deal with the identities of natural properties, this distinction cuts to the core of a serious metaphysical dispute: Are the intrinsic natures of all natural properties essentially causal/nomological in character? I'll argue that the answer is ‘no’, or at least that this answer is more plausible than many critics of (...) quidditism have recognized. In section 1, I distinguish between two versions of quidditism. Bare quidditism holds that worlds with distinct properties and isomorphic structures must be qualitatively identical in the following sense: inhabiting one world would be indistinguishable from inhabiting the other. In contrast, qualitative quidditism allows such worlds to have qualitative differences. In section 2, I discuss an epistemological position that allows us to bett... (shrink)

Anti-essentialism holds that no thing has any modal properties except relative to a conceptualization—for instance, relative to a description. One and the same thing might be essentially rational relative to the description “mathematician” but only accidentally rational relative to the description “bicyclist.” Anti-essentialism was dominant in pre-Kripkean days. The old description theory of names made room for anti-essentialism by reducing apparently true de re modal attributions to de dicto ones by way of the hidden description. We can follow Kripke in (...) giving up the description theory without thereby giving up anti-essentialism. Counterpart theory makes room for anti-essentialism by interpreting de re modal attributions by way of counterparts and allowing that different other-worldly objects count as a thing’s counterparts relative to different ways of thinking of the thing. One thing is essentially physical when thought of as a body but only accidentally physical when thought of as a person. One thing has its shape essentially when thought of as a statue but only accidentally when thought of as a lump of clay. The metaphysical meat of counterpart theory is that it allows for anti-essentialism. (shrink)

Structuralism and quidditism are competing views of the metaphysics of property individuation: structuralists claim that properties are individuated by their nomological roles; quidditists claim that they are individuated by something else. This paper (1) refutes what many see as the best reason to accept structuralism over quidditism and (2) offers a methodological argument in favor of a quidditism. The standard charge against quidditism is that it commits us to something ontologically otiose: intrinsic aspects of properties, so-called ‘quiddities’. Here I grant (...) that quiddities are ontologically otiose, but deny that quidditism requires them. According to a view I call ‘austere quidditism’, properties are individuated by bare numerical identity. I argue that, as far as ontological parsimony is concerned, austere quidditism and structuralism are on a par. But is austere quidditism a coherent alternative to structuralism? To see that it is, we must get clear on what exactly we mean by ‘property individuation’. What we discover is that structuralism is a counterpart theory for properties, and that austere quidditism is simply the rejection of counterpart theory. I conclude with a methodological argument to the effect that counterpart theory for properties ought to be rejected. This paper begins by situating the debate between structuralists and quidditists within the context of a debate over the epistemic limits of fundamental science. At the center of this debate is David Lewis’s posthumously published ‘Ramseyan Humility’ (2008). In the appendix I explain the precise role of austere quidditism in Lewis’s argument. (shrink)

This paper investigates the interpretation of counterfactual conditionals. The main goal of the paper is to provide an account of the semantic role of similarity in the evaluation of counterfactuals. The paper proposes an analysis according to which counterfactuals are treated as predications “ de re ” over past situations in the actual world. The relevant situations enter semantic composition via the interpretation of tense. Counterfactuals are treated as law-like conditionals with de re predication over particular facts. Similarity with respect (...) to particular facts is ensured by the semantics of tense in interaction with the modal, while the modal itself is responsible for invoking laws. In the paper, various arguments are provided to support a local view of similarity over the global approach found in semantics along the line of Lewis’s and Stalnaker’s. Arguments are also provided tying the evaluation of similarity to the interpretation of tense. Finally, arguments are provided to show that in key cases, the approaches make comparable predictions. (shrink)

Properties seem to play an important role in causal relations. But philosophers disagree over whether or not properties play their causal or nomic roles essentially. Causal essentialists say that they do, while quidditists deny it. This article surveys these two views, as well as views that try to find a middle ground.

Over the last decade or so, there has been a renewed interest in a view about properties known as quidditism. However, a review of the literature reveals that ‘quidditism’ is used to cover a range of distinct views. In this paper I explore the logical space of distinct types of quidditism. The first distinction noted is between quidditism as a thesis explicitly about property individuation and quidditism as a principle of unrestricted property recombination. The distinction recently drawn by Dustin Locke (...) between extravagant quidditism and austere quidditism is a distinction between quidditisms of the first type. It is then argued that austere quidditism may itself be further sub-divided into what I call ‘extremely austere quidditism’ and ‘moderately austere quidditism’. Moderately austere quidditism is argued to be preferable to extremely austere quidditism and further to be able to address many of the arguments leveled against quidditism in general. (shrink)