Conversacionalmente, las personas usan el término “lógica” muy vagamente para significar algo 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” lo estás contrastando con qué? Perro lógica? Lógica de hormigas? ¿Lógica alienígena? La lógica de dios? Sugeriría que su pregunta estuviera mejor expresada, “¿Cuáles son los límites del razonamiento humano?” Este sería entonces un tema más adecuado para la epistemología que para 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 tomar el último punto de vista, lo que significa que la lógica no depende del razonamiento humano o del lenguaje, y no se limita a ellos. Ni siquiera es dependiente 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. Por lo tanto, entender los límites de la lógica en este sentido amplio de los lógicos es comprender los límites de cualquier universo posible. Además, si hay límites a la lógica independiente del razonamiento humano, esos límites también serán límites al 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 los 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 está 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 cualquier lógica, o solo las que conocemos y podemos expresar, es una pregunta abierta.
- ¿Kafka es un expresionista o un existencialista?
- ¿Por qué es tan difícil leer Heidegger?
- ¿Cómo definen la existencia los filósofos?
- ¿Cómo equilibro el deseo por lo que quiero con la satisfacción por lo que tengo?
- ¿Cuántos sistemas éticos utilizan los filósofos para intentar responder suficientemente a una pregunta moral y ética compleja dada?