Authors: Došen, Kosta 
Adžić, Miloš
Title: Gödel’s Natural Deduction
Journal: Studia Logica
Volume: 106
Issue: 2
First page: 397
Last page: 415
Issue Date: 1-Apr-2018
Rank: M22
ISSN: 0039-3215
DOI: 10.1007/s11225-017-9744-x
This is a companion to a paper by the authors entitled “Gödel on deduction”, which examined the links between some philosophical views ascribed to Gödel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that Gödel presented with the help of Gentzen’s sequents, which amounts to Jaśkowski’s natural deduction system of 1934, and which may be found in Gödel’s unpublished notes for the elementary logic course he gave in 1939 at the University of Notre Dame. Here one finds a presentation of this system of Gödel accompanied by a brief reexamination in the light of the notes of some points concerning his interest in sequents made in the preceding paper. This is preceded by a brief summary of Gödel’s Notre Dame course, and is followed by comments concerning Gödel’s natural deduction system.
Keywords: Deduction | General proof theory | Natural deduction | Propositional logic | Sequent
Publisher: Springer Link

Show full item record


checked on Jul 20, 2024

Page view(s)

checked on May 9, 2024

Google ScholarTM




Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.