Lógica

Ir a la navegaciónIr a la búsqueda
La lógica es la ciencia formal y rama estricta tanto de la filosofía como de
las matemáticas que estudia los principios de la demostración y la inferencia válida,1
las falacias, las paradojas y la noción de verdad.2 La palabra «lógica» deriva del griego
antiguo λογική logikḗ, que significa «dotado de razón, intelectual, dialéctico, argumentativo»,
que a su vez viene de λόγος (lógos),
«palabra, pensamiento, idea, argumento, razón o principio».

Los tipos de lógica más relevantes

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.

La lógica formal no se centra en la veracidad o falsedad del contenido de un

argumento en particular, sino que se concentra en la validez o no de la
construcción de su forma.

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.
Su objeto de estudio es la forma de argumentar para obtener el resultado
deseado. La lógica informal da validez a los argumentos lógicos que
resultan más coherentes entre otros que tienen una estructura
argumentativa más débil.

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.

Es así como se incluyen elementos matemáticos y simbólicos, nuevos

enunciados o teoremas que venían a suplir las carencias de un sistema de
lógica formal.

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.

De hecho, no utiliza el lenguaje natural (idioma), sino usa un lenguaje

técnico que convierte las oraciones en elementos susceptibles a la
aplicación de reglas más exactas de las que pueden aplicarse en el
lenguaje natural.
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.

En la lógica modal se trata de considerar un escenario en el que exista una

posibilidad, y se tiende a considerar todas las posibilidades que pueden
existir, desde el punto de vista lógico.

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.