» «Qe, ambos de grado 1. En
L, hagamos T'= «(x) [P(x) > Q(x)]», K = {«P(a)», «Q(a)»). Entonces
tenemos K’= {«Pla) v Q(a)», «P(a) v ~Q(a)», «~ Pla) v Qla)»} A
partir de la subclase K’,, que consiste en los dos primeros elementos
de K’—que juntos equivalen a «P(a)»— podemos deducir, por me-
dio de T, la oracién «Q(a)», y de ahi por pura légica, el tercer ele-
mento de K’; éste constituye el tnico elemento de K’;, No es posible
ninguna sistematizacién «mejor», de donde s(T, K) = 1/3.
Nuestra definicién es independiente del problema, que deja sin
resolver, de si para una K’ dada no podrian existir diferentes divisio-
nes, cada una de las cuales darfa el valor maximo para n(K’,)/n(K’).
En realidad, esto nunca puede suceder: si existe exactamente una
subdivisién éptima de K’dada. Este hecho es un corolario de un teo-
rema general, del que nos ocuparemos ahora, Se advertiré que en el
Lltimo ejemplo, K’; puede deducirse de T sola, sin emplear K; como
premisa; por cierto, «~P(a) v Q(a)» no es més que un caso de susti-
tucién de la oracién «(x) [~P(x) v Q(x)}, equivalente a T. El teore-
‘ma que ahora formularemos y que puede parecer sorprendente al
principio, muestra que esta observacién se aplica de manera andloga
en todos los otros casos.
372,
(7.2) Teorema. Si T es una oracién cualquiera, K’ una clase de
orasiones minimas,y K’ una subelase de K’tal que toda oracién en
K’, sea deducible por medio de T de la clase K - K’, entonces toda
oracién de K’, es deducible de T sola.
La demostracién, en sintesis, es como sigue: puesto que los con-
tenidos de dos oraciones minimas diferentes cualesquiera son reci-
procamente excluyentes, deben serlo también los contenidos de K’,
y K’, que no tienen ninguna oracién minima en comiin. Pero puesto
{que las oraciones de K’, se deducen de K’, y T juntas, deben por lo
tanto deducirse de 7 sola.
Sefialamos las siguientes consecuencias de nuestro teorema:
(7.2a) Teorema. En cualquier clase K’ de oraciones minimas, la
mayor subelase deducible de las restantes por medio de una oracién
Tes idéntica a la clase de aquellos elementos en K’ que son deduci-
bles de T'sola.
(7.2b) Teorema. Si T es cualquier oracién, K una clase de oracio-
nes singulares, K’la clase equivalente de oraciones minimas, y K’,la
clase de aquellas de entre estas iltimas, deducibles de T sola, enton-
ces el concepto s definido en (7.1) satisface la siguiente ecuacién:
3(T, K) = n(K')/n(K)
8. Poder sistemdtico y probabilidad légica de una teoria.
Generalizacién del concepto de poder sistematico
El concepto de poder sistematico esta estrechamente vinculado
con el grado de confirmacién, o probabilidad légica, de una teoria.
El estudio de esta relaci6n esclarecera la definicién de s propuesta,
sugerird ciertas maneras de generalizarla y conducira finalmente a
tuna teorfa general de poder sistematico que es formalmente andloga
ala de la probabilidad l6gica.
El concepto de probabilidad logica, o grado de confirmacién, es
el concepto central de la I6gica inductiva. Carnap,” Helmer, Hem-
pel y Oppenheim’ han propuesto diferentes definiciones explicitas
39. Véanse especialmente 1945, 1945a y 1947.
40. Véanse Helmer y Oppenheim (1945); Hempel y Oppenheim (1945).
Ciertos aspectos generales de la relacién entre la confirmacién de una teoria y
373, de este concepto, para lenguajes de estructura similar a la de nuestro
lenguaje modelo.
‘Mientras que la definicién de s propuesta en la seccién anterior se
apoya en el concepto de oracién minima, el concepto bisico en la
construccién de una medida de la probabilidad ldgica es el de la des-
cripcién de estado 0, como también dijimos, el de la oracién maxi-
ma. Una oracién méxima es el dual* de una oracién minima en L; es
una conjuncién de oraciones atémicas diferentes k(0 = k Sn), y de
las negaciones de las oraciones atémicas restantes m - k. En un len-
guaje con oraciones atémicas 7, existen 2" descripciones de estado.
Asi, por ejemplo, el lenguaje L, repetidamente mencionado en el pa~
ragrafo 7 contiene las cuatro siguientes oraciones méximas: «P(a) +
QUa)», «P(a) > ~ Qa)», «~ Pla)» Qa)», «~ Pla)» ~ Qa)».
El término También podría gustarte
