There are two dominant approaches to quantification: the Fregean and the Tarskian. While the Tarskian approach is standard and familiar, deep conceptual objections have been pressed against its employment of variables as genuine syntactic and semantic units. Because they do not explicitly rely on variables, Fregean approaches are held to avoid these worries. The apparent result is that the Fregean can deliver something that the Tarskian is unable to, namely a compositional semantic treatment of quantification centered on truth and reference. (...) We argue that the Fregean approach faces the same choice: abandon compositionality or abandon the centrality of truth and reference to semantic theory. Indeed, we argue that developing a fully compositional semantics in the tradition of Frege leads to a typographic variant of the most radical of Tarskian views: variabilism, the view that names should be modeled as Tarskian variables. We conclude with the consequences of this result for Frege's distinction between sense and reference. (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)

On a traditional view, the semantics of natural language makes essential use of a context parameter, i.e. a set of coordinates that represents the situation of speech. In classical semantic frameworks, this parameter plays two key roles: first, context contributes to determining the content of utterance; second, it is crucial for defining logical consequence. I point out that recent empirical proposals about context shift in natural language (in particular, context-shifting semantics in the style of Anand and Nevins 2004) are incompatible (...) with the traditional view of context. At the same time, there is increasing cross-linguistic support for this brand of context shift. Hence I suggest that context has no place in semantic theory proper. We should revert back to so-called multiple-indexing frameworks that were developed by Montague and others, and relegate context to the postsemantic stage. (shrink)

I argue that predicativism, the view that proper names are predicates, is a viable theory of the semantics of proper names given a certain hypothesis about the grammar of definiteness. Extant versions of predicativism hold that a singular name in argument position constitutes the predicative component of a covert definite description. I show that these versions cannot accommodate semantic and typological data, specifically: syntactic and semantic disparities between bare and non-bare occurrences of such names in English, the distinctive modal rigidity (...) displayed by names, as opposed to common noun definite descriptions, and cross-linguistic data that feature seemingly distinct determiners for names in argument position. I propose that predicativism needs to embrace a view of definite marking as complex, consisting of a definite article and a bindable, familiarity-tracking constituent, which I call _index_. I show that this view is empirically motivated and typologically attested. The resulting version of predicativism can accommodate elegantly the observed semantic data when coupled with language-specific morpho-phonological generalizations. I finally address criticisms of and alternatives to my version of predicativism. (shrink)

We investigate whether ordinary quantification over objects is an extensional phenomenon, or rather creates non-extensional contexts; each claim having been propounded by prominent philosophers. It turns out that the question only makes sense relative to a background theory of syntax and semantics (here called a grammar) that goes well beyond the inductive definition of formulas and the recursive definition of satisfaction. Two schemas for building quantificational grammars are developed, one that invariably constructs extensional grammars (in which quantification, in particular, thus (...) behaves extensionally) and another that only generates non-extensional grammars (and in which quantification is responsible for the failure of extensionality). We then ask whether there are reasons to favor one of these grammar schemas over the other, and examine an argument according to which the proper formalization of deictic utterances requires adoption of non-extensional grammars. (shrink)