According to the alternative semantics for focus, the semantic reflec of intonational focus is a second semantic value, which in the case of a sentence is a set of propositions. We examine a range of semantic and pragmatic applications of the theory, and extract a unitary principle specifying how the focus semantic value interacts with semantic and pragmatic processes. A strong version of the theory has the effect of making lexical or construction-specific stipulation of a focus-related effect in association-with-focus constructions (...) impossible. Furthermore, while focus has a uniform import, the sources of meaning differences in association with focus are various. (shrink)

Natural language sentences that talk about two or more sets of entities can be assigned various readings. The ones in which the sets are independent of one another are particularly challenging from the formal point of view. In this paper we will call them ‘Independent Set (IS) readings’. Cumulative and collective readings are paradigmatic examples of IS readings. Most approaches aiming at representing the meaning of IS readings implement some kind of maximality conditions on the witness sets involved. Two kinds (...) of maximization have been proposed in the literature: ‘Local’ and ‘Global’ maximization. In this paper, we present an online questionnaire whose results appear to support Local maximization. The latter seems to capture the proper interplay between the semantics and the pragmatics of multi-quantifier sentences, provided that witness sets are selected on pragmatic grounds. (shrink)

Plural first-person pronouns have often been ignored in the literature on indexicals and pronouns. The assumption seems to be that we is just the plural of I. So, we can focus on theorizing about singular indexicals and about non-indexical plurals then combine the results to yield a theory of plural indexicals. Here I argue that the “divide and conquer” strategy fails. By considering data involving plurals, generics, and complex demonstratives, I argue for a referential semantics on which we can refer (...) to two sorts of group-like entities. Further, by considering the nature of semantic theorizing, I argue that semantics must draw some metaphysical distinctions, including between groups of two sorts. (shrink)

This paper proposes a method for computing the temporal aspects of the interpretations of a variety of Germa sentences. The method is strictly modular in the sense that it allows each meaning-bearing sentence constituent to make its own, separate, contribution to the semantic representation of any sentence containing it. The semantic representation of a sentence is reached in several stages. First, an ‘initial semantic representation’ is constructed, using a syntactic analysis of the sentence as input. This initial representation is then (...) transformed into the definitive representation by a series of transformations which reflect the ways in which the contributions from different constituents of the sentence interact. Since the different constituents which make their respective contributions to the meaning of the sentence are in most instances ambiguous, the initial representations are typically of a high degree of underspecification. (shrink)

There is a longstanding discussion whether wide-scope indefinites denote choice functions that are existentially bound or remain free. Data from Ga, an under-researched language spoken in Ghana, show that there are wide-scope indefinites denoting existentially bound skolemized choice functions whose parameter is bound by a higher quantificational NP, free skolemized choice functions with the speaker or a higher quantificational NP as a parameter, and narrow scope quantificational indefinites. Thus the data show that both existentially bound and free skolemized choice functions (...) are attested in natural language shedding new light on the semantics of indefinites. (shrink)

In the framework of the minimalist program, the assumption that wh-in-situ move covertly to be assigned wide scope is infeasible. Rather, it is assumed that they must be interpretable in situ, and that syntactic conditions like ‘superiority’ are effects of economy, which restricts overt rather than covert movement of a wh-element. The remaining syntactic problem for this line of reasoning is the putative ECP effects of adverbial wh-adjuncts, which were the strongest evidence for covert movement. A serious semantic problem is (...) that the interpretative procedures which have been proposed for wh-in-situ – unselective binding or absorption – fail to capture correctly their interpretation. I will argue first that both problems are solved if the interpretation in situ employs choice functions, and it is the function variable, rather than an individual variable, which is long-distance bound by the question existential operator. Adverbial adjuncts, which cannot be interpreted via choice functions, cannot, therefore, be interpreted in situ. However, the concept of economy underlying the account of overt superiority effects requires both theoretical and empirical clarification (as it leaves some empirical problems unaddressed). I argue, following a proposal by Golan (1993), that in this case the economy considerations apply at the interface (‘interface economy’) and that they consider not only different derivations out of the same numeration, but also their semantic representation. (shrink)

