This accessible introduction to formal, and especially Montague, semantics within a linguistic framework, presupposes no previous background in logic, but takes students step-by-step from simple predicate/argument structures and their interpretation to Montague's intentional logic.

This paper aims to argue for two related statements: first, that formal semantics should not be conceived of as interpreting natural language expressions in a single model (a very large one representing the world as a whole, or something like that) but as interpreting them in many different models (formal counterparts, say, of little fragments of reality); second, that accepting such a conception of formal semantics yields a better comprehension of the relation between semantics (...) and pragmatics and of the role to be played by formal semantics in the general enterprise of understanding meaning. For this purpose, three kinds of arguments are given: firstly, empirical arguments showing that the many models approach is the most straightforward and natural way of giving a formal counterpart to natural language sentences. Secondly, logical arguments proving the logical impossibility of a single universal model. And thirdly, theoretical arguments to the effect that such a conception of formal semantics fits in a natural and fruitful way with pragmatic theories and facts. In passing, this conception will be shown to cast some new light on the old problems raised by liar and sorites paradoxes. (shrink)

In the formal semantics based on modern type theories, common nouns are interpreted as types, rather than as predicates of entities as in Montague’s semantics. This brings about important advantages in linguistic interpretations but also leads to a limitation of expressive power because there are fewer operations on types as compared with those on predicates. The theory of coercive subtyping adequately extends the modern type theories and, as shown in this paper, plays a very useful role in (...) making type theories more expressive for formal semantics. It not only gives a satisfactory solution to the basic problem of ‘multiple categorisation’ caused by interpreting common nouns as types, but provides a powerful formal framework to model interesting linguistic phenomena such as copredication, whose formal treatment has been found difficult in a Montagovian setting. In particular, we show how to formally introduce dot-types in a type theory with coercive subtyping and study some type-theoretic constructs that provide useful representational tools for reference transfers and multiple word meanings in formal lexical semantics. (shrink)

Semantics is the discipline that studies linguistic meaning generally, and the qualification ‘formal’ indicates something about the sorts of techniques used in investigating linguistic meaning. More specifically, formal semantics is the discipline that employs techniques from symbolic logic, mathematics, and mathematical logic to produce precisely characterized theories of meaning for natural languages or artificial languages. Formal semantics as we know it first arose in the twentieth century. It was made possible by certain developments in (...) logic during that period. This article chronicles those developments and how they led to the development of formal semantics. (shrink)

In this research, Description Logics (DLs) will be employed for logical description, logical characterisation, logical modelling and ontological description of concept understanding in terminological systems. It’s strongly believed that using a formal descriptive logic could support us in revealing logical assumptions whose discovery may lead us to a better understanding of ‘concept understanding’. The Structure of Observed Learning Outcomes (SOLO) model as an appropriate model of increasing complexity of humans’ understanding has supported the formal analysis.

Wittgenstein asks: “Now what do the words of this language signify?—What is supposed to shew what they signify, if not the kind of use they have?” Might one answer that rhetorical question by giving a compositional semantics for Wittgenstein’s builder language?

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

Formal semantics is an approach to SEMANTICS1, the study of meaning, with roots in logic, the philosophy of language, and linguistics, and since the 1980’s a core area of linguistic theory. Characteristics of formal semantics to be treated in this article include the following: Formal semanticists treat meaning as mind-independent (though abstract), contrasting with the view of meanings as concepts “in the head” (see I-LANGUAGE AND E-LANGUAGE and MEANING EXTERNALISM AND INTERNALISM); formal semanticists distinguish (...) semantics from knowledge of semantics (Lewis 1975, Cresswell 1978), which has consequences for the notion of semantic COMPETENCE. A central part of the meaning of a sentence on this approach is its TRUTH CONDITIONS, and most although not all formal semantics is model-theoretic, relating linguistic expressions to model-theoretically constructed semantic values cast in terms of truth, REFERENCE, and possible worlds. This sets formal semantics apart from approaches which view semantics as relating a sentence just to a representation on another linguistic “level” (LOGICAL FORM) or a representation in an innate LANGUAGE OF THOUGHT. The formal semanticist could accept such representations as an aspect of semantics but would insist on asking what the model-theoretic semantic interpretation of the given representationlanguage is (Lewis 1970). Formal semantics is centrally concerned with COMPOSITIONALITY at the SYNTAX-SEMANTICS INTERFACE, how the meanings of larger constituents are built up from the meanings of their parts on the basis of their syntactic structure, and with the relation between compositional SENTENCE MEANING and meaning in discourse. (shrink)

