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)

It is a widely held view in philosophy that propositions perform a plethora of different theoretical roles. Amongst other things, they are believed to be the semantic values of sentences in contexts, the objects of attitudes, the contents of illocutionary acts, and the referents of that-clauses. This assumption is often combined with the claim that propositions have their truth-values eternally. In this paper I aim to show that these two assumptions are incompatible: propositions cannot both fulfill the mentioned roles and (...) be eternally true or false. Following Kaplan and Lewis’s Operator Argument, I argue that compositional semantic values of sentences in contexts do not correspond to eternal propositions. Thus, either we regard the non-eternal entities that in fact realize the semantic role of propositions as also fulfilling the remaining propositional roles, or we abandon the assumption that there is a unique realizer of all the roles. The Operator Argument has recently come under attack, mainly for its tense-logical assumptions. However, rejecting these assumptions is not a sufficient defense of the compatibility of the two claims, since the extensional alternative to the tense-logical framework does not allow us to universally retain eternal propositions as compositional semantic values of sentences either. (shrink)

Quantification over individuals, times, and worlds can in principle be made explicit in the syntax of the object language, or left to the semantics and spelled out in the meta-language. The traditional view is that quantification over individuals is syntactically explicit, whereas quantification over times and worlds is not. But a growing body of literature proposes a uniform treatment. This paper examines the scopal interaction of aspectual raising verbs (begin), modals (can), and intensional raising verbs (threaten) with quantificational subjects in (...) Shupamem, Dutch, and English. It appears that aspectual raising verbs and at least modals may undergo the same kind of overt or covert scope-changing operations as nominal quantifiers; the case of intensional raising verbs is less clear. Scope interaction is thus shown to be a new potential diagnostic of object-linguistic quantification, and the similarity in the scope behavior of nominal and verbal quantifiers supports the grammatical plausibility of ontological symmetry, explored in Schlenker (2006). (shrink)

This paper defends a version of the realist view that fictional characters exist. It argues for an instance of abstract realist views, according to which fictional characters are roles, constituted by sets of properties. It is argued that fictional names denote individual concepts, functions from worlds to individuals. It is shown that a dynamic framework for understanding the evolution of discourse information can be used to understand how roles are created and develop along with story content. Taking fictional names to (...) denote individual concepts provides accounts of a number of uses of fictional names. These include non-fictional uses, fictional uses, metafictional uses, interfictional uses, counterfictional uses, and negative existentials. It is argued that this account is not open to objections that have been raised in the literature. (shrink)

Kaplan (drawing on Montague and Prior, inter alia) made explicit the idea of world and time neutral propositions, which bear truth values only relative to world and time parameters. There was then a debate over the role of time. Temporalists sided with Kaplan in maintaining time neutral propositions with time relative truth values, while eternalists claimed that all propositions specify the needed time information and so bear the same truth value at all times. But there never was much of a (...) parallel debate over the role of worlds. Let contingentism be the view (parallel to temporalism) that sides with Kaplan in maintaining world neutral propositions with world relative truth values, and let necessitarianism be the view (parallel to eternalism) that propositions specify the needed world information and so bear the same truth value at all worlds. This is the story of how the debate between the contingentists and the necessitarians might begin. (shrink)

The Japanese comparative adverb motto has two different uses. In the degree use, motto compares two individuals and denotes that there is a large gap between the target and a given standard with a norm-related presupposition. On the other hand, in the so-called ‘negative use’ it conveys the speaker’s attitude toward the utterance situation. I argue that similarly to the degree motto, the negative motto is a comparative morpheme, but unlike the degree motto it compares a current situation and an (...) expected situation at the level of conventional implicature /expressive. I argue that the speaker’s negative evaluation of the utterance situation in question comes from the large gap between the expected degree and the current degree. The theoretical implications of this paper are that there is a natural extension from semantic comparison to expressive comparison and that there is a type in natural language that can be called an ‘indirect expressive’, as opposed to ‘direct expressives’ like bastard and man. (shrink)

It is argued that propositions cannot be the compositional semantic values of sentences (in context) simply due to issues stemming from the compositional semantics of modal operators (or modal quantifiers). In particular, the fact that the arguments for double indexing generalize to multiple indexing exposes a fundamental tension in the default philosophical conception of semantic theory. This provides further motivation for making a distinction between two sentential semantic contents—what (Dummett 1973) called “ingredient sense” and “assertoric content”.

This paper is about the relationship between two questions: the question of what the objects of assertion are and the question of how best to theorise about ‘shifty’ phenomena like modality and tense. I argue that the relationship between these two questions is less direct than is often supposed. I then explore the consequences of this for a number of debates in the philosophy of language.

