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 |