RACLAVSKÝ, Jiří. Type Theory, Reducibility and Epistemic Paradoxes. In 16th INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY, PRAGUE, 5.–10. 8. 2019. 2019.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Type Theory, Reducibility and Epistemic Paradoxes
Autoři RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí).
Vydání 16th INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY, PRAGUE, 5.–10. 8. 2019, 2019.
Další údaje
Originální jazyk angličtina
Typ výsledku Prezentace na konferencích
Obor 60301 Philosophy, History and Philosophy of science and technology
Stát vydavatele Česká republika
Utajení není předmětem státního či obchodního tajemství
WWW URL
Kód RIV RIV/00216224:14210/19:00118737
Organizační jednotka Filozofická fakulta
Klíčová slova anglicky Church-Fitch paradox of knowability; ramified type theory; reducibility; paradoxes; epistemic logic; higher-order logic
Štítky rivok
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnila: Mgr. et Mgr. Lucie Tomaňová, učo 445546. Změněno: 21. 3. 2022 13:17.
Anotace
The talk continutes in investigation of the capability of type theory (a higher-order epistemic modal logic) to solve epistemic paradoxes. I demonstrate that an assumption of reducibility principle leads to a restoration of Church-Fitch's paradox of knowability.
Návaznosti
GA19-12420S, projekt VaVNázev: Hyperintenzionální význam, teorie typů a logická dedukce (Akronym: Hyperintensionality and Types)
Investor: Grantová agentura ČR, Hyperintensional meaning, type theory and logical deduction
VytisknoutZobrazeno: 27. 4. 2024 07:08