This text aims to convey some of the interest and charm of modal logic, and to put a reader new to the subject in a position to have an informed opinion as to its applicability to each of several areas of philosophical concern in which the merits of a modal approach' have been controversial. he main focus, for these purposes, is on normal modal logics, though some attention is given to the non-normal side of the picture.

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.

How does metaphysical grounding interact with the truth-functions? I argue that the answer varies according to whether one has a worldly conception or a conceptual conception of grounding. I then put forward a logic of worldly grounding and give it an adequate semantic characterisation.

We see a systematic set of cut-free axiomatisations for all the basic normal modal logics formed by some combination the axioms d, t, b, 4, 5. They employ a form of deep inference but otherwise stay very close to Gentzen’s sequent calculus, in particular they enjoy a subformula property in the literal sense. No semantic notions are used inside the proof systems, in particular there is no use of labels. All their rules are invertible and the rules cut, weakening and (...) contraction are admissible. All systems admit a straightforward terminating proof search procedure as well as a syntactic cut elimination procedure. (shrink)

In many natural languages, there are clear syntactic and/or intonational differences between declarative sentences, which are primarily used to provide information, and interrogative sentences, which are primarily used to request information. Most logical frameworks restrict their attention to the former. Those that are concerned with both usually assume a logical language that makes a clear syntactic distinction between declaratives and interrogatives, and usually assign different types of semantic values to these two types of sentences. A different approach has been taken (...) in recent work on inquisitive semantics. This approach does not take the basic syntactic distinction between declaratives and interrogatives as its starting point, but rather a new notion of meaning that captures both informative and inquisitive content in an integrated way. The standard way to treat the logical connectives in this approach is to associate them with the basic algebraic operations on these new types of meanings. For instance, conjunction and disjunction are treated as meet and join operators, just as in classical logic. This gives rise to a hybrid system, where sentences can be both informative and inquisitive at the same time, and there is no clearcut division between declaratives and interrogatives. It may seem that these two general approaches in the existing literature are quite incompatible. The main aim of this paper is to show that this is not the case. We develop an inquisitive semantics for a logical language that has a clearcut division between declaratives and interrogatives. We show that this language coincides in expressive power with the hybrid language that is standardly assumed in inquisitive semantics, we establish a sound and complete axiomatization for the associated logic, and we consider a natural enrichment of the system with presuppositional interrogatives. (shrink)

I propose a new semantics for intuitionistic logic, which is a cross between the construction-oriented semantics of Brouwer-Heyting-Kolmogorov and the condition-oriented semantics of Kripke. The new semantics shows how there might be a common semantical underpinning for intuitionistic and classical logic and how intuitionistic logic might thereby be tied to a realist conception of the relationship between language and the world.

The paper reconstructs Moore's Open Question Argument (OQA) and discusses its rise and fall. There are three basic objections to the OQA: Geach's point, that Moore presupposes that ?good? is a predicative adjective (whereas it is in fact attributive); Lewy's point, that it leads straight to the Paradox of Analysis; and Durrant's point that even if 'good' is not synonymous with any naturalistic predicate, goodness might be synthetically identical with a naturalistic property. As against Geach, I argue that 'good' has (...) both predicative and attributive uses and that in moral contexts it is difficult to give a naturalistic account of the attributive 'good'. To deal with Lewy, I reformulate the OQA. But the bulk of the paper is devoted to Durrant's objection. I argue that the post-Moorean programme of looking for synthetic identities between moral and naturalistic properties is either redundant or impossible. For it can be carried through only if 'good' expresses an empirical concept, in which case it is redundant since naturalism is true. But 'good' does not express an empirical concept (a point proved by the reformulated OQA). Hence synthetic naturalism is impossible. I discuss direct reference as a possible way out for the synthetic naturalist and conclude that it will not work. The OQA may be a bit battered but it works after a fashion. (shrink)

Provides a comprehensive introduction to the major philosophical theories attempting to explain the workings of language.

When it comes to evaluating reductive hypotheses in metaphysics, supervenience arguments are the tools of the trade. Jaegwon Kim and Frank Jackson have argued, respectively, that strong and global supervenience are sufficient for reduction, and others have argued that supervenience theses stand in need of the kind of explanation that reductive hypotheses are particularly suited to provide. Simon Blackburn's arguments about what he claims are the specifically problematic features of the supervenience of the moral on the natural have also been (...) influential. But most discussions of these arguments have proceeded under the strong and restrictive assumptions of the S5 modal logic. In this paper we aim to remedy that defect, by illustrating in an accessible way what happens to these arguments under relaxed assumptions and why. The occasion is recent work by Ralph Wedgwood, who seeks to defend non-reductive accounts of moral and mental properties together with strong supervenience, but to evade both the arguments of Kim and Jackson and the explanatory challenge by accepting only the weaker, B, modal logic. In addition to drawing general lessons about what happens to supervenience arguments under relaxed assumptions, our goal is therefore to shed some light on both the virtues and costs of Wedgwood's proposal. (shrink)

