Elementy logiki

Mientras Łukasiewicz deconstruye la lógica formal para revelar sus fundamentos y posibles alternativas, Berger y Luckmann 'desnaturalizan' la realidad social. Ambos textos invitan a una reflexión profunda sobre los cimientos de lo que damos por sentado, ya sea en el ámbito de la verdad lógica o de la verdad social, sugiriendo que hay construcciones subyacentes que pueden ser analizadas y, quizás, reconstruidas. La conexión no es sobre lógica directamente, sino sobre el acto de 'desmontar' lo obvio.

Si bien ambos abordan la lógica, la conexión es 'nonobvious' porque 'Elementy logiki' tiende a enfocarse en la lógica matemática y simbólica, mientras que Hegel presenta una lógica metafísica y dialéctica. La conexión reside en que ambos, cada uno desde su perspectiva radicalmente diferente, proponen una redefinición fundamental de lo que es la lógica, y van más allá de un manual introductorio, explorando sus implicaciones más profundas y su naturaleza inherente.

Tanto Łukasiewicz como Wittgenstein están inmersos en la tradición analítica y en la exploración de los fundamentos de la lógica. Mientras Łukasiewicz amplía las posibilidades de la lógica formal, Wittgenstein busca sus límites y la interconexión entre la lógica, el lenguaje y la estructura del mundo. Ambos proponen una visión rigurosa y a menudo radical de cómo la lógica da forma a nuestro entendimiento, y ambos cuestionan las suposiciones tradicionales sobre la verdad y el significado.

Ambos autores comparten una preocupación profunda por la naturaleza de la lógica y la validez del conocimiento. Łukasiewicz, desde la perspectiva de la lógica simbólica y la polivalencia, y Husserl, desde la fenomenología, buscan liberarse de las ataduras de las suposiciones previas para establecer los fundamentos rigurosos de sus respectivos campos. La conexión es sobre la búsqueda de 'principios primeros' y la autonomía de la lógica más allá de lo empírico o psicológico.

Aunque Frege es fundamental en la historia de la lógica, su obra es menos leída directamente que sus repercusiones. La conexión con Łukasiewicz es evidente: ambos son pioneros en la formalización de la lógica y las matemáticas. Mientras Frege busca reducir la aritmética a la lógica, Łukasiewicz explora los límites y las ampliaciones de la lógica clásica. Ambos se consideran arquitectos de la lógica moderna, a menudo pasados por alto en lecturas introductorias en favor de sus discípulos.

Von Wright, un filósofo finlandés, es menos conocido en el ámbito general que otros lógicos, pero fue crucial en el desarrollo de campos como la lógica modal y deóntica. Al igual que Łukasiewicz expandió la lógica clásica con lógicas polivalentes, Von Wright exploró la formalización de conceptos que van más allá de la verdad y falsedad binarias. Ambos representan un espíritu de innovación y ampliación dentro del campo de la lógica formal que no siempre recibe la misma atención en las narrativas hegemónicas.

La conexión estructural reside en la deconstrucción y revisión profunda de los 'fundamentos'. Łukasiewicz, al introducir lógicas polivalentes, cuestiona la primacía del bivalorismo en la lógica, proponiendo un cambio de vista fundamental. Kuhn hace algo similar para la ciencia, mostrando cómo los 'elementos' básicos se reconfiguran en los paradigmas. Ambos autores 'desestabilizan' un campo establecido al replantear sus estructuras subyacentes y sus reglas de juego.

La conexión es estructural en cuanto al rigor y la ambición de construir un sistema completo y auto-contenido de lógica desde sus 'elementos' más básicos. Ambos trabajos, 'Elementy logiki' y 'Principia Mathematica', exhiben una meticulosidad en la formulación de axiomas, reglas de inferencia y la derivación de sistemas formales. Aunque los objetivos específicos y las conclusiones difieren (Łukasiewicz explora la multivalencia, Russell y Whitehead la fundación de las matemáticas sobre la lógica clásica), la metodología de construcción 'desde abajo' usando un lenguaje formal es muy similar.