Abstract

Anil Gupta's slightly revised 1977 Pittsburgh doctoral dissertation is not a linguistic investigation of common nouns. There is no thorough attempt to organize and explain data about common nouns in natural languages. Gupta's goal is to develop and to defend formal modal languages and logics useful for the representation and defense of metaphysical theses on topics such as the structure of individuals, sorts or kinds, substances, and essences. He does, however, develop the special features of his formal syntax and semantics on the basis of two theses about common nouns in our natural languages. Geach's work suggests the first thesis that properly expressed identity statements are of the form: b is the same K as c, where K is a common noun. Because the individual variables bound by quantifiers must be capable of being terms of an identity relation, this first thesis leads Gupta to require quantifiers to link individual variables with common noun expressions. Thus in his formal languages we can only express: "every K is _____" or "some K is _____" where K is syntactically part of the quantifier. We can call this "sortal quantification." Hence, "Every K is P" and "Some K is P" are not even expressible as "If anything is K then it is P" or "Something is K and P," let alone equivalent to such ill-formed expressions in his languages. Gupta's book is a useful introduction to the syntax and semantics for languages with this non-standard sortal quantification for those already familiar with the syntax and formal semantics of first order extensional and modal languages with standard quantifiers. Those unfamiliar with standard formal languages and model structure semantics will find Gupta's provocative metaphysical theories and conjectures inaccessible.