Formal Semantics

Quantification, Negation, and Focus: Challenges at the Conceptual-Intentional Semantic Interface Tista Bagchi National Institute of Science, Technology, and Development Studies (NISTADS) and the University of Delhi Since the proposal of Logical Form (LF) was put forward by Robert May in his 1977 MIT doctoral dissertation and was subsequently adopted into the overall architecture of language as conceived under Government-Binding Theory (Chomsky 1981), there has been a steady research effort to determine the nature of LF in language in light of structurally (...) diverse languages around the world, which has ultimately contributed to the reinterpretation of LF as a Conceptual-Intentional (C-I) interface level between the computational syntactic component of the faculty of language and one or more interpretive faculties of the human mind. While this has opened up further possibilities of research in phenomena such as quantifier scope and scope interactions between negation, quantification, and focus, it has also given rise to a few real challenges to linguistic theory as well. Some of these are: (i) the split between lexical meaning – a matter supposedly belonging to the phase-wise selection of lexical arrays – and issues of semantic interpretation that arise purely from binding and scope phenomena (Mukherji 2010); (ii) partially relatedly, the level at which theta role assignment can be argued to take place, an issue that is taken up by me in Bagchi (2007); and (iii) how supposedly “pure” scopal phenomena relating to quantifiers, negation, and emphasizing expressions such as only and even (comparable to, e.g., Urdu/Hindi hii and bhii, Bangla –i and –o) also have dimensions of both focus and discourse reference. While recognizing all of these challenges, this talk aims to highlight particularly challenge (iii), both in terms of scholarship in the past and for the rich prospects for research on languages of south Asia with the semantics of quantification, negation, and focus in view. The scholarship of the past that I seek to relate this issue to is where, parallel to (and largely independently of) the research on LF that had been happening, Barwise and Cooper were developing their influential view of noun phrases as generalized quantifiers, culminating in their key 1981 article “Generalized Quantifiers and Natural Language” while, independently, McCawley, in his 1981 book Everything that Linguists have Always Wanted to Know about Logic, established through argumentation that all noun phrases semantically behave like generalized quantified expressions (further elaborated by him in the second – 1994 – revised edition of his book). I seek to demonstrate, based on limited data analysis from selected languages of south Asia, that our current understanding of quantification, negation, and focus under the Minimalist view owes something significant to the two major, but now largely marginalized, works of scholarship, and that for the way forward it is essential to adopt a more formal-semantic approach as adopted by them and also by later works such as Denis Bouchard’s (1995) The Semantics of Syntax, Mats Rooth’s work on focus (e.g., Rooth 1996, “Focus” in Shalom Lappin’s Handbook of Contemporary Semantic Theory), Heim and Kratzer’s Semantics in Generative Grammar (1998), and Yoad Winter’s (2002) Linguistic Inquiry article on semantic number, to cite just a few instances. (shrink)

In this survey article, I discuss the variety of ways in which language allows us to talk about the future. Topics discussed include how the category of predictive expressions broadly understood relates to the syntactic category of tense; what it means to say that a language does not have tense; how predictiveness relates to modality; and finally technical issue concerning the scope of negation in a semantics that is capable of shifting evaluation towards the future.

This note identifies and corrects some problems in developments of the thesis that predictive expressions, such as English "will", are modals. I contribute a new argument supporting Cariani and Santorio's recent claim that predictive expressions are non-quantificational modals. At the same time, I improve on their selectional semantics by fixing an important bug. Finally, I show that there are benefits to be reaped by integrating the selection semantics framework with standard ideas about the future orientation of modals.

The conventional notion of a formal system is adapted to conform to the sound deductive inference model operating on finite strings. Finite strings stipulated to have the semantic value of Boolean true provide the sound deductive premises. Truth preserving finite string transformation rules provide the valid deductive inference. Sound deductive conclusions are the result of these finite string transformation rules.

Minimal Type Theory (MTT) shows exactly how all of the constituent parts of an expression relate to each other (in 2D space) when this expression is formalized using a directed acyclic graph (DAG). This provides substantially greater expressiveness than the 1D space of FOPL syntax. -/- The increase in expressiveness over other formal systems of logic shows the Pathological Self-Reference Error of expressions previously considered to be sentences of formal systems. MTT shows that these expressions were never truth bearers, thus (...) never sentences of any formal logic system. (shrink)