Formal semantics and pragmatics as they have developed since the late 1960's have been shaped by fruitful interdisciplinary collaboration among linguists, philosophers, and logicians, among others, and in turn have had noticeable effects on developments in syntax, philosophy of language, computational linguistics, and cognitive science.In this paper I describe the environment in which formal semantics was born and took root, highlighting the differences in ways of thinking about natural language semantics in linguistics and in philosophy (...) and logic. With Montague as a central but not solo player in the story, I reflect on crucial developments in the 1960's and 70's in linguistics and philosophy, and the growth of formal semantics and formal pragmatics from there. I discuss innovations, key players, and leading ideas that shaped the development of formal semantics and its relation to syntax, to pragmatics, and to the philosophy of language in its early years, and some central aspects of its early impact on those fields. (shrink)

This is a collection of papers that helped shape the field of formal semantics in linguistics.

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)

This chapter contains sections titled: Why ‘Formal’ Semantics A Simple Fragment Categorial Languages Tense and Aspect Indices or Variables? Prepositional Attitudes and Situation Semantics.

This paper discusses a number of methodological issues with mainstream formal semantics and then investigates whetherWittgenstein’s later work provides an alternative approach that is able to avoid these issues.

What makes our utterances mean what they do? In this work I formulate and justify a structural constraint on possible answers to this key question in the philosophy of language, and I show that accepting this constraint leads naturally to the adoption of an algebraic formalization of truth-theoretic semantics. I develop such a formalization, and show that applying algebraic methodology to the theory of meaning yields important insights into the nature of language. ;The constraint I propose is, roughly, this: (...) the meaning of an utterance of a natural language sentence is derived from the place of that sentence within a system that includes other sentences, and is structured in virtue of primitive semantic facts about complete sentences. This constraint calls for a formal semantics program where the meaning of natural language sentences is represented by an appropriate assignment of the elements of an algebraic structure to sentences, an assignment that represents facts concerning complete sentences. I call the above constraint 'The Algebraic Thesis', and the corresponding formal semantics program 'Algebraic Semantics.' ;I introduce AT by carving it out of the holistic views of language of Quine and Davidson, and I show that it is independent of other important features of these philosophers' views. I then argue for AT, taking into account recent work by Brandom, Dummett, Fodor and Lepore, Gaifman and Perry. In developing Algebraic Semantics I present structures of two basic types: Boolean algebras and cylindric algebras; these structures are construed in the context of AT in a novel way: they are treated as applying to classes of sentences as numbers apply to physical objects in measurement. Applying algebraic methodology to formal semantics and to the theory of meaning, I develop these results: ; An account of the semantics of necessity and possibility that avoids both Quine's dismissal of these notions and their reduction by David Lewis to quantification over possible worlds; ; The application of the model-theoretic notion of expansion to capture the process of our learning progressively more of the meaning of expressions in our first languages. (shrink)

This book is an introduction to the current developments in model-theoretic semantics, which has become an essential part of the work in theoretical linguistics over the last decade. The author examines the model structure of Montague's theory and then presents elaborations on this basic model that have been of particular importance in the last few years: generalized quantifiers, the introduction of more structure in the domain of individuals, properties as primitive elements in the model, situations and similar 'smaller' worldlike (...) entities. Nothing is presupposed about knowledge of the mathematical and logical tools used in formal semantics, and Bach presents the informal with a minimum of formalism. (shrink)