This paper provides a formal analysis of the grammatical encoding of temporal information in Hausa (Chadic, Afro-Asiatic), thereby contributing to the recent debate on temporality in languages without overt tense morphology. By testing the hypothesis of covert tense against recently obtained empirical data, the study yields the result that Hausa is tenseless and that temporal reference is pragmatically inferred from aspectual, modal and contextual information. The second part of the paper addresses the coding of future in particular. It is shown (...) that future time reference in Hausa is realized as a combination of a modal operator and a Prospective aspect marker, involving the modal meaning components of intention and prediction as well as event time shifting. The discussion relates directly to recent approaches to other seemingly tenseless languages such as St’át’imcets (Matthewson, Linguist Philos 29:673–713, 2006) or Paraguayan Guaraní (Tonhauser, Linguist Philos 34:257–303, 2011b) and provides further evidence for the suggested analyses of the future markers in these languages. (shrink)

I explore the logic of the conditional, using credence judgments to argue against Duality and in favor of Conditional Excluded Middle. I then explore how to give a theory of the conditional which validates the latter and not the former, developing a variant on Kratzer (1981)'s restrictor theory, as well as a proposal which combines Stalnaker (1968)'s theory of the conditional with the theory of epistemic modals I develop in Mandelkern 2019a. I argue that the latter approach fits naturally with (...) a conception of conditionals as referential devices which allow us to talk about particular worlds. (shrink)

A person of average height would assert a truth by the conditional ‘if I were seven feet tall, I would be taller than I am,’ in which an indicative clause ‘I am’ is embedded in a subjunctive conditional. By contrast, no one would assert a truth by ‘if I were seven feet tall, I would be taller than I would be’ or ‘if I am seven feet tall, I am taller than I am’. These examples exemplify the fact that whether (...) a sentence's evaluation remains at the actual world in the scope of a modal or conditional depends on the combination of mood in the embedded and matrix clauses rather than, as is commonly thought, just on the presence of an operator ‘actually’. This essay argues that this phenomenon provides evidence that mood admits of bound and free readings along the lines of tenses and pronouns. It therefore favors the hypothesis that natural language contains variables and quantifiers for possible worlds in the object language. This, in turn, requires that the truth of a semantic value of a sentence (or whatever structure is embedded in a modal) be relativized to a sequence of worlds rather than to an individual world, and thus be distinguished from a proposition in the traditional sense. The essay also compares the framework defended with an alternative account of similar phenomena by Kai Wehmeier. (shrink)

ABSTRACT Backwards-looking operators Saarinen, E. [1979. “Backwards-Looking Operators in Tense Logic and in Natural Language.” In Essays on Mathematical and Philosophical Logic, edited by J. Hintikka, I. Niiniluoto, and E. Saarinen, 341–367. Dordrecht: Reidel] that have the material in their scope depend on higher intensional operators, are known to increase the expressivity of some intensional languages and have thus played a central role in debates about approaches to intensionality in terms of implicit parameters vs. variables explicitly quantifying over them. The (...) current contribution takes a look at these operators from a type-logical perspective. It is shown that extending Gallin's translation from intensional type logic to two-sorted type theory so as to include a version of Yanovich's backwards-looking operators, does not increase the expressive power of formulae with exclusively intensional parameters. The result, which makes use of a theorem by Zimmermann : 65–77]), is illustrated by pertinent examples from the literature. The paper closes by indicating alternative strategies of incorporating backwards-looking operators. (shrink)

While standard first-order modal logic is quite powerful, it cannot express even very simple sentences like “I could have been taller than I actually am” or “Everyone could have been smarter than they actually are”. These are examples of cross-world predication, whereby objects in one world are related to objects in another world. Extending first-order modal logic to allow for cross-world predication in a motivated way has proven to be notoriously difficult. In this paper, I argue that the standard accounts (...) of cross-world predication all leave something to be desired. I then propose an account of cross-world predication based on quantified hybrid logic and show how it overcomes the limitations of these previous accounts. I will conclude by discussing various philosophical consequences and applications of such an account. (shrink)

It has been argued that the primary acquisition of genericity in early child speech poses a problem for standard quantificational approaches to generics and instead motivates the claim that generics give voice to an innate, default mode of generalising. This article argues that analogous puzzles involving the acquisition of A‐quantifiers undermine the empirical support for a purely cognition‐based approach to generics. Instead, these acquisition puzzles should be solved by generalising the core insight of the cognitive defaults theory to these expressions, (...) reconciling formal semantic approaches with the role that cognitive development plays on lexical competence. (shrink)

Adams’ thesis is generally agreed to be linguistically compelling for simple conditionals with factual antecedent and consequent. We propose a derivation of Adams’ thesis from the Lewis- Kratzer analysis of if-clauses as domain restrictors, applied to probability operators. We argue that Lewis’s triviality result may be seen as a result of inexpressibility of the kind familiar in generalized quantifier theory. Some implications of the Lewis- Kratzer analysis are presented concerning the assignment of probabilities to compounds of conditionals.