If a semantically open language has no constraints on self-reference, one can prove an absurdity. The argument exploits a self-referential function symbol where the expressed function ends up being intensional in virtue of self-reference. The prohibition on intensional functions thus entails that self-reference cannot be unconstrained, even in a language that is free of semantic terms. However, since intensional functions are already excluded in classical logic, there are no drastic revisionary implications here. Still, the argument reveals a new sort of (...) intensional context, one which does not depend on a propositional attitude verb, a modal operator, an idiom like 'so called', etc. Moreover, since classical logicians do not seem aware of the potential danger with self-reference, a word of warning is in order. (shrink)

Many recent theories of epistemic discourse exploit an informational notion of consequence, i.e. a notion that defines entailment as preservation of support by an information state. This paper investigates how informational consequence fits with probabilistic reasoning. I raise two problems. First, all informational inferences that are not also classical inferences are, intuitively, probabilistically invalid. Second, all these inferences can be exploited, in a systematic way, to generate triviality results. The informational theorist is left with two options, both of them radical: (...) they can either deny that epistemic modal claims have probability at all, or they can move to a nonstandard probability theory. (shrink)

There is a common assumption in the semantics of modal auxiliaries in natural language; in utterances of MOD φ , where MOD is a modal and φ is the prejacent, context determines the particular flavor of modality expressed by the modal. Such is the standard contextualist semantics of Kratzer and related proposals. This winds up being a problem, because there is a significant class of modals which have constraints on the admissible modal flavor that are not traceable to context. For (...) example, in MUST φ , subsentential properties of φ, like the aspectual class of the predicate in the prejacent, can affect the flavor of MUST. By encoding the above assumption into the semantics, such contextualist accounts fail to be able to explain, much less to predict, this pattern. Worse yet, attempts to exploit the resources of the theory in service of an explanation run afoul of important commitments of the view, like the hypothesis that modals have a uniform semantics. Given these circumstances, these data might seem like a justification for dispensing with the uniformity hypothesis. The present paper lays out the above problem in detail. Against the pessimistic view, I argue that the the contextualist account can in fact explain and predict these patterns while preserving the uniformity hypothesis. This requires adopting an amendment to the semantics of modals based on the work of Valentine Hacquard. Aside from maintaining the contextualist paradigm and preserving uniformity, the proposal also clarifies the role of context in the interpretation of modals. As it will turn out, the role of context ought to be circumscribed in its flavor-determining role for modals. (shrink)

Formal semantics is the study of linguistic meaning using precise mathematical characterizations; this chapter introduces formal semantics to scholars and students of natural-language processing. We give simple logical representations of English sentences, and show how meanings are composed in a grammar. We then consider two more advanced issues that arise in processing texts, anaphora and temporality, using Discourse Representation Theory. Finally we discuss the relationship between deep logic-based methods for semantic analysis and shallower distributional methods that have been used in (...) much recent NLP work, introducing some limitations of distributional methods, and hence motivating deeper or hybrid approaches. (shrink)

In three experiments, we investigated the computational complexity of German reciprocal sentences with different quantificational antecedents. Building upon the tractable cognition thesis (van Rooij, 2008) and its application to the verification of quantifiers (Szymanik, 2010) we predicted complexity differences among these sentences. Reciprocals with all-antecedents are expected to preferably receive a strong interpretation (Dalrymple et al., 1998), but reciprocals with proportional or numerical quantifier antecedents should be interpreted weakly. Experiment 1, where participants completed pictures according to their preferred interpretation, provides (...) evidence for these predictions. Experiment 2 was a picture verification task. The results show that the strong interpretation was in fact possible for tractable all but one-reciprocals, but not for exactly n. The last experiment manipulated monotonicity of the quantifier antecedents. (shrink)

A long-standing tension in semantic theory concerns the reconciliation of positive gradable adjective (GA) ascriptions and comparative GA ascriptions. Vagueness-based ap- proaches derive the comparative from the positive, and face non-trivial challenges with incommensurability and non-GA comparatives. Classic degree-based approaches effectively derive the positive from the comparative, out of sync with the direction of evidence from morphology, and create some difficulties in accounting for GA scale-mates with differing thresholds (e.g., cold ∼ warm ∼ hot). We propose a new reconciliation that (...) capitalizes on recent proposals analyzing GAs as predicates of states. On our account, GAs lexically involve both a threshold property and a background state structure. Positive occurrences of GAs make use of the threshold property, while comparative occurrences make use of degrees representing elements of the background structure. Our approach preserves the virtues of classic degree-based approaches while offering a natural account of scale-mates, and without appeal to covert morphemes like POS or related devices. As we show, it is possible to inject our solution back into the classic degree-based approach, but we find reasons to prefer our states-based account. (shrink)

