Abstract
Paul Isaak Bernays (1888–1977) was a Swiss logician who worked on the foundations of mathematics and set theory. (More biographical information can be found in Lauener, 1978.) From 1919 until 1933, when his venia legendi was revoked by the Nazi regime, he worked at the Mathematical Institute in Gottingen. He subsequently returned to the ETH in Zurich, where he would stay for the rest of his career. During this time he wrote Grundlagen der Mathematik I, II (Hilbert and Bernays, 1934, 1939) together with David Hilbert. Popper owned a copy of both volumes, which still exist with many of his own marginal notes in the Karl Popper Collection Klagenfurt. Popper also frequently cites the Grundlagen in his articles on logic. The letters reproduced here concern a meeting between Popper and Bernays which took place in April 1947 in Switzerland. At that time, Popper and Bernays pursued a joint publication on logic, a draft of which is reproduced in Chapter 14 of this volume. This joint work was never published, but these letters provide the context that helps explain its genesis. The correspondence furthermore contains a discussion of some of the criticisms raised by the reviewers of Popper’s articles.
Chapter PDF
Similar content being viewed by others
References
Bernays, P. (1940). Logik und Mathematik. Antrittsvorlesung an der ETH. ETH Zurich, Bernays Nachlass Hs 975 : 3652. Typoscript, 12 p.
– (1942). Review: Max Steck. Ein unbekannter Brief von Gottlob Frege uber Hilberts erste Vorlesung uber die Grundlagen der Geometrie. Sitzungsberichte der Heidelberger Akademie der Wissenschaften, Math.-naturw. Klasse 1940, no. 6 (1940), 8 pp. In: Journal of Symbolic Logic 7 (2), pp. 92–93.
Church, A. (1944). Introduction to Mathematical Logic. Princeton University Press and Oxford University Press.
Findlay, J. N. (July 1942). Goedelian Sentences: A Non-Numerical Approach. In: Mind 51 (203), pp. 259–265.
Gentzen, G. (1932). Uber die Existenz unabhangiger Axiomensysteme zu unendlichen Satzsystemen. In: Mathematische Annalen 107 (2), pp. 329–350. English translation in Gentzen (1969).
– (1969). Collected Papers of Gerhard Gentzen. Ed. by M. E. Szabo. Amsterdam: North-Holland.
Glivenko, V. I. (1928). Sur la logique de M. Brouwer. In: Academie Royale de Belgique, Bulletin de la classe des sciences 14, pp. 225–228.
– (1929). Sur quelques points de la logique de M. Brouwer. In: Academie Royale de Belgique, Bulletin de la classe des sciences 15 (5), pp. 183–188. English translation in Mancosu (1998), pp. 301–305).
– (1936). Geometrie des systemes de choses normees. In: American Journal of Mathematics 58 (4), pp. 799–828.
Godel, K. (2003). Collected Works. Volume IV. Selected Correspondence A–G. Ed. by S. Feferman, J. W. Dawson Jr., W. Goldfarb, C. Parsons, and W. Sieg. Oxford: Clarendon Press.
Hertz, P. (1928). Reichen die ublichen syllogistischen Regeln fur das Schliesen in der positiven Logik elementarer Satze aus? In: Annalen der Philosophie 7, pp. 272–277.
– (1929a). Uber Axiomensystemebeliebiger Satzsysteme. In: Annalen der Philosophie 8, pp. 178–204.
Hertz, P. (1929b). Uber Axiomensysteme fur beliebige Satzsysteme. In: Mathematische Annalen 101, pp. 457–514.
– (1935). Uber das Wesen der Logik und der logischenUrteilsformen. In: Abhandlungen der Fries’schen Schule 6, pp. 225–272.
Hilbert, D. and P. Bernays (1934). Grundlagen der Mathematik. Vol. 1. Berlin: Springer.
– (1939). Grundlagen der Mathematik. Vol. 2. Berlin: Springer.
Jaskowski, S. (1934). On the Rules of Suppositions in Formal Logic. In: Studia Logica 1, pp. 5–32.
Lauener, H. (1978). Paul Bernays (1888–1977). In: Zeitschrift fur allgemeine Wissenschaftstheorie 9, pp. 13–20.
Mancosu, P. (1998). From Brouwer to Hilbert. The Debate on the Foundations of Mathematics in the 1920s. Oxford University Press.
Menzler-Trott, E. (2001). Gentzens Problem: Mathematische Logik im nationalsozialistischen Deutschland. Birkhauser, Basel.
– (2007). Logic’s Lost Genius: The Life of Gerhard Gentzen. American Mathematical Society & London Mathematical Society.
Popper, K. R. (1955c). Two Autonomous Axiom Systems for the Calculus of Probabilities. In: The British Journal for the Philosophy of Science 6 (21), pp. 51–57.
– (1959c). The Propensity Interpretation of Probability. In: The British Journal for the Philosophy of Science 10 (37), pp. 25–42.
– (1974a). Bemerkungen zu Roehles Arbeit und zur Axiomatik. In: Conceptus 8 (24), pp. 53–56.
Tarski, A. (1930b). Uber einige fundamentale Begriffe der Metamathematik. In: Comptes rendus des Seances de la Societe des Sciences et des Lettes de Varsovie, Classe III. Vol. 23, pp. 22–29. English translation in Tarski (1956).
– (1956). Logic, Semantics, Metamathematics: Papers from 1923 to 1938. Translated by J. H. Woodger. Oxford: Clarendon Press.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License (http://creativecommons.org/licenses/by-nc-nd/4.0/), which permits any noncommercial use, sharing, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if you modified the licensed material. You do not have permission under this license to share adapted material derived from this chapter or parts of it.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.
Copyright information
© 2022 The Author(s)
About this chapter
Cite this chapter
Binder, D., Piecha, T., Schroeder-Heister, P. (2022). Popper’s Correspondence with Paul Bernays. In: Binder, D., Piecha, T., Schroeder-Heister, P. (eds) The Logical Writings of Karl Popper. Trends in Logic, vol 58. Springer, Cham. https://doi.org/10.1007/978-3-030-94926-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-030-94926-6_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-94925-9
Online ISBN: 978-3-030-94926-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)