Standard attempts to defend Russell's Theory of Descriptions against the problem posed by incomplete descriptions, are discussed and dismissed as inadequate. It is then suggested that one such attempt, one which exploits the notion of a contextually delimited domain of quantification, may be applicable to incomplete quantifier expressions which are typically treated as quantificational: expressions of the form AllF's, NoF's, SomeF's, Exactly eightF's, etc. In this way, one is able to retain the plausible claim that such expressions ought to receive (...) their usual quantificational analyses. The conclusion tentatively drawn is that perhaps definite descriptions arenot amenable to a (Russellian) quantificational analysis. (shrink)

I give an account of the compositional semantics of unconditionals that explains their relationship to if -conditionals in the Lewis/Kratzer/Heim tradition. Unconditionals involve an alternative-denoting adjunct that supplies domain restrictions pointwise to a main-clause operator such as a modal. The differences from if -clauses follow from the structure of the adjuncts; both are conditionals in the Lewisian sense. In the course of treating unconditionals, I provide a concrete implementation of conditionals where conditional adjuncts in general are a species of correlative, (...) and show what detaching this hypothesis from if involves. (shrink)

This paper examines the stage-level/individual-level hypothesis (Kratzer 1989; Diesing 1988) from the point of view of modern Scottish Gaelic. This language exhibits two syntactically distinct predicational structures, and in particular, two distinct subject positions distinguishable on the basis of word order. While the distinction between the two positions can be shown to support the stage/individual-level hypothesis in one sense, the picture is muddied by the fact that many habitual or ‘characteristic’ sentences seem to be formed according to the stage-level subject (...) construction type.The solution proposed relies on two novel elements. First, it distinguishes the classical Davisonian event variable from the Kratzerian one hypothesized to be the hallmark of the stage-level sentence type. And secondly, it makes a strict logical separation between two types of generics: generics proper, which involve quantifying over an individual variable; and habituals, which only involve quantification over an event variable. These are represented by two distinct logical types which may nevertheless give rise to similar truth conditions in context.I show that the analysis can be made to account for tense interpretation, the scope of genericity, and the facts of syntactic complementation in Scottish Gaelic. To the extent that the solution is successful, it is evidence for a quite direct mapping between syntactic and semantic representations and for the important intuitions behind the initial Kratzer/Diesing stage vs. individual-level hypothesis. (shrink)

Recently, an orthodox Russellian tenet has come under fire from within. In particular, some Russellians now argue that definite descriptions don’t semantically encode uniqueness. Instead, Reformed Russellians, as I call them, hold that definite descriptions are truth-theoretically identical to indefinite ones. On this approach, a definite description’s uniqueness reading becomes a matter of pragmatics, not semantics. These reforms, we’re told, provide both empirical and methodological benefits over and above the prevailing orthodoxy. As I argue, however, the Russellian Reformation contains serious (...) flaws. Indeed, it is Orthodox Russellianism that remains a superior choice, both empirically and conceptually. (shrink)

The argument from convention contends that the regular use of definite descriptions as referential devices strongly implies that a referential semantic convention underlies such usage. On the presumption that definite descriptions also participate in a quantificational semantic convention, the argument from convention has served as an argument for the thesis that the English definite article is ambiguous. Here, I revisit this relatively new argument. First, I address two recurring criticisms of the argument from convention: its alleged tendency to overgenerate and (...) its apparent evidential inadequacy. These criticisms are found wanting. Second, following Zacharska, I argue that while the argument from convention does alter the landscape of logical possibilities insofar as it provides good grounds for treating Donnellan’s referential–attributive distinction as having truth-conditional consequences, the argument from convention nonetheless fails to demonstrate that ‘the’ requires two lexical entries. (shrink)

A recent challenge to Russell’s theory of definite description centers upon the divergent behavior of definites and their Russellian paraphrases in non-extensional contexts. Russellians can meet this challenge, I argue, by incorporating the familiarity theory of definiteness into Russell’s theory. The synthesis of these two seemingly incompatible theories produces a conceptually consistent and empirically powerful framework. As I show, the coalescence of Russellianism and the familiarity theory of definiteness stands as a legitimate alternative to both Traditional Russellianism and alternative semantic (...) frameworks. (shrink)

In this essay I propose a semantic analysis of impersonal uses of ‘you’, and related uses of other indexical expressions. The framework I employ is Kaplan’s classic analysis of indexical languages, enriched with independently motivated hypotheses about the identification of the semantically relevant context, and about the employment of generic expressions.

In this essay I propose a semantic analysis of impersonal uses of ‘you’, and related uses of other indexical expressions. The framework I employ is Kaplan’s classic analysis of indexical languages, enriched with independently motivated hypotheses about the identification of the semantically relevant context, and about the employment of generic expressions.

