Gödel’s notre dame course

Bulletin of Symbolic Logic 22 (4):469-481 (2016)
  Copy   BIBTEX

Abstract

This is a companion to a paper by the authors entitled “Gödel’s natural deduction,” which presented and made comments about the natural deduction system in Gödel’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ödel and general proof theory, one can find a brief summary of Gödel’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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 90,616

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Gödel's Introduction to Logic in 1939.P. Cassou-Nogues - 2009 - History and Philosophy of Logic 30 (1):69-90.
The Gödel-Herbrand theorems.Richard L. Call - 1972 - Notre Dame Journal of Formal Logic 13 (1):131-134.
The Gödel theorem.Norwood Russell Hanson - 1961 - Notre Dame Journal of Formal Logic 2 (2):94-110.
A note on the Gödel theorem.Norwood Russell Hanson - 1961 - Notre Dame Journal of Formal Logic 2:228.
An intuitionistic Sheffer function.Kosta Došen - 1985 - Notre Dame Journal of Formal Logic 26 (4):479-482.
Gödel's proof and the liar paradox.Jill Humphries - 1979 - Notre Dame Journal of Formal Logic 20 (3):535-544.
Book review: Gödel, "Collected Works, Volume II". [REVIEW]G. Kreisel - 1990 - Notre Dame Journal of Formal Logic 31:602-642.
Logical constants as punctuation marks.Kosta Došen - 1989 - Notre Dame Journal of Formal Logic 30 (3):362-381.
On Gödel's proof that $V=L$ implies the generalized continuum hypothesis.Raouf Doss - 1963 - Notre Dame Journal of Formal Logic 4 (4):283-287.
A note on the law of identity and the converse Parry property.Kosta Došen - 1978 - Notre Dame Journal of Formal Logic 19 (1):174-176.

Analytics

Added to PP
2017-04-24

Downloads
47 (#298,872)

6 months
4 (#319,344)

Historical graph of downloads
How can I increase my downloads?