k 2019

Limitation of logical space puts restrictions on the explication of the notions of knowledge, belief, necessity and truth

RACLAVSKÝ, Jiří

Základní údaje

Originální název

Limitation of logical space puts restrictions on the explication of the notions of knowledge, belief, necessity and truth

Autoři

RACLAVSKÝ, Jiří (203 Česká republika, garant, domácí)

Vydání

Studia Logica - Trends in Logic 19, Moscow, Russia, 2.-4. 10. 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

Rusko

Utajení

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

Odkazy

Kód RIV

RIV/00216224:14210/19:00118736

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

logical space; higher-order modal logic; paradoxes about propositions; kaplan's paradoxr paradox

Štítky

Příznaky

Mezinárodní význam, Recenzováno
Změněno: 21. 3. 2022 13:16, Mgr. et Mgr. Lucie Racyn

Anotace

V originále

I demonstrate that (i) the limitation of logical space (entailed by Cantor's theorem) imposes (ii) limits to the explication of certain important 'propositional' ('intentional') notions, e.g. knowledge. A naive approach to the limitations of both types leads to a group of famous paradoxes, e.g. the Liar Paradox, the Knower paradox. I establish some theorems related to (i) and (ii), partly utilising the paradoxes. They demonstrate similarities and also dissimilarities between the notions of knowledge, necessity, truth, belief and assertion. Unlike Montague, who treated the notions as predicates applied to coding numbers of formulas, I treat them as applied to hyperintensional, fine-grained meanings of sentences. The logical framework employed is a ramified version of (a Church-like) simple theory of types.

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