G\"odel's Notre Dame Course

TL;DR

This paper provides a detailed summary and commentary on G"odel's 1939 Notre Dame logic course notes, complementing previous work on his natural deduction system and philosophical views.

Contribution

It offers a comprehensive analysis and contextualization of G"odel's unpublished lecture notes, enriching understanding of his approach to elementary logic.

Findings

Detailed summary of G"odel's Notre Dame notes

Comments linking notes to G"odel's philosophical views

Contextualization within proof theory

Abstract

This is a companion to a paper by the authors entitled "G\"odel's natural deduction", which presented and made comments about the natural deduction system in G\"odel's unpublished notes for the elementary logic course he gave at the University of Notre Dame in 1939. In that earlier paper, which was itself a companion to a paper that examined the links between some philosophical views ascribed to G\"odel and general proof theory, one can find a brief summary of G\"odel's notes for the Notre Dame course. In order to put the earlier paper in proper perspective, a more complete summary of these interesting notes, with comments concerning them, is given here.