Resumen de The Knowability Argument and the Syntactic Type-Theoretic Approach
Recientemente, ha habido intentos por resolver la Paradoja de la Cognoscibilidad y otras paradojas modales por medio de la adopción de un enfoque de tipos en el cual las nociones de conocimiento y necesidad se representan utilizando predicados tipeados. El principal problema con esta propuesta es que cuando estas nociones son tratadas simultáneamente como predicados, una nueva clase de paradoja aparece. En este artículo sostengo que evitar esta paradoja debilitando el Principio de Cognoscibilidad o introduciendo tipos para ambos predicados no es una solución atractiva. También considero una propuesta alternativa, la de utilizar el predicado veritativo para emular las nociones de necesidad, conocimiento y otras nociones modales. Resulta que esta última idea funciona mucho mejor.