1. Complex demonstratives (noun phrases of the form ‘that F’) often behave in devious ways which do not fit well with their traditional understanding as devices of direct reference. Namely, there a...

Propositions are posited to perform a variety of explanatory roles. One important role is being what is designated by a dedicated linguistic expression like a "that"-clause. In this paper, the case that propositions are needed for such a role is bolstered by defending that there are other expressions dedicated to designating propositions. In particular, it is shown that natural language has anaphors for propositions. Complement "so" and the response markers "yes" and "no" are argued to be such expressions.

Extant attempts to incorporate _intensionality_ into the grammar either systematically over-generate, or systematically under-generate. In this paper, building on Keshet (Linguist and Philos 33(4):251–283, 2011), we aim to reconcile a scopal account of _de re_ with the possibility of _de re_ readings out of scope islands. By adapting compositional techniques for dealing with exceptionally scoping indefinites (Charlow, in On the semantics of exceptional scope, PhD thesis, Rutgers University, 2014; The scope of alternatives: indefiniteness and islands. Linguist and Philos 43(4):427–472, 2020), (...) we develop an intensional grammar in which exceptional _de re_ is achieved via _cyclic scope_. World-sensitive expressions are converted into scope-takers via a constrained inventory of type-flexible operators. Type flexibility _explains_ the possibility of apparently island-violating _de re_ by predicting the possibility of cyclic scope-taking. We argue that the resulting theory—which we dub the _flexible scope theory_—is sufficiently expressive to address the under-generation issues of current accounts, while still capturing constraints on _de re_ in an explanatory fashion. (shrink)

We defend the thesis that every necessarily true proposition is always true. Since not every proposition that is always true is necessarily true, our thesis is at odds with theories of modality and time, such as those of Kit Fine and David Kaplan, which posit a fundamental symmetry between modal and tense operators. According to such theories, just as it is a contingent matter what is true at a given time, it is likewise a temporary matter what is true at (...) a given possible world; so a proposition that is now true at all worlds, and thus necessarily true, may yet at some past or future time be false in the actual world, and thus not always true. We reconstruct and criticize several lines of argument in favor of this picture, and then argue against the picture on the grounds that it is inconsistent with certain sorts of contingency in the structure of time. (shrink)

Providing a compositional interpretation procedure for discourses in which descriptions of complex dependencies between interrelated objects are incrementally built is a key challenge for formal theories of natural language interpretation. This paper examines several quantificational phenomena and argues that to account for these phenomena, we need richly structured contexts of interpretation that are passed on between different parts of the same sentence and also across sentential boundaries. The main contribution of the paper is showing how we can add structure to (...) contexts in an incremental way, starting with the basic notion of context in classical first-order logic, i.e., interpretation contexts formalized as single total variable assignments. (shrink)

The paper proposes an account of the contrast (noticed in Karttunen 1976) between the interpretations of the following two discourses: Harvey courts a girl at every convention. {She is very pretty. vs. She always comes to the banquet with him.}. The initial sentence is ambiguous between two quantifier scopings, but the first discourse as a whole allows only for the wide-scope indefinite reading, while the second allows for both. This cross-sentential interaction between quantifier scope and anaphora is captured by means (...) of a new dynamic system couched in classical type logic, which extends Compositional DRT (Muskens 1996) with plural information states (modeled, following van den Berg 1996, as sets of variable assignments). Given the underlying type logic, compositionality at sub-clausal level follows automatically and standard techniques from Montague semantics become available. The paper also shows that modal subordination (A wolf might come in. It would eat Harvey first) can be analyzed in a parallel way, i.e. the system captures the anaphoric and quantificational parallels between the individual and modal domains argued for in Stone (1999) (among others). In the process, we see that modal / individual-level quantifiers enter anaphoric connections as a matter of course, usually functioning simultaneously as both indefinites and pronouns. (shrink)

The paper proposes a novel analysis of quantificational subordination, e.g. Harvey courts a woman at every convention. {She is very pretty. vs. She always comes to the banquet with him.} (Karttunen 1976), in particular of the fact that the indefinite in the initial sentence can have wide or narrow scope, but the first discourse as a whole allows only for the wide scope reading, while the second discourse allows for both readings. The cross-sentential interaction between scope and anaphora is captured (...) in terms of structured anaphora to quantifier domains, formalized in a new dynamic system couched in classical type logic; given the underlying type logic, Montague-style compositionality at sub-clausal level follows automatically. Modal subordination (Roberts 1987) is analyzed in a parallel way, thereby capturing the parallels between the individual and modal domains argued for in Stone (1999). Several other phenomena are analyzed in terms of structured anaphora: exceptional wide scope, weak / strong donkey readings, anaphoric / uniqueness-implying definite descriptions and interactions between same / different and quantifier scope. (shrink)