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.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Type Theory, Reducibility and Epistemic Paradoxes
Authors RACLAVSKÝ, Jiří (203 Czech Republic, guarantor, belonging to the institution).
Edition 16th INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY, PRAGUE, 5.–10. 8. 2019, 2019.
Other information
Original language English
Type of outcome Presentations at conferences
Field of Study 60301 Philosophy, History and Philosophy of science and technology
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
WWW URL
RIV identification code RIV/00216224:14210/19:00118737
Organization unit Faculty of Arts
Keywords in English Church-Fitch paradox of knowability; ramified type theory; reducibility; paradoxes; epistemic logic; higher-order logic
Tags rivok
Tags International impact, Reviewed
Changed by Changed by: Mgr. et Mgr. Lucie Racyn, učo 445546. Changed: 21/3/2022 13:17.
Abstract
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.
Links
GA19-12420S, research and development projectName: Hyperintenzionální význam, teorie typů a logická dedukce (Acronym: Hyperintensionality and Types)
Investor: Czech Science Foundation
PrintDisplayed: 9/10/2024 06:36