Noun phrases with overt determiners, such as <i>some apples</i> or <i>a quantity of milk</i>, differ from bare noun phrases like <i>apples</i> or <i>milk</i> in their contribution to aspectual composition. While this has been attributed to syntactic or algebraic properties of these noun phrases, such accounts have explanatory shortcomings. We suggest instead that the relevant property that distinguishes between the two classes of noun phrases derives from two modes of existential quantification, one of which holds the values of a variable fixed (...) throughout a quantificational context while the other allows them to vary. Inspired by Dynamic Plural Logic and Dependence Logic, we propose Plural Predicate Logic as an extension of Predicate Logic to formalize this difference. We suggest that temporal <i>for</i>-adverbials are sensitive to aspect because of the way they manipulate quantificational contexts, and that analogous manipulations occur with spatial <i>for</i>-adverbials, habituals, and the quantifier <i>all</i>. (shrink)

Donkey sentences have existential and universal readings, but they are not often perceived as ambiguous. We extend the pragmatic theory of nonmaximality in plural definites by Križ (2016) to explain how context disambiguates donkey sentences. We propose that the denotations of such sentences produce truth-value gaps — in certain scenarios the sentences are neither true nor false — and demonstrate that Križ’s pragmatic theory fills these gaps to generate the standard judgments of the literature. Building on Muskens’s (1996) Compositional Discourse (...) Representation Theory and on ideas from supervaluation semantics, the semantic analysis defines a general schema for quantification that delivers the required truth-value gaps. Given the independently motivated pragmatic theory of Križ 2016, we argue that mixed readings of donkey sentences require neither plural information states, contra Brasoveanu 2008, 2010, nor error states, contra Champollion 2016, nor singular donkey pronouns with plural referents, contra Krifka 1996, Yoon 1996. We also show that the pragmatic account improves over alternatives like Kanazawa 1994 that attribute the readings of donkey sentences to the monotonicity properties of the embedding quantifier. (shrink)

Tarski’s Convention T—presenting his notion of adequate definition of truth (sic)—contains two conditions: alpha and beta. Alpha requires that all instances of a certain T Schema be provable. Beta requires in effect the provability of ‘every truth is a sentence’. Beta formally recognizes the fact, repeatedly emphasized by Tarski, that sentences (devoid of free variable occurrences)—as opposed to pre-sentences (having free occurrences of variables)—exhaust the range of significance of is true. In Tarski’s preferred usage, it is part of the meaning (...) of true that attribution of being true to a given thing presupposes the thing is a sentence. Beta’s importance is further highlighted by the fact that alpha can be satisfied using the recursively definable concept of being satisfied by every infinite sequence, which Tarski explicitly rejects. Moreover, in Definition 23, the famous truth-definition, Tarski supplements “being satisfied by every infinite sequence” by adding the condition “being a sentence”. Even where truth is undefinable and treated by Tarski axiomatically, he adds as an explicit axiom a sentence to the effect that every truth is a sentence. Surprisingly, the sentence just before the presentation of Convention T seems to imply that alpha alone might be sufficient. Even more surprising is the sentence just after Convention T saying beta “is not essential”. Why include a condition if it is not essential? Tarski says nothing about this dissonance. Considering the broader context, the Polish original, the German translation from which the English was derived, and other sources, we attempt to determine what Tarski might have intended by the two troubling sentences which, as they stand, are contrary to the spirit, if not the letter, of several other passages in Tarski’s corpus. (shrink)

This paper presents a semantic analysis of indirect speech reports. The analysis aims to explain a combination of two phenomena. Firstly, there are true utterances of sentences of the form α said that φ which are used to report an utterance u of a sentence wherein φ’s content is not u’s content. This implies that in uttering a single sentence, one can say several things. Secondly, when the complements of these reports (and indeed, these reports themselves) are placed in conjunctions, (...) the conjunctions are typically infelicitous. I argue that this combination of phenomena can be explained if speech reports report (perhaps contingent) parts of the contents of the sentences reported. (shrink)

In this paper, I shall provide a novel response to the argument from context-sensitivity against truth-conditional semantics. It is often argued that the contextual influences on truth-conditions outstrip the resources of standard truth-conditional accounts, and so truth-conditional semantics rests on a mistake. The argument assumes that truth-conditional semantics is legitimate if and only if natural language sentences have truth-conditions. I shall argue that this assumption is mistaken. Truth-conditional analyses should be viewed as idealised approximations of the complexities of natural language (...) meaning. From this perspective, disparity between the scientific model and its real-world target is to be expected. I elaborate on what such an approach to semantics would look like. (shrink)

