This book combines insights from philosophy and linguistics to develop a novel framework for theorizing about linguistic meaning and the role of context in interpretation. A key innovation is to introduce explicit representations of context — assignment variables — in the syntax and semantics of natural language. The proposed theory systematizes a spectrum of “shifting” phenomena in which the context relevant for interpreting certain expressions depends on features of the linguistic environment. Central applications include local and nonlocal contextual dependencies with (...) quantifiers, attitude ascriptions, conditionals, questions, and relativization. The result is an innovative, philosophically informed compositional semantics compatible with the truth-conditional paradigm. (shrink)

I set out and defend a view on indicative conditionals that I call “indexical relativism ”. The core of the view is that which proposition is expressed by an utterance of a conditional is a function of the speaker’s context and the assessor’s context. This implies a kind of relativism, namely that a single utterance may be correctly assessed as true by one assessor and false by another.

A generative grammar for a language L generates one or more syntactic structures for each sentence of L and interprets those structures both phonologically and semantically. A widely accepted assumption in generative linguistics dating from the mid-60s, the Generative Grammar Hypothesis , is that the ability of a speaker to understand sentences of her language requires her to have tacit knowledge of a generative grammar of it, and the task of linguistic semantics in those early days was taken to be (...) that of specifying the form that the semantic component of a generative grammar must take. Then in the 70s linguistic semantics took a curious turn. Without rejecting GGH, linguists turned away from the task of characterizing the semantic component of a generative grammar to pursue instead the Montague-inspired project of providing for natural languages the same kind of model-theoretic semantics that logicians devise for the artificial languages of formal systems of logic, and “formal semantics” continues to dominate semantics in linguistics. This essay argues that the sort of compositional meaning theory that would verify GGH would not only be quite different from the theories formal semanticists construct, but would be a more fundamental theory that supersedes those theories in that it would explain why they are true when they are true, but their truth wouldn’t explain its truth. Formal semantics has undoubtedly made important contributions to our understanding of such phenomena as anaphora and quantification, but semantics in linguistics is supposed to be the study of meaning. This means that the formal semanticist can’t be unconcerned that the kind of semantic theory for a natural language that interests her has no place in a theory of linguistic competence; for if GGH is correct, then the more fundamental semantic theory is the compositional meaning theory that is the semantic component of the internally represented generative grammar, and if that is so, then linguistic semantics has so far ignored what really ought to be its primary concern. (shrink)

It is widely agreed that sentences containing a non-denoting description embedded in the scope of a propositional attitude verb have true de dicto interpretations, and Russell's (1905) analysis of definite descriptions is often praised for its simple analysis of such cases, cf. e.g. Neale (1990). However, several people, incl. Elbourne (2005, 2009), Heim (1991), and Kripke (2005), have contested this by arguing that Russell's analysis yields incorrect predictions in non-doxastic attitude contexts. Heim and Elbourne have subsequently argued that once certain (...) facts about presupposition projection are fully appreciated, the Frege/Strawson analysis of definite descriptions has an explanatory advantage. In this paper, I argue that both Russell's analysis and the Frege/Strawson analysis face a serious problem when it comes to the interaction of attitude verbs and definite descriptions. I argue that the problem observed by Elbourne, Heim, and Kripke is much more general than standardly assumed and that a solution requires a revision of the semantics of definite and indefinite descriptions. I outline the conditions that are required to solve the problem and present an analysis couched in dynamic semantics which can provide a solution. I conclude by discussing some further issues related to propositional attitude verbs that complicate a fully general solution to the problem. (shrink)

Todd (2016) proposes an analysis of future-directed sentences, in particular sentences of the form 'will(φ)', that is based on the classic Russellian analysis of definite descriptions. Todd's analysis is supposed to vindicate the claim that the future is metaphysically open while retaining a simple Ockhamist semantics of future contingents and the principles of classical logic, i.e. bivalence and the law of excluded middle. Consequently, an open futurist can straightforwardly retain classical logic without appeal to supervaluations, determinacy operators, or any further (...) controversial semantical or metaphysical complication. In this paper, we will show that this quasi-Russellian analysis of 'will' both lacks linguistic motivation and faces a variety of significant problems. In particular, we show that the standard arguments for Russell's treatment of definite descriptions fail to apply to statements of the form 'will(φ)'. (shrink)

