We argue that an adequate treatment of verb phrase anaphora must depart in two major respects from the standard approaches. First of all, VP anaphors cannot be resolved by simply identifying the anaphoric VP with an antecedent VP. The resolution process must establish a syntactic/semantic parallelism between larger units that the VPs occur in. Secondly, discourse structure has a significant influence on the reference possibilities of VPA. This influence must be accounted for.We propose a treatment which meets these requirements. It (...) builds on a discourse grammar which characterizes discourse cohesion by means of a syntactic/semantic matching procedure which recognizes parallel structures in discourse. It turns out that this independently motivated procedure yields the resolution of VPA as a side effect. (shrink)

We argue that an adequate treatment of verb phrase anaphora must depart in two major respects from the standard approaches. First of all, VP anaphors cannot be resolved by simply identifying the anaphoric VP with an antecedent VP. The resolution process must establish a syntactic/semantic parallelism between larger units that the VPs occur in. Secondly, discourse structure has a significant influence on the reference possibilities of VPA. This influence must be accounted for. We propose a treatment which meets these requirements. (...) It builds on a discourse grammar which characterizes discourse cohesion by means of a syntactic/semantic matching procedure which recognizes parallel structures in discourse. It turns out that this independently motivated procedure yields the resolution of VPA as a side effect. (shrink)

Philosophy and Phenomenological Research, EarlyView.

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)

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)

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)

