Externí odkazy

Moderní česká logika ve filozofii matematiky

Standardní projekty - GAČR GA25-16489S [Registrované výsledky] 2025 - 2027

Hlavní řešitel: RNDr. Zuzana Haniková, Ph.D.

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.

Komplexním cílem projektu je expozice, zhodnocení a rozvíjení konkrétních témat ve filozofii matematiky, zastoupených v moderní české logice, se zaměřením na práci Vopěnky, Riegera a Hájka. Mapování přenosu mezi relevantními badateli, v Česku a v zahraničí.