Informace o publikaci

Odmítnutí mstivé formy Fitchova paradoxu pro Russellovské typování znalosti

Autoři

RACLAVSKÝ Jiří

Rok publikování 2013
Druh Konferenční abstrakty
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
Popis Russellovské typování znalosti je s to řešit Fitchův paradox poznatelnosti, a přitom je imunní vůči nedávno vznesené kritice. Existuje ale speciální druh kritiky, jenž využívá mstivé formy paradoxu, a ten je předmětem mé přednášky. Mstivé formy Fitchova paradoxu pro typový přístup byly navrženy Williamsonem, Hartem a Carrarou s Fassiem. Základní idea využívá kvantifikaci přes typové úrovně, jak bylo navrhováno už v Gödelem při kritice rozvětvené teorie typů. Z hlediska typového teoretika ale kritici uplatnili nejednoznačný formalismus. Navrhuji celkem šest čtení paradoxu, ale po každé se ukáže, že mstivý argument je platný jedině při závažném porušení pravidel typování. Neboli, kritika přístupu je neprůkazná.
Související projekty:

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

Další info