We describe a knowledge representation and inference formalism, based on an intensional propositional semantic network, in which variables are structures terms consisting of quantifier, type, and other information. This has three important consequences for natural language processing. First, this leads to an extended, more natural formalism whose use and representations are consistent with the use of variables in natural language in two ways: the structure of representations mirrors the structure of the language and allows re-use phenomena such as pronouns and (...) ellipsis. Second, the formalism allows the specification of description subsumption as a partial ordering on related concepts (variable nodes in a semantic network) that relates more general concepts to more specific instances of that concept, as is done in language. Finally, this structured variable representation simplifies the resolution of some representational difficulties with certain classes of natural language sentences, namely, donkey sentences and sentences involving branching quantifiers. The implementation of this formalism is called ANALOG (A NAtural LOGIC) and its utility for natural language processing tasks is illustrated. (shrink)

My aim in this note is to address the question of how a context of utterance can figure within a formal, specifically truth-conditional, semantic theory. In particular, I want to explore whether a formal semantic theory could, or should, take the intentional states of a speaker to be relevant in determining the literal meaning of an uttered sentence. The answer I’m going to suggest, contrary to the position of many contemporary formal theorists, is negative. The structure of this note is (...) then as follows: first, I’ll very briefly sketch three distinct forms of semantic theory. One, ‘strong formal semantics’, will be seen to be immediately problematic, leaving us with two other options: use-based theories and what I’ll term ‘moderate formal semantics’. If we opt for the latter position, the question arises of what kinds of appeals to a context of utterance are legitimate given a formal outlook. I’ll suggest that this question arises in two distinct ways and explore the moderate formal semanticist’s position in regard to both. However, the conclusion I will reach is that what is characteristic of formal semantics is that it makes only the most minimal semantic concessions to context. (shrink)

In part I, we presented an algebraic-style of semantics, which we called “content semantics,” for quantified relevant logics based on the weak systemBBQ. We showed soundness and completeness with respect to theunreduced semantics ofBBQ. In part II, we proceed to show soundness and completeness for extensions ofBBQ with respect to this type of semantics. We introducereduced semantics which requires additional postulates for primeness and saturation. We then conclude by showing soundness and completeness forBB d Q and its extentions with respect (...) to this reduced semantics. (shrink)

In The Dynamics of Meaning , Gennaro Chierchia tackles central issues in dynamic semantics and extends the general framework. Chapter 1 introduces the notion of dynamic semantics and discusses in detail the phenomena that have been used to motivate it, such as "donkey" sentences and adverbs of quantification. The second chapter explores in greater depth the interpretation of indefinites and issues related to presuppositions of uniqueness and the "E-type strategy." In Chapter 3, Chierchia extends the dynamic approach to the domain (...) of syntactic theory, considering a range of empirical problems that includes backwards anaphora, reconstruction effects, and weak crossover. The final chapter develops the formal system of dynamic semantics to deal with central issues of definites and presupposition. Chierchia shows that an approach based on a principled enrichment of the mechanisms dealing with meaning is to be preferred on empirical grounds over approaches that depend on an enrichment of the syntactic apparatus. Dynamics of Meaning illustrates how seemingly abstract stances on the nature of meaning can have significant and far-reaching linguistic consequences, leading to the detection of new facts and influencing our understanding of the syntax/semantics/pragmatics interface. (shrink)

Semantics: A Reader contains a broad selection of classic articles on semantics and the semantics/pragmatics interface. Comprehensive in the variety and breadth of theoretical frameworks and topics that it covers, it includes articles representative of the major theoretical frameworks within semantics, including: discourse representation theory, dynamic predicate logic, truth theoretic semantics, event semantics, situation semantics, and cognitive semantics. All the major topics in semantics are covered, including lexical semantics and the semantics of quantified noun phrases, adverbs, adjectives, performatives, and interrogatives. (...) Included are classic papers in the field of semantics as well as papers written especially for the volume. The volume comes with an extensive introduction designed not only to provide an overview of the field, but also to explain the technical concepts the beginner will need to tackle before the more demanding articles. Semantics will have appeal as a textbook for upper level and graduate courses and as a reference for scholars of semantics who want the classic articles in their field in one convenient place. (shrink)

