Godel's Natural Deduction
Само за регистроване кориснике
2018
Чланак у часопису (Објављена верзија)
Метаподаци
Приказ свих података о документуАпстракт
This is a companion to a paper by the authors entitled "Godel on deduction", which examined the links between some philosophical views ascribed to Godel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that Godel presented with the help of Gentzen's sequents, which amounts to JaA gt kowski's natural deduction system of 1934, and which may be found in Godel'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 Godel 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 Godel's Notre Dame course, and is followed by comments concerning Godel's natural deduction system.
Кључне речи:
Sequent / Propositional logic / Natural deduction / General proof theory / DeductionИзвор:
Studia Logica, 2018, 106, 2, 397-415Издавач:
- Springer, Dordrecht
Финансирање / пројекти:
- Ministry of Education, Science and Technological Development of Serbia
- Alexander von Humboldt FoundationAlexander von Humboldt Foundation
- French National Research Agency (ANR) [ANR-09-BLAN-0313]
DOI: 10.1007/s11225-017-9744-x
ISSN: 0039-3215
WoS: 000427908400008
Scopus: 2-s2.0-85027867828
Институција/група
Filozofija / PhilosophyTY - JOUR AU - Dosen, Kosta AU - Adžić, Miloš PY - 2018 UR - http://reff.f.bg.ac.rs/handle/123456789/2644 AB - This is a companion to a paper by the authors entitled "Godel on deduction", which examined the links between some philosophical views ascribed to Godel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that Godel presented with the help of Gentzen's sequents, which amounts to JaA gt kowski's natural deduction system of 1934, and which may be found in Godel'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 Godel 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 Godel's Notre Dame course, and is followed by comments concerning Godel's natural deduction system. PB - Springer, Dordrecht T2 - Studia Logica T1 - Godel's Natural Deduction EP - 415 IS - 2 SP - 397 VL - 106 DO - 10.1007/s11225-017-9744-x ER -
@article{ author = "Dosen, Kosta and Adžić, Miloš", year = "2018", abstract = "This is a companion to a paper by the authors entitled "Godel on deduction", which examined the links between some philosophical views ascribed to Godel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that Godel presented with the help of Gentzen's sequents, which amounts to JaA gt kowski's natural deduction system of 1934, and which may be found in Godel'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 Godel 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 Godel's Notre Dame course, and is followed by comments concerning Godel's natural deduction system.", publisher = "Springer, Dordrecht", journal = "Studia Logica", title = "Godel's Natural Deduction", pages = "415-397", number = "2", volume = "106", doi = "10.1007/s11225-017-9744-x" }
Dosen, K.,& Adžić, M.. (2018). Godel's Natural Deduction. in Studia Logica Springer, Dordrecht., 106(2), 397-415. https://doi.org/10.1007/s11225-017-9744-x
Dosen K, Adžić M. Godel's Natural Deduction. in Studia Logica. 2018;106(2):397-415. doi:10.1007/s11225-017-9744-x .
Dosen, Kosta, Adžić, Miloš, "Godel's Natural Deduction" in Studia Logica, 106, no. 2 (2018):397-415, https://doi.org/10.1007/s11225-017-9744-x . .