Modern Czech Logic within the Philosophy of Mathematics
Public support
Provider
Czech Science Foundation
Programme
Standard projects
Call for proposals
SGA0202500001
Main participants
Ústav informatiky AV ČR, v. v. i.
Contest type
VS - Public tender
Contract ID
25-16489S
Alternative language
Project name in Czech
Moderní česká logika ve filozofii matematiky
Annotation in Czech
Rieger, Vopěnka a Hájek jsou průkopníky české formální logiky. Jejich průlomové práce přibližně pokrývají druhou polovinu dvacátého století. Vopěnka a Hájek prosazovali nové axiomatické teorie aspirující na roli základů matematiky. Tento projekt si klade za cíl prozkoumat jejich práce z perspektivy současného pluralistického postoje ve filozofii matematiky, jehož jsou podle nás instancemi. Vopěnkův příspěvek k základům matematiky je podnětem pro kritické zhodnocení možnosti propojit tradici reprezentovanou Fregem, Dedekindem a Cantorem s fenomenologickou tradicí, k níž se Vopěnka hlásil pod nepřímým vlivem Patočky. Projekt se zaměří na několik klíčových oblastí, jako je množinově-teoretická ontologie nebo finitismus a pojem nekonečna. Jednotlivé práce budou důsledně vykládány v regionálních a historických kontextech.
Scientific branches
R&D category
ZV - Basic research
OECD FORD - main branch
60301 - Philosophy, History and Philosophy of science and technology
OECD FORD - secondary branch
—
OECD FORD - another secondary branch
—
CEP - equivalent branches <br>(according to the <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">converter</a>)
AA - Philosophy and religion
Solution timeline
Realization period - beginning
Jan 1, 2025
Realization period - end
Dec 31, 2027
Project status
Z - Beginning multi-year project
Latest support payment
—
Data delivery to CEP
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data delivery code
CEP25-GA0-GA-R
Data delivery date
Mar 27, 2025
Finance
Total approved costs
4,809 thou. CZK
Public financial support
4,710 thou. CZK
Other public sources
99 thou. CZK
Non public and foreign sources
0 thou. CZK