A Refutation of Revenge Form of Fitch's knowability paradox for Russellian Typing Knowledge
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14210%2F13%3A00069410" target="_blank" >RIV/00216224:14210/13:00069410 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Odmítnutí mstivé formy Fitchova paradoxu pro Russellovské typování znalosti
Original language description
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 Fitchovaparadoxu 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á.
Czech name
Odmítnutí mstivé formy Fitchova paradoxu pro Russellovské typování znalosti
Czech description
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 Fitchovaparadoxu 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á.
Classification
Type
O - Miscellaneous
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
—
Continuities
S - Specificky vyzkum na vysokych skolach
Others
Publication year
2013
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů