LÓGICA FORMAL E INFORMAL

Lógica :

 Es la rama de la filosofía  que se encarga de estudiar la validez  de la argumentación y de la inferencia con el objetivo de establecer razonamientos o argumentos válidos o correctamente lógicos.

Para resumir los principales objetivos de las lógicas podemos tomar la frase del autor  Gregorio Fingermann; para este autor la lógica es: "La ciencia de las leyes y de las formas del pensamiento, que nos da normas para la investigación científica y nos suministra un criterio de verdad". 

lógica informal:  Es el estudio de los argumentos que se dan en contextos lingüísticos reales en los que se usa el lenguaje cotidiano, esta se encarga de separar los pensamiento humano falsos de los correctos.

lógica formal: Es el estudio de los argumentos mediante esquemas de inferencia formal, la lógica formal es mas estricta comparada con la informal, incluye lógica matemática y científica