Lógica Moderna

LÓGICA MODERNA

En el siglo XIX, más específicamente en 1854, George Boole (nacido en 1815 en Lincolnshire, Inglaterra y fallecido en 1864), un gran matemático Inglés que fue el inventor del álgebra de Boole, que marca los fundamentos de la aritmética computacional moderna, además del algebra de la lógica. Boole es considerado como uno de los fundadores del campo de las ciencias de la computación.

El álgebra de la lógica es la parte de la lógica matemática basada en la aplicación de los métodos algebraicos al estudio de los objetos lógicos: clases y proposiciones. Por una parte, la proposición expresa un sentido (juicio), por otra, designa una verdad (V) o una falsa (F).

El álgebra de la lógica examina las proposiciones sólo desde el punto de vista de su significado, con la particularidad de que se consideran equivalentes las que poseen un mismo significado de veracidad. El álgebra de la lógica utiliza la notación simbólica. Además de los símbolos de las proposiciones, se emplean símbolos para las operaciones: conjunción, disyunción, implicación, negación, con los cuales el álgebra de la lógica forma unas expresiones partiendo de otras.

Boole descubrió que los símbolos y códigos de la lógica eran similares y se comportaban igual que en el álgebra, así que utilizo a letras para expresar las proposiciones hipotéticas, como por ejemplo: Si A y B entonces C y D pero A y B entonces C y D, pero el no solo se conformo con esto, él le tomo más importancia a la falsedad y verdad de las proposiciones, y puso este ejemplo, si P es verdadera entonces Q será verdadera, donde P y Q representan proposiciones.

Este razonamiento posteriormente seria estudiado y perfeccionado por Gottlob Frege, que fue un matemático y filósofo alemán, además se le considera el padre de la lógica matemática y de la filosofía analítica, dando paso a la lógica proposicional, que se ocupa solo de los enunciados que pueden ser verdaderos o falsos sin la necesidad de estudiar o averiguar su significado, lo cual puede llevar a que las oraciones muchas veces no tengan sentido gramatical.

Así pues esto dio paso a la lógica moderna, donde las principales figuras eran Aristóteles y Gottlob Frege, el cual se propuso demostrar que las proposiciones aritméticas podían ser aplicadas a la lógica, lo cual se conoce bajo el nombre de logicismo, hizo el aporte individual más importante para el estudio de la lógica en el estudio de esta disciplina, además fue el primero en observar las reglas que son necesarias para realizar una deducción y/o conclusión, creo el cálculo proposicional y refino el punto de la cuantificación.

...