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 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)

Saul Kripke’s thesis that ordinary proper names are rigid designators is supported by widely shared intuitions about the occurrence of names in ordinary modal contexts. By those intuitions names are scopeless with respect to the modal expressions. That is, sentences in a pair like (a) Aristotle might have been fond of dogs (b) Concerning Aristotle, it is true that he might have been fond of dogs will have the same truth value. The same does not in general hold for definite (...) descriptions. If we, like Kripke, account for this difference by means of the intensions of names and descriptions, we have to conclude that names do not in general have the same intension as any normal, identifying description. However, the difference in scope behavior between names and description can be accounted for alternatively by appeal to the semantics of the modal expressions. On the account we suggest, dubbed ‘relational modality’, simple singular terms, like proper names, contribute to modal contexts simply by their actual world reference, not by their (standard) intension. The relational modality account turns out to be fully equivalent with the rigidity account when it comes to truth of modal and non-modal sentences (with respect to the actual world), and hence supports the same basic intuitions. Given an alternative definition of consequence for relational modality, and a restriction to models with reflexive accessibility relations and non-empty world-bound domains, relational modality also turns out to be model theoretically equivalent with rigidity semantics with respect to logical consequence. Here we introduce the semantics, give the truth definition for relational modality models, and prove the equivalence results. (shrink)

The principle of compositionality requires that the meaning of a complex expression remains the same after substitution of synonymous expressions. Alleged counterexamples to compositionality seem to force a theoretical choice: either apparent synonyms are not synonyms or synonyms do not syntactically occur where they appear to occur. Some theorists have instead looked to Frege’s doctrine of “reference shift” according to which the meaning of an expression is sensitive to its linguistic context. This doctrine is alleged to retain the relevant claims (...) about synonymy and substitution while respecting the compositionality principle. Thus, Salmon (Philos Rev 115(4):415, 2006) and Glanzberg and King (Philosophers’ Imprint 20(2):1–29, 2020) offer occurrence-based accounts of variable binding, and Pagin and Westerståhl (Linguist Philos 33(5):381–415, 2010c) argue that an occurrence-based semantics delivers a compositional account of quotation. Our thesis is this: the occurrence-based strategies resolve the apparent failures of substitutivity in the same general way as the standard expression-based semantics do. So it is a myth that a Frege-inspired occurrence-based semantics affords a genuine alternative strategy. (shrink)

Arguably, the proposition that Mark Twain is Samuel Clemens and the proposition that water is H2O are both a posteriori. Nevertheless, they both seem to be necessary. Ever since Davies and Humberstone :1–31, 1980), it has been known that two-dimensional semantics can account for this fact. But two-dimensionalism isn’t the only theory on the market that purports to do so. In this paper, I will look at two alternatives, one by Scott Soames and one by Kathrin Glüer-Pagin and Peter Pagin, (...) and argue that both of them fail. Regarding the former, I argue that the conceptually possible but metaphysically impossible worlds one is required to postulate are hard to conceive of on closer inspection. As for the latter, the proposal doesn’t work for certain modal sentences, and I show that it cannot be easily amended. (shrink)

This essay studies the semantic properties of what I call Russell-names. Russell-names bear intimate semantic relations with descriptive conditions, in consonance with the main tenets of descriptivism. Yet, they are endowed with the semantic properties attributed to ordinary proper names by Millianism: they are rigid and non-indexical devices of direct reference. This is not an essay in natural language semantics, and remains deliberately neutral with respect to the question whether any among the expressions we ordinarily classify as proper names behave (...) as Russell-names. Its aim is rather that of casting a new light on the traditional debate about descriptivism on the one hand, and, on the other, what is commonly understood as a radically anti-descriptivist approach. From the viewpoint of descriptivism, the conceivability of Russell-names provides welcome relief from the pressure exerted by considerations at odds with a flaccid and/or indexical treatment of proper names. Conversely, from a Millian standpoint, the conceivability of Russell-names indicates that the Millian stance, far from providing a meagre picture of names as ‘mere tags’, is at least in principle consistent with the recognition of their semantic bonds with richer descriptive material. The Appendix provides a formal treatment of Russell-names within a model theoretic semantics for indexical intensional languages, developed within an original ‘double-context’ framework. (shrink)

It is generally assumed that rigidity plays a key role in explaining the necessary a posteriori status of identity statements, both between proper names and between natural kind terms. However, while the notion of rigid designation is well defined for singular terms, there is no generally accepted definition of what it is for a general term to be rigid. In this paper I argue that the most common view, according to which rigid general terms are the ones which designate the (...) same kind in all possible worlds, fails to deliver a posteriori necessities. I also present an alternative view, on which the work of explaining a posteriori necessities is not done by rigidity, but by a related metasemantic notion, which I call actuality - dependence. (shrink)

