Russellian typing knowledge and Fitch's paradox of knowability
| Autoři | |
|---|---|
| Rok publikování | 2017 |
| Druh | Článek ve sborníku |
| Konference | Aftermath of the Logical Paradise |
| Fakulta / Pracoviště MU | |
| 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: |