Lógica matemática

La lógica formal, a diferencia de la lógica informal, se dedica al estudio de los razonamientos correctos, desarrollándolos de manera formal y esquematizada, es decir de una forma no cotidiana. Este tipo de lógica parte de los razonamientos correctos conocidos para desarrollar una teoría lógica y consecuentemente, razonamientos más complejos que no se utilizan normalmente en la vida cotidiana. A partir de la idea de que quien la estudia "razona bien", puede desarrollar argumentos racionales extremadamente complejos, y de gran alcance. Este tipo de lógica no debe ser confundido con la lógica simbólica ni con la lógica matemática, que son tipos de lógica que se encuentran dentro del campo de la lógica formal.

Algunas definiciones

• Razonamiento correcto: Razonamiento que tiene la forma válida y su contenido es verdadero. Una persona que "razona bien" razona de esa forma.

• Argumento racional: Argumentos derivados de la razón, que la mente puede entender.

Bibliografía

• Lefebvre, Henri: Lógica formal, lógica dialéctica. México: Siglo XXI, 1970