L Gica Formal Y L Gica Informal

Lógica formal y lógica informal
La lógica formal es aquella cuyo objeto de estudio son las inferencias de forma técnica mediante la utilización de sistemas deductivos y lenguajes y semánticasformales. La lógica informal, por su parte, estudia sistemas de razonamiento y argumentación naturales a través del lenguaje y el pensamiento cotidiano.
Lógica aristotélica
Es la lógica que se basa en losestudios de Aristóteles, filósofo griego del siglo IV a.C. La lógica aristotélica utiliza los llamados silogismos, que se trata de una deducción o forma de razonamiento en el que se establecen unaspremisas de las que se infiere una conclusión. Se trata, por lo tanto, de un concepto semejante a argumentos deductivamente válidos. Un ejemplo clásico de la lógica aristotélica es: 'Todos los hombresson mortales. Todos los griegos son hombres. Por lo tanto, todos los griegos son mortales'. Las dos primeras frases serían las premisas y la tercera la conclusión.
Se acostumbra a definir la lógicaformal como aquella ciencia que estudia los razonamientos desde el punto del análisis formal, es decir, desde el punto de vista de su validez o no validez. Esto significa que se desentiende del contenidoempírico de los razonamientos para sólo considerar la "forma" (estructura sin materia). Dado el siguiente silogismo: Los insectos son artrópodos; los dípteros son insectos; por tanto, los dípteros sonartrópodos; al lógico sólo le interesa su validez o corrección (que es formal) expresada en la estructura vacía de contenido Todo A es B; todo C es A; por tanto, todo C es B. El que los dípteros seano no sean artrópodos es una cuestión empírica que interesará en cualquier caso al zoólogo, pero de ninguna manera al lógico. El fundador de la lógica formal fue Aristóteles. Esta disciplina se fueperfeccionando con la introducción, a lo largo del siglo XIX y XX, de todo un potente formalismo matemático (Jorge Boole, Gottlob Frege, Beltrán Russell, etc.). Resulta ya un lugar común equiparar la...