Gödel’s notre dame course

Bulletin of Symbolic Logic 22 (4):469-481 (2016)
Authors
Kosta Došen
University of Belgrade
Miloš Adžić
University of Belgrade
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1017/bsl.2016.36
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 35,865
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Adjointness in Foundations.F. William Lawvere - 1969 - Dialectica 23 (3‐4):281-296.
A Propositional Calculus with Denumerable Matrix.Michael Dummett - 1959 - Journal of Symbolic Logic 24 (2):97-106.
Gödel's Introduction to Logic in 1939.P. Cassou-Nogues - 2009 - History and Philosophy of Logic 30 (1):69-90.
On the Interpretation of Aristotelian Syllogistic.J. C. Shepherdson - 1956 - Journal of Symbolic Logic 21 (2):137-147.

Add more references

Citations of this work BETA

Add more citations

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.
A Note on on the Gödel Theorem.Norwood Russell Hanson - 1961 - Notre Dame Journal of Formal Logic 2 (4):228-228.
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.

Analytics

Added to PP index
2017-04-24

Total downloads
15 ( #394,795 of 2,293,801 )

Recent downloads (6 months)
1 ( #410,358 of 2,293,801 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature