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.

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.

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.

What does it mean that certain properties globally supervene on others? The paper criticises the now standard way of spelling out the notion in terms of 1–1 correlations between world-domains and proposes a modification that escapes the difficulties. The new definition can secure the additional benefit of resisting an argument to the effect that global supervenience is theoretically dispensable.

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

This paper offers an explanation of the fact that sentences of the form (1) ‘X may A or B’ may be construed as implying (2) ‘X may A and X may B’, especially if they are used to grant permission. It is suggested that the effect arises because disjunctions are conjunctive lists of epistemic possibilities. Consequently, if the modal may is itself epistemic, (1) comes out as equivalent to (2), due to general laws of epistemic logic. On the other hand, (...) on a deontic reading of may, (2) is only implied under exceptional circumstances – which usually obtain when (1) is used performatively. (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)

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)

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.

We investigate a rst-order predicate logic based on Wittgenstein's suggestion to express identity of object by identity of sign, and difference of objects by difference of signs. Hintikka has shown that predicate logic can indeed be set up in such a way; we show that it can be done nicely. More specically, we provide a perspicuous cut-free sequent calculus, as well as a Hilbert-type calculus, for Wittgensteinian predicate logic and prove soundness and completeness theorems.

Identity, we're told, is the binary relation that every object bears to itself, and to itself only. But how can a relation be binary if it never relates two objects? This puzzled Russell and led Wittgenstein to declare that identity is not a relation between objects. The now standard view is that Wittgenstein's position is untenable, and that worries regarding the relational status of identity are the result of confusion. I argue that the rejection of identity as a binary relation (...) is perfectly tenable. To this end, I outline and defend a logical framework that is not committed to an objectual identity relation but is nevertheless expressively equivalent to first-order logic with identity. After it has thus been shown that there is no indispensability argument for objectual identity, I argue that we have good reasons for doubting the existence of such a relation, and rebut a number of attempts at discrediting these reasons. (shrink)

Nonreductive physicalism faces a serious objection: physicalism entails the existence of an enormous number of modal facts--specifically, facts about exactly which physical properties necessitate each mental property; and, it seems, if mental properties are irreducible, these modal facts cannot all be satisfactorily explained. The only answer to this objection is to claim that the explanations of these modal facts are themselves contingent. This claim requires rejecting "S5" as the appropriate logic for metaphysical modality. Finally, it is argued that rejecting "S5" (...) is not too high a price to pay for nonreductive physicalism: "S5" should probably be rejected anyway. (shrink)

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.

This paper is a critical examination of Vendler's well-known aspectual classes (states, activities, accomplishments, achievements). It is argued that it not classes that play a role in the explanation of aspectual phenomena but rather some specific semantic factors from which aspectual classes can be constructed, in particular factors inherent to the (lexical) verb and to the determiners of noun phrases.

Simon Blackburn’s supervenience argument against moral realism has been widely discussed since its first appearance more than thirty years ago. A number of different suggestions have been made as to how the argument can be countered. In a review of Blackburn’s Spreading the Word, Crispin Wright comments on the argument and rather briefly points out some technical difficulties with it that arise from the formula used in the definition of supervenience. In this paper, I try to show, building on Wright’s (...) criticism and taking a number of new objections into consideration, that the Moorean realist can meet Blackburn’s explanatory charge. (shrink)

Moral properties would supervene upon non-moral properties and be conceptually autonomous. That, according to Simon Blackburn, would make them if not impossible at least mysterious, and evidence for them best explained by theorists who say they are not real. In fact moral properties would not challenge in ways Blackburn has contended. There is, however, something new that can be gathered from his arguments. What would the supervenience of moral properties and their conceptual autonomy from at least total non-moral properties entail (...) not only for Intuitionists, who ‘knew this all along,’ but for all moral realists, that there are synthetic necessary moral principles? There is for all moral realists the problem of explaining ‘what in the world’ makes possible these necessities. (shrink)

Moral properties would supervene upon non‐moral properties and be conceptually autonomous. That, according to Simon Blackburn, would make them if not impossible at least mysterious, and evidence for them best explained by theorists who say they are not real. In fact moral properties would not challenge in ways Blackburn has contended. There is, however, something new that can be gathered from his arguments. What would the supervenience of moral properties and their conceptual autonomy from at least total non‐moral properties entail (...) not only for Intuitionists, who ‘knew this all along,’ but for all moral realists, that there are synthetic necessary moral principles? There is for all moral realists the problem of explaining ‘what in the world’makes possible these necessities. (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 this paper, the meanings of sentences containing the word or and a modal verb are used to arrive at a novel account of the meaning of or coordinations. It is proposed that or coordinations denote sets whose members are the denotations of the disjuncts; and that the truth conditions of sentences containing or coordinations require the existence of some set made available by the semantic environment which can be ‘divided up’ in accordance with the disjuncts. The relevant notion of (...) ‘dividing things up’ is made explicit in the paper. Detailed attention is given to the question of how the proposed truth conditions are derived from the syntactic input. The account offered allows for the derivation of both the disjunctive and the nondisjunctive readings of modal/or sentences, including the much-discussed free choice readings of may/or sentences. (shrink)

Over the last 3 decades a vast literature has been dedicated to supervenience. Much of it has focused on the analysis of different concepts of supervenience and their philosophical consequences. This paper has two objectives. One is to provide a short, up-do-date, guide to the formal relations between the different concepts of supervenience. The other is to reassess the extent to which these concepts can establish metaphysical theses, especially about dependence. The conclusion is that strong global supervenience is the most (...) advantageous notion of supervenience that we have. (shrink)

It is shown that the standard definitions of truth-functionality, though useful for their purposes, ignore some aspects of the usual informal characterisations of truth-functionality. An alternative definition is given that results in a stronger notion which pays attention to those aspects.

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)