In a first part, I defend that formal semantics can be used as a guide to ontological commitment. Thus, if one endorses an ontological view \(O\) and wants to interpret a formal language \(L\) , a thorough understanding of the relation between semantics and ontology will help us to construct a semantics for \(L\) in such a way that its ontological commitment will be in perfect accordance with \(O\) . Basically, that is what I call (...) constructing formal semantics from an ontological perspective. In the rest of the paper, I develop rigorously and put into practice such a method, especially concerning the interpretation of second-order quantification. I will define the notion of ontological framework: it is a set-theoretical structure from which one can construct semantics whose ontological commitments correspond exactly to a given ontological view. I will define five ontological frameworks corresponding respectively to: (i) predicate nominalism, (ii) resemblance nominalism, (iii) armstrongian realism, (iv) platonic realism, and (v) tropism. From those different frameworks, I will construct different semantics for first-order and second-order languages. Notably I will present different kinds of nominalist semantics for second-order languages, showing thus that we can perfectly quantify over properties and relations while being ontologically committed only to individuals. I will show in what extent those semantics differ from each other; it will make clear how the disagreements between the ontological views extend from ontology to logic, and thus why endorsing an ontological view should have an impact on the kind of logic one should use. (shrink)

As common expressions in natural language, sentences with tense and aspect play a very important role. There are many ways to encode their contributions to meaning, but I believe their function is best understood as exhibiting relations among related eventualities (events and states). Accordingly, contra other efforts to explain tense and aspect by appeal to temporal logics or interval logics, I believe the most basic and correct way to explain tense and aspect is to articulate these relations between eventualities. Building (...) on these ideas, I will characterize a formal semantics – Event-State Semantics (ESS) – which differs from all formal semantics based on temporal logics; in particular, one with which sentences with tense and aspect can be adequately explained, including molecular sentences and those with adverbial clauses. (shrink)

This paper argues that there are three reasons why we should regard Wittgenstein's Tractatus as a forerunner of formal semantics: Wittgenstein is convinced that we can apply formal notions to natur...

Formal semantics - the scientific study of meaning in natural language - is one of the most fundamental and long-established areas of linguistics. This Handbook offers a comprehensive, yet compact guide to the field, bringing together research from a wide range of world-leading experts. Chapters include coverage of the historical context and foundation of contemporary formal semantics, a survey of the variety of formal/logical approaches to linguistic meaning and an overview of the major areas of (...) research within current semantic theory, broadly conceived. The Handbook also explores the interfaces between semantics and neighbouring disciplines, including research in cognition and computation. This work will be essential reading for students and researchers working in linguistics, philosophy, psychology and computer science. (shrink)

A volume of studies in natural language semantics which brings together work by philosophers, logicians and linguists. The main topics treated are: quantification and reference in natural language; the relations between formal logic, programming languages and natural language; pragmatics and discourse meaning; surface syntax and logical meaning. The volume derives from a colloquium organised in 1973 by the Kings College Research Centre, Cambridge and the papers have been edited for publication by Professor Keenan. It is hoped that the (...) collection will make available some of the best work in this fast-moving field and will stimulate further progress by juxtaposing the different approaches and interests represented here. (shrink)

The thesis is an attempt to give a precise formal semantics for various time-referential linguistic categories of English such as tense, perfect, progressive and Aktionsart or "action type", with the ultimate goal of explaining why with a verb phrase such as walk the inference from, for instance, John is walking to John has walked is intuitively valid, while with a verb phrase such as build a house the even weaker inference from John is building a house to John (...) will have built a house is intuitively invalid. The difference is seen as one of the Aktionsart of the sentences involved. ;Accordingly, a theory of Aktionsarten is developed in chapter 2. Four different Aktionsarten are formally distinguished. In chapter 3 a theory of the tenses and their interaction with temporal adverbials is worked out. Chapter 4 is about the perfect. The so-called "extended now" theory of the perfect is given a precise treatment. Finally, chapter 5 deals with some problems of the English progressive. Especially the so-called "imperfective paradox" is given a solution. ;The method I use is that of model-theoretic semantics applied to natural languages, as it was first developed by the logician, Richard Montague. (shrink)

