Odmítnutí mstivé formy Fitchova paradoxu pro Russellovské typování znalosti
| Autoři | |
|---|---|
| Rok publikování | 2013 |
| Druh | Konferenční abstrakty |
| Fakulta / Pracoviště MU | |
| 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: |