Logica de Programacion: Libro

La lógica es la ciencia formal que estudia los principios de la demostración y la inferencia válida.1​ La palabra deriva del griego antiguo λογική logikḗ, que significa «dotado de razón, intelectual, dialéctico, argumentativo», que a su vez viene de λόγος (lógos), «palabra, pensamiento, idea, argumento, razón o principio».

Logica de Programacion

Logica de Programacion

Así como el objeto de estudio tradicional de la química es la materia, y el de la biología la vida, el de la lógica es la inferencia. La inferencia es el proceso por el cual se derivan conclusiones a partir de premisas. La lógica investiga los fundamentos por los cuales algunas inferencias son aceptables, y otras no. Cuando una inferencia es aceptable, lo es por su estructura lógica, y no por el contenido específico del argumento o el lenguaje utilizado. Por esta razón la lógica se considera una ciencia formal, como la matemática, en vez de una ciencia empírica.

Tradicionalmente se distinguen tres clases de inferencias: las deducciones, las inducciones y las abducciones, aunque a veces se cuenta a la abducción como un caso especial de inducción.3​ La validez o no de las inducciones es asunto de la lógica inductiva y del problema de la inducción. Las deducciones, en cambio, son estudiadas por la mayor parte de la lógica contemporánea. En un argumento deductivamente válido, la conclusión es una consecuencia lógica de las premisas. El concepto de consecuencia lógica es, por lo tanto, un concepto central a la lógica.Para estudiarlo, la lógica construye sistemas formales que capturan los factores relevantes de las deducciones como aparecen en el lenguaje natural.Para entender esto, considérese la siguiente deducción:

Está lloviendo y es de día.

Por lo tanto, está lloviendo.

La obvia validez de este argumento no se debe al significado de las expresiones «está lloviendo» y «es de día», porque éstas podrían cambiarse por otras y el argumento permanecer válido. Por ejemplo:

 

Está nevando y hace frío.

Por lo tanto, está nevando.

En cambio, la clave de la validez del argumento reside en la expresión «y». Si esta expresión se cambia por otra, entonces el argumento puede dejar de ser válido:

 

Está nevando o hace frío.

Por lo tanto, está nevando.

Las expresiones de las que depende la validez de los argumentos se llaman constantes lógicas, y la lógica las estudia mediante sistemas formales.6​ Dentro de cada sistema formal, la relación de consecuencia lógica se puede definir de manera precisa, generalmente por medio de teoría de modelos o por medio de teoría de la demostración.

 

La lógica tradicionalmente se considera una rama de la filosofía, pero desde fines del siglo XIX, su formalización simbólica ha demostrado una íntima relación con las matemáticas, y dio lugar a la lógica matemática. En el siglo XX la lógica ha pasado a ser principalmente la lógica matemática, un cálculo definido por símbolos y reglas de inferencia, lo que ha permitido su aplicación a la informática.

 

Además de las inferencias, la lógica estudia las falacias, las paradojas y la noción de verdad.

VER LIBRO

Leave a Reply