This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of ...

With this third edition of Nelson Goodman's The Structure of Appear ance, we are pleased to make available once more one of the most in fluential and important works in the philosophy of our times. Professor Geoffrey Hellman's introduction gives a sustained analysis and appreciation of the major themes and the thrust of the book, as well as an account of the ways in which many of Goodman's problems and projects have been picked up and developed by others. Hellman also (...) suggests how The Structure of Appearance introduces issues which Goodman later continues in his essays and in the Languages of Art. There remains the task of understanding Good man's project as a whole; to see the deep continuities of his thought, as it ranges from logic to epistemology, to science and art; to see it therefore as a complex yet coherent theory of human cognition and practice. What we can only hope to suggest, in this note, is the b. road Significance of Goodman's apparently technical work for philosophers, scientists and humanists. One may say of Nelson Goodman that his bite is worse than his bark. Behind what appears as a cool and methodical analysis of the conditions of the construction of systems, there lurks a radical and disturbing thesis: that the world is, in itself, no more one way than another, nor are we. It depends on the ways in which we take it, and on what we do. (shrink)

Dialetheism is the view that some contradictions are true. This is a view which runs against orthodoxy in logic and metaphysics since Aristotle, and has implications for many of the core notions of philosophy. Doubt Truth to Be a Liar explores these implications for truth, rationality, negation, and the nature of logic, and develops further the defense of dialetheism first mounted in Priest's In Contradiction, a second edition of which is also available.

In this much-anticipated book, Jonathan Dancy offers the only available full-scale treatment of particularism in ethics, a view with which he has been associated for twenty years. Dancy now presents particularism as the view that the possibility of moral thought and judgement does not in any way depend on an adequate supply of principles. He grounds this claim on a form of reasons-holism, holding that what is a reason in one case need not be any reason in another, and maintaining (...) that moral reasons are no different in this respect from others. Ethics Without Principles offers detailed treatment and criticism of opposing positions of all sorts, with useful summaries. It also contains three chapters on the nature of what Dancy calls 'contributory' reasons, which, though the topic of much interest at the moment, are not often discussed in anything like the detail given here. And it offers a distinctive form of value-holism to go with the holism of reasons. As Dancy's definitive statement on particularism, the book will be required reading for all those working on moral philosophy and ethical theory. (shrink)

Counterfactuals is David Lewis' forceful presentation of and sustained argument for a particular view about propositions which express contrary to fact conditionals, including his famous defense of realism about possible worlds and his theory of laws of nature.

Challenging the myth that mathematical objects can be defined into existence, Bigelow here employs Armstrong's metaphysical materialism to cast new light on mathematics. He identifies natural, real, and imaginary numbers and sets with specified physical properties and relations and, by so doing, draws mathematics back from its sterile, abstract exile into the midst of the physical world.

We take a fresh look at the logics of informational dependence and independence of Hintikka and Sandu and Väänänen, and their compositional semantics due to Hodges. We show how Hodges’ semantics can be seen as a special case of a general construction, which provides a context for a useful completeness theorem with respect to a wider class of models. We shed some new light on each aspect of the logic. We show that the natural propositional logic carried by the semantics (...) is the logic of Bunched Implications due to Pym and O’Hearn, which combines intuitionistic and multiplicative connectives. This introduces several new connectives not previously considered in logics of informational dependence, but which we show play a very natural rôle, most notably intuitionistic implication. As regards the quantifiers, we show that their interpretation in the Hodges semantics is forced, in that they are the image under the general construction of the usual Tarski semantics; this implies that they are adjoints to substitution, and hence uniquely determined. As for the dependence predicate, we show that this is definable from a simpler predicate, of constancy or dependence on nothing. This makes essential use of the intuitionistic implication. The Armstrong axioms for functional dependence are then recovered as a standard set of axioms for intuitionistic implication. We also prove a full abstraction result in the style of Hodges, in which the intuitionistic implication plays a very natural rôle. (shrink)

Hurford’s Constraint (Hurford, Foundations of Language, 11, 409–411, 1974) states that a disjunction is infelicitous if its disjuncts stand in an entailment relation: #John was born in Paris or in France. Gazdar (Pragmatics, Academic Press, NY, 1979) observed that scalar implicatures can obviate the constraint. For instance, sentences of the form (A or B) or (Both Aand B) are felicitous due to the exclusivity implicature of the first disjunct: A or B implicates ‘not (A and B)’. Chierchia, Fox, and Spector (...) (Handbook of semantics, 2008) use the obviation of Hurford’s Constraint in these cases to argue for a theory of local implicature. I present evidence indicating that the constraint needs to be modified in two ways. First, implicatures can obviate Hurford’s Constraint only in earlier disjuncts, not later ones: #(Both A and B) or (A or B). Second, the constraint rules out not only disjuncts that stand in an entailment relation, but also disjuncts that are even mutually consistent: #John is from Russia or Asia. I propose to make sense of these facts by providing an incremental evaluation procedure which checks that each new disjunct to the right is inconsistent with the information to its left, before the disjunct can be strengthened by local implicature. (shrink)

