Logic for Philosophy is an introduction to logic for students of contemporary philosophy. It is suitable both for advanced undergraduates and for beginning graduate students in philosophy. It covers (i) basic approaches to logic, including proof theory and especially model theory, (ii) extensions of standard logic that are important in philosophy, and (iii) some elementary philosophy of logic. It emphasizes breadth rather than depth. For example, it discusses modal logic and counterfactuals, but does not prove the central metalogical results for (...) predicate logic (completeness, undecidability, etc.) Its goal is to introduce students to the logic they need to know in order to read contemporary philosophical work. It is very user-friendly for students without an extensive background in mathematics. In short, this book gives you the understanding of logic that you need to do philosophy. (shrink)

The purpose of the present paper is to challenge some received assumptions about the logical analysis of modal English, and to show that these assumptions are crucial to certain debates in current philosophy of language. Specifically, I will argue that the standard analysis in terms of quantified modal logic mistakenly fudges important grammatical distinctions, and that the validity of Kripke's modal argument against description theories of proper names crucially depends on ensuing equivocations.

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)

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.

Robert Stalnaker explores the contexts in which speech takes place, the ways we represent them, and the roles they play in explaining the interpretation and dynamics of speech. His central thesis is the autonomy of pragmatics: the independence of theory about structure and function of discourse from theory about mechanisms serving those functions.

In this paper I assume that syntactic structures contain items that function as variables over possible worlds (or things like possible worlds). I show that in certain syntactic positions we can use some variables but not other. I accordingly motivate a "binding theory" for the items that occupy these positions, and I discuss some consequences of this binding theory.

It will be an essential resource for philosophers, mathematicians, computer scientists, linguists, or any scholar who finds connectives, and the conceptual issues surrounding them, to be a source of interest.This landmark work offers both ...

It is commonly argued that natural language has the expressive power of quantifying over intensional entities, such as times, worlds, or situations. A standard way of modelling this assumes that there are unpronounced but syntactically represented variables of the corresponding type. Not all that much as has been said, however, about the exact syntactic location of these variables. Meanwhile, recent work has highlighted a number of problems that arise because the interpretive options for situation pronouns seem to be subject to (...) various restrictions. This paper is primarily concerned with situation pronouns inside of determiner phrases, arguing that they are introduced as arguments of (certain) determiners. Verbal predicates, on the other hand, are assumed to not combine with a situation pronoun. The various restrictions on their interpretation are shown to fall out from the semantic system that is developed based on that view. Further support for such an account comes from situation semantic analyses of donkey sentences as well as data on the temporal interpretation of nominal predicates. Its ability to account for this full range of data in a unified manner is shown to set it apart from previous proposals. The paper closes with an outlook on further extensions, including an account of quantifier domain restriction based on situation pronouns. (shrink)