Tema

7. El problema de los condicionales

(Captulo 3 de S. Read, Thinking about Logic, pp. 64-95)

Cul es el problema que plantean a la lgica los enunciados condicionales? El de
formular sus condiciones de verdad, dentro del programa de anlisis lgico del
lenguaje natural (con vistas a determinar cundo se da o no relacin de consecuencia).
La filosofa de la lgica valora las respuestas de las distintas lgicas, tratando de ver cul
hace un mejor anlisis del lenguaje natural.

1. Condicional y condiciones de verdad

Enunciados condicionales: enunciados compuestos mediante el nexo si entonces (o
equivalentes).
Condicional indicativo: enunciado condicional cuyo antecedente y consecuente tienen el
verbo en modo indicativo.
Condicional subjuntivo: enunciado condicional cuyo antecedente tiene el verbo en modo
subjuntivo.
Las partes de un condicional indicativo parecen ser proposiciones: les corresponde
ser verdaderas o falsas.
Pregunta: La verdad o falsedad de las partes determina la verdad o falsedad del
enunciado compuesto?
Respuesta clsica: s. La verdad del compuesto es funcin de la verdad de las partes.
* Compuesto funcional-veritativo: la verdad del compuesto depende exclusivamente de
la verdad de los constituyentes.

2. El anlisis clsico del condicional

Tesis de la lgica clsica: el si entonces es una funcin de verdad, y los enunciados
condicionales son compuestos funcional-veritativos.
En el lenguaje natural, el uso de si entonces parece sugerir cierta relacin entre
antecedente y consecuente. Pero el anlisis funcional-veritativo parece que la pierde.
Es el clsico un buen anlisis?

2.1. Argumentos que demuestran el carcter funcional-veritativo del condicional

a) Argumento rpido:
Un condicional es equivalente a una disyuncin.
La disyuncin es funcional-veritativa.
Por tanto, el condicional es tambin funcional-veritativo.

El valor de esta demostracin depende de si se aceptan o no los presupuestos

clsicos.

b) Argumento extendido:
Entre las premisas y la conclusin de un argumento vlido hay una relacin de
consecuencia. La dependencia entre premisas y conclusin de un argumento vlido se
puede expresar mediante un condicional: si las premisas son verdaderas,
necesariamente ser verdadera la conclusin.
Principio de condicionalidad: si de A, B se sigue C, entonces de A se sigue (BC)
Debido a esta conexin entre consecuencia y condicional, se pueden usar las reglas
clsicas de la consecuencia (modus ponens, ex impossibile quodlibet y necessario ex
quolibet) para dar una prueba del carcter funcional-veritativo del condicional.
El valor de esta demostracin depende de si se aceptan o no los presupuestos
clsicos.

2.2. Los contraejemplos y una respuesta clsica
Si no devaluamos el euro, la recesin continuar. Supongamos que s devaluamos el
euro: basta con eso para que sea verdadero el condicional?
Un rompecabezas: Si 2+2=5 entonces me gusta la paella. La concepcin clsica (el
enunciado es verdadero, porque su antecedente es falso) parece entrar en conflicto con
intuiciones comunes (el enunciado es falso, porque no hay relacin entre antecedente y
consecuente).
Solucin clsica: se pueden explicar los contraejemplos sin renunciar a la tesis
funcional-veritativa.
* Los contraejemplos no son casos de condicional falso, sino casos de condicional no
asertable.

3. La propuesta conversacionalista de PAUL GRICE

Tesis 1 de Grice: dentro de una situacin conversacional, el contenido de la asercin no
consiste solamente en lo que se dice explcitamente (significado literal), sino tambin en
lo que se implica (significado del hablante).
Elementos semnticos / elementos pragmticos.
Implicatura: contenido que se aserta sin ser explcitamente dicho.
Implicatura conversacional: no depende del significado de las palabras, sino de los
principios que rigen la conversacin.
* Lo que se dice con un condicional AB es o no A o B. / Lo que se implica con un
condicional es que hay una conexin entre antecedente y consecuente. Al asertar un
condicional, se aserta tambin esa implicatura.

Tesis 2 de Grice: lo que basta para la verdad puede no bastar para la asertabilidad.
Las mximas conversacionales determinan las condiciones de asertabilidad.

Condiciones de verdad / condiciones de asertabilidad.

* Las condiciones de verdad del condicional son las clsicas: que sea falso el antecedente
o verdadero el consecuente. / Las condiciones de asertabilidad del condicional las
determinan las mximas conversacionales: al asertar un condicional se implica por una
parte que se tiene una justificacin para esa asercin (mxima de cualidad), pero por
otra parte que esa justificacin no es simplemente que se sabe que el antecedente es
falso (de serlo, habra que negar el antecedente sin ms: mxima de cantidad).
El contraejemplo es verdadero, porque se cumplen las condiciones de verdad, pero no
es asertable, porque no se cumplen las condiciones de asertabilidad.
[La nocin de implicatura permite admitir la importancia de la conexin entre
antecedente y consecuente, pero sin que intervenga en la determinacin de la verdad.]

4. La propuesta convencionalista de FRANK JACKSON

Nocin de robustez de una proposicin respecto de una informacin: una proposicin
es robusta respecto de una informacin cuando su asertabilidad no queda afectada
por esa informacin.
Tesis 1 de Jackson: la misma forma lgica no conlleva la misma robustez.
[El corolario: no siempre es lcito aplicar reglas vlidas de inferencia, solo cuando una
premisa es robusta respecto a la otra.]
Tesis 2 de Jackson: para que un condicional sea asertable no basta con que sea
verdadero; tambin debe ser robusto respecto a su antecedente (en otra palabras: debe
ser lcito aplicar el modus ponens). Esta exigencia no es conversacional, sino
convencional (forma parte del significado del condicional).
* El significado del condicional no son sus condiciones de verdad (o no A o B), sino la
posibilidad de inferir por modus ponens (tener A me llevara a B). Al asertar un
condicional, lo que se aserta es ese significado.
El contraejemplo es verdadero, porque se cumplen las condiciones de verdad, pero no
es asertable, porque no se cumplen las condiciones de asertabilidad.
[La nocin de robustez permite admitir la importancia de la conexin entre
antecedente y consecuente, pero sin que intervenga en la determinacin de la verdad.]