In 1971, Simon Blackburn worked out an argument against moral realism appealing to the supervenience of the moral realm on the natural realm.1 He has since revised the argument, in part to take account of objections,2 but the basic structure remains intact. While commentators3 seem to agree that the argument is not successful, they have not agreed upon what goes wrong. I believe this is because no attempt has been made to see what happens when Blackburn's argument is addressed to (...) particular varieties of moral realism. As I see it, we must look to these various brands if we want to understand just where the concept of supervenience can be usefully employed. (shrink)

In "From Metaphysics to Ethics", Frank Jackson presents an impressively systematic conception of modal reality and its relation to our thought. His account of ethics is a test case for this conception. I will argue that Jackson's reasoning for his conclusions about ethics is unsound.

Three objections have recently been levelled at the analysis of intrinsicness offered by Rae Langton and David Lewis. While these objections do seem telling against the particular theory Langton and Lewis offer, they do not threaten the broader strategy Langton and Lewis adopt: defining intrinsicness in terms of combinatorial features of properties. I show how to amend their theory to overcome the objections without abandoning the strategy.

Nonreductive materialism is the dominant position in the philosophy of mind. The global supervenience of the mental on the physical has been thought by some to capture the central idea of nonreductive materialism: that mental properties are ultimately dependent on, but irreducible to, physical properties. But Jaegwon Kim has argued that global psychophysical supervenience does not provide the materialist with the desired dependence of the mental on the physical, and in general that global supervenience is too weak to be an (...) interesting dependence relation. We argue that these arguments are unsound. Along the way, we clarify the relationship between global and strong supervenience, and show clearly what sort of dependence global supervenience provides. (shrink)

I show how existing concepts of supervenience relate to two more fundamental ontological relations: determination and dependence. Determination says that the supervenient properties of a thing are a function of its base properties, while dependence says that having a supervenient property implies having a base property. I show that most varieties of supervenience are either determination relations or determination relations conjoined with dependence relations. In the process of unpacking these connections I identify limitations of existing concepts of supervenience and provide (...) ways of overcoming them. What results is a more precise, flexible, and powerful set of tools for relating sets of properties than current concepts of supervenience provide. I apply these tools to a recalcitrant problem in the physicalism literature – the problem of extras. (shrink)

Two concepts of supervenience, "strong supervenience" and "weak supervenience," are characterized and contrasted, And their major properties established. Supervenience as commonly characterized by philosophers is shown to correspond to weak supervenience, Whereas the intended concept is often the stronger relation. Strong supervenience is applied to explicate the notion of "supervenient causation," and it is argued that macro-Causal relations can be understood as cases of supervenient causation, And that causal relations involving psychological events, Too, Can be so understood.

The book is an extended study of the problem of consciousness. After setting up the problem, I argue that reductive explanation of consciousness is impossible , and that if one takes consciousness seriously, one has to go beyond a strict materialist framework. In the second half of the book, I move toward a positive theory of consciousness with fundamental laws linking the physical and the experiential in a systematic way. Finally, I use the ideas and arguments developed earlier to defend (...) a form of strong artificial intelligence and to analyze some problems in the foundations of quantum mechanics. (shrink)

The book presents a new logical framework to capture the meaning of sentences in conversation. It is based on a richer notion of meaning than traditional approaches, and allows for an integrated treatment of statements and questions. The first part of the book presents the framework in detail, while the second demonstrates its many benefits.

It has recently been suggested that a distinctive metaphysical relation— ‘Grounding’—is ultimately at issue in contexts in which some goings-on are said to hold ‘in virtue of’’, be ‘metaphysically dependent on’, or be ‘nothing over and above’ some others. Grounding is supposed to do good work in illuminating metaphysical dependence. I argue that Grounding is also unsuited to do this work. To start, Grounding alone cannot do this work, for bare claims of Grounding leave open such basic questions as whether (...) Grounded goings-on exist, whether they are reducible to or rather distinct from Grounding goings-on, whether they are efficacious, and so on; but in the absence of answers to such basic questions, we are not in position to assess the associated claim or theses concerning metaphysical dependence. There is no avoiding appeal to the specific metaphysical relations typically at issue in investigations into dependence—for example, type or token identity, functional realization, classical mereological parthood, the set membership relation, the proper subset relation, the determinable/determinate relation, and so on—which are capable of answering these questions. But, I argue, once the specific relations are on the scene, there is no need for Grounding. (shrink)

Hare has written a clear, brief, and readable introduction to ethics which looks at all the fundamental problems of the subject.

McCawley supplements his earlier book—which covers such topics as presuppositional logic, the logic of mass terms and nonstandard quantifiers, and fuzzy logic—with new material on the logic of conditional sentences, linguistic applications of type theory, Anil Gupta's work on principles of identity, and the generalized quantifier approach to the logical properties of determiners.