Godel on Deduction
Само за регистроване кориснике
2019
Чланак у часопису (Објављена верзија)
Метаподаци
Приказ свих података о документуАпстракт
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.
Кључне речи:
Set / Sequent / Proof-theoretic semantics / Intension / general) / General proof theory / Extension / Deduction / Concept / 03F03 (Proof theory / 03A05 (Philosophical and critical)Извор:
Studia Logica, 2019, 107, 1, 31-51Издавач:
- Springer, Dordrecht
Финансирање / пројекти:
- 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
Институција/група
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 . .