Two-Dimensional Semantics

David’s epistemic understanding of two-dimensional semantics has these two features. First, although he considers at least two construals of epistemically possible worlds, on one of them they are centered metaphysically possible worlds. Second, David intends epistemic two-dimensional semantics to yield a theory of propositional-attitude content, as well as having application to the semantics of natural language expressions. These two features come together in David’s “The Components of Content,” where he deploys the apparatus of epistemic two-dimensional semantics to provide an account (...) of propositional-attitude content, and where, for reasons of simplicity and familiarity, epistemically possible worlds are taken to be centered metaphysically possible worlds. My talk is about this account of content. (shrink)

Our primary interest this week will be in two objections Jackson mentions which seem to threaten his program. Each of them is avoided by appeal to the two-dimensional framework we sketched last week. Before we go over that framework again, we will start by looking at the objections. For reasons that may become apparent shortly, we will look at them in reverse order. So first we’ll look at this objection from Chapter 3, an objection which turns on the discovery of (...) a posteriori necessities by Kripke and Putnam. (shrink)

Graeme Forbes (2011) raises some problems for two-dimensional semantic theories. The problems concern nested environments: linguistic environments where sentences are nested under both modal and epistemic operators. Closely related problems involving nested environments have been raised by Scott Soames (2005) and Josh Dever (2007). Soames goes so far as to say that nested environments pose the “chief technical problem” for strong two-dimensionalism. We call the problem of handling nested environments within two-dimensional semantics “the nesting problem”. We show that the two-dimensional (...) semantics for attitude ascriptions developed in Chalmers (2011a) has no trouble accommodating certain forms of the nesting problem that involve factive verbs such as “know” or “establish”. A certain form of the nesting problem involving apriority and necessity operators does raise an interesting puzzle, but we show how a generalized version of the nesting problem arises independently of two-dimensional semantics—it arises, in fact, for anyone who accepts the contingent a priori. We, then, provide a two-dimensional treatment of the apriority operator that fits the two-dimensional treatment of attitude verbs and apply it to the generalized nesting problem. We conclude that two-dimensionalism is not seriously threatened by cases involving the nesting of epistemic and modal operators. (shrink)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines of two (...) arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

