Skip to main content
padlock icon - secure page this page is secure

Godel's Introduction to Logic in 1939

Buy Article:

$54.00 + tax (Refund Policy)

This article presents three extracts from the introductory course in mathematical logic that Godel gave at the University of Notre Dame in 1939. The lectures include a few digressions, which give insight into Godel's views on logic prior to his philosophical papers of the 1940s. The first extract is Godel's first lecture. It gives the flavour of Godel'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.
No Reference information available - sign in for access.
No Citation information available - sign in for access.
No Supplementary Data.
No Article Media
No Metrics

Document Type: Research Article

Affiliations: UMR STL, CNRS, University Lille III, Villeneuve d'Ascq, France

Publication date: February 1, 2009

More about this publication?
  • Access Key
  • Free content
  • Partial Free content
  • New content
  • Open access content
  • Partial Open access content
  • Subscribed content
  • Partial Subscribed content
  • Free trial content
Cookie Policy
Cookie Policy
Ingenta Connect website makes use of cookies so as to keep track of data that you have filled in. I am Happy with this Find out more