Russellian typing knowledge and Fitch's paradox of knowability

Autoři

RACLAVSKÝ Jiří

Rok publikování 2017
Druh Článek ve sborníku
Konference Aftermath of the Logical Paradise
Fakulta / Pracoviště MU

Filozofická fakulta

Citace
www http://www.cle.unicamp.br/index.php/cole%C3%A7%C3%A3o-cle-vol-81-aftermath-logical-paradise%C2%A0
Klíčová slova fitch's knowability paradox; ramified type theory; vicious circle principle
Přiložené soubory
Popis It is already known that Fitch's paradox of knowability can be solved by typing knowledge. I differentiate two kinds of such typing, Tarskian and Russellian, and focus on the latter which is framed within the ramified theory of types. My main aim is to other a defence of the approach against recently raised criticism. The key justification is provided by the Vicious Circle Principle which governs the very formation of propositions and thus also intensional operators, including the operator of knowledge.
Související projekty:

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