Russellian typing knowledge and Fitch's paradox of knowability

Authors

RACLAVSKÝ Jiří

Year of publication 2017
Type Article in Proceedings
Conference Aftermath of the Logical Paradise
MU Faculty or unit

Faculty of Arts

Citation
Web http://www.cle.unicamp.br/index.php/cole%C3%A7%C3%A3o-cle-vol-81-aftermath-logical-paradise%C2%A0
Keywords fitch's knowability paradox; ramified type theory; vicious circle principle
Attached files
Description 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.
Related projects: