Gödel's natural deduction

DOI10.1007/S11225-017-9744-XMaRDI QIDQ1744008zbMATH OpenOpenAlexFDO

Authors Kosta Došen, Miloš Adžić

Publication date 16 April 2018

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1604.03078

zbMATH Keywords

deductiongeneral proof theorynatural deductionpropositional logicsequent

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Philosophical and critical aspects of logic and foundations (03A05) Proof theory in general (including proof-theoretic semantics) (03F03)

Abstract: This is a companion to a paper by the authors entitled "G"odel on deduction", which examined the links between some philosophical views ascribed to G"odel and general proof theory. When writing that other paper, the authors were not acquainted with a system of natural deduction that G"odel presented with the help of Gentzen's sequents, which amounts to Ja'skowski's natural deduction system of 1934, and which may be found in G"odel'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" odel 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"odel's Notre Dame course, and is followed by comments concerning G"odel's natural deduction system.

Recommendations

• Gödel's Notre Dame course
• Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction
• Logic lectures. Gödel's basic logic course at Notre Dame
• Gödel's Introduction to Logic in 1939
• Stanisław Jaśkowski and Natural Deduction Systems

Cites work

• A prologue to the theory of deduction
• A survey of nonstandard sequent calculi
• Cut elimination in categories
• Future Tasks for Gödel Scholars
• Gödel on deduction
• Gödel's Introduction to Logic in 1939
• Gödel's Notre Dame course
• scientific article; zbMATH DE number 3122413 (Why is no real title available?)
• scientific article; zbMATH DE number 3009954 (Why is no real title available?)
• scientific article; zbMATH DE number 785421 (Why is no real title available?)
• scientific article; zbMATH DE number 3275554 (Why is no real title available?)
• scientific article; zbMATH DE number 3333259 (Why is no real title available?)
• Inferential Semantics
• Introduction to mathematical logic
• Logic: a history of its central concepts
• Natural deduction, hybrid systems and modal logics
• On sets of premises
• On the Paths of Categories
• Proof-theoretical coherence

Cited in

(9)

• Gödel on deduction
• Gödel's Introduction to Logic in 1939
• Kurt Gödel's first steps in logic: formal proofs in arithmetic and set theory through a system of natural deduction
• Gödel’s Disjunction
• Logic lectures. Gödel's basic logic course at Notre Dame
• Gödel's Notre Dame course
• Deduction at the crossroads
• Gödel's introduction to deduction
• Natural deduction and Curry's paradox

This page was built for publication: Gödel's natural deduction

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1744008)