Logica

Lógica informal y lógica formal
La “Lógica Informal”, por lo común, se dedica al análisis de los conceptos y procedimientos involucrados y usados para elaborar conclusiones a partir de informacióndada. Tradicionalmente, esta lógica parte de la base que el pensamiento humano es muchas veces falsa. Así, ésta ha tenido como finalidad una búsqueda de la verdad, por lo que se ha dedicado aclasificar entre razonamientos correctos y los falaces.
La “Lógica Formal”, a diferencia de la anterior, se refiere al estudio de argumentos racionales en forma estrictamente esquematizada y organizada.Parte de la base que uno razona bien e intenta mejorar a niveles superiores el razonamiento. Forma relaciones altamente abstractas entre las ideas. Esta lógica, la formal, no debe ser confundida conla lógica matemática o simbólica, la cual es sólo un tipo de lógica que se encuentra dentro del campo de la lógica formal.
El pensamiento deductivo parte de categorías generales para hacer afirmacionessobre casos particulares.

Hablamos de razonamiento deductivo cuando observando una cosas muchas veces se declama lo visto en toda las cosas de la misma especie válido la conclusión debepoder derivarse necesariamente de las premisas aplicando a éstas algunas de las reglas de inferencia según las reglas de transformación de un sistema deductivo o cálculo lógico. Al ser estas reglas laaplicación de una ley lógica o tautología y, por tanto una verdad necesaria y universal, al ser aplicada a las premisas como caso concreto permite considerar la inferencia de la conclusión como un caso derazonamiento deductivo.

Dicho de otro modo, la conjunción o producto de todas las premisas cuando es verdadero, es decir, todas y cada una de las premisas son verdaderas, entonces se implica laverdad de la conclusión.

Por medio de un razonamiento de estas características se concede la máxima solidez a la conclusión, las premisas implican lógicamente la conclusión. Y la conclusión es una...