Some Generalizations of Categorical Grammars Emmon Bach 0. INTRODUCTION The last decade of work in syntax has seen a marked demotion in the importance of ...

Contemporary logic is confined to a few paradigmatic attitudes such as belief, knowledge, desire and intention. My purpose is to present a general modeltheoretical semantics of propositional attitudes of any cognitive or volitive mode. In my view, one can recursively define the set of all psychological modes of attitudes. As Descartes anticipated, the two primitive modes are those of belief and desire. Complex modes are obtained by adding to primitive modes special cognitive and volitive ways or special propositional content (...) or preparatory conditions. According to standard logic of attitudes , human agents are either perfectly rational or totally irrational. I will proceed to a finer analysis of propositional attitudes that accounts for our imperfect but minimal rationality. For that purpose I will use a non standard predicative logic according to which propositions with the same truth conditions can have different cognitive values and I will explicate subjective in addition to objective possibilities. Next I will enumerate valid laws of my general logic of propositional attitudes. At the end I will state principles according to which minimally rational agents dynamically revise attitudes of any mode. (shrink)

Karl-Otto Apel occupies a pre-eminent place among the German philosophers of the first post-war generation. His groundbreaking achievement, which has been unjustly overshadowed by the tenacious debate over the ‘ultimate justification’ of ethics, consisted in disclosing a new dimension in the philosophy of language and thereby completing the ‘linguistic turn’. He made the transition from formal semantics, which concentrates on the structure of propositions, to ‘transcendental’ pragmatics of language, which focuses on the formal aspects of the use (...) and interpretation of linguistic expressions. In pursuing this path, he also laid the foundations for discourse ethics. The essay traces the stages of this ‘transformation of transcendental philosophy’ leading from the late Heidegger to Apel’s conception of ‘transcendental hermeneutics’ inspired by Peirce. Continuing the lifelong discourse with my friend Karl-Otto, I will conclude by addressing some problems raised by his justification of discourse ethics. (shrink)

The article discusses the reasons why modern formal semantics of natural language is an integral part of a larger philosophical research program for the study of the nature of intentionality. The purpose of this article is to show how research in the field of formal semantics of natural language became the implementation of a large philosophical research program that is focused on the nature of intentional objects, which since the time of F. Brentano have been considered (...) an integral part of mental phenomena. Mental phenomena are opposed to physical phenomena due to their inherent intentionality. In modern philosophy, it is commonly considered that the comprehension of the nature of intentionality is the key to understanding the nature of consciousness, and, consequently, the nature of man. The article shows that formal semantics represents the structure of the meaning of linguistic expressions, with the help of which human thought is formed, which is one of the main objects of intentional consciousness. In formal semantics, this representation is carried out in a rigorous, systematic, and empirically verifiable way on the basis of natural languages, that is, on those symbolic systems that real people use in real practice to shape their thoughts. The research is based on the works of G. Frege, who laid the foundation for the formal-semantic methodology. Thus, the answer is given to the question of why modern formal linguistics, which originates in the analytical philosophy of the 20th century, is a philosophically significant discipline. This response is a reaction to the objections of skeptics who believe that modern analytic philosophy cannot be considered a direction that has any serious philosophical significance. (shrink)