The received view about meteorological predicates like ‘rain’ is that they carry an argument slot for a location which can be filled explicitly or implicitly. The view assumes that ‘rain’, in the absence of an explicit location, demands that the context provide a specific location. In an earlier article in this journal, I provided a counter-example, viz. a context in which ‘it is raining’ receives a location-indefinite interpretation. On the basis of that example, I argued that when there is tacit (...) references to a location, it takes place for pragmatic reasons and casts no light on the semantics of meteorological predicates. Since then, several authors have reanalysed the counter-example, so as to make it compatible with the standard view. I discuss those attempts and argue that my account is superior. (shrink)

Arthur N. Prior, in the Preface of Past, Present and Future, made clear his indebtedness to “the very lively tense-logicians of California for many discussions”. Strangely,with a notable exception of Copeland, there is no extensive discussion of these scholars in the literature on the history of tense logic. In this paper, I propose to study how Nino B. Cocchiarella, as one of the Californian tense-logicians, interacted with Prior in the late 1960s. By gathering clues from their correspondence available at Virtual (...) Lab for Prior Studies, I will highlight some of the differences between their views on tense-logic, which might still have far-reaching philosophical implications. I will conclude with a sketchof how to study in what ways Prior and Cocchiarella influenced some other Californian tense-logicians. (shrink)

Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish semantics from knowledge of semantics (Lewis (...) 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse. (shrink)

Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy and logic. With Montague as (...) a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)

This paper attempts to describe and address a specific puzzle related to compositionality in artificial networks such as Deep Neural Networks and machine learning in general. The puzzle identified here touches on a larger debate in Artificial Intelligence related to epistemic opacity but specifically focuses on computational applications of human level linguistic abilities or properties and a special difficulty with relation to these. Thus, the resulting issue is both general and unique. A partial solution is suggested.

Recently, von Fintel (2001) and Gillies (2007) have argued that certain sequences of counterfactuals, namely reverse Sobel sequences, should motivate us to abandon standard truth conditional theories of counterfactuals for dynamic semantic theories. I argue that we can give a pragmatic account of our judgments about counterfactuals without giving up the standard semantics. In particular, I introduce a pragmatic principle governing assertability, and I use this principle to explain a variety of subtle data concerning reverse Sobel sequences.

Vector-based models of word meaning have become increasingly popular in cognitive science. The appeal of these models lies in their ability to represent meaning simply by using distributional information under the assumption that words occurring within similar contexts are semantically similar. Despite their widespread use, vector-based models are typically directed at representing words in isolation, and methods for constructing representations for phrases or sentences have received little attention in the literature. This is in marked contrast to experimental evidence (e.g., in (...) sentential priming) suggesting that semantic similarity is more complex than simply a relation between isolated words. This article proposes a framework for representing the meaning of word combinations in vector space. Central to our approach is vector composition, which we operationalize in terms of additive and multiplicative functions. Under this framework, we introduce a wide range of composition models that we evaluate empirically on a phrase similarity task. (shrink)

Independence Friendly Logic, introduced by Hintikka, is a logic in which a quantifier can be marked for being independent of other quantifiers. Dependence logic, introduced by Väänänen, is a logic with the complementary approach: for a quantifier it can be indicated on which quantifiers it depends. These logics are claimed to be useful for many phenomena, for instance natural language semantics. In this contribution we will compare these two logics by investigating their application in a compositional analysis of the de (...) dicto - de re ambiguity in natural language. It will be argued that Independence Friendly logic is suitable, whereas Dependence Logic is not. (shrink)

