¿Para que sirve?
- Ordenar ideas.
- Pensar correctamente.
- Establecer conclusiones, correctas/validas.
La lógica formal se relaciona
con disciplinas como la matemática, la psicología y la gramática.
La lógica informal construye una verdad mediante una discusión de ideas, dando validez a los que mantienen una coherencia desde un punto de vista lógico, y que por tanto son válidos como argumentos en una discusión, son correctos.
Se dedica principalmente a diferenciar entre formas correctas e incorrectas en que se desarrolla el lenguaje y el pensamiento cotidiano, en especial al estudio de los procesos para obtener conclusiones a partir de información dada, sin importar su forma lógica.
LOGICA INFORMAL
Es el estudio de los argumentos naturales y en oposición
al estudio de los argumentos en una forma técnica o artificial .
Dentro de la lógica podemos distinguir:
- Lógica de enunciados
-Lógica de predicados
-Lógica de clases
- Lógica de relaciones.
La lógica formal
LOGICA FORMAL Y LOGICA INFORMAL.
Se acostumbra a definir la lógica formal 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.