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 la tradicin 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 construirfrmulas 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:

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.