This paper arose from an attempt to determine how the very late medieval1 supposition theorists treated anaphoric pronouns, pronouns whose significance is derivative from their antecedents. Modern researches into pronouns were stimulated in part by the problem of "donkey sentences" discussed by Geach 1962 in a section explaining what is wrong with medieval supposition theory. So there is some interest in seeing exactly what the medieval account comes to, especially if it turns out, as I suspect, to work as well (...) as contemporary ones. Besides, finding a good analysis of pronouns has proved to be very difficult, and so we might possibly find some insight in a historically different kind of approach. I discuss a version of supposition theory that aims at producing analyses of sentences containing quantified terms,2 as articulated around 1400 by Paul of Venice, and as further developed by certain logicians such as de Soto and Celaya in the 1400's and early 1500's.3 Much of what I will say also applies indirectly to earlier versions of supposition theory (before 1400). (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.

Within natural language semantics, pronouns are often thought to correspond to variables whose values are contributed by contextual assignment functions. This paper concerns the application of this idea to cases where the antecedent of a pronoun is a plural quantifiers. The paper discusses the modelling of accessibility patterns of quantifier antecedents in a dynamic theory of interpretation. The goal is to reach a semantics of quantificational dependency which yields a fully semantic notion of pronominal accessibility. I argue that certain dependency (...) phenomena that arise in quantificationally created contexts require a representation of context wherein the labelling of antecedents is not rigid but rather dynamic itself. I propose a stack-based alternative to classic assignment functions, along the lines of Vermeulen (1993) and van Eijck (2001), and give a dynamic semantics of quantification which correctly accommodates the problematic anaphoric phenomena. (shrink)

ABSTRACT Certain problems in commonsense reasoning lend themselves to the use of non-standard formalisms which we call active logics. Among these are problems of objects misidentification. In this paper we describe some technical issues connected with automated inference in active logics, using particular object misidentification problems as illustrations. Control of exponential growth of inferences is a key issue. To control this growth attention is paid to a limited version of an inference rule for negative introspection. We also present some descriptive (...) statistics for comparison with earlier active-logic approaches. (shrink)

We develop a framework for natural language semantics which handles intensionality via metalogical constructions and deals with degree truth values in an integrated way. We take an axiomatic set theory, ZF, as the foundation for semantic representations, but we make ZF a metalanguage for part of itself by embedding a language ℒ within ZF which is basically a copy of the part of ZF consisting of set expressions. This metalogical set-up is used for handling propositional attitude verbs (limited to believe (...) in this paper). We define a truth function τ which determines the truth value τ(p, T) of an ℒ-proposition p with respect to a theory T. Theories are sets of ℒ-propositions with associated truth values, and can be viewed as a (much more well-defined) replacement for possible worlds. We develop a mechanism for defining belief worlds as theories. We simultaneously develop two different versions of our system - a Boolean version where the set Ω of truth values is {0, 1}, and a degree-truth version where Ω is the interval [0, 1] of real numbers. We use degrees of truth in handling a broad class of semantic predicates that we call base-focus predicates, which include generalized quantifiers as well as many adverb and adjective senses and certain discourse-level predicates. (shrink)

This paper concerns the formal semantic analysis of imperative sentences. It is argued that such an analysis cannot be deferred to the semantics of propositions, under any of the three commonly adopted strategies: the performative analysis, the sentence radical approach to propositions, and the (nondeclarative) mood-as-operator approach. Whereas the first two are conceptually problematic, the third faces empirical problems: various complex imperatives should be analysed in terms of semantic operators over simple imperatives. One particularly striking case is the Dutch pluperfect (...) imperative. It is argued that this construction should be analysed as a genuine counterfactual imperative. On the constructive side, in the last part of the paper a formal semantic analysis of imperatives is presented, in the framework of Update Semantics. On this analysis, imperatives are sui generis semantic entities, on a par with propositions. The analysis also includes an account of the counterfactual imperatives. (shrink)

So-called 'dynamic' semantic theories such as Kamp's discourse representation theory and Heim's file change semantics account for such phenomena as cross-sentential anaphora, donkey anaphora, and the novelty condition on indefinites, but compare unfavorably with Montague semantics in some important respects (clarity and simplicity of mathematical foundations, compositionality, handling of quantification and coordination). Preliminary efforts have been made by Muskens and by de Groote to revise and extend Montague semantics to cover dynamic phenomena. We present a new higher-order theory of discourse (...) semantics which improves on their accounts by incorporating a more articulated notion of context inspired by ideas due to David Lewis and to Craige Roberts. On our account, a context consists of a common ground of mutually accepted propositions together with a set of discourse referents preordered by relative salience. Employing a richer notion of contexts enables us to extend our coverage beyond pronominal anaphora to a wider range of presuppositional phenomena, such as the factivity of certain sentential-complement verbs, resolution of anaphora associated with arbitrarily complex definite descriptions, presupposition 'holes' such as negation, and the independence condition on the antecedents of conditionals. Formally, our theory is expressed within a higher-order logic with natural number type, separation-style subtyping, and dependent coproducts parameterized by the natural numbers. The system of semantic types builds on proposals due to Thomason and to Pollard in which the type of propositions (static meanings of sentential utterances) is taken as basic and worlds are constructed from propositions (rather than the other way around as in standard Montague semantics). (shrink)

We argue that definite noun phrases give rise to uniqueness inferences characterized by a pattern we call definiteness projection. Definiteness projection says that the uniqueness inference of a definite projects out unless there is an indefinite antecedent in a position that filters presuppositions. We argue that definiteness projection poses a serious puzzle for e-type theories of (in)definites; on such theories, indefinites should filter existence presuppositions but not uniqueness presuppositions. We argue that definiteness projection also poses challenges for dynamic approaches, which (...) have trouble generating uniqueness inferences and predicting some filtering behavior, though unlike the challenge for e-type theories, these challenges have mostly been noted in the literature, albeit in a piecemeal way. Our central aim, however, is not to argue for or against a particular view, but rather to formulate and motivate a generalization about definiteness which any adequate theory must account for. (shrink)

This paper deals with the semantics of de dicto , de re and de se belief reports. First, I flesh out in some detail the established, classical theories that assume syntactic distinctions between all three types of reports. I then propose a new, unified analysis, based on two ideas discarded by the classical theory. These are: (i) modeling the de re/de dicto distinction as a difference in scope, and (ii) analyzing de se as merely a special case of relational de (...) re attitudes. The resurrection of these ideas takes place in a dynamic setting. My formalization of the first idea involves a modification of the presupposition-as-anaphora resolution algorithm for DRT. The second involves treating acquaintance relations as second-order presuppositions, to be bound in the context by means of higher-order unification, or accommodated if necessary. The resulting framework requires no syntactic distinctions between different modes of attitude, with the exception of a specific subclass of de se reports characterized by special ‘ de se pronouns’ (i.e. PRO and logophors). These special pronouns are handled in syntax; everything alse is passed on to the pragmatic resolution module as it appears on the surface. The more sophisticated contextual resolution process nonetheless ensures adequate output truth conditions for a variety of classical and novel puzzles. In particular, I compare the new pragmasemantic system to the classical, syntactic analysis with respect to iterated and quantified reports, and monstrously shifted indexicals. (shrink)

I present a concrete DRT-based syntax and semantics for the representation of mental states in the style of Kamp. This system is closely related to Recanati’s Mental Files framework, but adds a crucial distinction between anchors, the analogues of mental files, and attitudes like belief, desire and imagination. Attitudes are represented as separate compartments that can be referentially dependent on anchors. I show how the added distinctions help defend the useful notion of an acquaintance-based mental file against Ninan’s :368–377 2015) (...) recent challenge involving counterfactual de re attitudes. (shrink)

