The Knowability Argument and the Syntactic Type-Theoretic Approach
<p>Some attempts have been made to block the Knowability Paradox and other modal paradoxes by adopting a type-theoretic framework in which knowledge and necessity are regarded as typed predicates. The main problem with this approach is that when these notions are simultaneously treated as pred...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
University of the Basque Country
2014-06-01
|
| Series: | THEORIA : an International Journal for Theory, History and Fundations of Science |
| Subjects: | |
| Online Access: | http://www.ehu.es/ojs/index.php/THEORIA/article/view/7225 |