A textbook on modal logic, intended for readers already acquainted with the elements of formal logic, containing nearly 500 exercises. Brian F. Chellas provides a systematic introduction to the principal ideas and results in contemporary treatments of modality, including theorems on completeness and decidability. Illustrative chapters focus on deontic logic and conditionality. Modality is a rapidly expanding branch of logic, and familiarity with the subject is now regarded as a necessary part of every philosopher's technical equipment. Chellas here offers an (...) up-to-date and reliable guide essential for the student. (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)

I argue for the existence of intrinsic Finks, Masks, and Mimics, and argue that these undermine certain recent attempts to revive simple conditional analyses of dispositions. I present some examples of intrinsic Finks, Masks, and Mimics, and argue that the example of an intrinsic fink I present has certain advantages over the examples of intrinsic finks recently suggested by Randolph Clarke. I conclude that the existence of such Finks, Masks, and Mimics, undermine a recent attempt by Sungho Choi to distinguish (...) dispositional properties from categorical properties. (shrink)

As with many aspects of David Lewis’s work, it is hard to provide a better summary of his views than he provided himself. So the following introduction to what the Humean Supervenience view is will follow the opening pages of Lewis (1994a) extremely closely. But for those readers who haven’t read that paper, here’s the nickel version.

Dispositional ascriptions do not entail the counterfactuals we might expect, as interfering factors may be poised to prevent the disposition from manifesting in its very stimulus conditions. Such factors are commonly called finks and masks. It is thought, however, that finks and masks cannot be intrinsic to the disposition bearer; if an intrinsic property of the object would prevent a particular response in certain conditions, the object fails to have the corresponding disposition. I argue that we should accept intrinsic finks (...) and masks if we think there are finks and masks at all, and also if we maintain that paradigmatic dispositions are intrinsic. This last point is particularly problematic for the claim that there cannot be intrinsic finks and masks, for if paradigmatic dispositions are not intrinsic then the central argument for the impossibility of intrinsic finks and masks is undermined. (shrink)

Hume thought that if you believed in powers, you believed in necessary connections in nature. He was then able to argue that there were none such because anything could follow anything else. But Hume wrong-footed his opponents. A power does not necessitate its manifestations: rather, it disposes towards them in a way that is less than necessary but more than purely contingent. -/- In this paper a dispositional theory of causation is offered. Causes dispose towards their effects and often produce (...) them. But a set of causes, even though they may succeed in producing an effect, cannot necessitate it since the effect could have been counteracted by some additional power. This would require a separation of our concepts of causal production and causal necessitation. The most conspicuous cases of causation are those where powers accumulate and pass a requisite threshold for an effect to occur. -/- We develop a model for representing powers as constituent vectors within an n-dimensional quality space, where composition of causes appears as vector addition. Even our resultant vector, however, has to be understood as having dispositional force only. This model throws new light on causal modality and cases of prevention, causation by absence and probabilistic causation. (shrink)

Science Without Numbers caused a stir in 1980, with its bold nominalist approach to the philosophy of mathematics and science. It has been unavailable for twenty years and is now reissued in a revised edition with a substantial new preface presenting the author's current views and responses to the issues raised in subsequent debate.

This paper is concerned with the question of the truth conditions of nomological statements. My fundamental thesis is that it is possible to set out an acceptable, noncircular account of the truth conditions of laws and nomological statements if and only if relations among universals - that is, among properties and relations, construed realistically - are taken as the truth-makers for such statements. My discussion will be restricted to strictly universal, nonstatistical laws. The reason for this limitation is not that (...) I feel there is anything dubious about the concept of a statistical law, nor that I feel that basic laws cannot be statistical. The reason is methodological. The case of strictly universal, nonstatistical laws would seem to be the simplest case. If the problem of the truth conditions of laws can be solved for this simple subcase, one can then investigate whether the solution can be extended to the more complex cases. I believe that the solution I propose here does have that property, though I shall not pursue that question here.1. (shrink)