In the early days of natural language semantics, Donald Davidson issued a challenge to those, like Richard Montague, who would do semantics in a model-theoretic framework that gives a central role to a model-relative notion of truth. Davidson argued that no theory of this kind can claim to be an account of real truth conditions unless it first makes clear how the relativized notion relates to our ordinary non-relativized notion of truth. In the 1990s, Davidson’s challenge was developed by Etchemendy (...) into an argument against the model-theoretic account of logical consequence, one that also threatens the attempt to capture natural language entailment relations in modeltheoretic terms—one of the central desiderata of semantics. Nevertheless, the modeltheoretic framework has flourished within natural language semantics. But it has flourished without any consensus among semanticists as to how to answer Davidson’s challenge. The aim of this essay is to develop an answer. I argue that model-theoretic semantics is best understood as model-based science: a semantics for a natural language is a scientific model of truth conditions. This makes good sense of the way model-theoretic tools are used in natural language semantics. And it allows us to answer Davidson’s challenge by showing how a theory that employs a relativized notion of truth manages to tell us about ordinary truth conditions. Moreover, I argue that it helps us see how semantics can provide genuine explanations for natural language entailment and other truth-conditional phenomena. (shrink)

This paper defends the view that the Faculty of Language is compositional, i.e., that it computes the meaning of complex expressions from the meanings of their immediate constituents and their structure. I fargue that compositionality and other competing constraints on the way in which the Faculty of Language computes the meanings of complex expressions should be understood as hypotheses about innate constraints of the Faculty of Language. I then argue that, unlike compositionality, most of the currently available non-compositional constraints predict (...) incorrect patterns of early linguistic development. This supports the view that the Faculty of Language is com- positional. More generally, this paper presents a way of framing the compositionality debate (by focusing on its implications for language acquisition) that can lead to its even- tual resolution, so it will hopefully also interest theorists who disagree with its main conclusion. (shrink)

I document a scope freezing effect found with negated quantifier phrases ). In a sentence with a negated quantifier phrase of the form [NEG DP1], no quantifier phrase DP2 can take scope between NEG and DP1. I show how this scope freezing effect can be explained in terms of the analysis of negated quantifier phrases given in Collins and Postal and Collins.

Determiner phrases embedded under a propositional attitude verb have traditionally been taken to denote answers to implicit questions. For example, 'the capital of Vermont' as it occurs in 'John knows the capital of Vermont' has been thought to denote the proposition which answers the implicit question 'what is the capital of Vermont?' Thus, where 'know' is treated as a propositional attitude verb rather than an acquaintance verb, 'John knows the capital of Vermont' is true iff John knows that Montpelier is (...) the capital of Vermont. The traditional view lost its popularity long ago, because it was thought to rest on the controversial assumption that determiner phases embedded under a propositional attitude verb function semantically in the same way as the corresponding wh-clauses. Here we defend the traditional assumption against objections. We then argue that wh-clauses are not to be given a uniform treatment as indirect questions. When occurring under a propositional attitude verb, wh-clauses are better treated as having a predicate-type semantic value. We conclude by considering some possible objections to the predicate view. (shrink)

Contemporary natural-language semantics began with the assumption that the meaning of a sentence could be modeled by a single truth condition, or by an entity with a truth-condition. But with the recent explosion of dynamic semantics and pragmatics and of work on non- truth-conditional dimensions of linguistic meaning, we are now in the midst of a shift away from a truth-condition-centric view and toward the idea that a sentence’s meaning must be spelled out in terms of its various roles in (...) conversation. This communicative turn in semantics raises historical questions: Why was truth-conditional semantics dominant in the first place, and why were the phenomena now driving the communicative turn initially ignored or misunderstood by truth-conditional semanticists? I offer a historical answer to both questions. The history of natural-language semantics—springing from the work of Donald Davidson and Richard Montague—began with a methodological toolkit that Frege, Tarski, Carnap, and others had created to better understand artificial languages. For them, the study of linguistic meaning was subservient to other explanatory goals in logic, philosophy, and the foundations of mathematics, and this subservience was reflected in the fact that they idealized away from all aspects of meaning that get in the way of a one-to-one correspondence between sentences and truth-conditions. The truth-conditional beginnings of natural- language semantics are best explained by the fact that, upon turning their attention to the empirical study of natural language, Davidson and Montague adopted the methodological toolkit assembled by Frege, Tarski, and Carnap and, along with it, their idealization away from non-truth-conditional semantic phenomena. But this pivot in explana- tory priorities toward natural language itself rendered the adoption of the truth-conditional idealization inappropriate. Lifting the truth-conditional idealization has forced semanticists to upend the conception of linguistic meaning that was originally embodied in their methodology. (shrink)

