Logic in the twenties: the nature of the quantifier

We are often told, correctly, that modern logic originated with Frege. For Frege clearly depicted polyadic predication, negation, the conditional, and the quantifier as the bases of logic; moreover, he introduced the idea of a formal system, and argued that mathematical demonstrations, to be fully precise, must be carried out within a formal language by means of explicitly formulated syntactic rules. Consequently Frege has often been read as providing all the central notions that constitute our current understanding of quantification. For example, in his recent book on Frege [1973], Michael Dummett speaks of ”the semantics which [Frege] introduced for formulas of the language of predicate logic.” That is, “An interpretation of such a formula … is obtained by assigning entities of suitable kinds to the primitive nonlogical constants occurring in the formula … [T]his procedure is exactly the same as the modern semantic treatment of predicate logic” (pp. 89–90). Indeed, “Frege would therefore have had within his grasp the concepts necessary to frame the notion of the completeness of a formalization of logic as well as its soundness … but he did not do so” (p. 82). This common appraisal of Frege's work is, I think, quite misleading. Even given Frege's tremendous achievements, the road to an understanding of quantification theory was an arduous one. Obtaining such understanding and formulating those notions which are now common coin in the discussion of logical systems were the tasks of much of the work in logic during the nineteen-twenties.