The Emergence of First-Order Logic

submited by
Style Pass
2021-08-14 14:30:10

For anybody schooled in modern logic, first-order logic can seem an entirely natural object of study, and its discovery inevitable. It is semantically complete; it is adequate to the axiomatization of all ordinary mathematics; and Lindström’s theorem shows that it is the maximal logic satisfying the compactness and Löwenheim-Skolem properties. So it is not surprising that first-order logic has long been regarded as the “right” logic for investigations into the foundations of mathematics. It occupies the central place in modern textbooks of mathematical logic, with other systems relegated to the sidelines. The history, however, is anything but straightforward, and is certainly not a matter of a sudden discovery by a single researcher. The emergence is bound up with technical discoveries, with differing conceptions of what constitutes logic, with different programs of mathematical research, and with philosophical and conceptual reflection. So if first-order logic is “natural”, it is natural only in retrospect. The story is intricate, and at points contested; the following entry can only provide an overview. Discussions of various aspects of the development are provided by Goldfarb 1979, Moore 1988, Eklund 1996, Brady 2000, Ferreirós 2001, Sieg 2009, Mancosu, Zach & Badesa 2010, Schiemer & Reck 2013, the notes to Hilbert [LFL], and the encyclopedic handbook Gabbay & Woods 2009.

The modern study of logic is commonly dated to 1847, with the appearance of Boole’s Mathematical Analysis of Logic. This work established that Aristotle’s syllogistic logic can be translated into an algebraic calculus, whose symbols Boole interpreted as referring either to classes or to propositions. His system encompasses what is today called sentential (or Boolean) logic, but it is also capable of expressing rudimentary quantifications. For instance, the proposition “All Xs are Ys” is represented in his system by the equation \(xy = x\), with the multiplication being thought of either as an intersection of sets, or as logical conjunction. “Some Xs are Ys” is more difficult, and its expression more artificial. Boole introduces a (tacitly: non-empty) set V containing the items common to X and Y; the proposition is then written \(xy = V\) (1847: 21). Boole’s system, in modern terms, can be viewed as a fragment of monadic first-order logic. It is first-order because its notational resources cannot express a quantification that ranges over predicates. It is monadic because it has no notation for n-ary relations. And it is a fragment because it cannot express nested quantifications (“for every girl, there exists a boy who loves her”). But these are our categories: not Boole’s. His logical system has no symbols corresponding to the quantifiers; so even to call it a restricted system of quantificational logic is anachronistic.

Leave a Comment