5. La alternativa no funcional-veritativa
Punto de partida: El condicional no es funcional-veritativo, la verdad del compuesto no
est determinada exclusivamente por la verdad de las partes.
Qu motivos llevan a creer que es verdadero un condicional? Motivos distintos que
simplemente los valores de verdad de las partes.
Test de RAMSEY: para decidir si debes creer un condicional, aade provisionalmente el
antecedente a tu cuerpo de creencias, y considera si eso te compromete a creer que es
verdadero el consecuente.
Programa no clsico: buscar otras condiciones de verdad, en la lnea del Test de
Ramsey (no en funcin de la verdad de las partes) para los condicionales: a) para
algunos condicionales especiales; b) para cualquier enunciado condicional.

5.1. Los condicionales contrafcticos
Condicional contrafctico: condicional subjuntivo cuyo antecedente [la versin en
indicativo de su antecedente] es contrario a los hechos (su falsedad est dada).
Propuesta de algunos autores: doble tratamiento de los condicionales. Para los
condicionales indicativos, conservar la teora clsica; para los condicionales
contrafcticos, admitir un tratamiento no funcional-veritativo.
NELSON GOODMAN: los condicionales contrafcticos tienen algo especial (que envuelven de
algn modo leyes de la naturaleza), y por eso tienen unos criterios de verdad especiales.

5.2. Nuevas lgicas para el condicional en general
Otra propuesta: tratamiento no-clsico unificado para todos los condicionales.
La primera lgica no-clsica que busca un anlisis ms satisfactorio de los condicionales
es la LGICA DE LA IMPLICACIN ESTRICTA de CLARENCE I. LEWIS.
Para evitar las paradojas del condicional material, interpreta el si entonces
mediante una nueva conectiva que l llama implicacin estricta y que no es
funcional-veritativa, sino modal: A implica estrictamente B sii AB es necesario.
* El problema es cmo interpretar esa necesidad.
* La implicacin estricta tiene sus propias paradojas.

6. Condicional y probabilidad
ROBERT STALNAKER desarrolla una LGICA PROBABILSTICA para los condicionales. Se apoya
en el test de Ramsey, pero interpreta la creencia como una funcin de probabilidad (=
una funcin que asigna a cada proposicin una probabilidad de ser verdadera, entre 0
y 1).
* Es una lgica funcional-probabilista: la asignacin de probabilidades a las
proposiciones compuestas depende de las probabilidades asignadas a las partes.
Pero a veces las creencias se modifican al apoyarse en cierta evidencia: nocin de
probabilidad condicional de una proposicin en funcin de otra.
Hiptesis de Stalnaker: la probabilidad que debe asignarse a un condicional es la
probabilidad condicional de su consecuente en funcin del antecedente.
En este enfoque, un condicional no es equivalente a una disyuncin.
* Problema: los crticos dicen que la hiptesis es inviable, que no se puede asignar tal
probabilidad condicional.

7. Condicional y modalidad
Stalnaker tambin formula una LGICA CONDICIONAL, desarrollando el test de Ramsey con
herramientas de la semntica de la lgica modal: formula las condiciones de verdad de
los enunciados condicionales en trminos de mundos posibles.
Mundo actual / mundos posibles.

Test de la revisin mnima: para decidir si es verdadero el condicional AB, considera

el mundo posible ms semejante al actual en el que A sea verdadero, y averigua si en ese
otro mundo posible B es tambin verdadero.
Condicin de verdad para el condicional: un condicional es verdadero si su consecuente
es verdadero en el mundo posible ms semejante al mundo actual en el que su
antecedente sea verdadero.
La lgica condicional de Stalnaker es una lgica divergente: muchas reglas lgicas
clsicas no son vlidas. Por ejemplo: contraposicin, refuerzo del antecedente y
transitividad.
Un problema especial: el principio de tercio excluso condicional, que s es vlido para
Stalnaker. Contraejemplo de DAVID LEWIS: Si Bizet y Verdi fueran compatriotas, Bizet
sera italiano y Si Bizet y Verdi fueran compatriotas, Bizet no sera italiano. El
problema es un presupuesto de Stalnaker: que solamente hay un nico mundo ms
semejante.
Dos problemas generales: todos los condicionales con antecedente y consecuente
verdaderos son verdaderos, y todos los condicionales con antecedente imposible son
verdaderos.

Conclusin-reflexin: la relacin entre antecedente y consecuente que expresa un
enunciado condicional se puede capturar con una semntica formal?


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

Extendidas: lgica de la implicacin estricta
Lgicas no clsicas
Divergentes: lgicas condicionales
lgicas probabilsticas





Bibliografa complementaria:
Garca Surez, A., Modos de significar, Tecnos, Madrid, 2011, captulo 5: Implicaturas y
relevancia.
Priest, G., An Introduction to Non-Classical Logic: From If to Is, Cambridge University
Press, 2008.
Burgess, John P., Philosophical Logic, Princeton University Press, 2009.
Edgington, D., Conditionals, The Stanford Encyclopedia of Philosophy (Winter 2008
Edition), Edward N. Zalta (ed.), URL =
<http://plato.stanford.edu/archives/win2008/entries/conditionals/>.