Gdel's Introduction to Logic in 1939

摘要

This article presents three extracts from the introductory course in mathematical logic that Gdel gave at the University of Notre Dame in 1939. The lectures include a few digressions, which give insight into Gdel's views on logic prior to his philosophical papers of the 1940s. The first extract is Gdel's first lecture. It gives the flavour of Gdel's leisurely style in this course. It also includes a curious definition of logic and a discussion of implication in logic and natural language. The second extract is a discussion on undecidability and on Leibniz. The third extract concerns the paradoxes and Russell's theory of types.