Godel on Deduction
Samo za registrovane korisnike
2019
Članak u časopisu (Objavljena verzija)
Metapodaci
Prikaz svih podataka o dokumentuApstrakt
This is an examination, a commentary, of links between some philosophical views ascribed to Godel 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 Godel seems to have taken as the main task of logic for the future.
Ključne reči:
Set / Sequent / Proof-theoretic semantics / Intension / general) / General proof theory / Extension / Deduction / Concept / 03F03 (Proof theory / 03A05 (Philosophical and critical)Izvor:
Studia Logica, 2019, 107, 1, 31-51Izdavač:
- Springer, Dordrecht
Finansiranje / projekti:
- Ministry of Education, Science and Technological Development of Serbia
- French National Research Agency (ANR) [ANR-09-BLAN-0313]
DOI: 10.1007/s11225-017-9774-4
ISSN: 0039-3215
WoS: 000458570100004
Scopus: 2-s2.0-85039054302
Institucija/grupa
Filozofija / PhilosophyTY - JOUR AU - Dosen, Kosta AU - Adžić, Miloš PY - 2019 UR - http://reff.f.bg.ac.rs/handle/123456789/2844 AB - This is an examination, a commentary, of links between some philosophical views ascribed to Godel 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 Godel seems to have taken as the main task of logic for the future. PB - Springer, Dordrecht T2 - Studia Logica T1 - Godel on Deduction EP - 51 IS - 1 SP - 31 VL - 107 DO - 10.1007/s11225-017-9774-4 ER -
@article{ author = "Dosen, Kosta and Adžić, Miloš", year = "2019", abstract = "This is an examination, a commentary, of links between some philosophical views ascribed to Godel 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 Godel seems to have taken as the main task of logic for the future.", publisher = "Springer, Dordrecht", journal = "Studia Logica", title = "Godel on Deduction", pages = "51-31", number = "1", volume = "107", doi = "10.1007/s11225-017-9774-4" }
Dosen, K.,& Adžić, M.. (2019). Godel on Deduction. in Studia Logica Springer, Dordrecht., 107(1), 31-51. https://doi.org/10.1007/s11225-017-9774-4
Dosen K, Adžić M. Godel on Deduction. in Studia Logica. 2019;107(1):31-51. doi:10.1007/s11225-017-9774-4 .
Dosen, Kosta, Adžić, Miloš, "Godel on Deduction" in Studia Logica, 107, no. 1 (2019):31-51, https://doi.org/10.1007/s11225-017-9774-4 . .