La paradoja de la cognoscibilidad de Fitch es uno de los enigmas fundamentales de la lógica epistémica . Brinda un desafío a la tesis de la cognoscibilidad , que establece que toda verdad es, en principio, cognoscible. La paradoja es que esta suposición implica el principio de omnisciencia , que afirma que se conoce toda verdad. Esencialmente, la paradoja de Fitch afirma que la existencia de una verdad desconocida es incognoscible. Entonces, si todas las verdades fueran cognoscibles, se seguiría que todas las verdades son de hecho conocidas.
La paradoja preocupa a las versiones verificacionistas o antirrealistas de la verdad, para las cuales la tesis de la cognoscibilidad es muy plausible, [1] pero el principio de omnisciencia es muy poco plausible.
La paradoja apareció como un teorema menor en un artículo de 1963 de Frederic Fitch , "Un análisis lógico de algunos conceptos de valor". Aparte de la tesis de la cognoscibilidad, su prueba solo hace suposiciones modestas sobre la naturaleza modal del conocimiento y de la posibilidad . También generalizó la demostración a diferentes modalidades. Resurgió en 1979 cuando WD Hart escribió que la prueba de Fitch era una "joya lógica injustamente descuidada".
Supongamos que p es una oración que es una verdad desconocida ; es decir, la oración p es verdadera, pero no se sabe que p es verdadera. En tal caso, la oración "la oración p es una verdad desconocida" es verdadera; y, si todas las verdades son cognoscibles, debería ser posible saber que " p es una verdad desconocida". Pero esto no es posible, porque tan pronto como sabemos que " p es una verdad desconocida", sabemos que p es verdadera, lo que hace que p ya no sea una verdad desconocida , por lo que la afirmación " p es una verdad desconocida" se convierte en una falsedad. Por lo tanto, la declaración "es una verdad desconocida" no puede ser conocida y verdadera al mismo tiempo. Por lo tanto, si todas las verdades son cognoscibles, el conjunto de "todas las verdades" no debe incluir ninguna de la forma " algo es una verdad desconocida"; por lo tanto, debe haber no hay verdades desconocidas, y por lo tanto todas las verdades deben ser conocidas.
Esto se puede formalizar con lógica modal . K y L representarán conocido y posible , respectivamente. Así LK significa posiblemente conocido , en otras palabras, cognoscible . Las reglas de modalidad utilizadas son:
La última línea establece que si p es verdadera, entonces se sabe. Dado que no se supuso nada más acerca de p , significa que se conocen todas las verdades.