This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: _An Introduction to Modal Logic_ and _A Companion to Modal Logic_. _A New Introduction to Modal Logic_ is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes (...) readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic. (shrink)

David Armstrong's book is a contribution to the philosophical discussion about possible worlds. Taking Wittgenstein's Tractatus as his point of departure, Professor Armstrong argues that nonactual possibilities and possible worlds are recombinations of actually existing elements, and as such are useful fictions. There is an extended criticism of the alternative-possible-worlds approach championed by the American philosopher David Lewis. This major work will be read with interest by a wide range of philosophers.

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (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.

Dispositions are essential to our understanding of the world. Dispositions: A Debate is an extended dialogue between three distinguished philosophers - D.M. Armstrong, C.B. Martin and U.T. Place - on the many problems associated with dispositions, which reveals their own distinctive accounts of the nature of dispositions. These are then linked to other issues such as the nature of mind, matter, universals, existence, laws of nature and causation.

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)

Dispositional essentialism, a plausible view about the natures of (sparse or natural) properties, yields a satisfying explanation of the nature of laws also. The resulting necessitarian conception of laws comes in a weaker version, which allows differences between possible worlds as regards which laws hold in those worlds and a stronger version that does not. The main aim of this paper is to articulate what is involved in accepting the stronger version, most especially the consequence that all possible properties exist (...) in all worlds. I also suggest that there is no particularly strong reason for preferring the weaker to the stronger version. For example, Armstrong's instantiation condition on universals entails that according to strong necessitarianism every property is instantiated in all possible worlds. But first we do not need to accept Armstrong's instantiation condition, in part because his arguments for it are forceful only for a contingentist about laws and properties. Secondly, even if we do accept the condition, the consequence that all properties are instantiated is not itself contradictory, so long as any form of necessitarianism holds. Strong necessitarianism is prima facie counter-intuitive. But for that matter so is weak necessitarianism. Accepting either weak or strong necessitarianism requires denying the force of intuition in this area. And indeed we have every reason to deny the force of intuition and its primary source, imagination, concerning modal facts. (shrink)

In this important study D. M. Armstrong offers a comprehensive system of analytical metaphysics that synthesises but also develops his thinking over the last twenty years. Armstrong's analysis, which acknowledges the 'logical atomism' of Russell and Wittgenstein, makes facts the fundamental constituents of the world, examining properties, relations, numbers, classes, possibility and necessity, dispositions, causes and laws. All these, it is argued, find their place and can be understood inside a scheme of states of affairs. This is a comprehensive and (...) rigorously this-worldly account of the most general features of reality, argued from a distinctive philosophical perspective, and it will appeal to a wide readership in analytical philosophy. (shrink)

The theorems of the simplest and strongest sensible quantified modal logic include the Barcan Formula and its converse. Both formulas face strong intuitive objections. This paper develops a theory of possibilia to meet those objections.

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.

The paper criticizes the truthmaker principle that every truth is made true by something. If we interpret ‘something’ as quantifying into sentence position, we can interpret the principle as a harmless logical truth, but that is not what advocates of the principle intend. They interpret ‘something’ as quantifying into name position, and the principle as requiring the existence of truthmaking individuals. The paper argues that we have no reason to believe the principle on this interpretation. Moreover, the converse Barcan formula (...) is inconsistent with the existence of truthmaking individuals for contingent truths. Considerations about our ability to count possible truthmaking individuals are used to argue that we should prefer the converse Barcan formula. (shrink)

The first edition, published by Acumen in 2000, became a prescribed textbook on modal logic courses. The second edition has been fully revised in response to readers' suggestions, including two new chapters on conditional logic, which was not covered in the first edition. "Modal Logics and Philosophy" is a fully comprehensive introduction to modal logics and their application suitable for course use. Unlike most modal logic textbooks, which are both forbidding mathematically and short on philosophical discussion, "Modal Logics and Philosophy" (...) places its emphasis firmly on showing how useful modal logic can be as a tool for formal philosophical analysis. In part 1 of the book, the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, time, processes, knowledge and belief, obligation and permission. (shrink)

In Part 1 the reader is introduced to some standard systems of modal logic and encouraged through a series of exercises to become proficient in manipulating these logics. The emphasis is on possible world semantics for modal logics and the semantic emphasis is carried into the formal method, Jeffrey-style truth-trees. Standard truth-trees are extended in a simple and transparent way to take possible worlds into account. Part 2 systematically explores the applications of modal logic to philosophical issues such as truth, (...) time, processes, knowledge and belief, obligation and permission. Accessible, authoritative, and assured, Modal Logics and Philosophy requires no more background than the completion of a standard introductory logic course. It will be welcomed not only by students looking for a bridge between introductory logic texts and the high-level technical literature but as a guide to, and exploration of, work at the forefront of logic and philosophy. (shrink)

summaryMartin and Pfeifer have claimed“that the most typical characterizations of intentionality… all fail to distinguish … mental states from …dispositional physical states.”The evidence they present in support of this thesis is examined in the light of the possibility that what it shows is that intentionality is the mark, not of the mental, but of the dispositional. Of the five marks of intentionality they discuss a critical examination shows that three of them, Brentano's inexistence of the intentional object, Searle's directedness and (...) Anscombe's indeterminacy, are features which distinguish T‐inten Tional/dispositional The other two are either, as in the case of Chisholm's permissible falsity of a propositional attitude ascription, a feature of linguistic utterances too restricted in its scope to be of interest, or, as in the case of Frege's indirect reference/Quine's referential opacity, evidence that the S‐intenSional locution is a quotation either of what someone has said in the past or might be expected to say, if the question were to arise at some time in the future. (shrink)

Despite heroic efforts, philosophers have found it increasingly difficult to evade discussion of metaphysical topics. Take the philosophy of mind. Take, in particular, the mind-body problem in its latest guise: the problem of causal relevance. If mental properties are not reducible to physical properties, how can we reconcile the role such properties seem to have in producing bodily motions that constitute actions with the apparent fact that the very same motions are entirely explicable on the basis of purely physical properties (...) of purely physical events in the nervous system? Familiar approaches to the problem include appeals to “supervenient causation,” to “higher-level” laws governing putatively higher-level entities and events, and to “realizing” relations that make room in objects for overlapping properties. (shrink)