Bueno, en la primera entrada de “no presentación” hablaré de lo primerísimo dado en teoría: La Lógica Formal.
En primer lugar, entenderemos Razonar como la facultad humana que permite resolver problemas a partir de un conjunto de actividades mentales que conectan unas ideas con otras según unas reglas determinadas. Lo que diferencia a los seres humanos de lo que no lo son. según Descartes.
La lógica es la ciencia de los principios de la validez de los razonamientos (inferencia). La lógica formal por su parte, estudia la validez del razonamiento desde el punto de vista de su análisis formal construyendo sistemas formado por lenguajes formales, sistemas deductivos y semánticas formales. Al ser estructuras formales, son susceptibles de análisis matemático, lo que permite realizar demostraciones rigurosas sobre ellas.
El razonamiento lógico, por tanto, tiene mayor preocupación por la estructura que por el contenido.
Como primer ejemplo, uno de los famosísimos silogismos de Aristóteles:
Todos los hombres son mortales.
Sócrates es un hombre.
Por lo tanto, Sócrates es mortal.
Los silogismos son razonamientos lógicos deductivos. Razonamiento deductivo, que se caracteriza porque permite hacer afirmaciones sobre casos particulares partiendo de casos generales.
Este silogismo está formado por dos premisas (dos primeras frases), y una conclusión. Pero de ello hablaremos en la siguiente publicación, sobre componentes y notación formal del razonamiento deductivo.
El post original es este.