This paper examines an hypothesis put forward by Pettit and Knobe 2009 to account for the Knobe effect. According to Pettit and Knobe, one should look at the semantics of the adjective “intentional” on a par with that of other gradable adjectives such as “warm”, “rich” or “expensive”. What Pettit and Knobe’s analogy suggests is that the Knobe effect might be an instance of a much broader phenomenon which concerns the context-dependence of normative standards relevant for the application of gradable (...) expressions. I adduce further evidence in favor of this view and go on to examine the predictions one obtains when assuming that “intentional” involves a two-dimensional scale, which implies evaluating how much an action or outcome is desired on the one hand, and how much it can be foreseen as a consequence of one’s actions on the other. (shrink)

I summarize several of the main claims, arguments, and innovations in Stojnić's 2021 book. I then take issue with her foundational view, on which both the context of a conversation and the contents of context-sensitive expressions are wholly fixed by the history of a conversation together with grammatical rules.

The main goal of this paper is to show that there are many phenomena that pertain to the construction of truth-conditional compounds that follow characteristic patterns, and whose explanation requires appealing to knowledge structures organized in specific ways. We review a number of phenomena, ranging from non-homogenous modification and privative modification to polysemy and co-predication that indicate that knowledge structures do play a role in obtaining truth-conditions. After that, we show that several extant accounts that invoke rich lexical meanings to (...) explain such phenomena face problems related to inflexibility and lack of predictive power. We review different ways in which one might react to such problems as regards lexical meanings: go richer, go moderately richer, go thinner, and go moderately thinner. On the face of it, it looks like moderate positions are unstable, given the apparent lack of a clear cutoff point between the semantic and the conceptual, but also that a very thin view and a very rich view may turn out to be indistinguishable in the long run. As far as we can see, the most pressing open questions concern this last issue: can there be a principled semantic/world knowledge distinction? Where could it be drawn: at some upper level (e.g. enriched qualia structures) or at some basic level (e.g. constraints)? How do parsimony considerations affect these two different approaches? A thin meanings approach postulates intermediate representations whose role is not clear in the interpretive process, while a rich meanings approach to lexical meaning seems to duplicate representations: the same representations that are stored in the lexicon would form part of conceptual representations. Both types of parsimony problems would be solved by assuming a direct relation between word forms and (parts of) conceptual or world knowledge, leading to a view that has been attributed to Chomsky (e.g. by Katz 1980) in which there is just syntax and encyclopedic knowledge. (shrink)

We give a theory of epistemic modals in the framework of possibility semantics and axiomatize the corresponding logic, arguing that it aptly characterizes the ways in which reasoning with epistemic modals does, and does not, diverge from classical modal logic.

This book presents and develops inferential expressivism, a novel approach to the study of meaning which combines elements of the expressivist and inferentialist programmes. Expressivists explain the meaning of words in terms of the attitudes that they are used to express; inferentialists explain the meaning of words in terms of the inferences that they are used to draw. The book lays out the philosophical foundations of inferential expressivism by articulating and defending the view that the meaning of an expression is (...) to be explained in terms of the inferences we draw involving the attitudes we express. The book, moreover, lays out the logical foundations of inferential expressivism by showing how to implement the view rigorously by means of novel formal systems which can deal with a variety of speech acts. As the book shows, by joining forces expressivism and inferentialism can meet their key challenges whilst retaining their distinctive insights and advantages. The book goes on to demonstrate the fruitfulness of the inferential expressivist approach to meaning by applying it to a diverse range of linguistic phenomena, including epistemic modals, probability operators, conditionals, moral predicates, the truth predicate, and propositional attitude predicates. (shrink)

Vagueness is an ultimate challenge. An enormous diversity of literature on the topic has accumulated over the years, with no hint of a consensus emerging. In this light, Section 1 presents the main aspects of the challenge vagueness poses, focusing on the category of adjectives, and then gives some brief illustrations of the pervasive manifestations of vagueness in grammar.Section 2 deals with theSorites paradox, which for many philosophers is the hallmark of vagueness: By assigning avague predicate step by apparently inescapable (...) step to more and more objects one is eventually led to assign it to entities of which it plainly isn’t true.It is hard to resist the force of the paradox once one has been exposed to it. The result of this has been that many see the philosophical problem presented by vagueness as nothing other than the problem of solving the Sorites.The efforts to solve the Sorites paradox have uncovered a range of important connections between vagueness and other aspects of language and thought. But most of these seem to lead further and further away from what some consider the core issues that vagueness raises.Given the challenge posed by the Sorites, it is rather remarkable to discover that there is a lot more to vagueness beyond the paradox. In fact, linguists traditionally leave it to the philosophers to deal with the Sorites and put their own efforts into dealing with other manifestations of vagueness in natural language and their consequences for grammar. Page 2 2Section 3 reviews some of these additional phenomena, centering around three issues: (i) the controversial connections between vagueness and morphological gradability, (ii) the similarity and differences between the phenomena of vagueness and imprecision, and (iii) the ways in which vagueness infiltrates various grammatical constructions we find in language, with consequences for the architecture of grammar.The aim of this section is to highlight the main questions which any theory of vagueness will ultimately have to address. (shrink)

