The JSTOR Archive is a trusted digital repository providing for long-term preservation and access to leading academic journals and scholarly literature from around the world. The Archive is supported by libraries, scholarly societies, publishers, and foundations. It is an initiative of JSTOR, a not-for-profit organization with a mission to help the scholarly community take advantage of advances in technology. For more information regarding JSTOR, please contact [email protected].

Vagueness provides the first comprehensive examination of a topic of increasing importance in metaphysics and the philosophy of logic and language. Timothy Williamson traces the history of this philosophical problem from discussions of the heap paradox in classical Greece to modern formal approaches such as fuzzy logic. He illustrates the problems with views which have taken the position that standard logic and formal semantics do not apply to vague language, and defends the controversial realistic view that vagueness is a kind (...) of ignorance--that there really is a grain of sand whose removal turns a heap into a non-heap, but we cannot know which one it is. (shrink)

Do fetuses have a right to life in virtue of the fact that they are potential adult human beings? I take the claim that the fetus is a potential adult human being to come to this: if the fetus grows normally there will be an adult human animal that was once the fetus. Does this fact ground a claim to our care and protection? A great deal hangs on the answer to this question. The actual mental and physical capacities of (...) a human fetus are inferior to those of adult creatures generally thought to lack a serious right to life, and the mere fact that a fetus belongs to our species in particular seems morally irrelevant. Consequently, a strong fetal claim to protection rises or falls with the appeal to the fetus's potentiality, for nothing else can justify it. (shrink)

It is argued that the usual proposals for dealing with mass-Quantification--All x is f--Are inadequate with the predicate is complex or when multiple quantification is considered. Mass-Quantification is seen as a generalisation of ordinary (thing) quantification in that the specialising assumption that the domain of quantification is atomic is not made. It is suggested that the semantic values of predicates are complete ideals of the boolean algebra consisting of the quantity which is the domain of quantification and all its sub-Quantities, (...) While logical connectives are represented by operations on complete ideals. (shrink)

One of the goals of a certain brand of philosopher has been to give an account of language and linguistic phenomena by means of showing how sentences are to be translated into a "logically perspicuous notation" (or an "ideal language"—to use passe terminology). The usual reason given by such philosophers for this activity is that such a notational system will somehow illustrate the "logical form" of these sentences. There are many candidates for this notational system: (almost) ordinary first-order predicate logic (...) (see Quine [1960]), higher-order predicate logic (see Parsons [1968, 1970]), intensional logic (see Montague [1969, 1970a, 1970b, 1971]), and transformational grammar (see Harrnan [1971]), to mention some of the more popular ones. I do not propose to discuss the general question of the correctness of this approach to the philosophy of language, nor do I wish to adjudicate among the notational systems mentioned here. Rather, I want to focus on one problem which must be faced by all such systems—a problem that must be discussed before one decides upon a notational system and tries to demontrate that it in fact can account for all linguistic phenomena. The general problem is to determine what we shall allow as linguistic data; in this paper I shall restrict my attention to this general problem as it appears when we try to account for certain words with non-singular reference, in particular, the words that are classified by the count/ mass and sortal/non-sortal distinctions. (shrink)

The views of Quine and Strawson on the significance of 'mass terms' are rehearsed, and the metaphysical status of substances, in the chemist's sense, is considered. It is urged that the ontological dichotomy of particulars and universals is not adequate to accommodate such substances, which are in a sense to be explicated concrete but non-particular.

"Matter" may be defined, according to the Oxford English Dictionary, as "The substance, or the substances collectively, out of which a physical object is made or of which it consists". And while the O.E.D. is not the ultimate authority on words, nor is it, I believe, far wrong in this particular case. The definition is, as I shall argue in this paper, in substantial harmony with a tradition of some antiquity, according to which material objects do not constitute a somehow (...) 'fundamental category' for ontology; and it is in conflict with a more contemporary view which maintains precisely that they do. (shrink)

