[Robert Stalnaker] Saul Kripke made a convincing case that there are necessary truths that are knowable only a posteriori as well as contingent truths that are knowable a priori. A number of philosophers have used a two-dimensional model semantic apparatus to represent and clarify the phenomena that Kripke pointed to. According to this analysis, statements have truth-conditions in two different ways depending on whether one considers a possible world 'as actual' or 'as counterfactual' in determining the truth-value of the statement (...) relative to that possible world. There are no necessary a posteriori or contingent a priori propositions: rather, contingent a priori and necessary a posteriori statements are statements that are necessary when evaluated one way, and contingent when evaluated the other way. This paper distinguishes two ways that the two-dimensional framework can be interpreted, and argues that one of them gives the better account of what it means to 'consider a world as actual', but that it provides no support for any notion of purely conceptual a priori truth. /// [Thomas Baldwin] Two-dimensional possible world semantic theory suggests that Kripke's examples of the necessary a posteriori and contingent a priori should be handled by interpreting names as implicitly indexical. Like Stalnaker, I reject this account of names and accept that Kripke's examples have to be accommodated within a metasemantic theory. But whereas Stalnaker maintains that a metasemantic approach undermines the conception of a priori truth, I argue that it offers the opportunity to develop a conception of the a priori aspect of stipulations, conceived as linguistic performances. The resulting position accommodates Kripke's examples in a way which is both intrinsically plausible and fits with Kripke's actual discussion of them. (shrink)

In this fascinating work, Scott Soames offers a new conception of the relationship between linguistic meaning and assertions made by utterances. He gives meanings of proper names and natural kind predicates and explains their use in attitude ascriptions. He also demonstrates the irrelevance of rigid designation in understanding why theoretical identities containing such predicates are necessary, if true.

Consider the skeptic about the external world. Let’s straightaway concede to such a skeptic that perception gives us no conclusive or certain knowledge about our surroundings. Our perceptual justification for beliefs about our surroundings is always defeasible—there are always possible improvements in our epistemic state which would no longer support those beliefs. Let’s also concede to the skeptic that it’s metaphysically possible for us to have all the experiences we’re now having while all those experiences are false. Some philosophers dispute (...) this, but I do not. The skeptic I want to consider goes beyond these familiar points to the much more radical conclusion that our perceptual experiences can’t give us any knowledge or even justification for believing that our surroundings are one way rather than another. (shrink)

This is a review of Christopher Peacocke's book The Realm of Reason (Oxford University Press, 2004).

The Realm of Reason develops a new, general theory of what it is for a thinker to be entitled to form a given belief. The theory locates entitlement in the nexus of relations between truth, content, and understanding. Peacocke formulates three principles of rationalism that articulate this conception. The principles imply that all entitlement has a component that is justificationally independent of experience. The resulting position is thus a form of rationalism, generalized to all kinds of content. To show how (...) these principles are realized in specific domains, Peacocke applies the theory in detail to several classical problems of philosophy, including the nature of perceptual entitlement, induction, and the status of moral thought. These discussions involve an elaboration of the structure of entitlement in ways that have applications in many other areas of philosophy. He also relates the theory to classical and recent rationalist thought, and to current issues in the theory of meaning, reference and explanation. In the course of these discussions, he proposes a general theory of the a priori. The focus of the work lies in the intersection of epistemology, metaphysics, and the theory of meaning, and will be of interest both to students and researchers in these areas, and to anyone concerned with the idea of rationality. (shrink)

The logics of the modal operators and of the quantifiers show striking analogies. The analogies are so extensive that, when a special class of entities (possible worlds) is postulated, natural and non-arbitrary translation procedures can be defined from the language with the modal operators into a purely quantificational one, under which the necessity and possibility operators translate into universal and existential quantifiers. In view of this I would be willing to classify the modal operators as ‘disguised’ quantifiers, and I think (...) that wholehearted acceptance of modal language should be considered to carry ontological commitment to something like possible worldsConsidered as two languages for describing the same subject matter, modal and purely quantificational languages show interesting differences. The operator variables of the purely quantificational languages give them more power than the modal languages, but at least some of the functions performed by the apparatus of operator variables are also performed, in a more primitive and less versatile way, by actuality operators in modal languages.A final note. Quine has written much on the inter-relations of quantifiers, identity, and the concept of existence. These, he holds, form a tightly knit conceptual system which has been evolved to a high point of perfection, but which might conceivably change yet further.29 He has also dropped hints about the possibility of a simpler, primitive or defective version of the system, in which the quantifiers are not backed up in their accustomed way by the concept of identity. He has dubbed the resulting concept a ‘pre-individuative’ concept of existence, or a concept of ‘entity without identity.’ What would a pre-individuative concept of existence be like? Quine has sometimes suggested that one might be embodied in the use of mass nouns, but the identity concept is used in connection with stuff as well as with things: “is that the same coffee that was in the cup last night?” I would submit that modality provides a better case. In view of the comparative weakness of modal languages, compared to the explicitly quantificational ones Quine takes as canonical, there is surely a sense in which the concept of existence embodied in that disguised existential quantifier, the possibility operator, is a defective one. And as we have seen, one of the differences between modal operators and explicit quantifiers is that modal operators cannot be joined with the identity predicate in the way quantifiers with operator variables can. Surely, then, there is a sense in which ordinary speech, as opposed to the metaphysical theorizing of a Leibniz or a David Lewis, conceives of possible worlds as entities without identity. (shrink)