• The Static Conception of Semantics (Preliminary Version): A semantic theory should assign a proposition, conceived of as some carrier of meaning that can play the role of truth condition determination, to each (or at least each declarative) sentence.

A novel semantic naturalization program is proposed. Its three main differences from informational semantics approaches are as follows. First, it makes use of a perceptually based, four-factor interactive causal relation in place of a simple nomic covariance relation. Second, it does not attempt to globally naturalize all semantic concepts, but instead it appeals to a broadly realist interpretation of natural science, in which the concept of propositional truth is off-limits to naturalization attempts. And third, it treats all semantic concepts as (...) being purely abstract, so that concrete cognitive states are only indexed by them rather than instantiating them. (shrink)

This book provides a systematic study of three foundational issues in the semantics of natural language that have been relatively neglected in the past few decades. focuses on the formal characterization of intensions, the nature of an adequate type system for natural language semantics, and the formal power of the semantic representation language proposes a theory that offers a promising framework for developing a computational semantic system sufficiently expressive to capture the properties of natural language meaning while remaining computationally tractable (...) written by two leading researchers and of interest to students and researchers in formal semantics, computational linguistics, logic, artificial intelligence, and the philosophy of language. (shrink)

The paper proposes a semantics for contextual (i.e., Temporal and Locative) Prepositional Phrases (CPPs) like during every meeting, in the garden, when Harry met Sally and where I’m calling from. The semantics is embodied in a multi-modal extension of Combinatory Categoral Grammar (CCG). The grammar allows the strictly monotonic compositional derivation of multiple correct interpretations for “stacked” or multiple CPPs, including interpretations whose scope relations are not what would be expected on standard assumptions about surfacesyntactic command and monotonic derivation. A (...) type-hierarchy of functional modalities plays a crucial role in the specification of the fragment. (shrink)

Jackendoff claims that current theories of generative grammar commit a “scientific mistake” by assuming that syntax is the sole source of linguistic organization (“syntactocentrism”). The claim is false, and furthermore, Jackendoff's solution to the alleged problem, the parallel architecture, creates a real problem that exists in no other theory of generative grammar.

Taking to heart Massaro's [(1988) Some criticisms of connectionist models of human performance, Journal of Memory and Language, 27, 213-234] criticism that multi-layer perceptrons are not appropriate for modeling human cognition because they are too powerful (i.e. they can simulate just about anything, which gives them little explanatory power), Regier develops the notion of constrained connectionism. The model that he discusses is a distributed network but with numerous constraints added that are (more or less) motivated by real psychophysical and neurophysical (...) constraints. His model learns static prepositions of spatial location such as in, above, to the left of, to the right of, under, etc., as well as dynamic prepositions such as through and the Russian iz-pod, meaning out from under. The network learns these prepositions by viewing a number of examples of them. Very importantly, this book tackles-and goes a long way towards resolving-the problem of the lack of negative exemplars (i.e. we are only very rarely told when something is not above something else), which should lead to overgeneralization, but does not. This book is a significant contribution to connectionist literature. (shrink)

This set brings together the most important contributions to semantic theory ranging from Gottlob Frege's 1892 essay "On Sense and Reference" to recent cutting-edge scholarship from leading journals in the field. The collection is structured around three major themes: * Fundamental notions, the relations between semantics and grammar and the relations between meaning and cognition * The semantics of basic grammatical constructions and structures, such as the semantics of determiners, nouns, adjectives and related topics including quantifier scope and the definiteness/indefiniteness (...) distinction. * Topics related to sentential and discourse semantics: events and thematic roles, tense, aspect and modality, negation, ellipsis, questions, pronouns and the semantics/pragmatics interface. (shrink)

The aim of this article is to elucidate the processes that characterize natural language interpretation. The basic hypothesis is that natural language interpretation can be characterized as an optimization problem. This innovative view on interpretation is shown to account for the crucial role of contextual information while avoiding certain well-known problems associated withcompositionality. This will become particularly clear in the context of incomplete expressions. Our approach takes as a point of departure total freedom ofinterpretation in combination with the parallel application (...) of soft constraints on possible interpretations. These constraints can be contextual, intonational or syntactic in nature. The integration of pragmatic andsyntactic/semantic information in a system of ranked constraints is proposed to correctly derive the optimal interpretations in cases of nominal anaphorization, determiner quantification and elliptical comparatives. (shrink)

