Russellian typing knowledge and Fitch's paradox of knowability
| Authors | |
|---|---|
| Year of publication | 2017 |
| Type | Article in Proceedings |
| Conference | Aftermath of the Logical Paradise |
| MU Faculty or unit | |
| 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: |