Conversacionalmente, las personas usan el término “lógica” muy libremente para significar algo así como “razón”. No es raro escuchar a alguien en una discusión decir: “Bueno, esa es tu lógica, no la mía”. Según su pregunta y descripción, sugeriría que así es como está utilizando el término. ¿Por “lógica humana” la estás contrastando con qué? Lógica perro? Hormiga lógica? Lógica alienígena? ¿La lógica de Dios? Sugeriría que su pregunta sería mejor redactada, “¿Cuáles son los límites del razonamiento humano?” Este sería un tema más adecuado para la Epistemología que la Lógica.
Un lógico, filósofo, científico o matemático tiene una visión mucho más estrecha de la lógica. Dependiendo de su ontología de la lógica, podría significar cualquier cosa, desde “un lenguaje formal” hasta “un sistema relacional”. Tiendo a adoptar esta última opinión, lo que significa que la lógica no depende del razonamiento humano o el lenguaje, y no se limita a esos. Ni siquiera depende de las leyes físicas de este universo. La lógica no es solo el tejido del universo, es el tejido de cualquier universo posible. Entonces, comprender los límites de la lógica en el sentido amplio de este lógico es comprender los límites de cualquier universo posible. Además, si existen límites para la lógica independiente del razonamiento humano, esos límites también serán límites para el razonamiento humano en la medida en que el razonamiento humano es un sistema relacional.
La única limitación acordada por prácticamente todos los lógicos, filósofos, matemáticos y científicos es que la validez lógica es autoconsistente: P = P. Bajo muchas lógicas, se deduce que el sistema no es inconsistente: ~ (P = ~ P). Donde lógicos et al. divergente es si P debe ser verdadero o falso: P o ~ P. Hay infinitos sistemas relacionales (todos los sistemas no binarios) donde P no es ni verdadero ni falso.
Una limitación parece ser que, para cualquier serie infinita, cualquier lenguaje formal que exprese esa serie es incompleto. Nuestros lenguajes formales actuales no expresan muy bien los conceptos de plenums, continuidad, infinito e infinitesimales. Nuestros lenguajes formales actuales tampoco expresan muy bien los conceptos de nada, vacío, vacío y vacío. Si esto es cierto para todas y cada una de las lógicas, o solo las que conocemos y podemos expresar, es una pregunta abierta.
- ¿Puede una persona mentir si lo que cree que está diciendo es verdad?
- ¿Qué verdad es más difícil de aceptar que el hecho de que un día vas a morir?
- ¿Cómo puede el usuario de Internet / WWW diferenciar entre verdad y ficción, con tanta información errónea presentada como un hecho?
- ¿Cuál es la verdad sobre Halloween?
- La honestidad se puede predicar pero nunca se puede practicar. ¿Cuánta verdad hay en la situación actual de desmonetización?