In recent years the idea that an adequate semantics of ordinary language calls for some theory of events has sparked considerable debate among linguists and philosophers. Speaking of Events offers a vivid and up-to-date indication of this debate, with emphasis precisely on the interplay between linguistic applications and philosophical implications. Each chapter has been written expressly for this volume by leading authors in the field, including Nicholas Asher, Pier Marco Bertinetto, Johannes Brandl, Denis Delfitto, Regine Eckardt, James Higginbotham, Alessandro Lenci, (...) Terence Parsons, Alice ter Meulen, and Henk Verkuyl. (shrink)

This paper offers a critique of mainstream formal semantics. It begins with a statement of widely assumed adequacy conditions: namely, that a good theory must (1) explain relations of entailment, (ii) show how the meanings of complex expressions derive from the meanings of their parts, and (iii) characterize facts of meaning in truth-theoretic terms. It then proceeds to criticize the orthodox conception of semantics that is articulated in these three desiderata. This critique is followed by a sketch of an alternative (...) conception—one that is argued to be more in tune with the empirical objectives of linguistics and the clarificatory aims of philosophy. Finally, the paper proposes and defends a specific theoretical approach—use based rather than truth based—that is suggested by that alternative conception. (shrink)

This practical coursebook introduces all the basics of semantics in a simple, step-by-step fashion. Each unit includes short sections of explanation with examples, followed by stimulating practice exercises to complete in the book. Feedback and comment sections follow each exercise to enable students to monitor their progress. No previous background in semantics is assumed, as students begin by discovering the value and fascination of the subject and then move through all key topics in the field, including sense and reference, simple (...) logic, word meaning and interpersonal meaning. New study guides and exercises have been added to the end of each unit to help reinforce and test learning. A completely new unit on non-literal language and metaphor, plus updates throughout the text significantly expand the scope of the original edition to bring it up-to-date with modern teaching of semantics for introductory courses in linguistics as well as intermediate students. (shrink)

Semantics is a bridge discipline between linguistics and philosophy; but linguistics student are rarely able to reach that bridge, let alone cross it to inspect and assess the activity on the other side. Professor Kempson's textbook seeks particularly to encourage such exchanges. She deals with the standard linguistic topics like componential analysis, semantic universals and the syntax-semantics controversy. But she also provides for students with no training in philosophy or logic an introduction to such central topics in the philosophy of (...) language as logical form, truth, speech acts, analyticity, entailment and presupposition. The exposition throughout is deliberately argumentative rather than descriptive, introducing the student step by step to the major problems in theoretical semantics. Special emphasis is placed on the need to consider individual arguments within the overall perspective of semantics as an integral part of general linguistic theory. Written primarily as a textbook for undergraduates and graduates in linguistics departments, this book will also be useful to undergraduates in philosophy and in psychology where linguistics is a part of their course. (shrink)

One way to construct semantic representations in a robust manner is to enhance shallow language processors with semantic components. Here, we provide a model theory for a semantic formalism that is designed for this, namely Robust Minimal Recursion Semantics (RMRS). We show that RMRS supports a notion of entailment that allows it to form the basis for comparing the semantic output of different parses of varying depth.

Meaning seems to shift from context to context; how do we know when someone says "grab a chair" that an ottoman or orange crate will do, but when someone says "let's buy a chair," they won't? In Plastic Glasses and Church Fathers, Kronenfeld offers a theory that explains both the usefulness of language's variability of reference and the mechanisms which enable us to understand each other in spite of the variability. Kronenfeld's theory, rooted in the tradition of ethnoscience (or cognitive (...) anthropology), accomplishes three things. First, it distinguishes prototypic referents from extended referents. Second, it describes the various bases of semantic extensions. Finally it details how we use the situational context of usage, the linguistic context of opposition and inclusion, and the conceptual context of knowledge about the world to interpret communicative events. (shrink)

What is the function of concepts pertaining to meaning in socio-linguistic practice? In this study, the authors argue that we can approach a satisfactory answer by displacing the standard picture of meaning talk as a sort of description with a picture that takes seriously the similarity between meaning talk and various types of normative injunction. In their discussion of this approach, they investigate the more general question of the nature of the normative, as well as a range of important topics (...) specific to the philosophy of language. (shrink)

