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 | Abstract: | 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
SCOPUSTM
Citations
3
checked on Dec 20, 2024
Page view(s)
24
checked on Dec 22, 2024
Google ScholarTM
Check
Altmetric
Altmetric
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.