In this paper my aim is to approach the referential¿attributive distinction in the interpretation of definite descriptions, originally discussed by Donnellan (1966), from a cognitive perspective grounded in Sperber and Wilson¿s Relevance Theory (Sperber and Wilson 1986/95). In particular, I argue that definite descriptions encode a procedural semantics, in the sense of Blakemore (1987), which is neutral as between referential and attributive readings (among others). On this account, the distinction between referential and attributive readings arises as a result of the (...) differing links that exist between different types of mental representation and the world, rather than as a result of the differing links between language and mental representations. (shrink)

The English perfect involves two fundamental components of meaning: a truth-conditional one involving temporal notions and a current relevance presupposition best expressed in terms drawn from the analysis of modality. The proposal made here draws much for the Extended Now theory (McCoard 1978 and others), but improves on it by showing that many aspects of the perfect's meaning may be factored out into independent semantic or pragmatic principles.

A hyperintensional semantics for natural language is proposed which is agnostic about the question of whether propositions are sets of worlds or worlds are sets of propositions. Montague’s theory of intensional senses is replaced by a weaker theory, written in standard classical higher-order logic, of fine-grained senses which are in a many-to-one correspondence with intensions; Montague’s theory can then be recovered from the proposed theory by identifying the type of propositions with the type of sets of worlds and adding an (...) axiom to the effect that each world is the set of propositions which are true there. Senses are compositionally assigned to linguistic expressions by a categorial grammar with only two rule schemas, based on the implicative fragment of intuitionistic linear propositional logic, and a fully explicit grammar fragment is provided that illustrates the compositional assignment of sense to a variety of constructions, including dummy-subject constructions, infinitive complements, predicative adjectives and nominals, raising to subject, ‘tough-movement’, and quantifier scope ambiguities. Notably, the grammar and the derivations that it licenses never make reference to either worlds or to the extensions of senses. (shrink)

Philosophy and Phenomenological Research, EarlyView.

The phenomenon of quantification into attitude ascriptions has haunted broadly Fregean views, according to which co-referential proper names are not always substitutable salva veritate in attitude ascriptions. Opponents of Fregeanism argue that a belief ascription containing a proper name such as ‘Michael believes that Lindsay is charitable’ is equivalent to a quantified sentence such as ‘there is someone such that Michael believes that she is charitable, and that person is Lindsay’. They conclude that the semantic contribution of a name such (...) as ‘Lindsay’ is the same as the semantic contribution of a variable under an assignment, which these opponents suggest is merely the object assigned to that variable. However, renewed interest in variables suggests that they make a more complicated contribution to the semantic processing of sentences that contain them. In particular, a variable contributes both an assignment-unsaturated and an assignment-saturated semantic value. I use this dual role of the semantics of variables to develop a response to the argument from quantifying in. I take as my point of departure Cumming's () view that an attitude ascription relates the subject of an attitude to the assignment-unsaturated semantic value of an open sentence. I argue that this approach fails. I propose an alternative, according to which the truth of a belief ascription depends on both the assignment-saturated and the assignment-unsaturated semantic value of the open sentence in its that-clause. This approach reverses standard assumptions concerning the relation between quantification and substitution. (shrink)

Kit Fine has reawakened a puzzle about variables with a long history in analytic philosophy, labeling it “the antinomy of the variable”. Fine suggests that the antinomy demands a reconceptualization of the role of variables in mathematics, natural language semantics, and first-order logic. The difficulty arises because: (i) the variables ‘x’ and ‘y’ cannot be synonymous, since they make different contributions when they jointly occur within a sentence, but (ii) there is a strong temptation to say that distinct variables ‘x’ (...) and ‘y’ are synonymous, since sentences differing by the total, proper substitution of ‘x’ for ‘y’ always agree in meaning. We offer a precise interpretation of the challenge posed by (i) and (ii). We then develop some neglected passages of Tarski to show that his semantics for variables has the resources to resolve the antinomy without abandoning standard compositional semantics. (shrink)

