My chief aim has been to convey the thought that the application of model theoretic techniques to natural languages needn't force a distortion of intentional phenomena. I hope that at least I have succeeded in accomplishing this.

Originally published in 1973, this book shows that methods developed for the semantics of systems of formal logic can be successfully applied to problems about the semantics of natural languages; and, moreover, that such methods can take account of features of natural language which have often been thought incapable of formal treatment, such as vagueness, context dependence and metaphorical meaning. Parts 1 and 2 set out a class of formal languages and their semantics. Parts 3 and 4 show that these (...) formal languages are rich enought to be used in the precise description of natural languages. Appendices describe some of the concepts discussed in the text. (shrink)

A minimal second order modal logic of natural kinds is formulated. Concepts are distinguished from properties and relations in the conceptual-logistic background of the logic through a distinction between free and bound predicate variables. Not all concepts (as indicated by free predicate variables) need have a property or relation corresponding to them (as values of bound predicate variables). Issues pertaining to identity and existence as impredicative concepts are examined and an analysis of mass terms as nominalized predicates for kinds of (...) stuff is proposed. The minimal logic is extendible through a summum genus, an infima species or a partition principle for natural kinds. (shrink)

Beginning with analyses of English generic sentences and English plural indefinite noun phrases (e.g.dogs), we proceed to apply mechanisms there motivated to a characterization of atemporalwhen, a sense ofwhen which does not appear to involve time. Dealt with are such examples as Dogs are intelligent when they have blue eyes, and their relationships to examples like Dogs that have blue eyes are intelligent. The proposed treatment of atemporalwhen helps motivate the existence of a generic verb phrase operator in English, as (...) well as the treatment of indefinite plural noun phrases as disguised definite descriptions. (shrink)

It is argued that the English bare plural (an NP with plural head that lacks a determiner), in spite of its apparently diverse possibilities of interpretation, is optimally represented in the grammar as a unified phenomenon. The chief distinction to be dealt with is that between the generic use of the bare plural (as in Dogs bark) and its existential or indefinite plural use (as in He threw oranges at Alice). The difference between these uses is not to be accounted (...) for by an ambiguity in the NP itself, but rather by explicating how the context of the sentence acts on the bare plural to give rise to this distinction. A brief analysis is sketched in which bare plurals are treated in all instances as proper names of kinds of things. A subsidiary argument is that the null determiner is not to be regarded as the plural of the indefinite article a. (shrink)

This paper concerns the semantics of belief-sentences. I pass over ontologically lavish theories which appeal to impossible worlds, or other points of reference which contain more than possible worlds. I then refute ontologically stingy, quotational theories. My own theory employs the techniques of possible worlds semantics to elaborate a Fregean analysis of belief-sentences. In a belief-sentence, the embedded clause does not have its usual reference, but refers rather to its own semantic structure. I show how this theory can accommodate quantification (...) into belief-contexts. I close with skirmishes against the threat posed by the Liar Paradox. (shrink)

This is the only complete logic for properties, relations, and propositions (PRPS) that has been formulated to date. First, an intensional abstraction operation is adjoined to first-order quantifier logic, Then, a new algebraic semantic method is developed. The heuristic used is not that of possible worlds but rather that of PRPS taken at face value. Unlike the possible worlds approach to intensional logic, this approach yields a logic for intentional (psychological) matters, as well as modal matters. At the close of (...) the paper, the origin of incompleteness in logic is investigated. The culprit is found to be the predication relation, a relation on properties and relations that is expressed in natural language by the copula. (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)

In 1936, Benjamin Lee Whorf wrote a justly famous paper entitled "An American Indian Model of the Universe" (Carroll, 1956). In that paper, Whorf criticized the easy assumption that people in different cultures, speaking radically different languages, share common presuppositions about what the world is like. He contrasted the Hopi view of space and time with what he called elsewhere the Standard Average European view. For the Hopi, space and time are inherently relativistic; for the speaker of Western European languages, (...) like English, the universe is basically Newtonian, time and space are absolute, "containers" of things and events. (shrink)