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

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)

The goal of this paper is to argue for the fruitfulness for linguistic theory of an approach to semantics that has been developed primarily by logicians and philosophers. That the theory of possible worlds semantics has been extremely fruitful for logic and philosophy is widely if not universally accepted, and I will not try to convince remaining skeptics on that score. But the goals of linguistics are sufficiently different from those of philosophy and logic that there are independent and highly (...) reasonable grounds for skepticism about the appropriateness of such a theory for linguistics, and I will address what seem to me the most important of these in addition to offering positive evidence in favor of such an approach to semantics. (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)

The Russian Genitive of Negation construction (Gen Neg) involves case alternation between Genitive and the two structural cases, Nominative and Accusative.1 The factors governing the alternation have been a matter of debate for many decades, and there is a huge literature. Here we focus on one central issue and its theoretical ramifications. The theoretical issue is the following. The same truth-conditional content can often be structured in more than one way; we believe that there is a distinction between choices in (...) how to structure a situation to be described, and choices in how to structure a sentence describing the (already structured) situation. The distinction may not always be sharp, and the term Information Structure may perhaps cover both, but we believe that the distinction is important and needs closer attention. Babby (1980), in a masterful work on the Russian Genitive of Negation, argued that the choice depended principally on Theme-Rheme structure; after initially following Babby (Borschev & Partee 1998), we later argued (Borschev & Partee 2002a,b) that the choice reflects not Theme-Rheme structure but a structuring of the described situation which we call Perspectival Structure. Here we briefly review the phenomenon, Babby’s Theme-Rheme-based analysis, and our arguments for a different analysis. We then consider Hanging Topics, partitive Genitives, and broader licensing conditions of Genitive case, raising the possibility that our counterexamples to Babby’s use of Theme-Rheme structure might be explained away as examples involving Hanging Topics rather than (Praguian) Themes. We argue against that idea as well, but leave open the possibility that our Perspectival Structure may eventually be construable as a kind of information structure itself, if that notion can include some kinds of structuring of the situation as well as of the discourse. (shrink)

David K. Lewis was a central player in the golden age of linguistics‐philosophy interaction, and he and his work were important parts of what made that age golden. This chapter discusses some of Lewis's ideas that have been most important for linguists, especially but not only for formal semanticists, and some of the influence his ideas have had. It provides Lewis's distinction between a language as an abstract object and the use of a language by a community, and its importance (...) for defending the non‐psychologistic foundations of formal semantics. The chapter discusses some issues of importance to linguists connected with Lewis's work on possible worlds, modal realism, conditionals, and counterpart theory in brief. It highlights a number of specific ideas that have influenced linguists. The chapter presents David's important role in helping linguists and philosophers understand each other and cooperate in working on the syntax and semantics of natural languages. (shrink)

For me the adventure began just 50 years ago, here at MIT in 1961. The Chomskian revolution had just begun, and Noam Chomsky and Morris Halle had just opened up a PhD program in Linguistics, and I came in the first class. I want to start by thanking Chomsky and Halle for building that program, and I thank MIT and the Research Laboratory of Electronics for supporting it. I’m indebted to Chomsky for revolutionizing the field of linguistics and making it (...) into a field whose excitement has never waned. Chomsky redefined linguistics as the study of human linguistic competence, making linguistics one of the early pillars of cognitive science. (shrink)

“Symmetrical predicates” have distinctive linguistic properties in many languages. But the concept of “symmetry” merits closer examination. Consider the surprising claim by the psychologist Amos Tversky (1977) that the concept ‘similar’, a standard example of a symmetrical predicate, is in fact not symmetrical. Tversky’s evidence includes the fact that experimental subjects generally rate (1a) as holding to a higher degree than (1b). (1) a. North Korea is similar to Red China. b. Red China is similar to North Korea.

Plurals had a slow start in the history of formal semantics; a significant explosion of innovations didn’t come until the 1980s. In this paper, I offer a picture of developments by noting not only important achievements but also reflecting on the state of thinking about plurals at various periods—what issues or phenomena were not even noticed, what puzzles had started to get attention, and what innovations made the biggest changes in how people thought about plurals. I divide the epochs roughly (...) into decades: before formal semantics ; the first decade of formal semantics—the 1970s, with early work by Montague and Bennett and landmark work on bare plurals by Carlson; the 1980s, when work by Link, Scha, Krifka, Landman, Roberts, and others significantly changed the landscape; and the 1990s, where I mention some key work by Lasersohn and Schwarzschild and stop there, although there was much more work in the 1990s. I don’t discuss the twenty-first century at all because it’s not very historical yet. (shrink)

