Authors: Došen, Kosta 
Adžić, Miloš
Title: Gödel on Deduction
Journal: Studia Logica
Volume: 107
Issue: 1
First page: 31
Last page: 51
Issue Date: 15-Feb-2019
Rank: M22
ISSN: 0039-3215
DOI: 10.1007/s11225-017-9774-4
Abstract: 
This is an examination, a commentary, of links between some philosophical views ascribed to Gödel and general proof theory. In these views deduction is of central concern not only in predicate logic, but in set theory too, understood from an infinitistic ideal perspective. It is inquired whether this centrality of deduction could also be kept in the intensional logic of concepts whose building Gödel seems to have taken as the main task of logic for the future.
Keywords: Concept | Deduction | Extension | General proof theory | Intension | Proof-theoretic semantics | Sequent | Set
Publisher: Springer Link

Show full item record

SCOPUSTM   
Citations

4
checked on Jul 20, 2024

Page view(s)

48
checked on May 9, 2024

Google ScholarTM

Check

Altmetric

Altmetric


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