I argue that emojis are essentially little pictures, rather than words, gestures, expressives, or diagrams. ???? means that the world looks like that, from some viewpoint. I flesh out a pictorial semantics in terms of geometric projection with abstraction and stylization. Since such a semantics delivers only very minimal contents I add an account of pragmatic enrichment, driven by coherence and nonliteral interpretation. The apparent semantic distinction between emojis depicting entities (like ????) and those depicting facial expressions (like ????) I (...) analyze as a difference between truth-conditional and use-conditional pictorial content: ???? depicts what the world of evaluation looks like, while ???? depicts what the utterance context looks like. (shrink)

It is common in contemporary metaphysics to distinguish two levels of ontology: the ontology of ordinary objects and the ontology of fundamental reality. This papers argues that natural language reflects not only the ontology of ordinary objects, but also a language-driven ontology, which is involved in the mass-count distinction and part-structure-sensitive semantic selection, as well as perhaps the light ontology of pleonastic entities. The paper recasts my older theory of situated part structures without situations, making use of a primitive notion (...) of unity. (shrink)

This paper overviews some recent work on the semantics and pragmatics of arguments.

This chapter compares simple predicates of personal taste (PPTs) such as tasty and beautiful with their complex counterparts (eg tastes good, looks beautiful). I argue that the former differ from the latter along two dimensions. Firstly, simple PPTs are individual-level predicates, whereas complex ones are stage-level. Secondly, covert Experiencer arguments of simple PPTs obligatorily receive a generic interpretation; by contrast, the covert Experiencer of a complex PPT can receive a generic, bound variable or referential interpretation. I provide an analysis of (...) these facts based on a novel proposal about the licensing of individual-level predicates (the ‘Licensing Condition on ILPs’). This condition states that all covert pronominal arguments of an individual-level predicate must be bound by the generic operator. Finally, I show that generic construal of the Experiencer is a necessary condition for faultless disagreement. This is evidence in favour of treatments of subjective meaning that appeal to genericity, and against relativism about PPTs. (shrink)

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)

I present a puzzle for the standard, propositional semantic account of belief reports by considering novel inferences which it incorrectly predicts to be invalid under assumptions that are plausible by its advocates’ own lights. In response, I propose a conservative departure from the standard view on which certain ‘that’-clauses designate novel devices of semantic type that I call open propositions. After outlining some desiderata for a theory of open propositions, I provide some reasons for advocates of the standard view to (...) treat them as properties of a certain kind. Then I give a bridge principle between the core notions of belief and belief-about before showing how the resulting view can be implemented in accordance with formal theories of syntax and semantics. I bring out some of the consequences this investigation has beyond our semantic theorizing and conclude, more generally, that any response to the puzzle requires paying some surprising cost or another. (shrink)

Hobbs (2010) introduced ‘clause-internal coherence’ (CIC) to describe inferences in, e.g., ‘A jogger was hit by a car,’ where the jogging is understood to have led to the car-hitting. Cohen & Kehler (2021) argue that well-known pragmatic tools cannot account for CIC, motivating an enrichment account familiar from discourse coherence research. An outstanding question is how to compositionally derive CIC from coherence relations. This paper takes strides in answering this question. It first provides experimental support for the existence of CIC (...) via offline evidence that attributive (non-)deverbal adjectives can trigger the same causal inferences within clauses that their predicative counterparts can trigger across clauses, albeit more weakly. To explain the experimental results, we use tools in Segmented Discourse Representation Theory (SDRT), which allows us to show that causal inferences can be derived in various ways, depending on whether deverbal adjectives are used attributively or predicatively. If the former, they are presupposition triggers and the coherence relations Elaboration/Continuation compete with Background; if the latter, Explanation/Result compete with Background. These different competitions -- cashed out in terms of interaction between default axioms -- correlate with the difference in the relative salience of the causal inferences. (shrink)