In formal semantics, structure is treated as the essential ingredient in the creation of sentence meaning from individual word meaning. This book introduces some of the foundational concepts, principles and techniques in the formal semantics of natural language and outlines the mathematical principles that underlie linguistics meaning. Using English examples, Yoad Winter presents the most useful tools and concepts of formal semantics in an accessible style and includes a variety of practical exercises so that (...) readers can learn to utilize these tools effectively. For readers with an elementary background in set theory and linguistics or with an interest in mathematical modelling, this fascinating study is an ideal introduction to natural language semantics. Designed as a quick yet thorough introduction to one of the most vibrant areas of research in modern linguistics today this volume reveals the beauty and elegance of the mathematical study of meaning. (shrink)

This paper presents an approach to the elementary temporal semantics of the English tense system, the atoms of which are the present tense, the past tense, the progressive auxiliary, the perfective auxiliary, and the modal will as used for the future. It offers accounts of the forms of temporal semantics of core verb phrases of different categories and of the atoms of the tense system, using machinery that that yields appropriate compositional accounts of the temporal semantics of (...) compound, tensed verb phrases. This machinery also yields a novel account of the Kenny-Vendler classification of core verb phrases. (shrink)

Linguists often sharply distinguish the different modules that support linguistics competence, e.g., syntax, semantics, pragmatics. However, recent work has identified phenomena in syntax (polarity sensitivity) and pragmatics (implicatures), which seem to rely on semantic properties (monotonicity). We propose to investigate these phenomena and their connections as a window into the modularity of our linguistic knowledge. We conducted a series of experiments to gather the relevant syntactic, semantic and pragmatic judgments within a single paradigm. The comparison between these quantitative data (...) leads us to four main results, (i) Our results support a departure from one element of the classical Gricean approach, thus helping to clarify and settle an empirical debate. This first outcome also confirms the soundness of the methodology, as the results align with standard contemporary accounts of scalar implicature (SI), (ii) We confirm that the formal semantic notion of monotonicity underlies negative polarity item (NPI) syntactic acceptability, but (iii) our results indicate that the notion needed is perceived monotonicity. We see results (ii) and (iii) as the main contribution of this study: (ii) provides an empirical interpretation and confirmation of one of the insights of the model-theoretic approach to semantics, while (iii) calls for an incremental, cognitive implementation of the current generalizations, (iv) Finally, our results do not indicate that the relationship between NPI acceptability and monotonicity is mediated by pragmatic features related to Sis: this tells against elegant attempts to unify polarity sensitivity and Sis (pioneered by Krifka and Chierchia). These results illustrate a new methodology for integrating theoretically rigorous work in formal semantics with an experimentally-grounded cognitively-oriented view of linguistic competence. (shrink)

We present a formal analysis of iconic coverbal gesture. Our model describes the incomplete meaning of gesture that’s derivable from its form, and the pragmatic reasoning that yields a more specific interpretation. Our formalism builds reported.

The dissertation is an attempt to provide a formal semantics for occurrences of anaphoric pronouns and definite descriptions whose quantifier antecedents occur in sentences other than those in which the anaphoric pronouns and descriptions themselves occur, . The predominant view of anaphoric pronouns whose quantifier antecedents occur in the same sentence as they do is that they function as bound variables . Chapter 1 of this dissertation is constituted by a series of arguments against a bound variable treatment (...) of q - terms and the observation that the semantic behavior of q - terms is similar to that of certain singular terms in English arguments. Given the similarity of semantic behavior between the latter and q - terms, it seems plausible to suppose that a theory of the semantic behavior of these singular terms in English arguments would provide a model for the eventual production of a semantic theory of q - terms. In Chapter 2, a formal semantics for these singular terms in arguments is produced. In Chapter 3, a formal semantics for q - terms is produced, on the model of the semantics in Chapter 2. Finally, in Chapter 4 it is shown that the formal semantics of Chapter 3 can be extended to handle pronouns in discourses containing verbs of propositional attitudes such as 'wants', 'dreams' etc. It is also shown that some occurrences of sentences containing q - terms have truth conditions not expressible by any quantified first order sentence. One must use finite partially ordered quantifiers to express the truth conditions of such occurrences of sentences. ;The dissertation contains two appendices: the first is a technical discussion of the formal semantics of Hans Kamp which shows that his theory cannot accomodate the linguistic data mine is designed to handle. The second examines the views of Gareth Evans, Charles Chastain and Keith Donnellan on certain anaphoric pronouns. (shrink)