In natural language, looks-talk is used in a variety of ways. I investigate three uses of ‘looks’ that have traditionally been distinguished – epistemic, comparative, and phenomenal ‘looks’ – and endorse and develop considerations in support of the view that these amount to polysemy. Focusing on the phenomenal use of ‘looks’, I then investigate connections between its semantics, the content of visual experience, and the metaphysics of looks. I argue that phenomenal ‘looks’ is not a propositional attitude operator: We do (...) not use it to ascribe propositional attitudes to subjects, but to directly ascribe looks to objects, where looks are relational properties. However, I go on to argue that, given the way we use phenomenal ‘looks’, these relational properties are ultimately best understood as phenomenal relational properties, i.e. in terms of relations involving experiences. Along the way, I endorse Byrne’s argument against Jackson’s claim that phenomenal ‘looks F’ only takes predicates for colour, shape, and distance, and raise the issue of compositionality for the resulting view according to which phenomenal ‘looks F’ is context-dependent in a way that allows it to take a vast range of predicates. I conclude by arguing that these considerations concerning the natural language use of ‘looks’, and in particular its phenomenal use, are water on the mills of phenomenal intentionalism, a position in the philosophy of perception according to which experiences are propositional attitudes with phenomenal looks-contents. (shrink)

This is the second part of a two-part article on compositionality, i.e. the principle that the meaning of a complex expression is determined by the meanings of its parts and the way they are put together. In the first, Pagin and Westerståhl (2010), we provide a general historical background, a formal framework, definitions, and a survey of variants of compositionality. It will be referred to as Part I. Here we discuss arguments for and against the claim that natural languages have (...) a compositional semantics. We also discuss some problem cases, including belief reports, quotation, idioms, and ambiguity. (shrink)

This article focuses on the relevance of computational complexity for cognition. The syntactic items may be expressions that are surface strings. But in general, strings are syntactically ambiguous in that they can be generated in more than one way from atomic expressions and operations. The semantic function must take disambiguated items as arguments. When expressions are ambiguous, expressions cannot be the arguments. Instead, it is common to take the arguments to be terms, whose surface syntax reflects the derivation of the (...) string. The semantic function differs in one other important respect from an arithmetic function, since it maps entities between domains, from a syntactic to an ontic or conceptual domain of meanings. Compositionality helps to explain the rate of success in linguistic communication when the sentence used or the content communicated is new. (shrink)

In this paper, we defend a traditional approach to semantics, that holds that the outputs of compositional semantics are propositional, i.e. truth conditions. Though traditional, this view has been challenged on a number of fronts over the years. Since classic work of Lewis, arguments have been offered which purport to show that semantic composition requires values that are relativized, e.g. to times, or other parameters that render them no longer propositional. Focusing in recent variants of these arguments involving quantification and (...) binding, we argue that a correct understanding of how composition works gives no reason to relativize semantic values, and that propositional semantic values are in fact the preferred option. We take our argument to be mainly empirical, but along the way, we defend some more general theses. Simple propositional semantic values are viable in composition, we maintain, because composition is itself a complex phenomenon, involving multiple modes of composition. Furthermore, some composition principles make adjustments to the meanings of constituents in the course of composition. These adjustments are by triggered syntactic environments. We argue such small contributions of meaning from syntactic structure are acceptable. (shrink)

Starting from the familiar observation that no straightforward treatment of pure quotation can be compositional in the standard (homomorphism) sense, we introduce general compositionality, which can be described as compositionality that takes linguistic context into account. A formal notion of linguistic context type is developed, allowing the context type of a complex expression to be distinct from those of its constituents. We formulate natural conditions under which an ordinary meaning assignment can be non-trivially extended to one that is sensitive to (...) context types and satisfies general compositionality. As our main example we work out a Fregean treatment of pure quotation, but we also indicate that the method applies to other kinds of context, e.g. intensional contexts. (shrink)

Natural kind terms have exercised philosophical fancy ever since Kripke, in Naming and Necessity, claimed them to be rigid designators. He there drew attention to the peculiar, name-like behavior of a family of prima facie loosely related general terms of ordinary English: terms such as ‘water’, ‘tiger’, ‘heat’, and ‘red’. Just as for ordinary proper names, Kripke argued that such terms cannot be synonymous with any of the definite descriptions ordinary speakers associate with them. Rather, the name-like behavior of these (...) so-called natural kind terms is to be explained, just as in in the case of proper names, by the doctrine of rigid designation. And as a consequence of thus extending the notion of rigid designation to general terms, he famously endorsed the claim that so-called ‘theoretical identifications’, i.e. statements like (1) Water is H2O, are necessary, if true. (shrink)

This paper starts from the observation that the standard arguments for compositionality are really arguments for the computability of semantics. Since computability does not entail compositionality, the question of what justifies compositionality recurs. The paper then elaborates on the idea of recursive semantics as corresponding to computable semantics. It is then shown by means of time complexity theory and with the use of term rewriting as systems of semantic computation, that syntactically unrestricted, noncompositional recursive semantics leads to computational explosion (factorial (...) complexity). Hence, with combinatorially unrestricted syntax, semantics with tractable time complexity is compositional. (shrink)

This essay is devoted to an analysis of the semantic significance of a fashionable view of proper names, the Predicate Theory of names, typically developed in the direction of the Metalinguistic Theory of names. According to MT, ‘syntactic evidence supports the conclusion that a name such as ‘Kennedy’ is analyzable in terms of the predicate ‘individual named ‘Kennedy’’. This analysis is in turn alleged to support a descriptivist treatment of proper names in designative position, presumably in contrast with theories of (...) names as ‘directly referring rigid designators’. The main aim of this essay is that of questioning the significance of PT and MT as theories of designation: even granting for the argument’s sake that names are analyzable as predicates, their designative occurrences may be interpreted in consonance with the dictates of Direct Reference—indeed, in consonance with the radically anti-descriptivist version of Direct Reference I call Millianism. (shrink)