The Mathematical Analysis of Logic

Mientras Boole sentó las bases de la lógica matemática para razonamientos cualitativos, Carnap aplica y radicaliza el formalismo lógico a la estructura completa del lenguaje y el conocimiento científico. Ambos buscan la esencia subyacente del pensar de forma abstracta, pero Carnap lo extiende del mero razonamiento a la construcción del significado.

Boole sienta las bases de un sistema formal para la lógica. Hofstadter, aunque en un contexto mucho más amplio y lúdico, explora las implicaciones y límites de tales sistemas formales, especialmente en relación con la completitud y la consistencia, temas que la lógica boolena no aborda directamente pero cuya existencia hace posible. Ambos buscan comprender la estructura subyacente del pensamiento y la información.

Mientras Boole formaliza las leyes del pensamiento para obtener la validez de los argumentos, Husserl busca la esencia misma de las estructuras lógicas que subyacen a todo acto de conocimiento y juicio. Ambos abordan la lógica como una disciplina fundamental, pero Husserl investiga la experiencia subjetiva que precede a la formalización, buscando comprender cómo las categorías lógicas se manifiestan en la conciencia.

Boole desarrolla un sistema para asegurar la corrección formal del razonamiento. Kant, mucho antes, indaga en las categorías fundamentales del entendimiento humano que hacen posible cualquier razonamiento, incluso la lógica misma, y cómo estas categorías a priori estructuran nuestra percepción y conocimiento. Ambos abordan las condiciones de la racionalidad y el conocimiento, pero desde perspectivas radicalmente diferentes sobre sus fundamentos.

Boole busca la axiomatización y el simbolismo para la lógica; Dedekind hace lo propio para los números. Ambos son pioneros en la formalización y la construcción de sistemas abstractos desde 'primeros principios' dentro de las matemáticas. Su trabajo refleja un espíritu similar de rigor y abstracción en la búsqueda de fundamentos, aunque en diferentes ramas de las matemáticas.

Boole estableció las operaciones fundamentales de un álgebra de la lógica. La Teoría de Tipos, aunque posterior y más compleja, es una evolución directa de la necesidad de formalizar la lógica para evitar contradicciones, un problema que surge cuando uno empuja las bases de la lógica hasta sus límites, algo que el trabajo de Boole hizo posible iniciar. Whitehead, al igual que Boole, aborda la estructura fundamental del pensamiento y el razonamiento para establecer un sistema riguroso.

Boole introdujo un álgebra para la lógica proposicional. Frege, en su 'Begriffsschrift', lleva esta formalización estructuralmente mucho más allá al introducir la cuantificación ('para todo', 'existe') y los predicados, creando la lógica de primer orden que es la base de toda la lógica moderna. Ambos usan un lenguaje simbólico explícitamente diseñado para representar la estructura del pensamiento y del razonamiento de una manera formal y rigurosa.

Boole construye un sistema abstracto para analizar la validez de los razonamientos. Wittgenstein, en el Tractatus, también utiliza una estructura extremadamente formal y axiomática, casi matemática, para analizar la relación entre el lenguaje, el pensamiento y el mundo, y establecer los límites de lo que puede ser dicho con sentido. Ambos libros, aunque con propósitos distintos, exhiben una obsesión por la estructura lógica subyacente y su formalización.