Lógica Moderna

Mientras que Łukasiewicz es fundamental en la lógica polivalente y la historia de la lógica, este libro ofrece una rama de la lógica que, aunque relacionada en su estudio de modalidades, se ha desarrollado con herramientas y aplicaciones distintas, explorando mundos posibles más allá de la estricta verdad/falsedad bivalente o trivalente, pero manteniéndose en un rigor formal similar.

Aunque ambos autores son figuras prominentes del círculo de Viena (o asociados), la obra de Carnap aquí representa una aplicación de la lógica a la epistemología y la fundamentación del conocimiento, distinta de la centralidad de Łukasiewicz en la creación de sistemas lógicos formales. Ambos comparten el rigor y la ambición de estructurar el pensamiento.

La profunda conexión radica en la búsqueda de la objetividad y la atemporalidad de la verdad y las proposiciones lógicas. Ambos autores, aunque con diferentes enfoques (Frege en la semántica y la lógica de primer orden, Łukasiewicz en la lógica polivalente y la metateoría), comparten la creencia en un reino de verdades lógicas que trascienden el sujeto y el espacio-tiempo, y la necesidad de un lenguaje formal para aprehenderlo.

Tanto Łukasiewicz como Wittgenstein, aunque por caminos divergentes, abordan la esencia de la lógica como el 'andamio' o la estructura subyacente del pensar y la realidad. Mientras Łukasiewicz construye sistemas lógicos para explorar estas estructuras, Wittgenstein expone 'lo que se puede decir' y 'lo que no se puede decir' a partir de los principios lógicos que Łukasiewicz mismo ayudó a formalizar, compartiendo una preocupación fundamental por la relación entre lenguaje, lógica y mundo.

Aunque Husserl y Łukasiewicz pertenecen a tradiciones filosóficas distintas (fenomenología vs. lógica analítica), ambos son figuras cruciales en la lucha contra el psicologismo en lógica y en el establecimiento de la lógica como una disciplina autónoma y formal. El rigor y la ambición de fundamentar el conocimiento en principios lógicos o eidéticos es un punto de conexión profundo, aunque sus métodos y conclusiones difieran.

Ajdukiewicz, también miembro de la Escuela de Lógica de Leópolis-Varsovia, coetáneo y colega de Łukasiewicz, comparte no solo la misma tradición intelectual polaca, sino también una preocupación central por la fundamentación formal y semántica del lenguaje y el pensamiento. El libro explora conceptos avanzados en la lógica del significado, complementando el trabajo de Łukasiewicz en la formalización de sistemas lógicos.

Al igual que Łukasiewicz con su notación polaca y sus tablas de verdad, Peirce desarrolló sistemas de notación gráfica (grafos existenciales) para representar relaciones lógicas y proposiciones. Ambos autores innovaron en la presentación y el formalismo de la lógica, buscando una claridad y expresividad que trascendiera el lenguaje natural, a menudo con estructuras y dispositivos visuales o simbólicos muy distintos a los tradicionales.

Łukasiewicz y Hilbert, aunque con diferentes escuelas de pensamiento (Lógica Polivalente vs. Formalismo), compartían una profunda preocupación por la estructura y la consistencia de los sistemas lógicos y matemáticos. Ambos introdujeron elementos metateóricos y herramientas formales rigurosas para analizar las propiedades de los sistemas deductivos mismos, incluso llegando a cuestionar las bases de la verdad y la demostración a través de la formalización explícita de sus reglas y símbolos.