Mstivá forma Fitchova paradoxu a její odmítnutí v rámci typování znalosti

Autoři

RACLAVSKÝ Jiří

Rok publikování 2014
Druh Článek v odborném periodiku
Časopis / Zdroj Organon F : international journal of analytic philosophy
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
www http://www.klemens.sav.sk/fiusav/organon/organon_supplement_counter.php?year=2014&number=1&pages=138-154
Obor Filosofie a náboženství
Klíčová slova Fitch’s knowability paradox; revenge; Russellian typing knowledge; ramified hierarchy of types; quantification over types; Russell; Tichý; Church
Popis Typování znalosti je schopno zabránit slavnému Fitchově paradox poznatelnosti. Jak jsem argumentoval již jinde, Russellovské typování znalosti je imunní vůči nedávno vznesené kritice. Tento text se soustřeďuje na speciální formu této kritiky, jež se opírá o sestavení mstivé formy paradoxu pro daný přístup. Tyto mstivé formy byly sestaveny Williamsonem, Hartem a Carrarou s Fassiem. Je v nich zakomponována idea kvantifikace přes typové úrovně. což připomíná někdejší Gödelovu kritiku Russellovy rozvětvené teorie typů. Z hlediska zastánce typového přístupu jsou ale příslušné klíčové formule ambivalentní. Odhalil jsem následně šest jejich možných výkladů. Část z nich ovšem přímočaře odporuje základním principům typování. Zbylé pak zahrnují předpoklad, že znalost propozice na jedné úrovni implikuje její znalost na vyšší úrovni, což však lze v souladu s typovým přístupem vyvrátit. Tudíž mstivý návrat paradoxu se nekoná.
Související projekty:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.