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

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 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)

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)

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)

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)

“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.

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)

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.

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)

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)

J. L. Austin, in "Ifs and Cans," proclaimed the common hope that we soon "may see the birth, through the joint labors of philosophers, grammarians, and numerous other students of language, of a true and comprehensive science of language." The problem has always been with the "joint labors" part. Philosophers have always been willing to issue linguists dictums and linguists have been happy to teach philosophers "plain facts." Austin’s general view of language, and his particular notion of performative utterance, can (...) be found in the writing of J. R. Firth, the most commanding British linguist of Austin’s generation, but Austin never refers to Firth. In the present volume, however, we find clear and exciting evidence of genuinely joint labors on the part of philosophers and linguists. They stem from a summer conference in 1969 rounded out with contributions from notables. To two thick issues of Synthese the editors have added a dazzling piece by Saul Kripke, two substantial pieces by James McCawley and J. R. Ross, a short paper by Paul Ziff, and a reprint of P. F. Strawson’s "Grammar and Philosophy." This is an invaluable book and the best book among the many now available concerning the interaction of linguistics and philosophy: worth the cost, which the contributors attempted to reduce through foregoing royalties. The philosophers in this volume hold, or hold intriguing, the view that the semantics of a natural language can and must, in effect, be a theory of truth for a language in much the manner that Tarski suggested, and provided, for artificial language: the recursive specification of biconditionals in which the left hand gives the structural description of an object language sentence and the right hand, the truth conditions in the metalanguage. In "homophonic" translation this requirement can be trivially satisfied simply by mentioning the sentence on the left that one uses on the right: one makes the requirement non-trivial by forcing enough into the recursive specification so that one captures the native speaker’s implicit semantic competence. In this volume, the "orthodox" Davidsonian program, which takes the syntax of the metalanguage to be standard predicate logic, is ably argued by John Wallace ; Richard Montague, David Lewis, and Jaakko Hintikka would want an intensional logic covering modality and propositional attitudes. The linguists who find this philosophical climate most appealing are called "generative semanticists": McCawley, Ross, George Lakoff and others argue that any proposed semantic rule will eventually prove necessary to syntax too and that, hence, the deepest level of syntactical form will be equivalent to semantic form. Whatever the ultimate fate of this joint program, it leads here to much exciting interaction between linguists and philosophers: linguists who welcome the machinery and conceptual standards of modern logic, and philosophers who try to grasp the specifics of crucial issues in recent linguistic theory. Even if Quine’s doubts, here sketched, and Chomsky’s currently unpublished more technical objections should be well-founded, nonetheless the joint labor will have been very much worthwhile. Aside from this general debate about semantics, there are several papers covering more specific issues. The papers of J. A. Fodor, Terence Parsons, and Ross concern adverbs and the logical form of action sentences; several papers, particularly B. H. Partee’s, examine "Opacity, Coreference, and Pronouns." In all these papers one notes the fulfillment of Austin’s hope that philosophic and linguistic arguments should become intermixed, if not at times properly indistinguishable. Perhaps the most enjoyable and exciting paper stands aside from linguistics: Saul Kripke’s "Naming and Necessity." Kripke here argues quite informally for the separation of analytic, a priori, and necessary that is required for a Kripke style, S5, modal logic with de re modalities. "Gold is a yellow metal," for example, turns out to be contingent, while "Heat is the motion of particles" is necessary but a posteriori ; and that philosopher’s stone of stones, "The morning star is the evening star," is discovered to be necessary but a posteriori.—J. L. (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 program of a physical concept of information is outlined in the framework of quantum theory. A proposal is made for how to avoid the intuitive introduction of observables. The conventional and the Everett interpretations in principle may lead to different dynamical consequences. An ensemble description occurs without the introduction of an abstract concept of information.

Description: Ancient Indian logic by itself is a very vast subject. The ancient Sanskrit term nyaya which was first used in a different or in a much more general sense, was later specifically applied to the Nyaya school. The physics and physiology and psychology of the Nyaya doctrine are not specifically its own, being from the first indistinguishable from those of its sister Sastra, the Vaisesika. What characterizes it specifically is the development of the nyaya or five-membered method of demonstration (...) and its insistence on the four sources of knowledge, corresponding to the first four members of its demonstrative formula, or 'Syllogism.' The importance of Nyaya is in its doctrine of the pramanas, or sources of proof, and in its formulation of the nyaya, or method of demonstration. Indian Logic in its Early Schools by H.N. Randle is an interpretation of Indian logical theory in its historical development based on the study of original texts wherever reference to Nyaya as a method of logic has been made, and thus, covers a very wide field of Indian philosophy. An indispensable work for students of Indian philosophy, it is especially important for those who are interested in Nyayadarsana in its relation to the early logic of other schools. (shrink)