Recent advances in the Super Linguistics of pictures have laid the Super Semantic foundation for modelling the phenomena of narrative sequencing and co-reference in pictorial and mixed linguistic-pictorial discourses. We take up the question of how one arrives at the pragmatic interpretations of such discourses. In particular, we offer an analysis of: (i) the discourse composition problem: how to represent the joint meaning of a multipicture discourse, (ii) observed differences in narrative sequencing in prima facie equivalent linguistic vs. pictorial discourses, (...) and (iii) the phenomenon of co-referencing across pictures. We extend Segmented Discourse Representation Theory to spell out a formal Super Pragmatics that applies to linguistic, pictorial and mixed discourses, while respecting the particular ‘genius’ of either medium and computing their distinctive pragmatic interpretations. (shrink)

Stalnaker's Thesis about indicative conditionals is, roughly, that the probability one ought to assign to an indicative conditional equals the probability that one ought to assign to its consequent conditional on its antecedent. The thesis seems right. If you draw a card from a standard 52-card deck, how confident are you that the card is a diamond if it's a red card? To answer this, you calculate the proportion of red cards that are diamonds -- that is, you calculate the (...) probability of drawing a diamond conditional on drawing a red card. Skyrms' Thesis about counterfactual conditionals is, roughly, that the probability that one ought to assign to a counterfactual equals one's rational expectation of the chance, at a relevant past time, of its consequent conditional on its antecedent. This thesis also seems right. If you decide not to enter a 100-ticket lottery, how confident are you that you would have won had you bought a ticket? To answer this, you calculate the prior chance--that is, the chance just before your decision not to buy a ticket---of winning conditional on entering the lottery. The central project of this article is to develop a new uniform theory of conditionals that allows us to derive a version of Skyrms' Thesis from a version of Stalnaker's Thesis, together with a chance-deference norm relating rational credence to beliefs about objective chance. (shrink)

A semantic universal, which we here dub the Veridical Uniformity Universal, has recently been argued to hold of responsive verbs (those that take both declarative and interrogative complements). This paper offers a preliminary explanation of this universal: verbs satisfying it are easier to learn than those that do not. This claim is supported by a computational experiment using artificial neural networks, mirroring a recent proposal for explaining semantic universals of quantifiers. This preliminary study opens up many avenues for future work (...) on explaining semantic universals more generally, which are discussed in the conclusion. (shrink)

One of the great successes of the application of generalized quantifiers to natural language has been the ability to formulate robust semantic universals. When such a universal is attested, the question arises as to the source of the universal. In this paper, we explore the hypothesis that many semantic universals arise because expressions satisfying the universal are easier to learn than those that do not. While the idea that learnability explains universals is not new, explicit accounts of learning that can (...) make good on this hypothesis are few and far between. We propose a model of learning — back-propagation through a recurrent neural network — which can make good on this promise. In particular, we discuss the universals of monotonicity, quantity, and conservativity and perform computational experiments of training such a network to learn to verify quantifiers. Our results are able to explain monotonicity and quantity quite well. We suggest that conservativity may have a different source than the other universals. (shrink)

_Framing effects_ concern the having of different attitudes towards logically or necessarily equivalent contents. Framing is of crucial importance for cognitive science, behavioral economics, decision theory, and the social sciences at large. We model a typical kind of framing, grounded in (i) the structural distinction between beliefs activated in working memory and beliefs left inactive in long term memory, and (ii) the topic- or subject matter-sensitivity of belief: a feature of propositional attitudes which is attracting growing research attention. We introduce (...) a class of models featuring (i) and (ii) to represent, and reason about, agents whose belief states can be subject to framing effects. We axiomatize a logic which we prove to be sound and complete with respect to the class. (shrink)

This paper discusses knowledge of opposites. In particular, attention is given to the linguistic notion of antonymy and how it represents oppositional relations that are commonly found in perception. The paper draws upon the long history of work on the formalisation of antonymy in linguistics and formal semantics, and also upon work on the perception of opposites in psychology, and an assessment is made of the main approaches. Treatments of these phenomena in linguistics and psychology posit that the principles of (...) minimal difference and invariance are centrally important. It will be suggested that the standard approach employing meaning postulates fails to capture the relevant notion of antonymy, in part because it is not informed by these principles, and in part due to a number of other problems with this kind of approach, many of which may be overcome by building in the central principles from the beginning. The paper also discusses the issue of whether we can know that opposites necessarily exclude each other and, if so, how. This issue is intertwined with what is known as the colour incompatibility problem that Wittgenstein wrangled with at various times during his life. The paper assesses various solutions to these problems including an approach that was first put forward by Jerrold J. Katz. The relation between this approach and the theory of determinables and determinates is also examined. A further development upon this approach is proposed and then applied to the case of the formalisation of antonymy. It is argued that this approach avoids the problems suffered by the main approaches discussed earlier in the paper. (shrink)