In this paper I argue for a non-referential interpretation of some uses of indexicals embedded under epistemic modals. The so-called descriptive uses of indexicals come in several types and it is argued that those embedded within the scope of modal operators do not require non-referential interpretation, provided the modality is interpreted as epistemic. I endeavor to show that even if we allow an epistemic interpretation of modalities, the resulting interpretation will still be inadequate as long as we retain a referential (...) interpretation of indexicals. I then propose an analysis of descriptive indexicals that combines an epistemic interpretation of modality with a non-referential interpretation of indexicals. (shrink)

This paper attempts to revive a once-lively program in the philosophy of language—that of reducing linguistic phenomena to facts about mental states and actions. I argue that recent skepticism toward this project is generated by features of traditional implementations of the project, rather than the project itself. A picture of language as essentially a mechanism for cooperative information exchange attracted theorists to metasemantic accounts grounding language use in illocutionary action (roughly, using an utterance to elicit a propositional attitude). When this (...) picture is rejected, a metasemantics grounding language in locutionary action (using an utterance to direct attention) emerges as a more viable proposal, dissolving an intractable issue for traditional theories: The metasemantics of subsentential expressions. (shrink)

In this paper, I show that the availability of what some authors have called the weak reading and the strong reading of donkey sentences with relative clauses is systematically related to monotonicity properties of the determiner. The correlation is different from what has been observed in the literature in that it concerns not only right monotonicity, but also left monotonicity (persistence/antipersistence). I claim that the reading selected by a donkey sentence with a double monotone determiner is in fact the one (...) that validates inference based on the left monotonicity of the determiner. This accounts for the lack of strong reading in donkey sentences with MON determiners, which have been neglected in the literature. I consider the relevance of other natural forms of inference as well, but also suggest how monotonicity inference might play a central role in the actual process of interpretation. The formal theory is couched in dynamic predicate logic with generalized quantifiers. (shrink)

This paper describes Peirce's systems of logic diagrams, focusing on the so-called ''existential'' graphs, which are equivalent to the first-order predicate calculus. It analyses their implications for the nature of mental representations, particularly mental models with which they have many characteristics in common. The graphs are intended to be iconic, i.e., to have a structure analogous to the structure of what they represent. They have emergent logical consequences and a single graph can capture all the different ways in which a (...) possibility can occur. Mental models share these properties. But, as the graphs show, certain aspects of propositions cannot be represented in an iconic or visualisable way. They include negation, and the representation of possibilities qua possibilities, which both require representations that do not depend on a perceptual modality. Peirce took his graphs to reveal the fundamental operations of reasoning, and the paper concludes with an analysis of different hypotheses about these operations. (shrink)

As a class of terms and mental representations, proper names and mental names possess an important function that outstrips their semantic and psycho-semantic functions as common, rigid devices of direct reference and singular mental representations of their referents, respectively. They also function as abstract linguistic markers that signal and underscore their referents' individuality. I promote this thesis to explain why we give proper names to certain particulars, but not others; to account for the transfer of singular thought via communication with (...) proper names; and, more generally, to support a cognitivist, not acquaintance or instrumentalist, theory of singular thought. (shrink)

A new comprehensive framework for narrative understanding has been developed. Its centerpiece is a new situational logic calledEpisodic Logic, a knowledge and semantic representation well-adapted to the interpretive and inferential needs of general NLU. The most distinctive features of EL is its natural language-like expressiveness. It allows for generalized quantifiers, lambda abstraction, sentence and predicate modifiers, sentence and predicate reification, intensional predicates, unreliable generalizations, and perhaps most importantly, explicit situational variables linked to arbitrary formulas that describe them. These allow episodes (...) to be explicitly related in terms of part-whole, temporal and causal relations. Episodic logical form is easily computed from surface syntax and lends itself to effective inference. (shrink)

An account of desire as a species of belief may owe its appeal to the details of its proposal as to precisely what sort of beliefs desires are to be identified with, and its downfall may be due to those details it does provide. For example, it may be proposed that the desire that α is in fact the belief that it ought to be that α, or is morally good or desirable that it should be the case that α. (...) Here the appeal might be that of forging a link between the holding of a moral belief and the acknowledgment that one has a reason for acting a certain way; and the shortcoming of the suggestion is its evident implausibility: even if the ‘necessity’ direction could be established, having a desire hardly seems sufficient for the holding of any such belief. Again: it might be proposed, perhaps simply to bring some order into the realm of propositional attitudes by reducing some to others, that the belief with which we should identify a’s desire that α is a’s belief that he will or would be happy if α. This proposed identification can be seen to be incorrect by consideration of examples such as the following, due to J. Gosling. An aging and ailing parent might forego numerous pleasures in order that his children should reap the benefits of his saving and have a good start in life – perhaps by receiving an expensive education – after his impending death. Oearly he may want that they should so benefit even if he does not believe in an after-death existence in which he might come to know of, and so take pleasure in, his children’s subsequent well-being. So his wanting that they should prosper cannot consist in his believing that he will be happy if/when they do, since he has no expectation of even being in existence in that eventuality. As Gosling puts it, there is a clear difference between thinking that something’s coming about will bring one pleasure, on the one hand, and viewing the prospect of its coming about with pleasure, on the other. (shrink)