‘A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these serve much the same purpose as is served by experiments in physical science.’ This paper is an attempt to follow Russell’s advice by using a puzzle about the contingent a priori to test and explore certain theories of reference and modality. No one could claim that (...) the puzzle is of any great philosophical importance by itself, but to understand it, one has to get clear about certain aspects of the theory of reference; and to solve it, one has to think a little more deeply than one is perhaps accustomed about what it means to say that a statement is contingent or necessary. (shrink)

‘A logical theory may be tested by its capacity for dealing with puzzles, and it is a wholesome plan, in thinking about logic, to stock the mind with as many puzzles as possible, since these serve much the same purpose as is served by experiments in physical science.’ This paper is an attempt to follow Russell’s advice by using a puzzle about the contingent a priori to test and explore certain theories of reference and modality. No one could claim that (...) the puzzle is of any great philosophical importance by itself, but to understand it, one has to get clear about certain aspects of the theory of reference; and to solve it, one has to think a little more deeply than one is perhaps accustomed about what it means to say that a statement is contingent or necessary. (shrink)

This volume tackles the slippery subject of 'meaning'.

[Robert Stalnaker] Saul Kripke made a convincing case that there are necessary truths that are knowable only a posteriori as well as contingent truths that are knowable a priori. A number of philosophers have used a two-dimensional model semantic apparatus to represent and clarify the phenomena that Kripke pointed to. According to this analysis, statements have truth-conditions in two different ways depending on whether one considers a possible world 'as actual' or 'as counterfactual' in determining the truth-value of the statement (...) relative to that possible world. There are no necessary a posteriori or contingent a priori propositions: rather, contingent a priori and necessary a posteriori statements are statements that are necessary when evaluated one way, and contingent when evaluated the other way. This paper distinguishes two ways that the two-dimensional framework can be interpreted, and argues that one of them gives the better account of what it means to 'consider a world as actual', but that it provides no support for any notion of purely conceptual a priori truth. /// [Thomas Baldwin] Two-dimensional possible world semantic theory suggests that Kripke's examples of the necessary a posteriori and contingent a priori should be handled by interpreting names as implicitly indexical. Like Stalnaker, I reject this account of names and accept that Kripke's examples have to be accommodated within a metasemantic theory. But whereas Stalnaker maintains that a metasemantic approach undermines the conception of a priori truth, I argue that it offers the opportunity to develop a conception of the a priori aspect of stipulations, conceived as linguistic performances. The resulting position accommodates Kripke's examples in a way which is both intrinsically plausible and fits with Kripke's actual discussion of them. (shrink)

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)

Frank Jackson champions the cause of conceptual analysis as central to philosophical inquiry. In recent years conceptual analysis has been undervalued and widely misunderstood, suggests Jackson. He argues that such analysis is mistakenly clouded in mystery, preventing a whole range of important questions from being productively addressed. He anchors his argument in discussions of specific philosophical issues, starting with the metaphysical doctrine of physicalism and moving on, via free will, meaning, personal identity, motion, and change, to ethics and the philosophy (...) of color. In this way the book not only offers a methodological program for philosophy, but also casts new light on some much-debated problems and their interrelations. (shrink)

Why is two-dimensional semantics important? One can think of it as the most recent act in a drama involving three of the central concepts of philosophy: meaning, reason, and modality. First, Kant linked reason and modality, by suggesting that what is necessary is knowable a priori, and vice versa. Second, Frege linked reason and meaning, by proposing an aspect of meaning (sense) that is constitutively tied to cognitive signi?cance. Third, Carnap linked meaning and modality, by proposing an aspect of meaning (...) (intension) that is constitutively tied to possibility and necessity. (shrink)