1993 - Gustavo Bueno - Teoría del Cierre Categorial-Tomo-2. Pentalfa. 1993

20 Gustavo Bueno. Teoria del cierre categorial (392)
encuentra con las reglas convencionales de interpretacion de ciertas
funciones del calculo de probabilidades en terminos del calculo
de proposiciones inanalizadas. En efecto, Bunge comienza por
traducir Ia teoria probabilistica de Ia verdad de Reichenbach al
calculo de proposiciones inanalizadas. Supongamos que afirmamos
un condicional (p => q) y que sabemos que Ia tesis q es verdadera.
La traduccion que Bunge dade estos supuestos en terminos
de un calculo de probabilidades es esta: Pr(p => q) = 1 y
Pr(q) = 1. Desarrollando estas igualdades segun las reglas consabidas
del calculo de proposiciones inanalizadas y de reglas de un
calculo de probabilidades tipo Kolmogorov, tendriamos:
Pr(p => q) = Pr(lpVq) = Pr(lp) + Jlr(q) (1).
Pero partiamos del supuesto de que:
[Pr(p => q) = 1lA[llr(lJ) = 1] (2).
Suponemos tam bien, por el teorema del complemento del calculo
de probabilidades que [Pr(lJ1) = 1-Jlr(p)] (3).
De donde, sustituyendo (3) y (2) en (1):
1 = 1-Pr((l) + Pr(q) (4).
Pero (4) solo puede ser (aritmeticamente) verdadero si
Pr(p) = 1 y Pr(q) = 1; solo asi, los valores que (4) tomara podran
ajustarse a Ia aritmetica:
1=1-1+1 (5).
Es decir -concluye Bunge- de Ia verdad de q, es decir, de
[Pr(q) = 1], y del supuesto de (p => q), es decir, de Pr(p => q) = 1,
se infiere Ia verdad de p, «io que es falaz», en cuanto sofisma
de afirmacion del consecuente. En efecto, dado (p => q) y q no
podemos concluir que p = 1, pues segun Ia definicion del functor
=>, tam bien en el caso de que p = 0, tendremos que (p => q) = 1.
Ahora bien: z,que alcance tiene semejante critica? Muy superficial.
Ante todo, porque Ia igualdad (5) no tiene por que interpretarse
necesariamente: «solo si p = 1 entonces q = 1», sino
tambien: «q sera 1 en el caso de que p sea 1» (en otro caso (4)
seria simplemente erroneo, igual a 0). Y esta interpretacion tiene
un significado claro en el proceso logico de Ia implicacion discursiva
material (cuando Ia verdad de q solo procede de Ia verdad
comunicada por p); por lo que en este caso Ia verdad de q
presupone 11 y lo demas es atenerse a una definicion convencional
de (p => q) segun Ia matriz (1,0,1,1) que poco tiene que ver
con Ia verdad cientifica.