Simon Blackburn has developed an interesting challenge to moral realism based on its alleged inability to account for supervenience relations between the moral and nonmoral. If supervenience holds, then any base property once giving rise to a supervening one must always do so. The realist accepts supervenience, but also (according to Blackburn) accepts the claim that nonmoral base properties do not necessitate the moral ones that supervene on them. This combination is thought deadly, because it leaves the realist without an (...) explanation of why ethical supervenience should be true. I offer three responses on behalf of the moral realist. The first rejects the need for explanation, arguing that supervenience should be understood as closely analogous to Leibniz's law, which, I argue, needs no defense. I next argue that ethical naturalism may be right, and if so, would provide an adequate response to Blackburn. Lastly, I show that the success of Blackburn's arguments implies a global antirealism, and so does not, as he claims, amount to a special problem for realism in ethics. (shrink)

In classical logic, the proposition expressed by a sentence is construed as a set of possible worlds, capturing the informative content of the sentence. However, sentences in natural language are not only used to provide information, but also to request information. Thus, natural language semantics requires a logical framework whose notion of meaning does not only embody informative content, but also inquisitive content. This paper develops the algebraic foundations for such a framework. We argue that propositions, in order to embody (...) both informative and inquisitive content in a satisfactory way, should be defined as non-empty, downward closed sets of possibilities, where each possibility in turn is a set of possible worlds. We define a natural entailment order over such propositions, capturing when one proposition is at least as informative and inquisitive as another, and we show that this entailment order gives rise to a complete Heyting algebra, with meet, join, and relative pseudo-complement operators. Just as in classical logic, these semantic operators are then associated with the logical constants in a first-order language. We explore the logical properties of the resulting system and discuss its significance for natural language semantics. We show that the system essentially coincides with the simplest and most well-understood existing implementation of inquisitive semantics, and that its treatment of disjunction and existentials also concurs with recent work in alternative semantics. Thus, our algebraic considerations do not lead to a wholly new treatment of the logical constants, but rather provide more solid foundations for some of the existing proposals. (shrink)

This paper introduces and explores a conservative extension of inquisitive logic. In particular, weak negation is added to the standard propositional language of inquisitive semantics, and it is shown that, although we lose some general semantic properties of the original framework, such an enrichment enables us to model some previously inexpressible speech acts such as weak denial and ‘might’-assertions. As a result, a new modal logic emerges. For this logic, a Fitch-style system of natural deduction is formulated. The main result (...) of this paper is a theorem establishing the completeness of the system with respect to inquisitive semantics with weak negation. At the conclusion of the paper, the possibility of extending the framework to the level of first order logic is briefly discussed. (shrink)

A one-premiss rule is said to be archetypal for a consequence relation when not only is the conclusion of any application of the rule a consequence of the premiss, but whenever one formula has another as a consequence, these formulas are respectively equivalent to a premiss and a conclusion of some application of the rule. We are concerned here with the consequence relation of classical propositional logic and with the task of extending the above notion of archetypality to rules with (...) more than one premiss, and providing an informative characterization of the set of rules falling under the more general notion. (shrink)

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)

THIS PAPER ARGUES THAT GLOBAL SUPERVENIENCE IS NOT\nEQUIVALENT TO KIM'S STRONG SUPERVENIENCE (AS HE HAS ARGUED\nIT IS) AND THAT IT DOES NOT ENTAIL THE TYPE OR TOKEN\nREDUCIBILITY OF THE SUPERVENIENT PROPERTIES TO THE\nPROPERTIES UPON WHICH THEY SUPERVENE (AS STRONG\nSUPERVENIENCE DOES). IT THEN TURNS TO AN EXAMINATION OF THE\nARGUMENT THAT GLOBAL SUPERVENIENCE IS EQUIVALENT TO\nIMPLICIT DEFINABILITY WHICH ACCORDING TO BETH'S THEOREM\nENTAILS EXPLICIT DEFINABILITY. THE AUTHOR HOPES TO SHOW\nTHAT GLOBAL SUPERVENIENCE IS A DISTINCT AND ESPECIALLY\nINTERESTING RELATION WHICH CAPTURES ASPECTS OF THE\nRELATIONSHIP BETWEEN (...) PHYSICAL PROPERTIES AND THOSE\nPROPERTIES WHICH ARE DETERMINED BY THEM THAT OTHER\nRELATIONS DO NOT DO JUSTICE TO. (shrink)