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)

One of the key supposed 'platitudes' of contemporary epistemology is the claim that knowledge excludes luck. One can see the attraction of such a claim, in that knowledge is something that one can take credit for - it is an achievement of sorts - and yet luck undermines genuine achievement. The problem, however, is that luck seems to be an all-pervasive feature of our epistemic enterprises, which tempts us to think that either scepticism is true and that we don't know (...) very much, or else that luck is compatible with knowledge after all. In this book, Duncan Pritchard argues that we do not need to choose between these two austere alternatives, since a closer examination of what is involved in the notion of epistemic luck reveals varieties of luck that are compatible with knowledge possession and varieties that aren't. Moreover, Pritchard shows that a more nuanced understanding of the relationship between luck and knowledge can cast light on many of the most central topics in contemporary epistemology. These topics include: the externalism/internalism distinction; virtue epistemology; the problem of scepticism; metaepistemological scepticism; modal epistemology; and the problem of moral luck. All epistemologists will need to come to terms with Pritchard's original and incisive contribution. (shrink)

Nozick analyzes fundamental issues, such as the identity of the self, knowledge and skepticism, free will, the foundations of ethics, and the meaning of life.

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.

Knowledge and its Limits presents a systematic new conception of knowledge as a kind of mental stage sensitive to the knower's environment. It makes a major contribution to the debate between externalist and internalist philosophies of mind, and breaks radically with the epistemological tradition of analyzing knowledge in terms of true belief. The theory casts new light on such philosophical problems as scepticism, evidence, probability and assertion, realism and anti-realism, and the limits of what can be known. The arguments are (...) illustrated by rigorous models based on epistemic logic and probability theory. The result is a new way of doing epistemology and a notable contribution to the philosophy of mind. (shrink)

The well-known argument of Frederick Fitch, purporting to show that verificationism (= Truth implies knowability) entails the absurd conclusion that all the truths are known, has been disarmed by Dorothy Edgington''s suggestion that the proper formulation of verificationism presupposes that we make use of anactuality operator along with the standardly invoked epistemic and modal operators. According to her interpretation of verificationism, the actual truth of a proposition implies that it could be known in some possible situation that the proposition holds (...) in theactual situation. Thus, suppose that our object language contains the operatorA — it is actually the case that ... — with the following truth condition: vA iff w0, wherew 0 stands for the designated world of the model — the actual world. Then we can formalize the verificationist claim as follows. (shrink)

The author describes an interpreted modal language and produces some clear examples of logical and analytic truths that are not necessary. These examples: (a) are far simpler than the ones cited in the literature, (b) show that a popular conception of logical truth in modal languages is incorrect, and (c) show that there are contingent truths knowable ``a priori'' that do not depend on fixing the reference of a term.

Epistemic closure has been a central issue in epistemology over the last forty years. According to versions of the relevant alternatives and subjunctivist theories of knowledge, epistemic closure can fail: an agent who knows some propositions can fail to know a logical consequence of those propositions, even if the agent explicitly believes the consequence (having “competently deduced” it from the known propositions). In this sense, the claim that epistemic closure can fail must be distinguished from the fact that agents do (...) not always believe, let alone know, the consequences of what they know—a fact that raises the “problem of logical omniscience” that has been central in epistemic logic. This paper, part I of II, is a study of epistemic closure from the perspective of epistemic logic. First, I introduce models for epistemic logic, based on Lewis’s models for counterfactuals, that correspond closely to the pictures of the relevant alternatives and subjunctivist theories of knowledge in epistemology. Second, I give an exact characterization of the closure properties of knowledge according to these theories, as formalized. Finally, I consider the relation between closure and higher-order knowledge. The philosophical repercussions of these results and results from part II, which prompt a reassessment of the issue of closure in epistemology, are discussed further in companion papers. As a contribution to modal logic, this paper demonstrates an alternative approach to proving modal completeness theorems, without the standard canonical model construction. By “modal decomposition” I obtain completeness and other results for two non-normal modal logics with respect to new semantics. One of these logics, dubbed the logic of ranked relevant alternatives, appears not to have been previously identified in the modal logic literature. More broadly, the paper presents epistemology as a rich area for logical study. (shrink)

A formula is a contingent logical truth when it is true in every model M but, for some model M , false at some world of M . We argue that there are such truths, given the logic of actuality. Our argument turns on defending Tarski’s definition of truth and logical truth, extended so as to apply to modal languages with an actuality operator. We argue that this extension is the philosophically proper account of validity. We counter recent arguments to (...) the contrary presented in Hanson’s ‘Actuality, Necessity, and Logical Truth’ (Philos Stud 130:437–459, 2006 ). (shrink)

Epistemic modal predicate logic raises conceptual problems not faced in the case of alethic modal predicate logic : Frege’s “Hesperus-Phosphorus” problem—how to make sense of ascribing to agents ignorance of necessarily true identity statements—and the related “Hintikka-Kripke” problem—how to set up a logical system combining epistemic and alethic modalities, as well as others problems, such as Quine’s “Double Vision” problem and problems of self-knowledge. In this paper, we lay out a philosophical approach to epistemic predicate logic, implemented formally in Melvin (...) Fitting’s First-Order Intensional Logic, that we argue solves these and other conceptual problems. Topics covered include: Quine on the “collapse” of modal distinctions; the rigidity of names; belief reports and unarticulated constituents; epistemic roles; counterfactual attitudes; representational vs. interpretational semantics; ignorance of co-reference vs. ignorance of identity; two-dimensional epistemic models; quantification into epistemic contexts; and an approach to multi-agent epistemic logic based on centered worlds and hybrid logic. (shrink)

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)

The traditional view that all logical truths are metaphysically necessary has come under attack in recent years. The contrary claim is prominent in David Kaplan’s work on demonstratives, and Edward Zalta has argued that logical truths that are not necessary appear in modal languages supplemented only with some device for making reference to the actual world (and thus independently of whether demonstratives like ‘I’, ‘here’, and ‘now’ are present). If this latter claim can be sustained, it strikes close to the (...) heart of the traditional view. I begin this paper by discussing and refuting Zalta’s argument in the context of a language for propositional modal logic with an actuality connective (section 1). This involves showing that his argument in favor of real world validity his preferred explication of logical truth, is fallacious. Next (section 2) I argue for an alternative explication of logical truth called general validity. Since the rule of necessitation preserves general validity, the argument of section 2 provides a reason for affirming the traditional view. Finally (section 3) I show that the intuitive idea behind the discredited notion of real world validity finds legitimate expression in an object language connective for deep necessity. (shrink)

This volume succeeds the same authors' well-known An Introduction to Modal Logic and A Companion to Modal Logic. We designate the three books and their authors NIML, IML, CML and H&C respectively. Sadly, George Hughes died partway through the writing of NIML.