 Lógica es una ciencia formal que estudia la

estructura o formas del pensamiento humano

(como proposiciones, conceptos y
razonamientos) para establecer leyes y
principios válidos para obtener criterios de
verdad.
 Significa que algo sigue las reglas de la lógica y
de la razón. Indica también una consecuencia
esperable natural o normal. Se utilizar también
para referirse al llamado 'sentido común'. Procede
del latín logĭca, 'que posee razón, 'intelectual',
'dialéctico', 'argumentativo'), que a su vez deriva
de la palabra λόγος (logos, 'palabra', 'pensamiento',
'razón', 'idea','argumento').
Aristóteles esta considerado como el padre de la
lógica formal, para esta se requiere pensamientos
y argumentos validos y relacionados al tema.

La lógica tiene como objetivo el razonamiento, la

paradoja y la falacias, para ser recursivo y eficaz
de forma correcta.
 Formal
La lógica formal, también conocida como lógica
clásica o lógica aristotélica, es el estudio de
proposiciones, argumentos, declaraciones u
oraciones desde el punto de vista estructural.
Se trata de un método para estructurar el
pensamiento y determinar las formas correctas o
incorrectas de un planteamiento específico.
 Informal
La lógica informal es la rama de estudio que se
centra en el lenguaje y el mensaje que se emana de
las construcciones semánticas y los argumentos.
Esta lógica es distinta de la lógica formal, en
cuanto a que la lógica formal estudia las
estructuras de las oraciones y proposiciones; y la
lógica informal se centra en el fondo del mensaje
transmitido.
 No clásica
La lógica no clásica, o lógica moderna, se origina
en el siglo XIX y surge en contraposición a los
enunciados de la lógica clásica.
Establece otras formas de análisis que pueden
abarcar más aspectos que los que es posible
englobar a través del enfoque clásico de la lógica.
 Simbólica
La lógica simbólica también es llamada lógica de
primer orden, o lógica matemática, y se
caracteriza por emplear símbolos que constituyen
un nuevo lenguaje a través del cual de “traducen”
los argumentos.
La intención de la lógica simbólica es convertir
pensamientos abstractos en estructuras más
formales.
 Modal
La lógica modal se centra en el estudio de los
argumentos, pero agrega elementos relacionados
con la posibilidad de que el enunciado en cuestión
sea verdadero o falso.
La lógica modal pretende ser más cónsona con el
pensamiento humano, por ende abarca el uso de
construcciones como “podría”, “posiblemente”,
“a veces”, “quizás”, “probablemente”, “es
probable”, “a lo mejor”, entre otras.
 Computacional
La lógica computacional es un tipo de lógica
derivado de la lógica simbólica o matemática, sólo
que es aplicada en el área de la computación.
Los programas de computación utilizan el
lenguaje de la programación para su desarrollo y,
a través de la lógica, es posible trabajar esos
sistemas de lenguaje, asignar tareas específicas y
ejecutar acciones de verificación.