04 LÓGICA DE ENUNCIADOS Antonio Miñán

Filosofía y Ciudadanía. Prof. Antonio Miñán. IES Infante don Fadrique
U.3.- RACIONALIDAD TEÓRICA: LA LÓGICA FORMAL
El punto 1, lenguajes formales, es una introducción. A partir del punto 2, lógica de enunciados, empieza nuestro
trabajo (Nota del Autor)

1.- LENGUAJES FORMALES
En filosofía solemos distinguir, en general, dos tipos de lenguajes y dos ámbitos de
uso: lenguaje informal o natural queusamos en la vida cotidiana y lenguaje formal que
usamos en las ciencias.
La imperfección tolerable del lenguaje natural en la comunicación cotidiana, su ambigüedad y
su polisemia, son impensables dentro del ámbito de la ciencia. En ese sentido fue preciso,
desde el comienzo de la investigación, la creación de lenguajes artificiales donde no hubiera
lugar para las ambivalencias o los doblessentidos sino para la exactitud, el rigor y la precisión.
Los dos lenguajes formales por antonomasia son: la lógica y las matemáticas. Estos lenguajes
tienen múltiples ventajas pero igualmente muchas limitaciones. Mientras que el lenguaje natural
es rico, amplio y sutil al mismo tiempo es impreciso; mientras que el lenguaje formal es exacto,
riguroso y preciso, al mismo es pobre.
Un doble sentido o unaironía son aspectos deseables en el lenguaje natural (humor,
poesía, comunicación no verbal, etc.) pero en el ámbito de las ciencias no son aceptables por
eso el lenguaje de las ciencias es artificial o formal. En matemáticas o física decimos “x” o “f” y
su significado es un valor numérico exacto. Si se me permite la comparación, el lenguaje
natural sería al formal, lo que una receta de cocina auna reacción química. En la receta
podemos alterar tipo y cantidad de ingredientes y obtendremos distintas versiones del plato
mientras que en la reacción química si queremos obtener amoníaco, necesitamos exactamente
un átomo de nitrógeno y tres de hidrógeno; cualquier otra combinación dará otro compuesto.
Los filósofos se han ocupado de estudiar cómo usamos el lenguaje para razonar, tanto ellenguaje natural como el formal. La lógica es la ciencia que estudia las formas válidas del
razonamiento. Al principio se dedicaron a estudiar cómo razonamos mediante el lenguaje
natural pero más tarde propusieron lenguajes formales para evitar las ambigüedades y las
imprecisiones.
Lógica antigua:
La lógica como investigación acerca de las reglas del razonamiento correcto y en la medida
que supone unuso de un lenguaje perfecto aparece en la antigüedad con Pitágoras y
Aristóteles. En especial Aristóteles trata estas cuestiones el ORGANON un conjunto de 6
obras en las que trata estas cuestiones: para que algo aparezca como verdadero, debe ser
demostrado; una de las posibles formas de demostrar algo es por medio de un silogismo.
Todos los hombres son mortales
Sócrates es mortal
Ergo, Sócrates esmortal
Este modo de razonar incluye casos particulares en leyes generales como se puede observar
arriba. Las dos primeras proposiciones se llaman premisas y la última, conclusión. La lógica
siempre garantiza que si las premisas son verdaderas, también la conclusión lo será.
Todos los gatos tienen cinco patas
Micifú es mi gato
Ergo, Micifú tiene cinco patas.
En este caso observamos que laconclusión es falsa a pesar de que el silogismo está
desarrollado correctamente; esta es la diferencia entre la verdad y la validez (silogismo
materialmente falso).
Un razonamiento inválido sería por ejemplo:
Todos los nacidos en Quintanar son de la llanura toledana
Todos los nacidos en Miguel Esteban son de la llanura toledana
Ergo, todos los quintanaros son migueletes

1

Filosofía y Ciudadanía. Prof.Antonio Miñán. IES Infante don Fadrique

Para obtener conocimiento científico, necesitamos premisas verdaderas ya sean axiomas,
teorías o hipótesis y un razonamiento válido, es decir, de contenido verdadero y forma válida.
A lo largo de la Edad Media la lógica se sigue desarrollando con autores como Santo Tomás
De Aquino, Guillermo de Ockham o Pedro Hispano. Ya en la modernidad encontramos a...