The aim of this paper is to propose a qualitative approach to the theory of conceptual spaces, in contrast to the usual metric framework. This requires qualitative notions of similarity, simple concepts, prototypes and conceptual categorisation. For this purpose, I will introduce three mathematical models for conceptual spaces. The first one is topological and has been proposed by Mormann. The other two are new and are based on atomistic orders and similarity relations. I will discuss how each of them deals (...) with the Design Principles proposed by Douven and Gärdenfors and with further Adequacy Conditions. Despite being apparently different, I will show that these three models are mathematically equivalent. Finally, I will address three objections to the present approach. The first one says that the qualitative notion of a prototype is a bad analogue of the metric one. The second one suggests that, in contrast to the Voronoi construction, the function qualitatively representing the conceptual categorisation process is arbitrary. The last one appeals to Goodman’s companionship and imperfect community problems to show that there is a flaw in defining simple concepts from similarity relations. (shrink)

When one thinks—knows, believes, imagines—that something is the case, one’s thought has a topic: it is about something, towards which one’s mind is directed. What is the logic of thought, so understood? This book begins to explore the idea that, to answer the question, we should take topics seriously. It proposes a hyperintensional account of the propositional contents of thought, arguing that these are individuated not only by the set of possible worlds at which they are true, but also by (...) their topic: what they are about. The book then builds epistemic, doxastic, probabilistic, and conditional logics based on this view. It applies them to issues ranging from dogmatism, scepticism, and epistemic fallibilism, to imagination and suppositional reasoning, belief revision, framing effects, and the acceptability of indicative conditionals. (shrink)

In the literature on vagueness one finds two very different kinds of degree theory. The dominant kind of account of gradable adjectives in formal semantics and linguistics is built on an underlying framework involving bivalence and classical logic: its degrees are not degrees of truth. On the other hand, fuzzy logic based theories of vagueness—largely absent from the formal semantics literature but playing a significant role in both the philosophical literature on vagueness and in the contemporary logic literature—are logically nonclassical (...) and give a central role to the idea of degrees of truth. Each kind of degree theory has a strength: the classical kind allows for rich and subtle analyses of the comparative form of gradable adjectives and of various types of gradable precise adjectives, while the fuzzy kind yields a compelling solution to the sorites paradox. This paper argues that the fuzzy kind of theory can match the benefits of the classical kind and hence that the burden is on the latter to match the advantages of the former. In particular, we develop a new version of the fuzzy logic approach that—unlike existing fuzzy theories—yields a compelling analysis of the comparative as well as an adequate account of gradable precise predicates, while still retaining the advantage of genuinely solving the sorites paradox. (shrink)

I argue that semantics is the study of the proprietary database of a centrally inaccessible and informationally encapsulated input–output system. This system’s role is to encode and decode partial and defeasible evidence of what speakers are saying. Since information about nonlinguistic context is therefore outside the purview of semantic processing, a sentence’s semantic value is not its content but a partial and defeasible constraint on what it can be used to say. I show how to translate this thesis into a (...) detailed compositional-semantic theory based on the influential framework of Heim and Kratzer. This approach situates semantics within an independently motivated account of human cognitive architecture and reveals the semantics–pragmatics interface to be grounded in the underlying interface between modular and central systems. (shrink)

This paper contributes to the debate regarding the semantic type of singular referential names. According to one view, known as referentialism, names rigidly designate individuals (Kripke 1972, Abbott 2002, Leckie 2013, Jeshion 2015, Schoubye 2017). According to another view, known as predicativism, names designate properties of individuals (Burge 1973, Geurts 1997, Bach 2002, Elbourne 2005, Matushansky 2008, Fara 2015). Most predicativist accounts claim that bare names in English occur with a phonologically null determiner, a proposal that is based on languages (...) like Greek where names require a determiner in argument position. Novel data from both English and Greek show that names can be nonrigid designators under modal operators ("Aristotle may teach Socrates") and bound variables under quantifiers ("in every set of twins, Helen is a musician"), challenging referentialism. As for rigidity, one possible source of this phenomenon is the proprial article, a name-specific determiner found in Catalan and other languages that may be null in English and homophonous with the definite article in Greek (Ghomeshi and Massam 2009, Muñoz 2019, Izumi and Erickson 2021). While much further research is needed, the data suggest that the proper analysis of names is grounded in predicativism rather than referentialism. (shrink)