Along with many other languages, English has a relatively straightforward grammatical distinction between mass-occurrences of nouns and their countoccurrences. As the mass-count distinction, in my view, is best drawn between occurrences of expressions, rather than expressions themselves, it becomes important that there be some rule-governed way of classifying a given noun-occurrence into mass or count. The project of classifying noun-occurrences is the topic of Section II of this paper. Section III, the remainder of the paper, concerns the semantic differences between (...) nouns in their mass-occurrences and those in their count-occurrences. As both the name view and the mixed view are, in my opinion, subject to serious difficulties discussed in Section III.1,I defend a version of the predicate view. Traditionally, nouns in their singular count-occurrences are also analyzed as playing the semantic role of a predicate. How, then, does the predicate view preserve the intuitive difference between nouns in their mass- and those in their count-occurrences? I suggest, in Section III.2, that there are different kinds of predicates: mass-predicates, e.g. ‘is hair’, singular count-predicates, e.g. ‘is a hair’, and plural count-predicates, e.g. ‘are hairs’. Mass-predicates and count-predicates, in my view, are not reducible to each other. The remainder of Section III takes a closer look at the differences and interrelations between these different kinds of predicates. Mass-predicates and count-predicates differ from each other truth-conditionally, and these truth-conditional differences turn out to have interesting implications, in particular concerning the part-whole relation and our practices of counting. But mass- and count-predicates are also related to each other through systematic entailment relations; these entailment relations are examined in Section III.4. (shrink)

English mass noun phrases & count noun phrases differ only minimally grammatically. The basis for the difference is ascribed to a difference in the features +/-CT. These features serve the morphosyntactic function of determining the available options for the assigment of grammatical number, itself determined by the features +/-PL: +CT places no restriction on the available options, while -CT, in the unmarked case, restricts the available options to -PL. They also serve the semantic function of determining the sort of denotation (...) associated with demonstrative & quantified noun phrases. The feature -CT requires that the associated denotation be the set whose sole member is the greatest aggregate of which the noun phrase or noun is true; the feature +CT requires that the associated denotation be the set whose members are all & only those minimal aggregates of which the noun phrase or noun is true. At the same time, neither mass NPs nor count NPs that are arguments of a predicate have their predicate evaluated with respect to their denotations. Rather, the predicate is evaluated with respect to an aggregation, a set of aggregates constructed from the denotation of the noun phrase that is an argument of the predicate. 3 Tables, 4 Figures, 74 References. AA. (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)

The paper develops two approaches to mass term and count noun substantivals. One treats them on the model of adjectives, Designating phases of a more basic substratum. The other treats them in a more commonsense way, As multiply designating individuals. The two accounts are tested against two problems originally raised by aristotle and heraclitus respectively. The comparison is aimed at bringing out certain central features of one-Place predication, Or more materially, Features of the notion of kind.

'Mass terms', words like water, rice and traffic, have proved very difficult to accommodate in any theory of meaning since, unlike count nouns such as house or dog, they cannot be viewed as part of a logical set and differ in their grammatical properties. In this study, motivated by the need to design a computer program for understanding natural language utterances incorporating mass terms, Harry Bunt provides a thorough analysis of the problem and offers an original and detailed solution. An (...) extension of classical set theory, Ensemble Theory, is defined, and this provides the conceptual basis of a framework for the analysis of natural language meaning which Dr Bunt calls Two-level model-theoretic semantics. The validity of the framework is convincingly demonstrated by the formal analysis of a fragment of English including sentences with quantified and modified mass terms. Separate chapters of the book are devoted to an axiomatic definition of Ensemble Theory and a detailed discussion of its status as a mathematical formalism. (shrink)

Structures for Semantics offers an advanced course in logical and mathematical techniques and structures that are used in semantics, in relation to their semantic applications. The book helps students with a background in semantics to develop their skills of formalization and it makes research in semantics accessible. Workers in other disciplines will use it to discover more about the role of formal modelling in current semantic research, and about semantics itself. Following a chapter on logic and set theory there are (...) three parts of chapters: two pairs of chapters on partial order and equivalence relations in relation to semantic analyses of tense, partial information and vagueness; two chapters on methods for creating ordered structures in relation to intervals, events, and the semantics of change; two chapters on lattices and Boolean algebras in relation to types for noun phrases and verbs, and the semantics of plurals and mass nouns. For upper-level undergraduate students and graduate students in semantics: theoretical linguists, logicians, philosophers of language, computer scientists interested in natural language semantics. (shrink)

previous theories and the relevance of those criticisms to the new accounts. Additionally, we have included a new section at the end, which gives some directions to literature outside of formal semantics in which the notion of mass has been employed. We looked at work on mass expressions in psycholinguistics and computational linguistics here, and we discussed some research in the history of philosophy and in metaphysics that makes use of the notion of mass.