An account of desire as a species of belief may owe its appeal to the details of its proposal as to precisely what sort of beliefs desires are to be identified with, and its downfall may be due to those details it does provide. For example, it may be proposed that the desire that α is in fact the belief that it ought to be that α, or is morally good or desirable that it should be the case that α. (...) Here the appeal might be that of forging a link between the holding of a moral belief and the acknowledgment that one has a reason for acting a certain way; and the shortcoming of the suggestion is its evident implausibility: even if the ‘necessity’ direction could be established, having a desire hardly seems sufficient for the holding of any such belief. Again: it might be proposed, perhaps simply to bring some order into the realm of propositional attitudes by reducing some to others, that the belief with which we should identify a’s desire that α is a’s belief that he will or would be happy if α. This proposed identification can be seen to be incorrect by consideration of examples such as the following, due to J. Gosling. An aging and ailing parent might forego numerous pleasures in order that his children should reap the benefits of his saving and have a good start in life – perhaps by receiving an expensive education – after his impending death. Oearly he may want that they should so benefit even if he does not believe in an after-death existence in which he might come to know of, and so take pleasure in, his children’s subsequent well-being. So his wanting that they should prosper cannot consist in his believing that he will be happy if/when they do, since he has no expectation of even being in existence in that eventuality. As Gosling puts it, there is a clear difference between thinking that something’s coming about will bring one pleasure, on the one hand, and viewing the prospect of its coming about with pleasure, on the other. (shrink)

This paper is devoted to the formulation and investigation of a dynamic semantic interpretation of the language of first-order predicate logic. The resulting system, which will be referred to as ‘dynamic predicate logic’, is intended as a first step towards a compositional, non-representational theory of discourse semantics. In the last decade, various theories of discourse semantics have emerged within the paradigm of model-theoretic semantics. A common feature of these theories is a tendency to do away with the principle of compositionality, (...) a principle which, implicitly or explicitly, has dominated semantics since the days of Frege. Therefore the question naturally arises whether non-compositionality is in any way a necessary feature of discourse semantics. Since we subscribe to the interpretation of compositionality as constituting primarily a methodological principle, we consider this to be a methodological rather than an empirical question. As a consequence, the emphasis in the present paper lies on developing an alternative compositional semantics of discourse, which is empirically equivalent to its non-compositional brethren, but which differs from them in a principled methodological way. Hence, no attempts are made to improve on existing theories empirically. Nevertheless, as we indicate in section 5, the development of a compositional alternative may in the end have empirical consequences, too. First of all, it can be argued that the dynamic view on interpretation developed in this paper suggests natural and relatively easy to formulate extensions which enable one to deal with a wider range of phenomena than can be dealt with in existing theories. Moreover, the various approaches to the model-theoretic semantics of discourse that have been developed during the last decade, have constituted a ‘fresh start’ in the sense that much of what had been accomplished before was ignored, at least for a start. Of course, this is a justified strategy if one feels one is trying to develop a radically different approach to recalcitrant problems. However, there comes a time when such new approaches have to be compared with the older one, and when an assessment of the pros and cons of each has to be made. One of the main problems in semantics today, we feel, is that a semantic theory such as Montague grammar, and an approach like Kamp’s discourse representation theory, are hard to compare, let alone that it is possible to unify their insights and results.. (shrink)

In “Descriptions as Predicates” (Fara 2001) I argued that definite and indefinite descriptions should be given a uniform semantic treatment as predicates rather than as quantifier phrases. The aim of the current paper is to clarify and elaborate one of the arguments for the descriptions-aspredicates view, one that concerns the interaction of descriptions with adverbs of quantification.