Semantics in the Montagovian tradition combines two basic tenets. One tenet is that the semantic value of a sentence is an intension, a function from points of evaluations into truth-values. The other tenet is that the semantic value of a composite expression is the result of applying the function denoted by one component to arguments denoted by the other components. Many philosophers object to intensional semantics on the grounds that intensionally equivalent sentences do not substitute salva veritate into attitude ascriptions. (...) They propose instead that the semantic values of sentences must be structured propositions. In rejecting intensional semantics, philosophers who endorse structured propositions also usually reject functional compositionality, undermining both tenets of the Montagovian programme. I defend a semantic theory that incorporates both structured propositions and functional compositionality. I argue that this semantic theory can preserve many explanatory benefits of Montague semantics. Finally, I show how treating composition functional application can resolve core problems internal to a theory of structured propositions. (shrink)

Few critics of the received view in metaphysics that ontological disputes are generally substantive have stirred as much response as those that have developed Carnapian arguments turning on considerations of language and interpretation. The arguments from deflationists like Thomasson ( 2009, 2014 ) and Neo-Fregeans like Hale and Wright ( 2009 ), focus on features of actual language use, others like those from Hirsch ( 2002, 2009 ) focus on interpretation. In this paper, I offer a novel challenge to the (...) latter sort of argument. I argue that through their use of the principle of charity, they have unacceptable consequences beyond the ontology room: the best accounts of some natural language phenomena—most importantly, presupposition—cannot be maintained. (shrink)

This paper introduces and defends a high-level generalization about the way that presupposition triggers interact with attitude verbs. This generalization tells us a great deal about what an adequa...

We provide a cognitive analysis of how children represent belief using mental files. We explain why children who pass the false belief test are not aware of the intensionality of belief. Fifty-one 3½- to 7-year old children were familiarized with a dual object, e.g., a ball that rattles and is described as a rattle. They observed how a puppet agent witnessed the ball being put into box 1. In the agent’s absence the ball was taken from box 1, the child (...) was reminded of it being a rattle, and emphasising its being a rattle it was put back into box 1. Then the agent returned, the object was hidden in the experimenter’s hands and removed from box 1, described as a ‘‘rattle,” and transferred to box 2. Children who passed false belief had no problem saying where the puppet would look for the ball. However, in a different condition in which the agent was also shown that the ball was a rattle they erroneously said that the agent would look for the ball in box 1, ignoring the agent’s knowledge of the identity of rattle and ball. Their problems cease with their mastery of second-order beliefs. Problems also vanish when the ball is described not as a rattle but as a thing that rattles. We describe how our theory can account for these data as well as all other relevant data in the literature. (shrink)

Hybrid metaethical theories have significant promise; they would have important upshots if they were true. But they also face severe problems. The problems are severe enough to make many philosophers doubt that they could be true. My ambition is to show that the problems are just instances of a highly general problem: a problem about what are sometimes called ‘intensional anaphora'. I'll also show that any adequate explanation of intensional anaphora immediately solves all the problems for the hybrid theorist. We (...) should regard hybrid tools as among the most legitimate tools in our toolkit—at least when we use them properly. (shrink)

Sentences containing pronouns and indefinite noun phrases can be said toexpress open propositions, propositions which display gaps to be filled.This paper addresses the question what is the linguistic content ofthese expressions, what information they can be said to provide to ahearer, and in what sense the information of a speaker can be said tosupport their utterance. We present and motivate first order notions ofcontent, update and support. The three notions are each defined in acompositional fashion and brought together within a (...) single and coherentframework. (shrink)

We argue that formal linguistic theory, properly extended, can provide a unifying framework for diverse phenomena beyond traditional linguistic objects. We display applications to pictorial meanings, visual narratives, music, dance, animal communication, and, more abstractly, to logical and non-logical concepts in the ‘language of thought’ and reasoning. In many of these cases, a careful analysis reveals that classic linguistic notions are pervasive across these domains, such as for instance the constituency (or grouping) core principle of syntax, the use of logical (...) variables (for object tracking), or the variety of inference types investigated in semantics/pragmatics. The aim of this overview is to show how the application of formal linguistic concepts and methodology to non-linguistic objects yields non-trivial insights, thus opening the possibility of a general, precise theory of signs. (An appendix, found in the online supplements to this article, surveys applications of Super Linguistics to animal communication.). (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)

A new formalism for predicate logic is introduced, with a non-standard method of binding variables, which allows a compositional formalization of certain anaphoric constructions, including donkey sentences and cross-sentential anaphora. A proof system in natural deduction format is provided, and the formalism is compared with other accounts of this type of anaphora, in particular Dynamic Predicate Logic.