We present Property Theory with Curry Typing (PTCT), an intensional first-order logic for natural language semantics. PTCT permits fine-grained specifications of meaning. It also supports polymorphic types and separation types.1 We develop an intensional number theory within PTCT in order to represent proportional generalized quantifiers like most. We use the type system and our treatment of generalized quantifiers in natural language to construct a type-theoretic approach to pronominal anaphora that avoids some of the difficulties that undermine previous type-theoretic analyses of (...) this phenomenon. (shrink)

A picture of the world as chiefly one of discrete objects, distributed in space and time, has sometimes seemed compelling. It is however one of the main targets of Henry Laycock's book; for it is seriously incomplete. The picture, he argues, leaves no space for "stuff" like air and water. With discrete objects, we may always ask "how many?," but with stuff the question has to be "how much?" Laycock's fascinating exploration also addresses key logical and linguistic questions about the (...) way we categorize the many and the much. (shrink)

In the following the details of a state-of-affairs semantics for positive free logic are worked out, based on the models of common inner domain–outer domain semantics. Lambert's PFL system is proven to be weakly adequate (i.e., sound and complete) with respect to that semantics by demonstrating that the concept of logical truth definable therein coincides with that one of common truth-value semantics for PFL. Furthermore, this state-of-affairs semantics resists the challenges stemming from the slingshot argument since logically equivalent statements do (...) not always have the same extension according to it. Finally, it is argued that in such a semantics all statements of a certain language for PFL are state-of-affairs-related extensional as well as salva extensione extensional, even though their salva veritate extensionality fails. (shrink)

When we wish to frame or to communicate a precise and nuanced argument, we should first clarify whatever meaningful distinctions our reasoning exploits. That’s why every good paper begins by defining its terms. A tiger is a large and ferocious predatory cat, yellow with black stripes. A bachelor is an unmarried man. Freedom is the capacity to choose one’s actions for oneself, independent of causal forces in the outside world. Knowledge is justified true belief. Getting clear on our concepts is (...) the process of analysis. It is such a fundamental part of philosophical practice that the preponderance of contemporary philosophical writing in English today is described as ‘analytic’. (shrink)

Evaluative Semantics proposes a strongly postmodernist theory of cognition, ideology and discourse in which the structure and internal consistency of ideology resemble those of evaluative knowledge of the mind. The strength of this book is that it goes beyond purely theoretical claims to propose an original connectionist model of evaluative interpretation. Malrieu's new semantics makes a unique contribution to the literature of cognitive science, linguistics, and discourse analysis.

In adnominal position, individual in (1a) triggers a reading of the predicate on which it applies to each box, and whole in (1b) one on which the predicate distributes over all the members of the class. In (2a), individual triggers a particular collective reading of the predicate, and so for whole in (2b). In adverbial position, individually in (3a) specifies noncollective action and wholly in (3b) that the poem undergoes the event of forgetting exhaustively. On all their readings, I will (...) argue, individual and whole display the part structure of an entity in a certain way: in the case of individual, the part structure of a collection and in the case of whole the part structure of an individual. (shrink)

This book explores how some word meanings are paradigmatically related to each other, for example, as opposites or synonyms, and how they relate to the mental organization of our vocabularies. Traditional approaches claim that such relationships are part of our lexical knowledge (our "dictionary" of mentally stored words) but Lynne Murphy argues that lexical relationships actually constitute our "metalinguistic" knowledge. The book draws on a century of previous research, including word association experiments, child language, and the use of synonyms and (...) antonyms in text. (shrink)

In recent decades, many theories of formal semantics of natural language have undergone what can be called a dynamic turn: they have moved from treating language as a static system to considering it 'in action' and to taking meanings as crucially involving 'context-change potentials'. The theories, however, usually concentrate much more on the hows of the turn than on its whys and as a result, the conceptual foundations of dynamic semantics are much less elaborated than its technical side. This book, (...) based on a conference held in Prague in September 2001, is a contribution to filling this gap: it consists of papers addressing, from various sides, the foundational questions of the dynamic theories of meaning. It includes contributions of writers who are commonly held as authorities concerning the turn, who, however, here concentrate more on the why's than on the how's of dynamic semantics. Hence the book should be of interest both for those who want to know what the turn is about, and for those who are not satisfied with knowing the technical side of dynamic semantics and want to know its point. (shrink)