Tema

6. La nocin de consecuencia lgica

(Captulo 2 de S. Read, Thinking about Logic, pp. 35-63)

La consecuencia lgica es la relacin que existe entre las premisas y la conclusin de un
argumento deductivamente vlido.
Pero, en qu consiste la relacin de consecuencia? La respuesta determina distintos
tipos de lgicas, en particular, separa la lgica clsica de las lgicas divergentes.

1. La concepcin clsica de la consecuencia lgica

Presupuesto de la concepcin clsica: la validez deductiva es una cuestin de forma.
Este presupuesto de la concepcin clsica va en dos direcciones:
a) Un argumento es deductivamente vlido cuando instancia una forma vlida.
b) Un argumento que no instancia ninguna forma vlida es deductivamente invlido.

Pero qu es lo que hace vlidas a esas formas?

Tesis bsica de la concepcin clsica: la relacin de consecuencia deductiva consiste en
la preservacin necesaria de la verdad.
Y cmo se entiende ese necesaria? De acuerdo con el presupuesto formalista, en
trminos de interpretacin: para ninguna interpretacin del vocabulario extralgico se
obtienen premisas verdaderas y conclusin falsa.

Versin inicial de la concepcin clsica: la preservacin de la verdad se entiende en

trminos esencialmente sustitucionales.
Un argumento es invlido si hay alguna manera de sustituir unos trminos por otros
que d como resultado premisas verdaderas y conclusin falsa. Pero, qu trminos se
pueden sustituir?
Distincin bsica: vocabulario lgico / vocabulario extralgico. (Una ampliacin del
vocabulario lgico da lugar a una extensin de la lgica clsica. Por ejemplo, la LGICA
MODAL aade nuevas constantes lgicas, los operadores modales).
Pero un criterio sustitucional sin ms (BERNARD BOLZANO) dara resultados absurdos en
algunos casos lmite. ALFRED TARSKI resuelve el problema aadiendo las nociones
tcnicas de estructura e interpretacin, que permiten la posibilidad de variar el
dominio de interpretacin.
Versin ms rigurosa de la concepcin clsica: necesaria preservacin de la verdad
quiere decir en toda estructura y toda interpretacin.

Cuatro peculiaridades (quiz fallos?) de la concepcin clsica de la consecuencia lgica:

a) Aspectos en los que la consecuencia clsica parece que se pasa (overgenerates):

- Una verdad lgica se sigue clsicamente de cualquier conjunto de premisas: necessario

ex quolibet sequitur.
- De una falsedad lgica (contradiccin) se sigue clsicamente cualquier conclusin: ex
impossibile quodlibet sequitur.
[A partir de aqu, la lgica clsica debe admitir que toda teora inconsistente es trivial. /
Las LGICAS PARACONSISTENTES admiten contradicciones sin degenerar en una teora
trivial.]
* Pero: no podramos rechazar esas consecuencias contraintuitivas?

b) Aspectos en los que la consecuencia clsica parece que se queda corta

(undergenerates):
- La consecuencia lgica clsica es compacta (cualquier consecuencia de un conjunto de
premisas es consecuencia de un conjunto finito suyo).
*Pero: no podra haber conclusiones para las que necesitamos poner en juego un conjunto
infinito de premisas?

- La relacin de consecuencia clsica est en la forma de las expresiones.

* Pero: no podra haber consecuencias que no sean vlidas en virtud de la forma, sino
del contenido?

2. Primera crtica a la concepcin clsica: materia y forma

(Revisin del presupuesto de la teora clsica: la relacin de consecuencia es cuestin de
forma).
La formulacin clsica reduce el lenguaje modal (imposible que sean las premisas
verdaderas y la conclusin falsa) a un lenguaje limpio (para ninguna interpretacin del
vocabulario extralgico se obtienen premisas verdaderas y conclusin falsa), para evitar
el peligro de tener que comprometerse con una metafsica especial.
Crtica: esa reduccin pierde algo, las dos formulaciones no son equivalentes. Lo que se
pierde son las consecuencias materiales.
Consecuencia material: es imposible que las premisas sean verdaderas y la conclusin
falsa, en virtud del significado de los trminos (no en virtud de la forma, sino en virtud
de conexiones analticas).
Lgica (formal)
Necesidad
Analtica

Conclusin-reflexin: La lgica clsica es incompleta. Si se completa con una teora de
las consecuencias materiales, se puede llamar tambin lgica?

3. Segunda crtica a la concepcin clsica: pertinencia (relevance)

(Revisin de la tesis bsica de la teora clsica: la consecuencia lgica es preservacin
necesaria de la verdad).

Ex impossibile quodlibet sequitur: de AA se sigue B.

Necessarium ex quolibet sequitur: de A se sigue BB.
Crtica: qu tiene que ver en estos casos la conclusin con las premisas? Esas premisas
no parece que sirvan de apoyo a la conclusin.
Tesis: No basta con la preservacin de la verdad, hace falta tambin que las premisas
sean pertinentes para la conclusin.
(Pasa lo mismo con las consecuencias materiales: una verdad analtica se sigue de
cualquier cosa, y de una falsedad analtica se sigue cualquier cosa).
Las LGICAS DE LA RELEVANCIA (relevant logics, relevance logics) exigen pertinencia para
que haya relacin de consecuencia.

Cmo se podra introducir la pertinencia como criterio de buena consecuencia?

a) Aadir otra condicin a la de preservacin de verdad: en trminos de de qu hablan
las proposiciones.
Por ejemplo: Una conclusin se sigue de unas premisas sii se preserva la verdad y hay
una conexin entre los contenidos de las premisas y la conclusin.

b) Revisar qu quiere decir preservacin de la verdad.
Formulacin clsica: Es imposible que las premisas sean verdaderas y la conclusin
falsa. Se pierde la relacin entre premisas y conclusin.
Relevantistas: Lo que hay que garantizar es que si las premisas son verdaderas
entonces la conclusin debe ser verdadera. La verdad de las premisas lleva a la verdad
de la conclusin.
No hace falta aadir nada al criterio de preservacin de la verdad, sino formularlo e
interpretarlo bien.
Nueva formulacin: Una conclusin es consecuencia lgica de unas premisas sii es
necesario que si las premisas son verdaderas entonces es verdadera la conclusin. (El
problema, ahora, es interpretar correctamente el condicional).

Conclusin-reflexin: Pero el principio ex impossibili quodlibet sequitur se puede

demostrar mediante una deduccin lgica. Significa que las reglas de deduccin no
valen?

Mapa de las lgicas no clsicas que han salido en este tema:

Extendidas: lgica modal (aade operadores modales)
Lgicas no clsicas
Divergentes: lgica paraconsistente (admite contradicciones)
lgica de la relevancia (exige pertinencia)

Bibliografa complementaria:
Beall, JC and Restall, G., Logical Consequence, The Stanford Encyclopedia of Philosophy
(Fall 2009 Edition), Edward N. Zalta (ed.), URL =
<http://plato.stanford.edu/archives/fall2009/entries/logical-consequence/>.
Gmez Torrente, M., Forma y modalidad. Una Introduccin al Concepto de Consecuencia
Lgica, Eudeba, Buenos Aires, 2000.
Read, S., Logical consequence as truth-preservation, Logique et Analyse 183-4 (2003),
pp. 479-93.