One of the big questions about indefinites is why they can escape scope islands. In the recent approach of Brasoveanu and Farkas :1–55, 2011) scopal relations with syntactically dominating quantifiers are hard wired into the semantic definition of the existential quantifier, which immediately explains why the semantic scope of indefinites may exceed their syntactic scope. In this paper, I argue for the revival of an alternative approach which places the explanatory burden on the idea that indefinites are essentially referential expressions, (...) similar to definites, and not plain existential quantifiers. I propose one fully explicit variant of such theories and argue that it comes with a number of conceptual and empirical advantages over competing theories. (shrink)

Marie Duží, Bjørn Jespersen, and Pavel Materna: Procedural Semantics for Hyperintensional Logic. Foundations and Applications of Transparent Intentional Logic, vol. 17 of series “Logic, Epistemology, and the Unity of Science”, Springer, Dordrecht, Heidelberg, London, New York, 2010; xiii+552 pages, ISBN 978-90-481-8811-6, e-ISBN 978-90-481-8812-3. DOI: 10.1007/978-90-481-8812-3.

How does your information change when you learn that something might be the case, where the modal “might” is epistemic? On the orthodox view, a proposition is added to your information base; on the view defended here, no propositions are added to your information base but some are removed from it. I argue that Stephen Yablo’s recent attempt to define this removal operation as a kind of propositional subtraction fails, offer a definition of my own in terms of the part–whole (...) relations between the truthmakers of the propositions one accepts, and argue that a deontic analogue of this account solves a problem about permission posed long ago by David Lewis. (shrink)

I contrast two approaches to the interpretation of generics such as ‘ravens are black:’ majority-based views, on which they are about what is the case most of the time, and inquiry-based views, on which they are about a feature we focus on in inquiry. I argue that majority-based views face far more systematic counterexamples than has previously been supposed. They cannot account for generics about kinds with multiple characteristic properties, such as ‘elephants live in Africa and Asia.’ I then go (...) on to sketch an inquiry-based view. (shrink)

This paper discusses free-choice like effects in generics. Just as Jane may drink coffee or tea can be used to convey Jane may drink coffee and Jane may drink tea (she is free to choose ), some generics with disjunctive predicates can be used to convey conjunctions of simpler generics: elephants live in Africa or Asia can be used to convey elephants live in Africa and elephants live in Asia. Investigating these logically slightly more complex generics and especially the free-choice (...) like effects throws light on both the semantics of generics and the interaction between world knowledge and the interpretive options generics offer. This paper presents a package of semantic and pragmatic hypotheses to account for the data, including why the effect is absent in the superficially logically similar elephants live in Africa or give birth to live young. (shrink)

Abstract This paper discusses the semantic theory presented in Robert Brandom’s Making It Explicit . I argue that it is best understood as a special version of dynamic semantics, so that these semantics by themselves offer an interesting theoretical alternative to more standard truth-conditional theories. This reorientation also has implications for more foundational issues. I argue that it gives us the resources for a renewed argument for the normativity of meaning. The paper ends by critically assessing the view in both (...) its development and motivations. Content Type Journal Article Pages 1-22 DOI 10.1007/s11098-011-9768-4 Authors Bernhard Nickel, Harvard University, Cambridge, MA, USA Journal Philosophical Studies Online ISSN 1573-0883 Print ISSN 0031-8116. (shrink)

In this paper, I utilise the growing literature on scientific modelling to investigate the nature of formal semantics from the perspective of the philosophy of science. Specifically, I incorporate the inferential framework proposed by Bueno and Colyvan : 345–374, 2011) in the philosophy of applied mathematics to offer an account of how formal semantics explains and models its data. This view produces a picture of formal semantic models as involving an embedded process of inference and representation applying indirectly to linguistic (...) phenomena. The final aim of the paper is directed at proposing a novel account of the syntax–semantics interface while shedding light on empty categories, semantically null forms, underspecified content and compositionality as a whole. (shrink)

This is the introductory essay to a collection commemorating the 100th anniversary of the publication in Mind of Bertrand Russell’s paper ‘On Denoting’.

This paper embeds the core part of Discourse Representation Theory in the classical theory of types plus a few simple axioms that allow the theory to express key facts about variables and assignments on the object level of the logic. It is shown how the embedding can be used to combine core analyses of natural language phenomena in Discourse Representation Theory with analyses that can be obtained in Montague Semantics.