Ciencia formal[editar]

Artculo principal: Lgica matemtica

En el ltimo tercio del siglo XIX la Lgica va a encontrar su transformacin ms profunda

de la mano de las investigaciones matemticas y lgicas, junto con el desarrollo de la
investigacin de las estructuras profundas del lenguaje, la lingstica, convirtindose
definitivamente en una ciencia formal.

Lgica informal[editar]
En el lenguaje cotidiano, expresiones como lgica o pensamiento lgico, aporta
tambin un sentido alrededor de un pensamiento lateral comparado, haciendo los
contenidos de la afirmacin coherentes con un contexto, bien sea del discurso o de
una teora de la ciencia, o simplemente con las creencias o evidencias transmitidas por
latradicin cultural.
Del mismo modo existe el concepto sociolgico y cultural de lgica como, p.e. la lgica
de las mujeres, lgica deportiva, etc. que, en general, podramos considerar como
lgica cotidiana - tambin conocida como lgica del sentido comn.
En estas reas la lgica suele tener una referencia lingstica en la pragmtica.
Un argumento en este sentido tiene su lgica cuando resulta convincente, razonable y
claro; en definitiva cuando cumple una funcin de eficacia. La habilidad de pensar y
expresar un argumento as corresponde a la retrica, cuya relacin con la verdad es una
relacin probable.13

Sistemas lgicos[editar]
Artculo principal: Sistema formal

Existe un debate sobre si es correcto hablar de una lgica, o de varias lgicas, pero en el
siglo XX se han desarrollado no uno, sino varios sistemas lgicos diferentes, que capturan
y formalizan distintas partes del lenguaje natural. Se podra definir a un sistema lgico
como un conjunto de cosas, que nos ayudan en la toma de decisiones que sean lo ms
convenientemente posible.
Un sistema lgico est compuesto por:
1.Un conjunto de smbolos primitivos (el alfabeto, o vocabulario).

2.Un conjunto de reglas de formacin (la gramtica) que nos dice cmo construir frmulas
bien formadas a partir de los smbolos primitivos.

3.Un conjunto de axiomas o esquemas de axiomas. Cada axioma debe ser una frmula
bien formada.

4.Un conjunto de reglas de inferencia. Estas reglas determinan qu frmulas pueden

inferirse de qu frmulas. Por ejemplo, una regla de inferencia clsica es el modus ponens,
segn el cual, dada una frmula A, y otra frmula A B, la regla nos permite afirmar que
B.
Estos cuatro elementos completan la parte sintctica de los sistemas lgicos. Sin embargo,
todava no se ha dado ningn significado a los smbolos discutidos, y de hecho, un sistema
lgico puede definirse sin tener que hacerlo. Tal tarea corresponde al campo
llamado semntica formal, que se ocupa de introducir un quinto elemento:

5.Una interpretacin formal. En los lenguajes naturales, una misma palabra puede
significar diversas cosas dependiendo de la interpretacin que se le d. Por ejemplo, en el
idioma espaol, la palabra banco puede significar un edificio o un asiento, mientras que

en otros idiomas puede significar algo completamente distinto o nada en absoluto. En

consecuencia, dependiendo de la interpretacin, variar tambin el valor de verdad de la
oracin el banco est cerca. Las interpretaciones formales asignan significados
inequvocos a los smbolos, y valores de verdad a las frmulas.
Lgicas clsicas[editar]
Los sistemas lgicos clsicos son los ms estudiados y utilizados de todos, y se
caracterizan por incorporar ciertos principios tradicionales que otras lgicas rechazan.
Algunos de estos principios son: el principio del tercero excluido, el principio de no
contradiccin, el principio de explosin y la monoticidad de la implicacin. Entre los
sistemas lgicos clsicos se encuentran:

Lgica proposicional
Lgica de primer orden
Lgica de segundo orden
Lgicas no clsicas[editar]
Los sistemas lgicos no clsicos son aquellos que rechazan uno o varios de los principios
de la lgica clsica. Algunos de estos sistemas son:

Lgica difusa: Es una lgica plurivalente que rechaza el principio del tercero excluido y
propone un nmero infinito de valores de verdad.

Lgica relevante: Es una lgica paraconsistente que evita el principio de explosin al

exigir que para que un argumento sea vlido, las premisas y la conclusin deben compartir
al menos una variable proposicional.

Lgica cuntica: Desarrollada para lidiar con razonamientos en el campo de la mecnica

cuntica; su caracterstica ms notable es el rechazo de la propiedad distributiva.

Lgica no monotnica: Una lgica no monotnica es una lgica donde, al agregar una
frmula a una teora cualquiera, es posible que el conjunto de consecuencias de esa teora
se reduzca.

Lgica intuicionista: Enfatiza las pruebas, en vez de la verdad, a lo largo de las

transformaciones de las proposiciones.
Lgicas modales[editar]
Las lgicas modales estn diseadas para tratar con expresiones que califican la verdad
de los juicios. As por ejemplo, la expresin siempre califica a un juicio verdadero como
verdadero en cualquier momento, es decir, siempre. No es lo mismo decir est lloviendo
que decir siempre est lloviendo.

Lgica modal: Trata con las nociones de necesidad, posibilidad, imposibilidad

y contingencia.

Lgica dentica: Se ocupa de las nociones morales de obligacin y permisibilidad.

Lgica temporal: Abarca operadores temporales como siempre, nunca, antes,
despus, etc.

Lgica epistmica: Es la lgica que formaliza los razonamientos relacionados con

el conocimiento.

Lgica doxstica: Es la lgica que trata con los razonamientos acerca de las creencias.