Some opponents of epistemic two-dimensionalism say that the view should be rejected on the grounds that it misclassifies certain a posteriori claims as a priori. Elliott, McQueen, & Weber [2013] have argued that any argument of this form must fail. I argue that this conclusion is mistaken, and defend my argument [Speaks (2010] against their criticisms.

In recent years, two‐dimensional semantics has been used to develop a broadly descriptivist approach to meaning that seeks to accommodate externalists’ counterexamples to traditional descriptivism. The 2D possible worlds framework can be used to capture a speaker’s implicit dispositions to identify the reference of her words on the basis of empirical information about her actual environment. Proponents of 2D semantics argue that this aspect of linguistic understanding plays the core theoretical role of meanings: 2D semantics allows us to specify a (...) reference‐fixing criterion implicit mastery of which constitutes semantic competence a particular meaning. (shrink)

Robert Stalnaker contrasts two interpretations, semantic and metasemantic, of the two-dimensionalist framework. On the semantic interpretation, the primary intension or diagonal proposition associated with an utterance is a semantic value that the utterance has in virtue of the actual linguistic meaning of the corresponding sentence, and that primary intension is both what a competent speaker grasps and what determines different secondary intensions or horizontal propositions relative to different possible worlds considered as actual. The metasemantic interpretation reverses the order of explanation: (...) an utterance has the primary intension it has because it yields the secondary intensions it yields relative to different possible worlds considered as actual. In these possible worlds, the semantic facts can be different: the metasemantic interpretation is metasemantic in the sense that the secondary intensions are determined relative to possible worlds considered as actual given the meanings the expressions have there. Stalnaker holds a causal picture of the reference of names, according to which names have no meaning over and above their unique referent, and therefore maintains that the semantic interpretation is not an option. He thus endorses the metasemantic interpretation, while insisting that this interpretation does not, contrary to what he originally thought, yield any account of a priori truth and knowledge. My double aim in this paper is to show (i) that the metasemantic interpretation, as sketched by Stalnaker, is not compatible with one natural understanding of the causal picture of reference, on which names are rigid because they have their original bearers essentially , and (ii) that a third kind of interpretation of the framework is available, the metasyntactic interpretation, which grants that names have their bearers essentially and yields some account of a priori knowledge. (shrink)

According to Epistemic Two-Dimensional Semantics (E2D), expressions have a counterfactual intension and an epistemic intension. Epistemic intensions reflect cognitive significance such that sentences with necessary epistemic intensions are a priori. We defend E2D against an influential line of criticism: arguments from epistemic misclassification. We focus in particular on the arguments of Speaks [2010] and Schroeter [2005]. Such arguments conclude that E2D is mistaken from (i) the claim that E2D is committed to classifying certain sentences as a priori, and (ii) the (...) claim that such sentences are a posteriori. We aim to show that these arguments are unsuccessful as (i) and (ii) undercut each other. One must distinguish the general framework of E2D from a specific implementation of it. The framework is flexible enough to avoid commitment to the apriority of any particular sentence; only specific implementations are so committed. Arguments from epistemic misclassification are therefore better understood as arguments for favouring one implementation of E2D over another, rather than as refutations of E2D. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I also describe (...) some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

This note argues that Laura Schroeter's [2005] critique of David Chalmers's epistemic two-dimensional semantics is not touched by a reply by Edward Elliott, Kelvin McQueen, and Clas Weber [2013].

Context figures in the interpretation of utterances in many different ways. In the tradition of possible-worlds semantics, the seminal account of context-sensitive expressions such as indexicals and demonstratives is that of Kaplan's two-dimensional semantics (the content- character distinction), further pursued in various directions by Stalnaker, Chalmers, and others. This chapter introduces and assesses the notion of context-sensitivity presented in this group of approaches, with a special focus on how it relates to the notion of cognitive significance and whether it includes (...) an intuitively plausible range of expressions within its scope. The chapter concludes with a discussion of the prospects of using two-dimensional semantics to account for context-sensitive expressions in dynamic discourse. (shrink)

Linguistic expressions frequently make reference to the situation in which they are uttered. In fact, there are expressions whose whole point of use is to relate to their context of utterance. It is such expressions that this article is primarily about. However, rather than presenting the richness of pertinent phenomena (cf. Anderson & Keenan 1985), it concentrates on the theoretical tools provided by the (standard) two-dimensional analysis of context dependence, essentially originating with Kaplan (1989)--with a little help from Stalnaker (1978) (...) and Lewis (1979a, 1980), and various predecessors including Kamp (1971) and Vlach (1973). The current article overlaps in content with the account in Zimmermann (1991), which is however much broader (and at times deeper).. (shrink)

Tout le monde ne sait pas que l’eau est du H2O. Supposons qu’Alice soit l’une de ces personnes. Alice dit : « Pour autant que je sache, l’eau pourrait ne pas être du H2O. » Intuitivement, il semble qu’Alice ait dit quelque chose de vrai. Autrement dit, il semble qu’il soit épistémiquement possible que l’eau ne soit pas du H2O. Pourtant, les conceptions traditionnelles de la modalité en linguistique et en philosophie du langage prédisent que tout énoncé métaphysiquement impossible est (...) également épistémiquement impossible . Or, il y a des arguments plausibles, venant de Kripke et d’autres, qui prétendent montrer qu’il est métaphysiquement impossible pour l’eau d’être quoi que ce soit d’autre que du H2O. Selon ces conceptions standards de la modalité, Alice a donc en fait dit quelque chose de faux. Ce résultat est hautement contre-intuitif. Je propose une nouvelle théorie de la modalité qui est capable de représenter ce que j’appelle des IMEPs : des impossibilités métaphysiques épistémiquement possibles. Des phrases comme : « L’eau pourrait ne pas être du H2O» et « Hesperus pourrait ne pas être Phosphorus » sont des exemples d’IMEPs, et d’autres peuvent être facilement trouves . Ma théorie explique l’existence d’IMEPs tout en conservant la souplesse et la puissance explicative des conceptions standards.Not everyone knows that water is H2O. Suppose Alice is one of those people. Alice says: "For all I know, water might not be H2O." Intuitively it seems like Alice has spoken truly. That is, it seems like it is epistemically possible that water is not H2O. However, conventional accounts of modality in linguistics and philosophy of language predict that any metaphysically impossible statement will also be epistemically impossible . And there are plausible arguments, from Kripke and others, that purport to show that it is metaphysically impossible for water to be anything other than H2O. So according to the standard accounts of modality, Alice has in fact said something false. (shrink)

It is commonly supposed that metaphysical modal claims are to be evaluated with respect to a single domain of possible worlds: a claim is metaphysically necessary just in case it is true in every possible world, and metaphysically possible just in case it is true in some possible world. We argue that the standard understanding is incorrect; rather, whether a given claim is metaphysically necessary or possible is relative to which world is indicatively actual. We motivate our view by attention (...) to discussions in Salmon 1989 and Fine 2005, in which various data are taken to support rejecting the transitivity of accessibility and modal monism ; we argue that relativized metaphysical modality can accommodate these data compatible with both standard modal logic and modal monism. Noting an analogy with two-dimensional semantics, we argue that metaphysical modality has a complex structure, reflecting what is counterfactually possible, relative to each indicatively actual world. In arguing for the need for relativization, we are broadly on the same side as Crossley and Humberstone and Davies and Humberstone ; our contribution here is, first, to offer distinctively metaphysical reasons for relativization, and second, to show that relativization can be incorporated in ways minimally departing from standard modal logic. (shrink)

We provide a Hilbert-style axiomatization of the logic of , as well as a two-dimensional semantics with respect to which our logics are sound and complete. Our completeness results are quite general, pertaining to all such actuality logics that extend a normal and canonical modal basis. We also show that our logics have the strong finite model property and permit straightforward first-order extensions.

According to epistemic two-dimensionalism, or simply two-dimensionalism, linguistic expressions are associated with two intensions, one of which represents an expression’s a priori implications. The author investigates the prospects of conceptual analysis on the basis of a two-dimensionalist theory of meaning. He discusses a number of arguments for and against two-dimensional semantics and argues that properly construed, two-dimensionalism provides a potent and plausible account of meaning. Against the background of this account, the author then goes on to assess the value of (...) conceptual analysis in philosophical practice, outlining its goals, its promises, but also its limitations. (shrink)

This paper criticizes Soames’s main argument against a variant of two-dimensionalism that he calls strong two-dimensionalism. The idea of Soames’s argument is to show that the strong two-dimensionalist’s semantics for belief ascriptions delivers wrong semantic verdicts about certain complex modal sentences that contain both such ascriptions and claims about the truth of the ascribed beliefs. A closer look at the formal semantics underlying strong two-dimensionalism reveals that there are two feasible ways of specifying the truth conditions for claims of the (...) latter sort. Only one of the two yields the problematic semantic verdicts, so strong two-dimensionalists can avoid Soames’s argument by settling for the other way. (shrink)

When I say ‘Hesperus is Phosphorus’, I seem to express a proposition. And when I say ‘Joan believes that Hesperus is Phosphorus’, I seem to ascribe to Joan an attitude to the same proposition. But what are propositions? And what is involved in ascribing propositional attitudes?

This paper discusses some recent responses to Kripke’s modal objections to descriptivism about names. One response, due to Gluer-Pagin and Pagin, involves employing "actually" operators in a new way. Another, developed mainly by Chalmers, involves distinguishing the dimension of meaning modal operators affect from the dimension other operators, especially epistemic ones, affect. I argue that both these moves run into problems with "mixed" contexts involving factive verbs such as "know", "establish", "prove", etc. In mixed contexts there are both modal and (...) epistemic operators, and it seems that some contradictory examples, such as "possibly (Hesperus has a moon and someone establishes that Hesperus has no moon)", are classified as true according to these views. (shrink)

Moral realists can, and should, allow that the truth-conditional content of moral judgments is in part attitudinal. I develop a two-dimensional semantics that embraces attitudinal content while preserving realist convictions about the independence of moral facts from our attitudes. Relative to worlds “considered as counterfactual,” moral terms rigidly track objective, response-independent properties. But relative to different ways the actual world turns out to be, they nonrigidly track whatever properties turn out to be the objects of our relevant attitudes. This theory (...) provides realists with a satisfactory account of Moral Twin Earth cases and an improved response to Blackburn’s supervenience argument. (shrink)

David Chalmers argues that zombies are possible because they are ideally conceivable and that therefore consciousness does not supervene on the physical. In this paper I discuss the most influential criticism of the conceivability-possibility principle in the current literature. According to that criticism, the conceivability-possibility principle is unjustified because it depends on a certain unjustified assumption concerning the semantic conditions under which necessary statements can be true a posteriori, namely that a posteriority is due to contingency at the reference-fixing level, (...) so that a necessary statement can be true a posteriori only if at least one of the concepts flanking the identity sign refers contingently. (shrink)

One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain a posteriori propositions expressed by sentences involving names as a priori. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensional semantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open to a (...) close relative of that argument. (shrink)

The lesson is familiar. Kripke’s arguments in favor of a posteriori necessary truths annul the idea that conceivability is a guide to metaphysical possibility because determining that which is a priori is a separate issue from determining that which is necessary. Modal rationalists do not completely agree with this conclusion. Following recent work on two-dimensional semantics, David Chalmers suggests that two distinct semantic values can be assigned to a statement, depending on whether we consider possible worlds as counterfactual or counteractual. (...) The idea is that counterfactual possibilities yield familiar Kripkean intuitions, but that counteractuals fulfill the desired link between a priori conceivability and metaphysical possibility. In this paper, I discuss a problem for modalrationalism that arises through the use of material conditionals, or conditionals in the indicative mood. I then turn to Chalmers’ response, and suggest reasons why it is inadequate. I turn to another response from Chalmers, and suggest that, whilst it solves the fi rst issue, it is incapable of grounding modal rationalism. In conclusion I will suggest a way in which a tempered version of modal rationalism can be salvaged. (shrink)

In this article, a qualitative notion of subjective plausibility and its revision based on a preorder relation are implemented in higher-order logic. This notion of plausibility is used for modeling pragmatic aspects of communication on top of traditional two-dimensional semantic representations.

One of Kripke's fundamental objections to descriptivism was that the theory misclassifies certain _a posteriori_ propositions expressed by sentences involving names as _a priori_. Though nowadays very few philosophers would endorse a descriptivism of the sort that Kripke criticized, many find two-dimensional semantics attractive as a kind of successor theory. Because two-dimensionalism needn't be a form of descriptivism, it is not open to the epistemic argument as formulated by Kripke; but the most promising versions of two-dimensionalism are open to a (...) close relative of that argument. (shrink)

Two-dimensional (2D) semantics is a formal framework that is used to characterize the meaning of certain linguistic expressions and the entailment relations among sentences containing them. 2D semantics has also been applied to thought contents. In contrast with standard possible worlds semantics, 2D semantics assigns extensions and truth-values to expressions relative to two possible world parameters, rather than just one. So a 2D semantic framework provides finer-grained semantic values than those available within standard possible world semantics, while using the same (...) basic model-theoretic resources. The 2D framework itself is just a formal tool. To develop a semantic theory for someone’s language, a proponent of 2D semantics must do three things: (i) explain what exactly the two possible world parameters represent, (ii) explain the rules for assigning 2D semantic values to a person’s words and sentences, and (iii) explain how 2D semantic values help in understanding the meanings of the person’s words and sentences. (shrink)

There is reason to expect a reasonable account of a priori knowledge to be linked with an account of the nature of conceptual thought. Recent “two-dimensionalist” accounts of conceptual thought propose an extremely direct connection between the two: on such views, being in a position to know a priori a large number of non-trivial propositions is a necessary condition of concept-possession. In this paper I criticize this view, by arguing that it requires an implausibly internalist and intellectualist conception of capacities (...) we bring to bear in applying concepts in experience. Empirical concept-application depends on the exercise of a variety of capacities, many of which can be grouped together under the general label “recognitional”. As I argue, two-dimensionalism cannot accommodate a plausible account of such capacities. This suggests that the link between a priori knowledge and the nature of conceptual thought is not as direct as twodimensionalists take it to be. I close by briefly sketching a different way to think of that link. (shrink)

A number of popular arguments for dualism start from a premise about an epistemic gap between physical truths about truths about consciousness, and infer an ontological gap between physical processes and consciousness. Arguments of this sort include the conceivability argument, the knowledge argument, the explanatory-gap argument, and the property dualism argument. Such arguments are often resisted on the grounds that epistemic premises do not entail ontological conclusion. My view is that one can legitimately infer ontological conclusions from epistemic premises, if (...) one is very careful about how one reasons. To do so, the best way is to reason first from epistemic premises to modal conclusions , and from there to ontological conclusions. Here, the crucial issue is the link between the epistemic and modal domains. How can one reason from theses about what is knowable or conceivable to theses about what is necessary or possible? To bridge the epistemic and modal domains, the framework of two-dimensional semantics can play a central role. I have used this framework in earlier work to mount an argument against materialism. Here, I want to revisit the argument, laying it out in a more explicit and careful form, and responding to a number of objections. In what follows I will concentrate mostly on the conceivability argument. I think that very similar considerations apply to the other arguments mentioned above, however. In the final section of the paper, I show how this analysis might yield a unified treatment of a number of anti-materialist arguments. (shrink)

Based on some of Kent Bach's work and Mount (2008), I point out certain shortcomings of parameter-based semantic two-dimensionalism for the modeling of indexicals and suggest to model context dependence on the basis of the assumptions of indidivual speakers, their rich background knowledge, and defeasible reasoning in a broadly-conceived Stalnakerian framework.

Two-dimensional semantics aims to eliminate the puzzle of necessary a posteriori and contingent a priori truths. Recently many argue that even assuming two-dimensional semantics we are left with the puzzle of necessary and a posteriori propositions. Stephen Yablo (Pacific Philosophical Quarterly, 81, 98–122, 2000) and Penelope Mackie (Analysis, 62(3), 225–236, 2002) argue that a plausible sense of “knowing which” lets us know the object of such a proposition, and yet its necessity is “hidden” and thus a posteriori. This paper answers (...) this objection; I argue that given two-dimensional semantics you cannot know a necessary proposition without knowing that it is true. (shrink)

The paper identifies two major strands of truth theories, ontological and epistemological ones, and argues that both are of equal primacy and find their home within two-dimensional semantics. Contrary to received views, it argues further that epistemological truth theories operate on Lewisian possible worlds and ontological truth theories on Wittgensteinian possible worlds and that both are mediated by the so-called epistemic-ontic map the further specification of which is of utmost philosophical importance.

According to epistemic two-dimensionalism, every expression is associated with two kinds of meaning: a primary intension (a “Fregean” component) and a secondary intension (a “Russellian” component). While the rst kind of meaning lines up with the speaker’s abilities to pick out referents of correctly employed expressions in hypothetical scenarios, the second kind of meaning is a version of what standard semanticists call “semantic content”—a kind of content which does not pivot on speaker abilities. Despite its conciliatory temperament, epistemic two-dimensionalism has (...) come under recent attack. It has been alleged that it is bound to attribute to speakers a priori identifying knowledge of the referents of correctly employed terms, and bound also to reject valid rules of inference such as exportation: P(a) → λx[P(x)](a) (see, e.g., Soames 2005. (shrink)

As tends to be the way with philosophical positions, there are at least as many two-dimensionalisms as there are two-dimensionalists. But painting with a broad brush, there are core epistemological and metaphysical commitments which underlie the two-dimensionalist project, commitments for which I have no sympathies. A sketch of three signi?cant points of disagreement.

The development of possible worlds semantics for modal claims has led to a more general application of that theory as a complete semantics for various formal and natural languages, and this view is widely held to be an adequate (philosophical) interpretation of the model theory for such languages. We argue here that this view generates a self-referential inconsistency that indicates either the falsity or the incompleteness of PWS.

_the a priori role_ (for word T). For instance, perhaps anyone who understands the word _water_ is able to know, without appeal to any further a posteriori information, that _water_ refers to the clear, drinkable natural kind whose instances are predominant in our oceans and lakes (if _water_ refers at all.

The essence of the associated-proposition strategy is to distinguish the necessary proposition _expressed by_ a sentence.

Two-dimensional semantics is a framework that helps us better understand some of the most fundamental issues in philosophy: those having to do with the relationship between the meaning of words, the way the world is, and our knowledge of the meaning of words. This selection of new essays by some of the world's leading authorities in this field sheds fresh light both on foundational issues regarding two-dimensional semantics and on its specific applications. Contributors: Richard Breheny, Alex Byrne, David Chalmers, Martin (...) Davies, Gareth Evans, Manuel Garcia-Carpintero, Josep Maci`, Martine Nida-Rumelin, Christopher Peacocke, James Pryor, Francois Recanati, Scott Soames, Cara Spencer, Robert Stalnaker, Kai-Yee Wong, Stephen Yablo. (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)

Two-dimensional approaches to semantics, broadly understood, recognize two "dimensions" of the meaning or content of linguistic items. On these approaches, expressions and their utterances are associated with two different sorts of semantic values, which play different explanatory roles. Typically, one semantic value is associated with reference and ordinary truth-conditions, while the other is associated with the way that reference and truth-conditions depend on the external world. The second sort of semantic value is often held to play a distinctive role in (...) analyzing matters of cognitive significance and/or context-dependence. (shrink)

This paper concerns the applications of two-dimensional modal semantics to the explanation of the contents of speech and thought. Different interpretations and applications of the apparatus are contrasted. First, it is argued that David Kaplan's two-dimensional semantics for indexical expressions is different from the use that I made of a formally similar framework to represent the role of contingent information in the determination of what is said. But the two applications are complementary rather than conflicting. Second, my interpretation of the (...) apparatus is contrasted with that of David Chalmers, Frank Jackson, and David Lewis. It is argued that this difference reflects a contrast between internalist and externalist approaches to the problem of intentionality. (shrink)

The truth of a statement depends on the world in two ways: what the statement says is true if the world is as the statement says it is; on the other hand, what the expressions in the statement mean depends on what the world is like (for instance, on what conventions are in place). Each of these two kinds of dependence of truth on the world corresponds to one of the dimensions on the two-dimensional semantic framework, developed in the 1970’ (...) in the work of Evans, Kaplan, Kripke and Stalnaker. The introduction provides a systematic overview of the framework, the ideas of its earlier originators, recent developments and criticism. Finally, it gives a brief overview over the contributions to the volume. (shrink)

Scott Soames’ Reference and Description contains arguments against a number of different versions of two-dimensional semantics. After early chapters on descriptivism and on Kripke’s anti-descriptivist arguments, a chapter each is devoted to the roots of twodimensionalism in “slips, errors, or misleading suggestions” by Kripke and Kaplan, and to the two-dimensional approaches developed by Stalnaker (1978) and by Davies and Humberstone (1981). The bulk of the book (about 200 pages) is devoted to “ambitious twodimensionalism”, attributed to Frank Jackson, David Lewis, and (...) me. After a quick overview of two-dimensional approaches, I will focus on Soames’ discussion of ambitious twodimensionalism. I will then turn to a system advocated by Soames that is itself strikingly reminiscent of a two-dimensional approach. Two-dimensional semantic theories are varieties of possible-worlds semantics on which linguistic items can be evaluated relative to possibilities in two different ways, yielding two sorts of intensional semantic values, which can be seen as two “dimensions” of meaning. The second dimension is the familiar sort of Kripkean evaluation in metaphysically possible worlds, so that necessarily coextensive terms (such as ‘Hesperus’ and ‘Phosphorus’ or ‘water’ and ‘H2O’) always have the same semantic value. The first dimension behaves differently, so that there are typically at least some cases where necessarily coextensive terms have different semantic values on the first dimension. For this reason, the two-dimensional framework is sometimes seen as a way of granting many of the insights of a Kripkean approach to meaning (on the second dimension), while retaining elements of a Fregean approach to meaning (on the first dimension). (shrink)