This extended collection of papers is the result of putting recent ideas on quantification to work on a wide variety of languages.

Approximately thirty years ago, Barbara H. Partee tried to think of counterexamples to David Lewis’s observation that no intransitive verbs appeared to have intensional subject positions. She came up with such verbs as ‘rise,’ ‘change,’ and ‘increase.’ Lewis agreed that they were indeed counterexamples to his observation. He mentioned it to Richard Montague, who incorporated these verbs into his now famous grammatical theory for English.

This volume recasts the influential work of Barbara H. Partee in light of new studies surrounding the semantics of quantification and reference in natural language. The papers examine cutting-edge issues in formal semantics and pragmatics. With topics ranging from the fundamental issues of compositionality and information structure to the analysis of tense and aspect, Reference and Quantification is both an excellent discussion of Partee's work and a thorough overview of developments in current semantics research.

In recent years, the study of formal semantics and formal pragmatics has grown tremendously showing that core aspects of language meaning can be explained by a few principles. These principles are grounded in the logic that is behind - and tightly intertwined with - the grammar of human language. In this book, some of the most prominent figures in linguistics, including Noam Chomsky and Barbara H. Partee, offer new insights into the nature of linguistic meaning and pave the way (...) for the further development of formal semantics and formal pragmatics. Each chapter investigates various dimensions in which the logical nature of human language manifests itself within a language and/or across languages. Phenomena like bare plurals, free choice items, scalar implicatures, intervention effects, and logical operators are investigated in depth and at times cross-linguistically and/or experimentally. This volume will be of interest to scholars working within the fields of semantics, pragmatics, language acquisition and psycholinguistics. (shrink)

This volume presents significant developments in the field of Montague Grammar and outlines its past and future contributions to philosophy and linguistics. The contents are as follows: Introduction by Steven Davis and Marianne Mithun Emmon Bach, "Montague Grammar and Classical Transformational Grammar" Barbara H. Partee, "Constraining Transformational Montague Grammar: A Framework and a Fragment" James D. McCawley, "Helpful Hints to the Ordinary Working Montague Grammarian" Terence Parsons, "Type Theory and Ordinary Language" David R. Dowty, "Dative 'Movement' and Thomason's Extensions (...) of Montague Grammar" Muffy E. A. Siegel, "Measure Adjectives in Montague Grammar" Michael Bennett, "Mass Nouns and Mass Terms in Montague Grammar" Jeroen Groenendijk and Martin Stokhof, "Infinitives and Context in Montague Grammar" James Waldo, "A PTQ Semantics for Sortal Incorrectness". (shrink)

"Homage to Rudolph Carnap."--Hempel, C. G. Rudolf Carnap, logical empiricist.--Wedberg, A. How Carnap built the world in 1928.--Eberle, R. A construction of quality classes improved upon the Aufbau.--Carnap, R. Observation language and theoretical language.--Kaplan, D. Significance and analyticity: a comment of some recent proposals of Carnap.--Wójcicki, R. The factual content of empirical theories.--Williams, P. M. On the conservative extensions of semantical systems: a contribution to the problem of analyticity.--Winnie, J. A. Theoretical analyticity.--Wedberg, A. Decision and belief in science.--Bohnert, H. G. (...) Carnap's logicism.--Hintikka, J. Carnap's heritage in logical semantics.--Partee, B. H. The semantics of belief-sentences.--Kasher, A. Pragmatic representations and language-games.--Carnap, R. Notes on probability and induction.--Jeffrey, R. C. Carnap's inductive logic.--Hilpinen, R. Carnap's new system of inductive logic.--Kuipers, T. A. F. A generalization of Carnap's inductive logic. Essler, W. K. Hintikka versus Carnap.--Hintikka, J. Carnap and Essler versus inductive generalization.--Shimony, A. Carnap on entropy, introduction to "Two essays on entropy" by Rudolf Carnap. (shrink)

The problem discussed here is to find a basis for a uniform treatment of the relation between pronouns and their antecedents, taking into account both linguists' and philosophers' approaches. The two main candidates would appear to be the linguists' notion of coreference and the philosophers' notion of pronouns as variables. The notion of coreference can be extended to many but not all cases where the antecedent is non-referential. The pronouns-as-variables approach appears to come closer to full generality, but there are (...) some examples of pronouns of laziness which appear to resist either of the two approaches. (shrink)