An open question in the semantics of modality is what relations there are among different modal flavours. In this article, we consider the thorny issue of whether ascribing to an agent the obligation to φ implies that it is possible for the agent to φ. Traditionally, this issue has been interpreted as whether ‘ought’ implies ‘can’. But another linguistic interpretation is available as well, namely, whether ‘must’ implies ‘can’ (MIC). We show that ‘must’ does imply ‘can’ via a convergent argument. (...) The first strand of the argument is theoretical: it consists in proving MIC from a well-established theory of modality in natural language, i.e., that proposed by Kratzer. The second strand is empirical: we present novel acceptability judgment studies showing that MIC predicts and explains the linguistic behaviour of native English speakers. (shrink)

Nguyen argues that only his radically pragmatic account and Sterken’s indexical account can capture what we call the positive data. We present some new data, which we call the negative data, and argue that no theory of generics on the market is compatible with both the positive data and the negative data. We develop a novel version of the indexical account and show that it captures both the positive data and the negative data. In particular, we argue that there is (...) a semantic constraint that, in any context, the semantic value of GEN is upward monotone and non-symmetric. On the other hand, the pragmatic account has difficulty accommodating the negative data. This is because no pragmatic principles have been developed that can explain the negative data. In the paper, we focus on only the pragmatic account and the indexical account, but our discussion has broad implications for the debate on generics: any empirically adequate accounts of generics must be flexible enough to accommodate the positive data and yet constrained enough to accommodate the negative data. (shrink)

Propositional relationalists about the attitudes claim to find support for their view in what they assume to be the dyadic relational logical form of the predicates by which we canonically attribute propositional attitudes. In this paper I argue that the considerations that they adduce in support of this assumption, specifically for the assumption that the that-clauses that figure in these predicates are singular terms, are suspect on linguistic grounds. Propositional relationalism may nonetheless be true, but the logical form of attitude (...) predicates provides no grounds for thinking this to be so. (shrink)

In this thesis, I develop and investigate various novel semantic frameworks for deontic logic. Deontic logic concerns the logical aspects of normative reasoning. In particular, it concerns reasoning about what is required, allowed and forbidden. I focus on two main issues: free-choice reasoning and the role of norms in deontic logic. -/- Free-choice reasoning concerns permissions and obligations that offer choices between different actions. Such permissions and obligations are typically expressed by a disjunctive clause in the scope of a deontic (...) operator. For instance, the sentence "Jane may take an apple or a pear" intuitively offers Jane a choice between two permitted courses of action: she may take an apple, and she may take a pear. In the first part of the thesis, I develop semantic frameworks for deontic logic that account for free-choice reasoning. I show that the resulting logics avoid problems that arise for other logical accounts of free-choice reasoning. The main technical contributions are completeness results for axiomatizations of the different logics. -/- Semantic frameworks for deontic logic typically only talk about norms implicitly. In the second part of the thesis, I clarify the role of norms in deontic logic. I develop a formal model of normative systems where norms are represented explicitly. The model takes into account both the hierarchical structure of normative systems, and the function of norms to regulate agent behavior. I show how the model can be used to clarify issues in the study of normative systems. I also develop a norm-based semantics for deontic action logic based on the model. (shrink)

Formalization of the semantics of generics has been considered extremely challenging for their inherent vagueness and context-dependence that hinder a single fixed truth condition. The present study suggests a way to formalize the semantics of generics by constructing flexible acceptance conditions with comparative probabilities. Findings from our in-depth psycholinguistic experiment show that two comparative probabilities—cue validity and prevalence—indeed construct the flexible acceptance conditions for generics in a systematic manner that can be applied to a diverse types of generics: Acceptability of (...) IS_A relational generics is mostly determined by prevalence without interaction with cue validity; feature-describing generics are endorsed acceptable with high cue validity, albeit mediated by prevalence; and acceptability of feature-describing generics with low cue validity is mostly determined by prevalence irrespective of cue validity. Such systematic patterns indicate a great potential for the formalization of the semantics of generics. (shrink)

This paper is a response to Baumann's comments on "Can Knowledge Really be Non-fative?" In this paper Baumann's suggestions for how those who deny the factivty of knowledge might deal with the argument from inconsistency and explosion are addressed.