Moderní česká logika ve filozofii matematiky

Poskytovatel

Grantová agentura České republiky

Program

Standardní projekty

Veřejná soutěž

SGA0202500001

Hlavní účastníci

Ústav informatiky AV ČR, v. v. i.

Druh soutěže

VS - Veřejná soutěž

Číslo smlouvy

25-16489S

Název projektu anglicky

Modern Czech Logic within the Philosophy of Mathematics

Anotace anglicky

Rieger, Vopěnka, and Hájek are pioneering figures in Czech formal logic. Their paradigm-shifting works span roughly the second half of the twentieth century. Vopěnka and Hájek promoted new axiomatic theories with foundational ambitions. This project targets the examination of the body of their work from the present-day, pluralist position in the philosophy of mathematics, which we claim they instantiate. Vopěnka's contribution to foundations of mathematics is an opportunity to critically assess the possibility of combining the tradition represented by Frege, Dedekind and Cantor and the phenomenological tradition to which Vopěnka made claims under an indirect influence of Patočka. The project will focus on several key areas such as set-theoretic ontology or finitism and the notion of infinity. Individual works will be consistently explicated within regional and historical contexts.

Kategorie VaV

ZV - Základní výzkum

OECD FORD - hlavní obor

60301 - Philosophy, History and Philosophy of science and technology

OECD FORD - vedlejší obor

—

OECD FORD - další vedlejší obor

—

CEP - odpovídající obory <br>(dle <a href="http://www.vyzkum.cz/storage/att/E6EF7938F0E854BAE520AC119FB22E8D/Prevodnik_oboru_Frascati.pdf">převodníku</a>)

AA - Filosofie a náboženství

Zahájení řešení

1. 1. 2025

Ukončení řešení

31. 12. 2027

Poslední stav řešení

Z - Začínající víceletý projekt

Poslední uvolnění podpory

—

Důvěrnost údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Systémové označení dodávky dat

CEP25-GA0-GA-R

Datum dodání záznamu

27. 3. 2025

Celkové uznané náklady

4 809 tis. Kč

Výše podpory ze státního rozpočtu

4 710 tis. Kč

Ostatní veřejné zdroje financování

99 tis. Kč

Neveřejné tuz. a zahr. zdroje finan.

0 tis. Kč