The Knowability Argument and the syntactic type-theoretic approach

Abstract

Recently, there have been some attempts 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 predicates, a new kind of paradox appears. I claim that avoiding this paradox either by weakening the Knowability Principle or by introducing types for both predicates is rather messy and unattractive. I also consider the prospect of using the truth predicate to emulate necessity, knowledge and other modal notions. It turns out that this idea works much better.

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.