A Modest Logic of Plurals

We present a plural logic that is as expressively strong as it can be without sacrificing axiomatisability, axiomatise it, and use it to chart the expressive limits set by axiomatisability. To the standard apparatus of quantification using singular variables our object-language adds plural variables, a predicate expressing inclusion (is/are/is one of/are among), and a plural definite description operator. Axiomatisability demands that plural variables only occur free, but they have a surprisingly important role. Plural description is not eliminable in favour of quantification; on the contrary, quantification is definable in terms of it. Predicates and functors (function signs) can take plural as well as singular terms as arguments, and both many-valued and single-valued functions are expressible. The system accommodates collective as well as distributive predicates, and the condition for a predicate to be distributive is definable within it; similarly for functors. An essential part of the project is to demonstrate the soundness and completeness of the calculus with respect to a semantics that does without set-theoretic domains and in which the use of set-theoretic extensions of predicates and functors is replaced by the sui generis relations and functions for which the extensions were at best artificial surrogates. Our metalanguage is designed to solve the difficulties involved in talking plurally about individuals and about the semantic values of plural items.

[1]  Rolf Schock,et al.  Logics without existence assumptions , 1968 .

[2]  George Boolos,et al.  To Be Is to Be a Value of a Variable (or to Be Some Values of Some Variables) , 1984 .

[3]  Richard L. Cartwright.  Speaking of everything , 1994 .

[4]  Herbert B. Enderton,et al.  A mathematical introduction to logic , 1972 .

[5]  G. Cantor.  Beiträge zur Begründung der transfiniten Mengenlehre , 1897 .

[6]  Thomas Baldwin,et al.  Studies in the philosophy of logic and knowledge , 2004 .

[7]  Timothy Smiley.  The Theory of Descriptions , 2004, Studies in the philosophy of logic and knowledge.

[8]  Leon Henkin,et al.  The completeness of the first-order functional calculus , 1949, Journal of Symbolic Logic.

[9]  A. Oliver,et al.  Plural Descriptions and Many-valued Functions , 2005 .

[10]  Agust́ın Rayo,et al.  Word and Objects , 2002 .

[11]  Tyler Burge,et al.  Truth and Singular Terms , 1974 .

[12]  Elliott Mendelson,et al.  Introduction to Mathematical Logic , 1979 .

[13]  S. C. Kleene,et al.  Introduction to Metamathematics , 1952 .

[14]  David Lewis,et al.  Parts Of Classes , 1991 .

[15]  A. Oliver,et al.  Strategies for a Logic of Plurals , 2001 .

[16]  Alonzo Church,et al.  Introduction to Mathematical Logic , 1991 .

[17]  Adam Morton.  Complex Individuals and Multigrade Relations , 1975 .

[18]  George Boolos,et al.  Reading the Begriffsschrift , 1985 .

[19]  G. Hardy.  A Course of Pure Mathematics , 1910 .

[20]  M. Dummett.  Frege: Philosophy of Language , 1973 .

[21]  George Boolos,et al.  Logic, Logic, and Logic , 2000 .