Vagueness provides the first comprehensive examination of a topic of increasing importance in metaphysics and the philosophy of logic and language. Timothy Williamson traces the history of this philosophical problem from discussions of the heap paradox in classical Greece to modern formal approaches such as fuzzy logic. He illustrates the problems with views which have taken the position that standard logic and formal semantics do not apply to vague language, and defends the controversial realistic view that vagueness is a kind (...) of ignorance--that there really is a grain of sand whose removal turns a heap into a non-heap, but we cannot know which one it is. (shrink)

This book, one of the first full-length studies of the modalities to emerge from the debate to which Saul Kripke, David Lewis, Ruth Marcus, and others are contributing, is an exploration and defense of the notion of modality de re, the idea that objects have both essential and accidental properties. Plantinga develops his argument by means of the notion of possible worlds and ranges over such key problems as the nature of essence, transworld identity, negative existential propositions, and the existence (...) of unactual objects in other possible worlds. He also applies his logical theories to the elucidation of two problems in the philosophy of religion: the problem of evil and the ontological argument. (shrink)

In this short text, a distinguished philosopher turns his attention to one of the oldest and most fundamental philosophical problems of all: How it is that we are able to sort and classify different things as being of the same natural class? Professor Armstrong carefully sets out six major theories—ancient, modern, and contemporary—and assesses the strengths and weaknesses of each. Recognizing that there are no final victories or defeats in metaphysics, Armstrong nonetheless defends a traditional account of universals as the (...) most satisfactory theory we have.This study is written for advanced students, but as Armstrong goes considerably beyond his earlier work on this topic, it will interest professional scholars as well. Carefully plotted and clearly written, Universals is both a paradigm of exposition and a case study on the value of careful analysis of fundamental issues in philosophy. (shrink)

It is my aim in this paper to show that the contemporary assimilation of essence to modality is fundamentally misguided and that, as a consequence, the corresponding conception of metaphysics should be given up. It is not my view that the modal account fails to capture anything which might reasonably be called a concept of essence. My point, rather, is that the notion of essence which is of central importance to the metaphysics of identity is not to be understood in (...) modal terms or even to be regarded as extensionally equivalent to a modal notion. The one notion is, if I am right, a highly refined version of the other; it is like a sieve which performs a similar function but with a much finer mesh. (shrink)

‘‘Thus I believe that there is no part of matter which is not—I do not say divisible—but actually divided; and consequently the least particle ought to be considered as a world full of an infinity of different creatures.’’ (Leibniz, letter to Foucher).

Many philosophers, following David Lewis, believe that we should look to counterpart theory, not quantified modal logic, as a means of understanding modal discourse. We argue that this is a mistake. Significant parts of modal discourse involve either implicit or explicit reference to what is actually the case, raising the question of how talk about actuality is to be represented counterpart-theoretically. By considering possible modifications of Lewis's counterpart theory, including actual modifications due to Graeme Forbes and Murali Ramachandran, we argue (...) that no coherent version of counterpart theory can provide a plausible representation of talk about actuality, and so, we conclude, counterpart theory should be rejected. (shrink)

Objects have dispositions. As Nelson Goodman put it, “a thing is full of threats and promises”. But sometimes those threats go unfulfilled, and the promises unkept. Sometimes the dispositions of objects fail to manifest themselves, even when their conditions of manifestation obtain. Pieces of wood, disposed to burn when heated, do not burn when heated in a vacuum chamber. And pastries, disposed to go bad when left lying around too long, won’t do so if coated with lacquer and put on (...) display in a baker ’s window. Any account of what a disposition is, or of what it takes for an object to have a disposition, should be compatible with these commonplace observations. To date, I believe, no adequate account of dispositions has been given, and the aim of this paper is to defend one. (shrink)

Many philosophers think that dispositions are necessarily intrinsic. However, there are no good positive arguments for this view. Furthermore, many properties (such as weight, visibility, and vulnerability) are dispositional but are not necessarily shared by perfect duplicates. So, some dispositions are extrinsic. I consider three main objections to the possibility of extrinsic dispositions: the Objection from Relationally Specified Properties, the Objection from Underlying Intrinsic Properties, and the Objection from Natural Properties. These objections ultimately fail.

