Skip to main content

Modern Logic: From Frege to Gödel

MODERN LOGIC: FROM FREGE TO GÖDEL

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. Meaning and Necessity. 2nd, enl. ed. Chicago: University of Chicago Press, 1956.

Church, Alonzo. Introduction to Mathematical Logic. Vol. I. Princeton, NJ: Princeton University Press, 1956.

Church, Alonzo. "A Note on the Entscheidungsproblem." Journal of Symbolic Logic 1 (1936): 4041. See also the correction, ibid., 101102.

Church, Alonzo. "An Unsolvable Problem of Elementary Number Theory." American Journal of Mathematics 58 (1936): 345363.

Frege, Gottlob. Translations from the Philosophical Writings of Gottlob Frege, edited by Peter Geach and Max Black. New York: Philosophical Library, 1952.

Gentzen, Gerhard. "Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten Induktion in der reinen Zahlen-theorie." Mathematische Annalen 119 (1943): 140161.

Gentzen, Gerhard. "Neue Fassung des Widerspruchsfreiheitsbeweises für die reine Zahlentheorie." Forschungen zur Logik und zur Grundlegung der exakten Wissenschaften, n.s., 4 (1938): 1944.

Gentzen, Gerhard. "Untersuchungen über das logische Schliessen." Mathematische Zeitschrift 39 (1934): 176210, 405431. Translated into French, with commentary, by R. Feys and J. Ladrière as Recherches sur la déduction logique. Paris, 1955.

Gentzen, Gerhard. "Die Widerspruchsfreiheit der reinen Zahlentheorie." Mathematische Annalen 112 (1936): 493565.

Gödel, Kurt. Articles on intuitionist logic and number theory. Ergebnisse eines mathematischen Kolloquiums 4 (1933): 3438, 40.

Gödel, Kurt. The Consistency of the Axiom of Choice and of the Generalized Continuum-Hypothesis with the Axioms of Set Theory. Princeton, NJ: Princeton University Press, 1940; rev. ed., 1951.

Gödel, Kurt. "What Is Cantor's Continuum Problem?" American Mathematical Monthly 54 (1947): 515525.

Herbrand, Jacques. "Sur le Problème fondamental de la logique mathématique." Comptes rendus des séances de la Société des Sciences et des Lettres de Varsovie, Classe III, 24 (1931): 1256.

Hilbert, David. Gesammelte Abhandlungen. 3 vols. Berlin: Springer, 19321935.

Hilbert, David, and Paul Bernays. Grundlagen der Mathematik. 2 vols. Berlin: Springer, 19341939.

Post, Emil. "Formal Reductions of the General Combinatorial Decision Problem." American Journal of Mathematics 65 (1943): 197215.

Post, Emil. "Recursively Enumerable Sets of Positive Integers and Their Decision Problems." Bulletin of the American Mathematical Society 50 (1944): 284316.

Post, Emil. "Recursive Unsolvability of a Problem of Thue." Journal of Symbolic Logic 12 (1947): 111.

Quine, W. V. Set Theory and Its Logic. Cambridge, MA: Harvard University Press, 1963.

Ramsey, F. P. The Foundations of Mathematics and Other Logical Essays, edited by R. B. Braithwaite. New York: Harcourt Brace, 1931.

Skolem, Thoralf. "Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre." In Wissenschaftlicher Vorträge, gehalten auf dem Fünften Kongress der Skandinavischen Mathematiker in Helsingfors 1922,217232. Helsinki, 1923.

Skolem, Thoralf. "Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen." In Skrifter Utgit av Videnskapsselskapet i Kristiania, I. Matematisk-naturvidenskapelig Klasse 1919, no. 4, 136. Oslo, 1920.

Skolem, Thoralf. "Über die Nicht-Charakterisierbarkeit der Zahlenreihe mittels endlich oder abzählbar unendlich vieler Aussagen mit ausschliesslich Zahlenvariablen." Fundamenta Mathematicae 23 (1934): 150161.

Skolem, Thoralf. "Über die Unmöglichkeit einer vollständigen Charakterisiergung der Zahlenreihe mittels eines endlichen Axiomsystems." Norsk Matematisk Forenings Skrifter, series 2 (10) (1933): 7382.

Skolem, Thoralf. "Über einige Grundlagenfragen der Mathematik." In Skrifter Utgit av det Norske Videnskaps-akademi i Oslo, I. Matematisk-naturvidenskapelig Klasse, no. 4, 149. Oslo, 1929.

Wittgenstein, Ludwig. Philosophische Bemerkungen, edited by Rush Rhees. Oxford: Blackwell, 1964.

(A. N. P.)

Cite this article
Pick a style below, and copy the text for your bibliography.

  • MLA
  • Chicago
  • APA

"Modern Logic: From Frege to Gödel." Encyclopedia of Philosophy. . Encyclopedia.com. 19 Jun. 2019 <https://www.encyclopedia.com>.

"Modern Logic: From Frege to Gödel." Encyclopedia of Philosophy. . Encyclopedia.com. (June 19, 2019). https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/modern-logic-frege-godel

"Modern Logic: From Frege to Gödel." Encyclopedia of Philosophy. . Retrieved June 19, 2019 from Encyclopedia.com: https://www.encyclopedia.com/humanities/encyclopedias-almanacs-transcripts-and-maps/modern-logic-frege-godel

Learn more about citation styles

Citation styles

Encyclopedia.com gives you the ability to cite reference entries and articles according to common styles from the Modern Language Association (MLA), The Chicago Manual of Style, and the American Psychological Association (APA).

Within the “Cite this article” tool, pick a style to see how all available information looks when formatted according to that style. Then, copy and paste the text into your bibliography or works cited list.

Because each style has its own formatting nuances that evolve over time and not all information is available for every reference entry or article, Encyclopedia.com cannot guarantee each citation it generates. Therefore, it’s best to use Encyclopedia.com citations as a starting point before checking the style against your school or publication’s requirements and the most-recent information available at these sites:

Modern Language Association

http://www.mla.org/style

The Chicago Manual of Style

http://www.chicagomanualofstyle.org/tools_citationguide.html

American Psychological Association

http://apastyle.apa.org/

Notes:
  • Most online reference entries and articles do not have page numbers. Therefore, that information is unavailable for most Encyclopedia.com content. However, the date of retrieval is often important. Refer to each style’s convention regarding the best way to format page numbers and retrieval dates.
  • In addition to the MLA, Chicago, and APA styles, your school, university, publication, or institution may have its own requirements for citations. Therefore, be sure to refer to those guidelines when editing your bibliography or works cited list.