Mstivá forma Fitchova paradoxu poznatelnosti

RACLAVSKÝ, Jiří. Mstivá forma Fitchova paradoxu poznatelnosti. In workshop Logic Café Brno 2014 (Brno). 2014.

Základní údaje

Originální název

Mstivá forma Fitchova paradoxu poznatelnosti

Název anglicky

A Revenge Form of Fitch's Knowability Paradox

Autoři

RACLAVSKÝ, Jiří

Vydání

workshop Logic Café Brno 2014 (Brno), 2014

---

Další údaje

Jazyk

čeština

Typ výsledku

Prezentace na konferencích

Obor

60300 6.3 Philosophy, Ethics and Religion

Stát vydavatele

Česká republika

Utajení

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

Organizační jednotka

Filozofická fakulta

Klíčová slova anglicky

Fitch's knowability paradox; type theory; typing knowledge; revenge

---

Anotace

V originále

V přednášce analyzuji mstivou formu Fitchova paradoxu, kterou navrhli Williamson a Hart jakožto atak vůči řešení daného paradoxu pomocí russellovského typování znalosti. Při desambiguaci jimi užité notace navrhuji několik korektních druhů kvantifikace přes ‚typové úrovně‘ (tj. typy nebo řády). Vždy se ale ukáže, že paradoxní odvození je typováním stále úspěšně blokováno.

Anglicky

I analyze the revenge form of Fitch's paradox, which was suggested by Williamson and Hart as an attack on the solution of Fitch's paradox by Russellian typing knowledge. Wnen disambuigating their notation I suggest the proper method of quantification over types/order. I will then show that the reduction of the revenge argument is blocked on any reading.

---

Návaznosti

CZ.1.07/2.2.00/28.0216, interní kód MU

Název: Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia (Akronym: logika-ramec-rozvoje) Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Logika: systémový rámec rozvoje oboru v ČR a koncepce logických propedeutik pro mezioborová studia, 2.2 Vysokoškolské vzdělávání