The paper is in two parts. In Part I, a semantics for embedded and query uses of interrogatives is put forward, couched within a situation semantics framework. Unlike many previous analyses,questions are not reductively analysed in terms of their answers. This enables us to provide a notion of ananswer that resolves a question which varies across contexts relative to parameters such as goals and inferential capabilities. In Part II of the paper, extensive motivation is provided for an ontology that distinguishes (...) propositions, questions, and facts, while at the same time the semantics provided captures an important commonality between questions and propositions: factsprove propositions andresolve questions. This commonality is exploited to provide an explanation for why predicates such as know carry presuppositions such as factivity and for a novel account of the behaviour of adverbially modified predicates with interrogative, declarative and fact-nominal arguments. (shrink)

The domain of a quantifier is determined by a variety of factors, which broadly speaking fall into two types. On the one hand, the context of utterance plays a role: if the focus of attention is on a particular collection of kangaroos, for example, then “Q kangaroos” is likely to range over the individuals in that set. On the other hand, the utterance itself will help to establish the quantificational domain, inter alia through presuppositions triggered within the sentence. In this (...) paper, we concentrate our attention on constructions like the following, in which “the square to which... ” is the critical presupposition trigger: Q circles... Q of these circles... Q of these five circles...... have the same colour as the square to which they are connected. Many theories predict that all instances of these schemata will give rise to the presupposition that every circle is connected to a square. We present an analysis which predicts that these sentences should generally be accepted in a context in which not all the circles are connected to a square, with one exception only: if a quantified sentence is of type and Q is non-intersective, then the sentence should be more likely to be rejected. Furthermore, we predict that manipulating the context so as to make the connected circles more or less salient should have an effect on statements with non-intersective quantifiers only. These predictions were tested in a series of experiments. (shrink)

Consider the following sentence: “Mary meditated on the sentence ‘Bill is a good friend’ and concluded that he was a good friend.” It is standardly assumed that in sentences of this sort, containing so‐called “closed” quotations, the expressions occurring between quotation marks are mentioned and do not take their ordinary referents. The quoted NP “Bill” refers, if anything, to the name ‘Bill,’ not to the individual Bill. At the same time, the pronoun “he,” apparently anaphoric on quoted “Bill,” refers to (...) the individual Bill. The case seems thus to invalidate the intuitive principle that pronouns anaphoric on referential expressions inherit their reference from their antecedents. The paper formulates the argument, argues that sentences exhibiting the described pattern do not constitute evidence against the intuitive principle, and proposes an alternative account of the anaphoric relation involved. (shrink)

We define and prove a formal semantics divided into two complementary interacting components: the strictly linguistic semantics, we call linguistic agent, and the strictly logical and referential semantics, we call rational agent. This Linguistic \ Rational Agents’ Semantics applies to Deep Dependency trees or more generally, to discourses, i.e. sequences of DD-trees, and interprets them by functional structures we call Meaning Representation Structures, similar to the DRT, but interpreted very differently. LRA semantics incrementally interprets the discourses by minimal finite models, (...) called proto-models, in a monotonic logic of the LA and checks the proto-models with respect to the classical models of the RA. The proto-model is considered as the linguistic sense of the discourse. We define in full detail the LA which, as we believe, must be universal. On the other hand, we don’t propose a particular RA. We only define the scheme of interaction between the two agents and the stimuli of the RA used by the LA. After all, every discourse has in LRA semantics the single meaning and the single sense for every Rational Agent used to interact with the Linguistic Agent. (shrink)

In this paper, I outline a novel approach to the semantics of natural language pronouns. On this account, which I call 'demonstrativism', pronouns are semantically equivalent to demonstratives. I begin by presenting some contrasts that provide support for demonstrativism. Then I try to explain these contrasts by developing a particular demonstrativist proposal. I build on the "hidden argument" theory of demonstratives. On this theory, demonstratives are semantically similar to definite descriptions, with one important difference: demonstratives take two arguments, rather than (...) one. Using these ideas, I propose that pronouns also take two (covert) arguments, and that the second argument needs to be sufficiently salient to members of the conversation in order for the use of a pronoun to be felicitous. As for the first argument, I maintain that its content is constrained by the process of noun-phrase deletion. Taken together, I argue that these constraints provide us with a satisfying account of the uses to which pronouns are put. (shrink)

The paper outlines the analysis of certain question types in the Commitment Space framework, as presented in Krifka (2015). The two basic ideas are: Assertions and most questions involve commitments of speaker and addressee to the truth of a proposition, and questions consist in restricting the continuation of the conversation to answers to the question. The main focus is on breadth, not depth and the detailed comparison with alternative approaches, and on semantic modelling, not on the syntactic and prosodic realizations. (...) Topics are polar questions and their bias, alternative questions, constituent questions, high negation in questions, declarative questions, root vs. embedded questions, and deliberative questions. (shrink)