The essays in this collection are the outgrowth of a workshop, held in June 1976, on formal approaches to the semantics and pragmatics of natural languages. They document in an astoundingly uniform way the develop ments in the formal analysis of natural languages since the late sixties. The avowed aim of the' workshop was in fact to assess the progress made in the application of formal methods to semantics, to confront different approaches to essentially the (...) same problems on the one hand, and, on the other, to show the way in relating semantic and pragmatic explanations of linguistic phenomena. Several of these papers can in fact be regarded as attempts to close the 'semiotic circle' by bringing together the syntactic, semantic and pragmatic properties of certain constructions in an explanatory framework thereby making it more than obvious that these three components of an integrated linguistic theory cannot be as neatly separated as one would have liked to believe. In other words, not only can we not elaborate a syntactic description of (a fragment of) a language and then proceed to the semantics (as Montague pointed out already forcefully in 1968), we cannot hope to achieve an adequate integrated syntax and semantics without paying heed to the pragmatic aspects of the constructions involved. The behavior of polarity items, 'quantifiers' like any, conditionals or even logical particles like and and or in non-indicative sentences is clear-cut evidence for the need to let each component of the grammar inform the other. (shrink)

In the history of formal semantics, the successful joining of linguistic and philosophical work brought with it some difficult foundational questions concerning the nature of meaning and the nature of knowledge of language in the domain of semantics: questions in part about “what’s in the head” of a competent language-user. This paper, part of a project on the history of formal semantics, revisits the central issues of (Partee, 1979) in a historical context, as a clash (...) between two traditions, Fregean and Chomskyan, a clash that accompanied early work combining Montague’s semantics with Chomskyan syntax. Recent advances in philosophy of mind (from, e.g., Stalnaker and Burge) go a long way towards changing the framework of arguments about “psychological reality” and “competence”, challenging the suppositions on which the original dichotomy rested, thus largely defusing the tension. (shrink)

A generative grammar for a language L generates one or more syntactic structures for each sentence of L and interprets those structures both phonologically and semantically. A widely accepted assumption in generative linguistics dating from the mid-60s, the Generative Grammar Hypothesis , is that the ability of a speaker to understand sentences of her language requires her to have tacit knowledge of a generative grammar of it, and the task of linguistic semantics in those early days was taken to (...) be that of specifying the form that the semantic component of a generative grammar must take. Then in the 70s linguistic semantics took a curious turn. Without rejecting GGH, linguists turned away from the task of characterizing the semantic component of a generative grammar to pursue instead the Montague-inspired project of providing for natural languages the same kind of model-theoretic semantics that logicians devise for the artificial languages of formal systems of logic, and “formal semantics” continues to dominate semantics in linguistics. This essay argues that the sort of compositional meaning theory that would verify GGH would not only be quite different from the theories formal semanticists construct, but would be a more fundamental theory that supersedes those theories in that it would explain why they are true when they are true, but their truth wouldn’t explain its truth. Formal semantics has undoubtedly made important contributions to our understanding of such phenomena as anaphora and quantification, but semantics in linguistics is supposed to be the study of meaning. This means that the formal semanticist can’t be unconcerned that the kind of semantic theory for a natural language that interests her has no place in a theory of linguistic competence; for if GGH is correct, then the more fundamental semantic theory is the compositional meaning theory that is the semantic component of the internally represented generative grammar, and if that is so, then linguistic semantics has so far ignored what really ought to be its primary concern. (shrink)