Logica_Luciano Sarmiento

La lógica es la ciencia que expone las leyes, modos y formas del conocimiento científico. Se trata de una ciencia formal que no tiene contenido, sino que se dedica al estudio de las formas válidas de inferencia. Es decir, se trata del estudio de los métodos y los principios utilizados para distinguir el razonamiento correcto del incorrecto.

La etimología muestra que el concepto de lógica deriva del latín logĭca, que a su vez proviene del término griego logikós (de logos, “razón” o “estudio”). El filósofo griego Aristóteles fue pionero al utilizar la noción para referirse al estudio de los argumentos como manifestadores de la verdad en la ciencia, y al plantear al silogismo como el argumento válido.

Aristóteles está considerado como el padre de lalógica formal. Por otro lado, la lógica informal es el estudio metódico de los argumentos probables desde la retórica, la oratoria y la filosofía, entre otras ciencias. Se especializa en la identificación de falacias y paradojas, y en la construcción correcta de los discursos.

La lógica natural es la disposición natural para discurrir con acierto sin el auxilio de la ciencia. La lógica borrosa o difusa, en cambio, es la que admite una cierta incertidumbre entre la verdad o falsedad de sus proposiciones, a semejanza del raciocinio humano.

Por otra parte, la lógica matemática es aquella que opera utilizando un lenguaje simbólico artificial y realizando una abstracción de los contenidos.

Existen otros tipos o clases de lógica, como la lógica binaria, que trabaja con variables que sólo toman dos valores discretos.

Lógica preposicional

En lógica y matemática, la lógica preposicional es un sistema formal diseñado para analizar ciertos tipos de argumentos. En la lógica preposicional, las fórmulas representan proposiciones y las constantes lógicas son operaciones sobre las fórmulas que producen otras fórmulas de mayor complejidad Como otros sistemas lógicos, la lógica preposicional intenta esclarecer nuestra comprensión de la noción de consecuencia lógica para el rango de argumentos que analiza.

Sistemas formales de lógica preposicional

A continuación se presentan dos sistemas formales estándar para la lógica preposicional. El primero es un sistema axiomático simple, y el segundo es un sistema sin axiomas, de deducción natural.