Abstract
This is a companion to a paper entitled “Gödel on deduction”, which examined the links between some philosophical views ascribed to Gödel and general proof theory. When writing that other paper, the authors were not acquainted with the contents of Gödel’s unpublished notes for the elementary logic course he gave in 1939 at the University of Notre Dame. Here one finds brief indications of the background leading up to that course, which is followed by some comments on selected issues we treated in the previous paper.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Adžić, M., & Došen, K. (2016). Gödel’s Notre Dame course. The Bulletin of Symbolic Logic, 22, 469–481.
Awodey, S., & Carus, A. W. (2010). Gödel and Carnap. In S. Feferman et al. (Eds.), Kurt Gödel: Essays for his centennial (pp. 252–274). Cambridge University Press.
Bernays, P. (1926). Axiomatische Untersuchung des Aussagen-Kalküls der ‘Principia Mathematica’. Mathematische Zeitschrift, 25, 305–320.
Crocco, G. (2012). Gödel, Leibniz and “Russell’s mathematical logic”. In R. Krömer, et al. (Eds.), New essays on Leibniz reception (pp. 217–256). Springer.
Dawson, J. W., Jr. (1997). Logical dilemmas: The life and work of Kurt Gödel. Peters.
Dawson, J. W., Jr. (1998). Logical contributions to the Menger colloquium. In E. Dierker, & K. Sigmund (Eds.), Karl Menger, Ergebnisse eines Matematischen Kolloquiums (pp. 33–42). Springer.
Dawson, J. W., Jr. (Online) Kurt Gödel at Notre Dame. Logic at Notre Dame (pp. 4–10). Available at: https://math.nd.edu/assets/13975/logicatndweb.pdf.
Došen, K., & Adžić, M. (2018). Gödel’s natural deduction. Studia Logica, 106, 397–415.
Došen, K., & Adžić, M. (2019). Gödel on deduction. Studia Logica, 107, 31–51.
Goldfarb, W. (2005). On Gödel’s way in: The influence of Rudolf Carnap. Bulletin of Symbolic Logic, 11, 185–193.
Gödel, K. (1986). In S. Feferman, et al. (Eds.), Collected works: Publications 1938–1974 (Vol. I). Oxford University Press.
Gödel, K. (1990). In S. Feferman, et al. (Eds.), Collected works: Publications 1938–1974 (Vol II). Oxford University Press.
Gödel, K. (1995). In S. Feferman, et al. (Eds.), Collected works: Unpublished essays and lectures (Vol. III). Oxford University Press.
Gödel, K. (2003). In S. Feferman, et al. (Eds.), Collected works: Correspondence A-G (Vol. IV). Oxford University Press.
Gödel, K. (2003). Collected works: Correspondence H-Z (Vol. V). Oxford University Press.
Gödel, K. (2017). In In K. Došen, & M. Adžić (Eds.), Logic lectures: Gödel’s basic logic course at Notre Dame. Logical Society.
Hilbert, D. (2013). In W. Ewald, & W. Sieg (Eds.), David Hilbert’s lectures on the foundations of arithmetic and logic 1917–1933. Springer.
Hilbert, D., & Ackermann, W. (1928). Grundzüge der theoretischen Logik. Springer. English translation: Principles of theoretical logic. Chelsea, New York, 1950.
Menger, K. (1994). In L. Golland, et al. (Eds.), Reminiscences of the Vienna circle and the mathematical colloquium. Springer.
Parsons, C. (1995). Platonism and mathematical intuition in Kurt Gödel’s thought. The Bulletin of Symbolic Logic, 1, 44–74.
Skolem, T. (1920). Logisch-kombinatorische Untersuchungen über die Erfüllbarkeit oder Beweisbarkeit mathematischer Sätze nebst einem Theoreme über dichte Mengen. Skrifter utgit av Videnskapsselskapet i Kristiania, I. Matematisk-naturvidenskabelig klasse, 4, 1–36.
Skolem, T. (1923). Einige Bemerkungen zur axiomatischen Begründung der Mengenlehre. Matematikerkongressen i Helsingfors den 4–7 juli 1922, Den femte skandinaviska matematikerkongressen, Redogörelse (pp. 217–232). Akademiska Bokhandeln.
Taussky-Todd, O. (1987). Remembrances of Kurt Gödel. In P. Weingartner, & L. Schmetterer (Eds.), Gödel Remembered (pp. 29–41). Bibliopolis.
van Dalen, D. (2003). Commentary on Menger and intuitionism. In B. Schweizer, et al. (Eds.), Karl Menger, Selacta Mathematica (Vol. 2, pp. 3–8). Springer.
von Plato, J. (2018). Kurt Gödel’s first steps in logic: Formal proofs in arithmetic and set theory through a system of natural deduction. Bulletin of Symbolic Logic, 24, 319–335.
von Plato, J. (2020). Can mathematics be proved consistent? Gödel’s shorthand notes & lectures on incompleteness. Springer.
Wang, H. (1987). Reflections on Kurt Gödel. MIT Press.
Whitehead, A. N., & Russell, B. (1910). Principia mathematica (Vol. I). Cambridge University Press.
Acknowledgements
We would like to express our gratitude to anonymous reviewers for their valuable comments. Work on this paper was supported by the Ministry of Education, Science and Technological Development of Serbia under contract number 451-03-68/2022-14/200163.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2024 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this chapter
Cite this chapter
Adžić, M. (2024). Gödel’s Introduction to Deduction. In: Piccolomini d'Aragona, A. (eds) Perspectives on Deduction: Contemporary Studies in the Philosophy, History and Formal Theories of Deduction. Synthese Library, vol 481. Springer, Cham. https://doi.org/10.1007/978-3-031-51406-7_13
Download citation
DOI: https://doi.org/10.1007/978-3-031-51406-7_13
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-51405-0
Online ISBN: 978-3-031-51406-7
eBook Packages: Religion and PhilosophyPhilosophy and Religion (R0)