k 2019

Type Theory, Reducibility and Epistemic Paradoxes

RACLAVSKÝ, Jiří

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

Language

English

Type of outcome

Prezentace na konferencích

Field of Study

60301 Philosophy, History and Philosophy of science and technology

Country of publisher

Czech Republic

Confidentiality degree

není předmětem státního či obchodního tajemství

References:

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

Tags

International impact, Reviewed
Změněno: 21/3/2022 13:17, Mgr. et Mgr. Lucie Racyn

Abstract

V originále

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 project
Name: Hyperintenzionální význam, teorie typů a logická dedukce (Acronym: Hyperintensionality and Types)
Investor: Czech Science Foundation