Logica Moderna

La Logica Moderna

La lógica moderna también denominada lógica simbólica o matemática, surge mediados del siglo XIX, cuando los matemáticos británicos George Boole y Augustus De Morgan abrieron el campo de la nueva lógica, que luego fue desarrollada por el matemático alemán Gottlob Frege, esta lógica nos habla más propiamente de lo que se conoce como lógica matemática en la que se aplican principios matemáticos a la lógica antigua. La lógica matemática tiene un interés por la sintaxis (reglas de formación de símbolos), semántica (significados atribuibles a los signos) y aspectos meta lógicos además se basa en la aplicación de símbolos por medio de tablas de verdad, que nos permiten ver lo verdadero o falso que son las versiones de una acción.

Dentro de lo que es la lógica moderna es importante señalar que la misma está compuesta por más tipos de lógica como son la lógica simbólica, la lógica de cuantificación, la lógica de clases y la lógica proposicional.

La lógica simbólica es la parte de la lógica encargada de estudiar a la lógica con la exactitud y rigor matemáticos, la principal característica de la lógica simbólica es el uso de símbolos, alejándose así pues del lenguaje común y acercándose al lenguaje matemático. Los símbolos matemáticos que incluye son los conjuntos, números, demostraciones y algoritmos. La lógica de cuantificación indica la cantidad de veces que un predicado se satisface dentro de una determinada clase. La lógica de clases indica la pertenencia o no pertenencia de un elemento dentro de un conjunto. Esto quiere decir que separa clases de cosas, por ejemplo, los sujetos de derechos y obligaciones son únicamente los seres humanos, por lo que los que pertenecen al conjunto derechos y obligaciones son solo los seres humanos. La lógica proposicional, también conocida como lógica de orden cero es un sistema formal y tiene mucho que ver con los conectores lógicos, existen signos para variables proposicionales, esto quiere decir que tienen un valor de verdad definido.

La lógica moderna nos ayuda a comprender si lo que estamos tratando de expresar es válido de una manera más clara y sencilla y es de suma importancia para aquellas personas que pretenden crear argumentos verdaderos a la luz de la lógica, ya que, como en las matemáticas, las variables pueden representar cualquier cosa.

...