En filosofía , la incognoscibilidad es la posibilidad de un conocimiento intrínsecamente inaccesible . Aborda la epistemología de aquello que no se puede conocer. Algunos conceptos relacionados incluyen el problema de la detención , los límites del conocimiento, las incógnitas desconocidas y la teoría del caos .
Nicholas Rescher proporciona la investigación enfocada más reciente en esta área en Unknowability: An Inquiry into the Limits of Knowledge , [1] donde ofrece tres categorías de alto nivel: incognoscibilidad lógica, incognoscibilidad conceptual e incognoscibilidad en principio.
La especulación sobre lo cognoscible y lo incognoscible ha formado parte de la tradición filosófica desde el inicio de la filosofía. En particular, la Teoría de los atributos de Baruch Spinoza [2] sostiene que la mente finita de un ser humano no puede comprender la sustancia infinita; en consecuencia, la sustancia infinita, tal como es en sí misma, es en principio incognoscible para la mente finita.
Immanuel Kant puso de relieve la teoría de la incognoscibilidad con su uso del concepto de noúmeno . Postuló que, si bien podemos saber que el noúmeno existe, no es en sí mismo sensible y, por lo tanto, debe seguir siendo incognoscible.
La investigación moderna abarca problemas y cuestiones insolubles , como el problema de la detención, que por su propia naturaleza no tienen respuesta. Esta área de estudio tiene una historia larga y algo difusa, ya que el desafío surge en muchas áreas de investigaciones académicas y prácticas.
Rescher organiza la incognoscibilidad en tres grandes categorías:
La incognoscibilidad en principio también puede deberse a la necesidad de más energía y materia de la que hay disponible en el universo para responder a una pregunta, o a razones fundamentales asociadas con la naturaleza cuántica de la materia. En la física de la relatividad especial y general , el cono de luz marca el límite de los eventos cognoscibles físicamente. [3] [4]
El problema de la detención (es decir, el problema de determinar si programas informáticos arbitrarios alguna vez terminarán de ejecutarse) es un ejemplo destacado de una incognoscibilidad asociada con el campo matemático establecido de la teoría de la computabilidad . En 1936, Alan Turing demostró que el problema de la detención es indecidible. Esto significa que no existe ningún algoritmo que pueda tomar como entrada un programa y determinar si se detendrá. En 1970, Yuri Matiyasevich demostró que el problema diofántico (estrechamente relacionado con el décimo problema de Hilbert ) también es indecidible al reducirlo al problema de la detención. [5] Esto significa que no existe ningún algoritmo que pueda tomar como entrada una ecuación diofántica y determinar siempre si tiene una solución en números enteros.
La indecidibilidad del problema de detención y del problema diofántico tiene varias implicaciones para las matemáticas y la informática. Por ejemplo, significa que no existe un algoritmo general para demostrar que una determinada afirmación matemática es verdadera o falsa. También significa que no existe un algoritmo general para hallar soluciones a las ecuaciones diofánticas.
En principio, muchos problemas pueden reducirse al problema de la detención. Véase la lista de problemas indecidibles .
Los teoremas de incompletitud de Gödel demuestran la implícita implícita imposibilidad, en principio, de conocer los métodos para demostrar la consistencia y completitud de los sistemas matemáticos fundamentales.
Existen diversas graduaciones de incognoscibilidad asociadas con los marcos de discusión. Por ejemplo:
El tratamiento del conocimiento ha sido amplio y diverso. La propia Wikipedia es una iniciativa para captar y registrar el conocimiento utilizando herramientas tecnológicas contemporáneas. Los intentos anteriores de captar y registrar el conocimiento incluyen la redacción de tratados profundos sobre temas específicos, así como el uso de enciclopedias para organizar y resumir campos enteros o incluso la totalidad del conocimiento humano.
Un tema asociado que surge con frecuencia es el de los límites del conocimiento.
Algunos ejemplos de debates académicos que involucran los límites del conocimiento incluyen:
Gregory Chaitin analiza la incognoscibilidad en muchas de sus obras.
El debate popular sobre la incognoscibilidad se acentuó con el uso de la frase “ Hay incógnitas desconocidas” por parte del Secretario de Defensa de los Estados Unidos, Donald Rumsfeld, en una conferencia de prensa el 12 de febrero de 2002. Además de las incógnitas desconocidas, existen incógnitas conocidas y incógnitas conocidas. Estas etiquetas de categorías aparecieron en el debate sobre la identificación de sustancias químicas. [10] [11] [12]
La teoría del caos es una teoría de la dinámica que sostiene que, para sistemas suficientemente complejos, incluso si conocemos bastante bien las condiciones iniciales, los errores de medición y las limitaciones computacionales hacen imposible realizar predicciones totalmente correctas a largo plazo, lo que garantiza la imposibilidad última de conocer el comportamiento de los sistemas físicos.