From Frege to GÖdel

Twentieth-century logic, and even late nineteenth-century logic, cannot be properly understood without some acquaintance not only with earlier nineteenth-century logic but also with nineteenth-century mathematics. The final section of our survey therefore begins with a sketch of the influence of nineteenth-century mathematics on the major logical developments of both the Boolean and the more recent periods. This will be followed by discussions of particular logicians.

Bibliography

(Secondary material on the logicians discussed in the final section of the article is to be found mainly in the first two parts of the bibliography.)

Carnap, Rudolf. Foundations of Logic and Mathematics. Chicago: University of Chicago Press, 1939. This is Vol. I, no. 3, of International Encyclopedia of Unified Science.

Carnap, Rudolf. Introduction to Semantics. Cambridge, MA: Harvard University Press, 1942.

Carnap, Rudolf...