Type Theory, Reducibility and Epistemic Paradoxes

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.

Základní údaje

Originální název

Type Theory, Reducibility and Epistemic Paradoxes

Autoři

RACLAVSKÝ, Jiří

Vydání

16th INTERNATIONAL CONGRESS ON LOGIC, METHODOLOGY AND PHILOSOPHY OF SCIENCE AND TECHNOLOGY, PRAGUE, 5.–10. 8. 2019, 2019

---

Další údaje

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í

Odkazy

URL

Označené pro přenos do RIV

Ano

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

---

Anotace

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.

---

Návaznosti

GA19-12420S, projekt VaV

Ná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