It is a traditional empiricist doctrine that natural laws are universal truths. In order to overcome the obvious difficulties with this equation most empiricists qualify it by proposing to equate laws with universal truths that play a certain role, or have a certain function, within the larger scientific enterprise. This view is examined in detail and rejected; it fails to account for a variety of features that laws are acknowledged to have. An alternative view is advanced in which laws are (...) expressed by singular statements of fact describing the relationship between universal properties and magnitudes. (shrink)

Attempts to capture the distinction between categorical and dispositional states in terms of more primitive modal notions – subjunctive conditionals, causal roles, or combinatorial principles – are bound to fail. Such failure is ensured by a deep symmetry in the ways dispositional and categorical states alike carry modal import. But the categorical/dispositional distinction should not be abandoned; it underpins important metaphysical disputes. Rather, it should be taken as a primitive, after which the doomed attempts at reductive explanation can be transformed (...) into circular but interesting accounts. (shrink)

Dispositions can be finkish, prone to disappear in circumstances that would commonly trigger their characteristic manifestations. Can a disposition be finkish because of something intrinsic to the object possessing that disposition? Sungho Choi has argued that this is not possible, and many agree. Here it is argued that no good case has been made for ruling out the possibility of intrinsic finks; on the contrary, there is good reason to accept it.

In ‘Finkish Dispositions’1 David Lewis proposes an analysis of dispositions which improves on the simple conditional analysis. In this paper I show that Lewis’ analysis still fails. I also argue that repairs are of no avail, and suggest why this is so.

A transcript of three lectures, given at Princeton University in 1970, which deals with (inter alia) debates concerning proper names in the philosophy of language.

Being Known is a response to a philosophical challenge which arises for every area of thought: to reconcile a plausible account of what is involved in the truth of statements in a given area with a credible account of how we can know those statements. Christopher Peacocke presents a framework for addressing the challenge, a framework which links both the theory of knowledge and the theory of truth with the theory of concept-possession.

According to the Genuine Modal Realist, there is a plurality of possible worlds, each world nothing more than a maximally inter-related spatiotemporal sum. One advantage claimed for this position is that it offers us the resources to analyse, in a noncircular manner, the modal operators. In this paper, we argue that the prospects for such an analysis are poor. For the analysis of necessity as truth in all worlds to succeed it is not enough that no modal concepts be used (...) in the realist's account of a possible world (a fact we grant); rather, such an analysis will succeed only if the set of worlds that is postulated is complete. By appealing to plausible truths about the number of possible alien natural properties, we show that there are serious difficulties in guaranteeing that such a set exists without taking some modal concept as primitive. Accordingly, at least in its current form, Genuine Modal Realism must curtail its analytic ambitions. (shrink)

– The paper defends a naturalistic version of modal actualism according to which what is metaphysically possible is determined by dispositions found in the actual world. We argue that there is just one world—this one—and that all genuine possibilities are anchored by the dispositions exemplified in this world. This is the case regardless of whether or not those dispositions are manifested. As long as the possibility is one that would obtain were the relevant disposition manifested, it is a genuine possibility. (...) Furthermore, by starting from actual dispositional properties and branching out, we are able to include possibilities that are quite far removed from any state of affairs that happens to obtain, while still providing a natural and actual grounding of possibility. Stressing the importance of ontological considerations in any theory of possibility, it is argued that the account of possibility in terms of dispositional properties provides a more palatable ontology than those of its competitors. Coming at it from the other direction, the dispositional account of possibility also provides motivation for taking an ontology of dispositions more seriously. As well as the relevant dispositional notions required to lay out the view, the paper discusses the dispositional realism needed as the basis for the account of possibility. (shrink)

Simon Blackburn has argued that science finds only dispositional properties. If true, this is surprising: we think of the world as containing categorical properties too. But Blackburn thinks that our difficulties go further than this: that the idea of a world containing just dispositional properties is not simply surprising, but incoherent. The problem is made clear, he argues, when we have a counterfactual analysis of dispositions, and then understand counterfactuals in terms of possible worlds.