In the recent debate on the semantic/pragmatic divide, Herman Cappelen and Ernie Lepore (2005) on the one hand, and Fran¸cois Recanati (2004) on the other, occupy almost diametrically opposed positions as regards the role of semantics for communication, while largely agreeing on important features of pragmatics. According to Cappelen and Lepore (CL), semantic context sensitivity of natural language sentences is restricted to what is determined by a particular minimal set of canonically context sensitive expressions. If you try to go beyond (...) that set, as has often been done in recent semantic theories, to reach a position of moderate contextualism, your reasons will force you to the much more extreme position of radical contextualism. That is CL’s instability thesis. They argue for it by means of a number of examples intended to illustrate how you are off on a slippery slope if you admit any context sensitivity beyond the basic one. If radical contextualism is true, systematic semantics is not possible, since, according to CL, there cannot be any systematic theory of speech act content. The one exception is that whatever is said by the utterance of a sentence, its minimally context dependent content is part of it. Precisely this is denied by Recanati. Not only is this “minimal proposition” not part of speech act content. The minimal proposition plays no.. (shrink)

There is a lot that we don’t know. That means that there are a lot of possibilities that are, epistemically speaking, open. For instance, we don’t know whether it rained in Seattle yesterday. So, for us at least, there is an epistemic possibility where it rained in Seattle yesterday, and one where it did not. It’s tempting to give a very simple analysis of epistemic possibility: • A possibility is an epistemic possibility if we do not know that it does (...) not obtain. But this is problematic for a few reasons. One issue, one that we’ll come back to, concerns the first two words. The analysis appears to quantify over possibilities. But what are they? As we said, that will become a large issue pretty soon, so let’s set it aside for now. A more immediate problem is that it isn’t clear what it is to have de re attitudes towards possibilities, such that we know a particular possibility does or doesn’t obtain. Let’s try rephrasing our analysis so that it avoids this complication. (shrink)

When reasons are given for compositionality, the arguments usually purport to establish compositionality in an almost a priori manner. I will rehearse these arguments why one could think that compositionality is a priori true, or almost a priori true, and will find all of them inconclusive. This, in itself, is no reason against compositionality, but a reason to try to establish or defend the principle on other than quasi-a priori grounds.

One of the main motivations for having a compositional semantics is the account of the productivity of natural languages. Formal languages are often part of the account of productivity, i.e., of how beings with finite capaci- ties are able to produce and understand a potentially infinite number of sen- tences, by offering a model of this process. This account of productivity con- sists in the generation of proofs in a formal system, that is taken to represent the way speakers grasp (...) the meaning of an indefinite number of sentences. The informational basis is restricted to what is represented in the lexicon. This constraint is considered as a requirement for the account of productivity, or at least of an important feature of productivity, namely, that we can grasp auto- matically the meaning of a huge number of complex expressions, far beyond what can be memorized. However, empirical results in psycholinguistics, and especially particular patterns of ERP, show that the brain integrates informa- tion of different sources very fast, without any felt effort on the part of the speaker. This shows that formal procedures do not explain productivity. How- ever, formal models are still useful in the account of how we get at the seman- tic value of a complex expression, once we have the meanings of its parts, even if there is no formal explanation of how we get at those meanings. A practice-oriented view of modeling gives an adequate interpretation of this re- sult: formal compositional semantics may be a useful model for some ex- planatory purposes concerning natural languages, without being a good model for dealing with other explananda. (shrink)

The received view about meteorological predicates like ‘rain' is that they carry an argument slot for a location which can be filled explicitly or implicitly. The view assumes that ‘rain', in the absence of an explicit location, demands that the context provide a specific location. In an earlier article, I have provided a counter-example to that claim, viz. a context in which ‘it is raining' receives a location-indefinite interpretation. On the basis of that example, I have argued that when there (...) is tacit reference to a location, it takes place for pragmatic reasons and casts no light on the semantics of meteorological predicates. But several authors have reanalysed the counter-example, so as to make it compatible with the standard view. I discuss those attempts, and argue that my account is better. Methodological considerations concerning the relations between pragmatics and logical form are offered along the way. (shrink)