Reforming logic (and set theory)
Abstract
1. Frege’s mistake Frege is justifiably considered the most important thinker in the development of our contemporary “modern” logic. One corollary to this historical role of Frege’s is that his mistakes are found in a magnified form in the subsequent development of logic. This paper examines one such mistake and its later history. Diagnosing this history also reveals ways of overcoming some of the limitations that Frege’s mistake has unwittingly imposed on current forms of modern logic. Frege’s mistake concerns the semantics (meaning) of quantifiers. The mistake is to assume that this semantics is exhausted by the quantifiers’ (quantified variables’) ranging over a class of values. These values are the members of the domain (universe of discourse) of the language to which the quantifiers belong. The entire job description of the quantifiers is to indicate whither or not at least one member of the domain has a certain (possible complex) predicate (existential quantifier) and to indicate whether all of them have one (universal quantifier). In other words, quantifiers are higher order predicates indicating whether or not a given lower-order predicate is nonempty or exceptionless. This is in fact precisely how Frege proposes to treat quantifiers in his logical theory. (See Frege 1984, pp. 153-154, pp. 26-27 of the original.) This is obviously part of the semantical task of quantifiers. However, it is not the only one. Quantifiers have another function in language. There is a task that any language must be capable of fulfilling if it is to serve as a language of science and for that matter as a language suitable for innumerable purposes in everyday life. This task is to..