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.