Beruflich Dokumente
Kultur Dokumente
ENSAYO
EL LIBRO UNIVERSITAlUO
FILOSOFA DE LA
LGICA
Versin de
Manuel Sacristn
Alianza Editorial
Tlul" original:
R(~\.:n:ldo.~ rodo . . los dl..'fl'chos. FI confenido dI..' ,-,sra obra ~~d pIOh:gid;1 pOI" 1.1 Lo..')'. <pll'
t'sr,lh1ect'
P,,:11.1 ... dt' pnSi'l!l y;o Inuha:-. adend.. . Lit.' la'i (onl~p(llldil:lHr. . indcmni/.ll]()IkS por d.ltls y pl'I'jui(io~. par. LJlIil"Il\.~ r.,.:proJuilTl"lI. pb~i;Jrcn.
di . . rrihuyl'l"\.'1l
:oIHunic,tn:n
t) ...
Pl'lhli . . ,lllll'IlIC,
\.:11
IOdo ()
(,:11 partt.'. 1I1l.1 ohr,) IIHT,ln,l. ,lrrsric.l o (il'!Hitl . .:.l. () . . lI tran!'o(orlll.llill. illllTprl..'u\')1l n l'jn.'IH:i(lll
;lns(ica
fijad ...
1..'1\
de clI.llquit'r
u'h:dio .... in
prl"-
l't'pri\;l ;l1ll(}riu~.:in.
(i)
(0 EJ, cm.: Alianza Ediroria!, S. ;\ .. M'ldrid, I'JTl. 1'J77, [<)81. 1<)84, J')<)I, 1'J'J1!
Calle Juan Ignacill luca de'l ena, I 'l; 28027 "vI.Jdrid; tdL 9 I
ISBN: ~4-20{-790(,-2
.l'n XX XH
A mi bija
Elizabetb Roberts
INDICE
PRlOGO
13
17
CAPTULO
1:
SIGNIFICACI"
VERDAD
CAPTULO
2:
GRAMTICA
19
21
24
27
30
34
38
41
..
43
46
48
50
52
54
10
Indice
Nombres propios y functores ..
Lxico, partcula, nombre propio ...
. .............. .
El criterio del lxico .................................................... .
Tiempo, acaecimientos, adverbios
Actitudes y modalidad
CAPTULO
3:
VERDAD
66
69
....
Verdad y satisfaccin
Satisfaccin por sucesiones .. .............................................
La definicin de la verdad por Tar,ski .................................
Una paradoja en el lenguaje-objeto ........... ........................
Solucin de la contradiccin en teora de conjuntos ...............
71
74
77
81
84
87
89
92
CAPiTULO
4:
56
58
61
63
95
97
100
102
104
109
111
113
116
118
121
CAPiTULO
CAPTULO
5:
6:
LGICAS DIVERGENTES
.....
123
126
129
132
137
139
141
143
Indice
11
CAPTULO
7:
146
148
152
155
157
161
163
167
170
Lecturas recomendadas
175
IN DICE
181
ANALTICO
PROLOGO
16
NOT A A LA REIMPRESIN
Ouine, 2
Captulo
SIGNIFICACION y VERDAD
21
22
l.
Significacin y verdad
23
pginas siguientes, lance mis invectivas contra -las proposicioel sentido en que se tomar este trmino ser siempre el de
~Ignificaciones de oraciones.
Algunos filsofos, loablemente suspicaGes respecto de las
proposiciones en este .sentido audaz, se refugian en la palabra
l'nunciado' ['statement']. La interrogacin que formul para
empezar este captulo ilustra ese uso elusivo. No as mi acosIlImbrado y arraigado uso de 'enunciado' ['statement'] en mis
libros anteriores; en ellos us el trmino exclusivamente para
referirme a oraciones declarativas, dicindolo explcitamente.
I.uego he abandonado el trmino, en vista de la creciente
lL'ndencia de los de Oxford a utilizarlo para indicar los actos
que ejecutamos al emitir oraciones declarativas. Ahora bien:
l'S seguro que el apelar a enunciados [statements] en ese sentido,
l'n vez de hablar de proposiciones, no aporta ninguna claridad.
No dir nada ms acerca de enunciados, sino que hablar
Jlormalmente de proposiciones.
Una vez que el filsofo ha admitido proposiciones en su
llntologa -ya sea por no haber notado la ambigedad antes
aludida, ya por exceso de hospitalidad-, toma infaliblemente
las proposiciones, en vez de las oraciones, como los objetos
que son verdaderos o falsos. El filsofo tiene la sensacin de que
con eso procede ms directamente, se salta un escaln. Volvamos
a nuestro alemn. Dijimos que haba dicho la verdad en
cuanto (1) 'Der Schnee ist weiss' significa que la nieve es blanca,
y (2) la nieve es blanca. Lo que cree hacer nuestro proposicionalista es ahorrarse el paso (1). La proposicin la nieve es blanca
es verdadera simplemente en cuanto (2) la nieve es blanca.
El proposicionalista obvia o pasa por alto las diferencias entre
lenguajes, y tambin las diferencias de formulacin en un mismo
icnguaje.
Mi objecin al reconocimiento de las proposiciones no nace
primariamente de la parsimonia filosfica, del deseo de no
soar ms cosas en los cielos y en la tierra que las estrictamente
necesarias. Tampoco nace, por precisar ms, de ningn coneretismo filosfico, de la negacin de toda entidad intangible
o abstracta. Mi objecin es ms constringente que todo eso:
si hubiera proposiciones, stas suscitaran cierta relacin de
sinonimia o equivalencia entre las oraciones mismas: las oraciones que expresaran una misma proposicin seran equivalentes. Pues bien: mi objecin consistir en sostener que la
LIS
IIl:S,
\V,II,lId
V,m
(l'IlI,11I
()uill(,
S'J.:II,lIl",""h.n
y v.',d, .. 1
26
misma proposicin si toda distribucin csmica de los corpsculos o partculas que verifique una de las dos oraciones verifica
tambin la otra. Se puede llamar mundo posible a cada distribucin de partculas elementales de clases determinadas en el espacio-tiempo total; supuesto este uso, se puede decir que dos oraciones significan la misma proposicin si son verdaderas ambas
en los mismos mundos posibles. Las verdades de la matemtica
pura y de la lgica se encuentran en un extremo de esta escala:
son verdaderas en todos los mundos posibles. Podemos decir
que la clase de los mundos posibles en que resulta verdadera una
oracin es la informacin objetiva dada por esa oracin: es,
en suma. su proposicin. Pero la idea tampoco nos suministra
un procedimiento general para equiparar oraciones en la vida
real. Pues no podemos, ciertamente, alimentar la esperanza de
que un da dispondremos de una tcnica adecuada para analizar
nuestras oraciones ordinarias de tal modo que queden de manifiesto sus implicaciones respecto de la distribucin de las partculas en el espacio-tiempo total.
La tradicin epistemolgica empirista sugiere otro modo de
conseguir estimar la informacin objetiva, precisando as esta
nocin: di qu diferencia acarreara para la experiencia posible
la verdad o la falsedad de una oracin y habrs dicho todo lo
que hay que decir acerca de la significacin de la misma; tal
es la teora de la significacin que la entiende como contrastabilidad emprica. Los mismos trminos usados para exponer
la teora de la contrastacin son en sustancia los usados por
Charles Sanders Peirce. Tambin esta teora se puede entender
como una ms de las que identifican la proposicin o significacin de una oracin con la informacin que sta trasmite;
pero en el caso de esta teora la matriz de alternativas que hay
que utilizar para definir la informacin es la totalidad de las
distinciones y las combinaciones posibles del insumo sensorial *.
Algunos epistemlogos catalogarn esas alternativas por in-
1,
Significacin y verdad
27
2/1
29
30
Significacin y verdad
31
I\ka llevara la etiqueta de la expresin que la significa; en parIlellJar, cada idea-proposicin tendra su etiqueta-oracin. Al
niticar esta actitud he planteado el problema de la identificacin
,le una proposicin. Las teorias empiristas de la significacin
Ill~llen, a este respecto, a primera vista, el atractivo de que el
lampo de la evidencia sensible goza de una posibilidad de indimlualizacin bastante clara. Pero hemos dado razones sufi.1l'lltes para no confiar en esa va.
La cuestin de la identificacin de proposiciones es el prohirma de la definicin de la equivalencia entre oraciones: de
IIl1a equivalencia, al menos, cognoscitiva, ya que no emprica,
\ que engrane de un modo u otro con las condiciones de la
\ ndad. Ser oportuno registrar y rechazar en este punto otra
I\ka que atrae en esta direccin y no coincide con la de equivakllcia emprica; pero slo lo justo para robustecer nuestra
('sI imacin del problema. Podra parecer posible definir una
I dacin fuerte de sinonimia entre palabras aisladas, mediante
I; simple exigencia de que sean intercambiables salva veritate:
que al poner una de las dos palabras en el lugar de la otra se
('(lllserve el valor veritativo del contexto, o sea, que las verdades
",L' conviertan en verdades y las falsedades en falsedades. Y, geIInalizando, se podra entonces decir que una palabra y una
Irase -por ejemplo, 'soltero' y 'varn no casado'- son sinnililas si son siempre intercambiables salva veritate. Por ltimo
ptldemos dar media vuelta y decir que dos oraciones son equi\;dentes en sentido fuerte cuando constan de partes correspondirlltes que son sinnimas dos a dos en el sentido que queda
dicho.
Ese es, con toda claridad, un modo artificioso de ascender
1;1 dbil relacin de mera igualdad de valor veritativo a la condicin de relacin de equivaleJ}cia fuerte por simple acumula('Il'm. Las oraciones equivalentes son estructuras paralelas cuyas
p;lrles correspondientes estn relacionadas entre s por la fuerte
Il'lacin de ser intercambiables salva veritate en toda oracin.
1.;1 relacin de equivalencia as obtenida tiene el inconveniente
lit: que exige un paralelismo de estructuras; pero se puede aligelar un tanto esa limitacin por el procedimiento de enumerar
,Idems unas cuantas trasformaciones gramaticales admisibles
(que permitan obtener el paralelismo requerido).
Pero vamos a reflexionar crticamente acerca de la sinonimia
"lIlre palabras y entre palabras y frases. Considrese los trminos
12
,.
Significacin y verdad
33
l.
Significacin y verdad
35
l.
Significacin y verdad
37
a proposiciones, sino subiendo un escaln para atribuir la verdad a oraciones. Esta ascensin a un plano de referencia lingstico es una retirada respecto del mundo, pero slo transitoria,
pues la utilidad del predicado verdad consiste precisamente en
borrar la referencia lingstica. El predicado verdad nos advierte
que, pese a la ascensin semntica que nos hace hablar de oraciones, seguimos con la vista puesta en el mundo. Esta capacidad eliminadora que tiene el predicado verdad est explcita en
el paradigma tarskiano:
'La nieve es blanca' es verdadera si y slo si la nieve es blanca.
111
Significacin y verdad
39
De acuerdo con el lxico de Peirce, emisiones e inscripcioIIL'S son marcas [tokens] de la oracin o de otra expresin lin"iistica de que se trate; y esta expresin lingstica se llama
lifJO [type] de aquellas emisiones e inscripciones. De acuerdo
('un el lxico de Frege, verdad y falsedad son los dos valores
I'l'ritativos [Wahrheitswerte, truth values]. Dicho, pues, com>l:ndiadamente: una oracin eterna es una oracin cuyas marcas
I i~nen todas el mismo valor veritativo.
Se puede imaginar que, por una coincidencia poco comn,
1111(\ misma sucesin de sonidos o de caracteres sirva para decir
',~ .:: 5' en una lengua y '2 > 5' en otra. Por lo tanto, al deL'ir que '2 < 5' es una oracin eterna hemos de sobrentender
que la estamos considerando exclusivamente como oracin de
l\lICstra lengua y que slo afirmamos la verdad de aquellas
Illarcas suyas que son emisiones o inscripciones efectuadas en
Iluestra propia comunidad lingstica. Por Jo dems, una coincidencia que no sera tan asombrosa podra hacer que una
I lracin que era verdadera se convirtiera en falsa por causa
de algn cambio semntico ocurrido en la continua evolucin
de nuestro propio lenguaje. Tambin en este caso hemos de
elltender la discrepancia como diferencia entre dos lenguajes:
nuestra lengua en una fecha y nuestra lengua en otra fecha.
La sucesin de sonidos o caracteres de que se trate es y sigue
siendo una oracin eterna y verdadera en nuestra lengua de
aquella primera fecha; lo nico que pasa es que hace pluriempleo, y trabaja como falsedad en otro lenguaje, que es nuestra
lengua moderna.
Por lo tanto, al llamar eterna a una oracin lo hacemos estrictamente respecto de un lenguaje determinado y un tiempo
determinado 2. Precisamente por esa discutible relatividad tiene
cierta ventaja teortica el asignar los valores veritativos a las
marcas, porque en este caso no suele presentarse la problemtica necesidad de elegir entre lenguajes o entre estadios histricos de un mismo lenguaje; aqu se trata slo del lenguaje del
~misor o inscriptor, que es sin ms el de la poca en que habla
\) escribe. Pero en la prctica resulta a veces conveniente hablar
simplemente de valores veritativos de oraciones eternas, en Esta es una cuestin que preocup a L. J, COHEN, T/e di)lersity
Meaning [La pluralidad de la significacin], London, Methuen, 1962,
pgina 19,
(JI
10
( :aptulo
(iRAMATICA
43
44
gsticos, como lo hace la lgica, para expresar sus generalidades, sino que, adems, se refiere al lenguaje incluso en los
casos o ejemplos singulares de sus generalidades. Este tema es
la gramtica. Vale la pena observar el significativo hecho de que
el predicado verdad, tan ampliamente usado en las generalidades
lgicas para eliminar los efectos de la ascensin semntica
y restaurar la referencia objetiva, no tiene lugar alguno en las
generalidades gramaticales, al menos segn la concepcin
clsica de stas. La gramtica es lingstica por su propia intencin.
Voy a describir, por de pronto, la tarea de la gramtica
siguiendo sencillos criterios clsicos y posponiendo varias limitaciones o particularizaciones de lo que diga. Contemplemos al
gramtico como una persona que se enfrenta con una comunidad
parlante provisto de una reducida lista de fonemas. Son stos
breves unidades verbales, anlogos verbales de las letras. No se
exige de ellos sino que todo lo que se dice en la comunidad en
cuestin se pueda representar por una sucesin de fonemas, sin
que una misma sucesin corresponda nunca a emisiones significativamente diferentes. Para mostrar que dos sonidos determinados, acsticamente distinguibles, son significativamente diferentes para un hablante y, por lo tanto, se tienen que registrar
como fenmenos distintos, basta con hallar una emisin que
provoque el asentimiento del hablante antes de sustituir un
sonido por otro y su disentimiento una vez practicada la sustitucin. As, pues, la recoleccin de los fonemas de un lenguaje
es un trabajo bastante puramente emprico. Lo consideraremos
realizado en el momento en que el gramtico entra en escena.
La pregunta inicial del gramtico es entonces: qu sucesiones de fonemas pertenecen al lenguaje? Esto es: qu ristras
de fonemas se emiten o se podran emitir como discurso normal
en esa comunidad? La tarea del gramtico consiste en delimitar
formalmente la clase de todas esas sucesiones de fonemas.
Qu quiere decir aqu formalmente? Quiere decir que el gramtico se tiene que mantener dentro de una teora puramente
matemtica de sucesiones finitas de fonemas. Ms explcitamente: que no tiene que decir nada que no se pueda decir por
medio de un vocabulario tcnico en el cual, adems de las partculas lgicas corrientes y el aparato auxiliar de matemtica
pura que se desee, no haya ms que los nombres de los fonemas
y un smbolo que signifique la concatenacin de fonemas.
Gramtica
45
( ;ramtica
47
48
(;ramtica
49
\ ,q~a de esa formulacin: una concatenacin de fonemas perI<"lIcce al lenguaje de una determinada comunidad si puede ser
1I',;ldo en esa comunidad en el discurso normal. Vaya considnar ahora esa nocin ms crticamente.
Ejemplo extremo de la otra nocin, la inmanente, es la de las
1,;!1abras alemanas del tipo de der. Se trata de una cIase de paI.lhras caracterizadas por la exigencia de que el adjetivo que les
,q'uc tenga 10 que los gramticos alemanes llaman flexin
,khiL. Sera una necedad preguntarse qu sern las palabras
.k la cIase de der en otro lenguaje cualquiera no precisado.
1:1 clase a la que pertenece la palabra der se especifica en la
1'1 :Jmtica alemana formalmente, precisamente por simple
"lIumeracin y en un trabajo carente por s mismo de inters,
,llIngue de ayuda para la tarea importante de delimitar formalIIH:nte la clase completa de las concatenaciones de fonemas
pntenecientes al alemn. La misma nocin de flexin dbil del
;Idjctivo es inmanente; las flexiones dbiles se pueden especificar
,'11 gramtica alemana por simple enumeracin; cuando trasplantamos el trmino 'flexin dbil' a otro lenguaje lo hacemos
porque notamos cierto parecido con el caso alemn; pero no
"ay que inferir grandes cosas de ese parecido. La relacin entre
'IS dos usos del trmino ser poco ms que mera homonimia.
Si partiramos de alguna nocin trascendente satisfactoria
,k gramaticalidad y definiramos luego la nocin de categora
I'ramatical simplemente por la intercambiabilidad salva congrui{1I1(', al modo de Husserl, tambin sera trascendente la nocin
dc categora gramatical. Pero hemos visto ya algn motivo
para temer que las categoras as definidas seran demasiado esI lechas para ser tiles. En cualquier caso, no es necesario imponer aqu la trascendencia. Al hacer la gramtica de un lenI'uaje determinado delimitamos formalmente la cIase de las
l'IlIlcatenaciones de fonemas que pertenecen a ese lenguaje;
\ para obtener, con ese fin, una recursin, precisamos formalIllente algunas clases particularmente tiles y algunas construcriones. Podemos llamar a esas clases categoras gramaticales,
porque lo nico que hacemos con eso es etiquetar cmodaIllcnte los respectivos conjuntos para los fines de nuestro trahajo gramatical en el lenguaje de que se trate; cuando usamos
la misma frase a propsito de la gramtica de otro lenguaje,
nos basamos simplemente en el aludido parecido de familia,
y nos abstenemos de inferir nada de l. Desde este punto de
Quine, 4
50
2.
Gramtica
51
52
sentidos; pero incluso los que las llaman sinsentidos pueden considerarlas gramaticales. Habr que decir entonces que se
pueden presentar en el discurso normal? Habremos de sospechar, caso de respuesta afirmativa, que la nocin de normalidad -en el sentido en que aqu nos interesa- se basa en la
de gramaticalidad, en vez de fundamentarla.
Es un hecho que el gramtico explota la vaguedad de la
nocin trascendente de gramaticalidad y la recorta para adecuarla a las conveniencias de la delimitacin formal que haya
practicado. El gramtico modela su recursin de tal modo que
sta recoja prcticamente todo lo que efectivamente oye en la
comunidad lingUstica; excrecencias como los ejemplos de
Russell y de Carnap pueden entonces ocupar un lugar por la
sencilla razn de que el excluirlas complicara la recursin.
No podemos, pues, esperar en un plazo breve una formulacin del objetivo del gramtico por medio de una nocin trascendente y satisfactoria de gramaticalidad. Ms bien ocurre que
el objetivo del gramtico queda parcialmente definido por los
avances que consigue hacia l. 0, para dejar de acumular
acertijos: el objetivo del gramtico no es ms que delimitar
formalmente, de un modo aceptablemente sencillo y natural,
una clase de concatenaciones de fonemas que incluya prcticamente todas las emisiones observadas y excluya en la mayor
medida posible lo que no se oir nunca. El gramtico no recoger siquiera todas las emisiones que observe: por mor de la
simplicidad de su delimitacin formal descartar unas cuantas
emisiones declarndolas descuidos y errores. Esta modesta
formulacin del vago objetivo del gramtico es prcticamente
lo ms que puede hacer en el plano trascendente; y la nocin
trascendente ms notable a que recurre es la de emisin observada.
Gramtica lgica
Gramtica
53
Pero parece que haya omitido no slo el lxico de los predicados, sino tambin construcciones de carcter lgico. Una
de ellas es la disyuncin, construccin que eniaza dos oraciones
mediante la partcula 'o' para formar una oracin compleja.
Esta construccin es til en la prctica, pero superflua en la
teora. Todo estudiante de lgica sabe cmo parafrasearla
utilizando slo la negacin y la conyuncin. Con cualesquiera
oraciones constituyentes en las posiciones de las letras 'p'
y 'q', podemos parafrasear 'p o q' diciendo '~( ~ p. ~ q)'.
Otra construccin importante de carcter lgico es el condicional. Esta construccin produce una oracin compuesta a partir de dos oraciones constituyentes. mediante la aplicacin de la
Gramtica
55
(x tiene riones)).
lo,;1
1I10t!O
Gram;ticJ
57
y.
',K
cuadrado de', o 'el padre de', !>e enlaza con un trmino singular
y da otro trmino singular. Un functor didico, como '+',
enlaza dos trminos singulares y da un trmino singular. Cosa
anloga ocurre con los functores tridicos y los de ms lugares.
Tampoco los functores son ms que redundancias tiles por lo
que abrevian las expresiones; es posible prescindir de todos ellos
mediante predicados adecuados, aplicando una generalizacin
del mtodo con el cual hemos eliminado los nombres propios.
Los functores originan trminos singulares complejos. Estos
pertenecen a la misma categora que los nombres propios, la
categora de los trminos singulares que no son variables. Los
trminos singulares complejos pueden contener variables; pero
hay un rasgo que distingue a las variables de todos esos otros
trminos singulares, y es que las variables pueden presentarse
en cuantificadores.
Podemos llamar normadus [standard], siguiendo a Tarski,
a los lenguajes artificiales de las formas que hemos estado considerando. Se usa el trmino de lenguajes normados para los
que admiten nombres propios, trminos singulares complejos,
functores y los dems expedientes de menor importancia ltimamente mencionados, y se usa tambin para los que prescinden
de todas estas notaciones redundantes. Estos ltimos, los lenguajes normados del tipo ms simple y parco, no se diferencian
unos de otros ms que por sus vocabularios. de predicados.
Comparten los dems elementos: variables, predicacin, negacin, conyuncin y cuantificacin existencial.
Lxico, partcula, nombre propio
(~ramtica
59
(dI
61
Gramtica
predicado esquemtico o vaCo 'P se necesita siempre didcticamente, sin pensar cn que pueda ser una variable cuantificable
que tome por valores atributos. As, pues, si hemos de cuantiliear sobre un campo de variabilidad formado por atributos
v si hemos de referirnos a atributos, la claridad impone que se
IItilicen variables reconocibles para esas generalizaciones y nomhres especiales para esas referencias, en vez de mezclar unas
v otros con los predicados propiamente dichos.
(,
t'
)'
gira en torno de consideraciones del tipo siguiente. Las expresiones complejas se acumulan ad infinitum por iteracin de
construcciones; y hemos de contar con categoras ampliables
indefinidamente para recibirlas. Una razn para incluir una
palabra en el lxico es que se incluya en una de esas grandes
categoras por el hecho de ser intercambiable salva congruitate
con las dems expresiones de esa categora.
Qu hacer, entonces, con las palabras que no se incluyen
as en grandes categoras? Cada una de esas palabras constituye
casi una clase por s misma: pocas otras son intercambiables
con ella salva cOlIgruitate. Por eso, en vez de aadir a la lista
de construcciones una que sea aplicable a esa palabra y a sus
pocas compaeras ---si es que tiene alguna-, preferimos entender simplemente la palabra misma como parte de una
construccin. Tal es el estatuto de las partculas.
Empecemos por tomar las tres variables 'x', 'y', ';::'. Estn
incluidas en el lxico porque constituyen una categora suficientemente prctica: las variables son en nmero infinito.
Si nos bastaran las tres variables 'x', 'y' y 'z', sin necesidad de
infinito squito acentuado, eliminaramos la categora de las
variables y destituiramos stas del estatuto de lxico pasndolas al de partculas. En vez de la construccin que era la
predicacin reconoceramos entonces, consiguientemente, tres
construcciones: la adjuncin de 'x', la adjuncin de 'y' y la
adjuncin de ';::'. En vez de la construccin que era la predicacin de un predicado didico reconoceramos nueve construcciones: adjuncin de 'xx', adjuncin de 'xy', ... , y adjuncin
de :::z'. En vez de la cuantificacin existencial reconoceramos
tres construcciones: anteposicin de '(3x)', anteposicin de
'(3y)' y anteposicin de '(3z)'.
No he dicho qu concretos predicados han de presentarse
en el lenguaje -si lo han de hacer 'pasea', 'es rojo' ,'es ms
pesado que', 'es divisible por', etc.- porque esta cuestin es
indiferente para la estructura lgica del lenguaje. Esta preconcebida indeterminacin -que no infinitud- es la razn
principal que tenemos para incluir los predicados en el lxico
en vez de considerarlos partculas. Obsrvese, en efecto, que no
he admitido ninguna construccin que produzca predicados.
Se supone que la lista de los predicados es finita y fija, pero
simplemente distinta para cada lenguaje concreto del tipo
considerado. En cada uno de esos lenguajes, con su lista fija
Gramtica
63
1.1
Ik
111Ii!
Cramtica
65
J'I;lmtica con el reconOCimiento de algunas nuevas construc\ ,,)IlCS productoras de predicados, capaces de engendrar pred!l'ados complejos en nmero infinito. De este modo podramos
;lIllllitir cualquier grupo finito y preciso de adverbios, cada uno
de ellos como partcula caracterstica de una determinada consIluccin productora de predicados, Pero hace falta ms: es
"vidente que hace falta adverbios como tales -frases adverbiab - en nmero infinito y sin lmite en cuanto a su complejidad,
hlo exige categoras gramaticales de adverbios, y tambin
"(lllstrucciones para unir adverbios a predicados. Parece que
IIlla ampliacin as sera genuina, no una simple extensin
,,tilstica de nuestra gramtica lgica normada.
,O acaso podemos conseguir todos esos objetivos adverhlales por otros procedimientos? Es posible que alcanzramos
1, )Jos esos fines adverbiales sin necesidad de reventar los lmites
,I nuestra gramtica normada si aadiramos al lxico algunos
Illlevos predicados construidos con audacia y astucia, y algn
lluevo y particularmente til dominio de objetos a los campos de
"alores de las variables cuantificadas. En su exploracin de esta
posibilidad Davidson ha considerado que ese til y nuevo
dominio de objetos es el de los acaecimientos. Con ellos Davidson
puede analizar IX pasea rpidamente (en un momento u otro)'
ms o menos as: '(3y) (y es un paseo de x . y es rpido)'. El
perturbador adverbio 'rpidamente' ha cedido aqu su lugar al
IIIOCUO predicado 'es rpido'. El predicado mondico 'pasea',
n, por mejor decir, el predicado didico de pasear en un determinado momento, cede su lugar a otro predicado didico que
relaciona el acaecimiento paseo con el que pasea. Los valores
interesantes de 'y' son acaecimientos.
Pero lo que no est claro es si nos bastan acaecimientos
en el dbil e inocente sentido dado al principio de esta seccin
a los objetos fsicos. Porque si se construyen del modo dicho,
110 hay dos acaecimientos que tengan los mismos lmites espaciotemporales. Y si hay que adoptar acaecimientos en otros sentidos que se de objetos fsicos, tendremos que enfrentarnos
con el problema de su identificacin. Ahora bien: no hay que
olvidar que lo que nos opuso a las proposiciones en el captulo 1
fue su inadecuada individualizacin o identificacin.
Ouine, 5
66
Actitudes y modalidad
Gramtica
67
68
(:aptulo 3
VERDAD
Verdad y satisfaccin
Tanto los lgicos cuanto los gramticos hablan habitualmente de oraciones. Pero hemos visto la diferencia entre los dos
usos del trmino: el lgico no habla de oraciones ms que
cuando no tiene ms remedio que recurrir a ello con objeto
de conseguir generalidad en una dimensin que no puede abrirse
mediante simple cuantificacin sobre un campo de objetos.
En estos casos cuenta con el predicado verdad para conservarle
el contacto con el mundo, que es el objeto de su corazn.
Pero hay entre lgicos y gramticos un vnculo todava
ms firme que la comn ocupacin con oraciones. Tomemos,
por ejemplo, la gramtica artificial construida en el captulo 2
para uso de la lgica. El inters que tiene para la lgica esa
gramtica consiste en que la lgica explora las condiciones
de la verdad de las oraciones a la luz de la construccin gramatical de stas. La lgica sube a la caza de la verdad por las ramas
del rbol de la gramtica.
En particular, la lgica de las funciones veritativas sale
a cazar verdades a travs de dos construcciones, la negacin
y la conyuncin, que determinan los valores veritativos de las
71
72
3.
Verdad
: I
74
como si fuera el
<x, y, z, x') como
mente. Esta serie
primer miembro:
con x mismo.
~.
Verdad
~in
75
76
J.
Verdad
77
la diferencia entre 'x conquist y', e 'y conquist z' no es gratuita, si se piensa lo diferente que se comportan en conyuncin
con alguna otra clusula tal como 'z mat a x'.
Hemos llegado a una formulacin sinttica global de las
condiciones de la satisfaccin de negaciones y conyunciones
respecto de sus constituyentes. La negacin se satisface exactamente por las sucesiones que no satisfacen a su constituyente,
y la conyuncin se satisface exactamente por las sucesiones que
satisfacen a sus dos constituyentes. Cmo quedan las cosas
respecto de la construccin restante, la cuantificacin existencial'? Una cuantificacin existencial consta de alguna oracin
precedida por un cuantificador existencial cuya variable es
alguna del alfabeto, la i-sima, por ejemplo. Esta cuantificacin
queda satisfecha por una sucesin dada si y slo si la oracin
constituyente queda satisfecha por alguna sucesin que coincida
con la dada salvo -acaso- en el lugar i-simo.
Tomemos, por ejemplo, '(3 y) (x conquist y)'. Esta oracin
cuantificada se satisface por una sucesin dada si y slo si
'x conquist y' se satisface por una sucesin que coincida con
la dada salvo -si acaso- en el segundo lugar. As, '(3 y) (x conquist y)' es verdadera, como deseamos, para toda sucesin
cuya primera cosa sea Csar; obtenemos este resultado porque
'x conquist y' queda satisfecha por toda sucesin cuyas cosas
primera y segunda sean, respectivamente, Csar y Galia.
Obsrvese que el caso recoge nuestro expediente, hace poco
expuesto, para tratar las sucesiones ms largas de lo imprescindible. '(3 y) (x conquist y)' queda satisfecha por Csar,
esto es, por <Csar), y por cualquier prolongacin de <Csar);
y 'x conquist y' queda satisfecha por toda prolongacin de
<Csar, Galia;.
La definicin de la verdad por Tarski
Decir qu condiciones hacen verdaderos a los varios contextos de una expresin determinada es un modo razonable
de explicar la expresin misma. Eso puede tentarnos a considerar
las condiciones de satisfaccin que acabamos de exponer como
explicaciones de la negacin, la conyuncin y la cuantificacin
existencial. Pero esa opinin es insostenible, porque peca de
circularidad. Las condiciones de satisfactibilidad que hemos
dado para la negacin, la conyuncin y la cuantificacin presuponen la comprensin de los signos mismos que habran
de explicar, o de otros que se usaran para lo mismo. Explicamos
que la negacin se satisface por una sucesin que no satisfaga
su oracin constituyente; que la conyuncin es satisfecha por
una sucesin que satisface una de sus oraciones constituyentes
y la otra; y que la cuantificacin existencial se satisface por
una sucesin cuando la oracin constituyente queda satisfecha
por alguna sucesin adecuadamente anloga a aqulla. Si, pues,
ramos capaces de servirnos de 'no', 'y' y 'algn' en la explicacin de la negacin, la conyuncin y la cuantificacin existencial, por qu no proceder ms directamente y limitarnos
a ofrecer esas palabras como traducciones directas?
Tarski, al que se deben las tres condiciones de satisfaccin,
vea su finalidad a la inversa: no como explicacin de la negacin, la conyuncin y la cuantificacin, opinin que sera insostenible, sino como aportaciones a una definicin de la nocin
misma de satisfaccin y, por lo tanto, indirectamente, de la de
verdad. Retrocedamos, por de pronto, para definir la satisfaccin de las oraciones simples, de la predicacin. En este caso
hemos de contar con una definicin .que corresponda a cada
predicado del lenguaje-objeto, del modo siguiente.
La oracin que consta de 'pasea' acompaada por la
i-sima variable del alfabeto queda satisfecha por una sucesin
si y slo si la i-sima cosa de la sucesin pasea.
La oracin que consta de 'conquist' precedido y seguido
por las variables i-sima y j-sima del alfabeto queda satisfecha
por una sucesin determinada si y slo si la i-sima cosa dc la
sucesin conquist la j-sima cosa de la misma.
Se procede de modo anlogo para todos los dems predicados, suponindolos en nmero finito y dispuestos en una
lista. De este modo se precisa qu quiere decir de una predicacin del lenguaje-objeto que queda satisfecha por una sucesin
de cosas dada. Claro que la nocin no queda precisada ms que
si se entiende previamente los predicados mismos; ntese, en
efecto, el doble uso de 'pasea' y 'conquist' en las explicaciones
dadas por los dos prrafos anteriores.
Es posible clasificar las oraciones por su grado de complicacin: las predicaciones tienen entonces complejidad O; las
negaciones y las cuantificaciones existenciales de oraciones de
complejidad 11 tienen complejidad 11 -+- 1; y las conyunciones
l.
Verdad
79
MO
l.
Verdad
81
y>
s z).
Hemos conseguido una definicin directa, (6), de satisfaccin. La hemos formulado sin atenernos a los limitados medios
disponibles en el lenguaje-objeto al que se refiere esa relacin
de satisfaccin. Consideremos ahora la posibilidad de reconst ruir esa definicin dentro del lenguaje-objeto mismo. Si aadirnos al lxico del lenguaje-objeto el predicado 's', que perteIlece a la teora de conjuntos, la totalidad de (6) pasa sin
Jificultad alguna el lenguaje-objeto, excepto la grave clusula
'SRz'. El trmino complejo '(x, y)' se resuelve sin ms mediante
definiciones contextuales que no me detendr a detallar. Al
linal, (6) queda desarrollado estrictamente en los siguientes
dementas: 's', variables, funciones veritativas, cuantificacin
1', adems, 'SRz'. Los pasos necesarios para llegar a esa situacin se pueden encontrar en numerosos textos de lgica y de
leora de conjuntos.
Qu hay de 'SRz''? Sus necesidades son, ni ms ni menos,
las de (1)-(5), menos 'satisface' (que se ha resuelto en todos
los casos por 'E Z'). Examinando atentamente (1) - (5) comprobamos que necesitaremos no ya slo utilizar, sino tambin
hablar de varias expresiones simples y complejas: predicados,
variables, negaciones, conyunciones, cuantificadores; tambin
vemos que necesitaremos hablar de sucesiones y de nmeros,
y precisar numricamente las posiciones en las sucesiones.
Quine, 6
82
* La 'L' alude, naturalmente, a 'left', izquierda. Pero no puedo poner 'I', porque esta letra se suele reservar para indicar el predicado de
identidad. Una 'S' que evocara 'siniestra' se podra confundir con la que
simboliza el predicado de satisfaccin. As me he inclinado por dejar
la 'L'.
2
Por ejemplo, en el ltimo captulo de mi Mathematical Logic [Lgica matemtica, trad. castellana de la 2. a ed. por Jos Hierro S.-Pescador,
Madrid, Ediciones de la Revista de Occidente, 1972]. Pero tngase en cuenta
que, salvo por lo que hace a cuestiones de detalle, las ideas expuestas en
esta seccin y en las dos anteriores son de Tarski.
Verdad
83
84
l.
Verdad
85
3
Se encontrar un ejemplo en el artculo de JOHN R. MYHILL A complete theory of natural, rational and real numbers, Joumal 01 Symbolic
I.ogic, 15 (1950), pgs. 185-196.
(:aptulo 4
LA VERDAD LQGICA
89
b>
1,
La
v~rd~d
lgica
'JI
La implicacin lgica se aplica de modo anlogo a las oraL'iones abiertas. Una oracin abierta implica lgicamente otra
,racin abierta si slo las sucesiones que satisfacen a la segunda oracin satisfacen a la primera, con la condicin -tamhin en este caso- de que esa circunstancia quede garantizada
puramente por la estructura lgica de las dos oraciones mismas,
~in ms informacin suplementaria.
La implicacin lgica pertenece a una familia de nociones
intimamente relacionadas. A ella pertenece tambin la incompaihilidad lgica. Varias oraciones cerradas son incompatibles
lgicamente cuando su estructura lgica impide que sean verdaderas conjuntamente. Varias oraciones abiertas son lgicamente incompatibles cuando su estructura lgica impide que
ninguna sucesin las satisfaga conjuntamente.
Tambin son miembros de esa familia la verdad lgica y la
f/sedad lgica. Una oracin lgicamente verdadera (o lgicalIlente falsa) es una oracin cuya estructura lgica garantiza
(o excluye) su verdad.
Dicho sea de paso, una convencin que adoptamos al princi pio del captulo 3 nos est ahorrando bastantes palabras: la
l'onvencin por la cual llamamos verdaderas a las oraciones
ahiertas que son verdaderas para todos los valores de sus variables libres. En este captulo se aprecia la comodidad del ahorro
procurado por aquella convencin.
Es conveniente subordinar toda esta familia de nociones
a una de ellas, la nocin de verdad lgica. La ventaja que sta
tiene respecto de la implicacin consiste en que toma las oraciones de una en una, en vez de tomarlas por pares. Y las dems nociones se pueden obtener de la de verdad lgica como
sigue. Una oracin es lgicamente falsa precisamente en el caso
de que su negacin sea lgicamente verdadera. Dos o ms oraciones son lgicamente incompatibles precisamente en el caso
de que su conyuncin sea lgicamente falsa. Y una oracin
implica lgicamente otra oracin cuando es lgicamente inl'ompatible con la negacin de esta segunda. Y, por no terminar
ya, podemos aadir la equivalencia [lgica]: dos oraciones son
lgicamente equivalentes si cada una de ellas implica la otra.
Gracias a la convencin recordada, he podido prescindir en
toda esa serie de formulaciones de la distincin entre oraciones
cerradas y oraciones abiertas.
As he definido las verdades lgicas como oraciones cuya
')2
Pero (1) tiene algo ms: lo bastante para ser, a diferencia de (2),
lgicamente verdadera. Todas las oraciones que tienen la entera estructura lgica de (1) son verdaderas; y en eso consiste
la verdad lgica de (1). Pero no todas las oraciones que tienen
la entera estructura lgica de (2) son verdaderas; lo es (l), mas
no lo es la misma (2).
'1.
93
La verdd lgica
(3 x) (x flota. x arde)
en
(4)
(5)
(3x) (x flota.
(x flota.
e""'
94
1.
La
verd~d
lgica
95
96
4.
La verdad lgica
97
Quine, 7
98
.\.
La verdad lgica
99
100
El atenerse a la definicin de la verdad lgica por la sustituibilidad, sin mencionar la teora de modelos, tiene la evidente
ventaja filosfica de que nos permite mayor parquedad ontolgica: nos basta con oraciones, incluso con oraciones del
lenguaje-objeto, en vez de tener que apelar a un universo de
conjuntos precisa bIes e imprecisables.
Pero cuando no se trata de la definicin de la verdad lgica,
hay razones para admitir algunos de los excesos ontolgicos
de la teora de conjuntos. En la teora de conjuntos se amaa
una fundamentacin sistemtica general de la matemtica.
De todas maneras, hay partes de la matemtica que requieren
recursos de teora de conjuntos menos exuberantes que los
necesarios para otras partes de la ciencia, y vale la pena no
perder de vista esas diferencias, porque as, cuando se presenta
la ocasin de revisar teoras, podemos favorecer a aquellas cuyas
exigencias sean menores. Siempre es un paso adelante el descubrir algn procedimiento de disminuir los costes ontolgicos
de algn desarrollo determinado. Esto no se aplica slo a la
matemtica, sino de un modo general, y, en particular, se aplica
a la definicin de la verdad lgica.
Los teoremas (A) y (B) Y sus corolarios (1) y (11) siguen
siendo teoremas importantes de la teora de modelos sin necesidad de la palabra 'vlido' ni de la frase 'lgicamente verdadero/a'. Ms particularmente, (1) y (11) son teoremas de la
teora de modelos que nos garantizan que no necesitamos
apelar a la teora de modelos para poder hablar correctamente
de validez y de verdad lgica. (1) y (I1), en efecto, nos garantizan
que podemos definir adecuadamente la validez y la verdad
lgica sin hablar ms que de sustitucin por oraciones.
1.
La verdad lgica
101
102
Pero no hemos de perder de vista otra nocin muy importante que aparece en esas definiciones por la sustituibilidad: es
la nocin de verdad. Nuestras definiciones precisan la validez
y la verdad lgica diciendo que son igual a verdad para toda
sustitucin. Esa nocin general de oracin verdadera, como la de
satisfaccin, es tan abarcante que rebasa los lmites del lenguajeobjeto.
Esta dependencia respecto de la nocin de verdad no es un
precio que paguemos por nuestra retirada a las definiciones de
la validez y la verdad lgica por la sustituibilidad. Tambin
las definiciones sobre la base de modelos apelan a la verdad,
o a la satisfaccin. Por lo tanto, esa dependencia no es ninguna
razn para reconsiderar la eleccin hecha entre esos dos pares
de definiciones. S lo es, en cambio, para examinar otro par ms,
que es independiente de las nociones de verdad y satisfaccin.
La clave de estas nuevas definiciones es el teorema de completitud, el teorema (B) de antes. Podemos limitarnos a describir
las operaciones que constituyen uno de esos procedimientos de
demostracin completos y definir entonces los esquemas vlidos
diciendo que son aquellos que se pueden demostrar mediante
dichas operaciones. A continuacin podemos definir secundariamente las verdades lgicas como lo hacamos antes, diciendo
que son las oraciones que se pueden obtener mediante sustitucin de los esquemas simples de un esquema vlido por
oraciones. En la prctica algunos de esos mtodos completos
de demostracin no requieren esquemas, sino que se pueden
aplicar directamente a oraciones que fueran resultados de susti-
.1.
La verdad lgica
103
104
4.
lOS
La verdad lgica
GILBERT HARMAN,
106
'1.
La verdad lgica
107
Captulo 5
EL ALCANCE DE LA LOGICA
112
del captulo 1 observamos la tpica oblicuidad de las generalidades lgicas; ella fue lo que nos oblig a practicar la ascensin
semntica. Pero si incluyramos a '=' o a cualquier otro predicado en el lxico puramente lgico, entonces tendramos que
reconocer que algunas generalidades lgicas se pueden expresar
por cuantificacin directa realizada en el lenguaje-objeto; por
ejemplo, la generalidad '(x) (x = x)'. Este resultado no es
agradable. Porque la contraposicin entre las generalidades
que es posible expresar de ese modo, por cuantificacin en el
lenguaje-objeto, y las generalidades que exigen ascensin semntica para su expresin indica un punto muy visible por el que
es tentador trazar la lnea que separa a la lgica de las dems
ciencias.
Pero, por otro lado, hay tambin razones para incluir la
teora de la identidad en la lgica. La teora de la identidad
parece ms prxima a la lgica que a la matemtica, por ejemplo,
porque es, como la lgica pura, una teora completa. Hay, en
efecto, procedimientos completos de demostracin no slo para
la teora de la cuantificacin (cfr. (B) del captulo 4), sino tambin para la teora que resulta de unir la teora de la cuantificacin con la teora de la identidad. GOdel ha mostrado que
el axioma
x=x
(1)
y el esquema axiomtico
(2)
s.
113
El alcance de la lgica
la teora de la identidad trata indistintamente de objetos cualesquiera. Es verdad que cualquier teora se puede formular con
variables generales que puedan tomar valores cualesquiera;
pero el hecho es que los nicos valores de las variables que
importan para la teora de los nmeros, por ejemplo, o para la
teora de conjuntos son los nmeros o los conjuntos; en cambio,
la teora de la identidad no conoce ninguna preferencia a este
respecto.
Este ltimo rasgo hace pensar que, al igual que la de la
cuantificacin, la teora de la identidad es caractersticamente
fundamental. Se llega a la misma conviccin por el hecho siguiente: en cuanto que tenemos precisadas, simplemente, las
notaciones veritativo-funcionales, las variables y las oraciones
abiertas de un lenguaje, hemos precisado lo suficiente para saber
qu hemos de considerar definicin adecuada de la identidad
para ese lenguaje. Cualquier oracin abierta cuyas variables
libres sean 'x' e 'y' servir para los fines de 'x = y' si y slo si
satisface (1) y (2) para todos los objetos, x e y, y para todas las
sustituciones de 'Fx' y 'Fy'. Es fcil ver que esas condiciones
110 permiten ninguna extralimitacin vaga: todo par de definiciones de la identidad que cumplan esas condiciones coincidir
tambin en las atribuciones de identidad que se puedan hacer
sobre la base de cada una de ellas. Representemos, en efecto,
dos de esas versiones de la identidad por 'x = 1 y' Y 'x = 2 y'.
Por (2), '~(x = 1 Y . Fx. ~ Fy)' vale para cualquier sustitucin de 'Fx' y 'Fy'. Por lo tanto,
Y, anlogamente, ~(x
X=ly=X=2Y
y. '" (x
y. Dicho brevemente:
Reduccin de la identidad
114
lenguaje cuya gramtica sea del tipo que hemos llamado normado dispone de un predicado identidad sin necesidad de
aadirle supuestos especficos sobre esta nocin. Aunque no es
posible definir la identidad sobre la mera base de las funciones
veritativas y la cuantificacin, sin embargo, es posible definirla
-la identidad misma o un facsmil de ella tan til como ella
misma- en los sistemas que cuentan con funciones veritativas
y cuantificadores.
El mtodo de esa definicin saltar a la vista contemplando
el ejemplo siguiente. Considrese un lenguaje normado cuyo
lxico de predicados conste de un predicado mondico 'A',
dos predicados didicos, 'B' y 'e' * y un predicado tridico 'D'.
Con eso podemos definir 'x' = y como abreviatura de
(3)
'.
El alcance de la lgica
115
se puede mostrar que (2) resulta ser del mismo modo un esquema
vlido de la teora de la cuantificacin 2.
Este mtodo de definir o de simular la identidad depende
de la finitud del lxico de los predicados, porque el anlogo de (3) para un lxico de predicados infinito no llegara nunca
al punto final. Lo normal es que se pueda definir la identidad
incluso cuando el lenguaje cuenta con una infinidad de predicados; pero no siempre 3. En cualquier caso, la infinidad de
predicados nos apartara, naturalmente, de nuestra gramtica
normada; requiere alguna construccin gramatical ms para
producir predicados complejos, porque un lxico no puede ser
sino finito.
En mi opinin, el resultado global de todo eso es que la
teora de la identidad tiene ms afinidad con sus vecinos de
la lgica que con sus vecinos de la matemtica: pertenece a la
lgica. Y, sin embargo, al comicnzo del captulo se nos present
como una amenaza a nuestras definiciones de la verdad lgica,
estructuralmente concebidas. En qu situacin estamos, pues?
Es notable que la reconciliacin de los dos datos proceda
de la consideracin misma que ms ha influido en que incluyamos
la teora de la identidad en la lgica, a saber, de la definibilidad
de la identidad tal como la ilustra (3). Si, en vez de incluir '=' en
el lxico del lenguaje-objeto, como un simple predicado, entendemos todas las ecuaciones como meras abreviaturas de oraciones
complejas, segn 10 indica (3), todas las leyes de la identidad
se convierten en meras abreviaturas de verdades lgicas de ti po
puramente cuantificacional, o sea, en verdades lgicas en el
sentido del captulo anterior. As podemos mantener la concepcin estructural de la verdad lgica.
La teora de la identidad se suele estudiar normalmente
haciendo abstraccin de todo lenguaje-objeto concreto y de
todo concreto lxico de predicados; en este caso podemos considerarla como una teora esquemtica. Por 10 dems, ya en la
lgica de las funciones veritativas y de los cuantificadores
predomina el estilo esquemtico; utilizamos las letras esquemticas predicativas para representar predicados que no precisamos
de un lenguaje tambin sin precisar, y para representar las oraciones compuestas abiertas que se pueden construir con aqullos.
La demostracin procede como en mi Matllematical Logic, 18.
V. QUINE, Set Tlleory and Its Logic [La teora de conjuntos y su
lgica], Cambridge, Mass., Harvard, 1969, pg. 15.
2
116
Del mismo modo la notacin 'x = y' se puede entender esquemticamente como representante de la oracin compuesta a
que daran lugar esos predicados sin precisar mediante la construccin tipificada en (3).
La teora de conjuntos
s. El alcance de la lgica
117
muy fcil decir lo que queda por decir, a saber, que z es {x: Fx}.
Se puede decir as: (x) (x z. == Fx). De este modo el contexto
del trmino '{x: Fx}' en el ejemplo '{x: Fx} e y' se parafrasea
del modo siguiente:
(3z) (z e y . (x) (x
z. == Fx.
!l8
'.
El alcance de la lgica
119
120
s.
El alcance de la lgica
121
122
El alcance de la lgica
123
~Icaso parecieran exigirla, mientras que para otros fines tal vez
se pueda mostrar que basta con una ontologa de conjuntos
IIIS modesta de 10 que se crea.
La definicin clave de estas parfrasis por definicin con(extual define conjuntamente la pertenencia y la abstraccin, en
la combinacin 'y E {x: Fx;}'. El mtodo de la definicin contextual, ya recogido hace unas pocas pginas, explicar esa
combinacin como abreviatura de
(4)
(3z) (y
E::. (;,(1
(x
E Z =o
Fx,
lo cual funcionaria muy bien en una teora de conjuntos sincera y honrada, pero es perfectamente intil en nuestro nuevo
proyecto de simulacin. Por dos razones: primera, porque si,
por debajo de nuestra simulacin, nos interesara mantener que
no hay conjuntos, (4) -- -que afirma la existencia del conjunto zsera falso para toda eleccin de y y para toda oracin a la que
se atribuyera el papel de 'Fx'. Por lo tanto, as definida, la
combinacin 'y E {x: Fx}' sera siempre falsa y consiguientemente intil. Segunda, porque la frmula (4) utiliza ya ella misma
el predicado 'E', mientras que la finalidad de toda la empresa
es simular el aparato de la teora de conjuntos sobre la base
de un lenguaje-objeto que carezca de ese aparato.
Necesitamos, pues, otra definicin de la combinacin
'y E {x: Fx}'. No hace falta ir muy lejos para encontrarla:
bastar con usar 'Fy'. Convengamos, simplemente, en escribir
'y F: {x: Fx}' en vez de 'Fy' para todo objeto y y para toda oracin abierta en el papel de Ty' 4.
Tambin sera agradable contar con una definicin contextual de la combinacin '{x: Fx} F: y', pero ese deseo no ser
satisfecho: tal es el lmite de nuestra simulacin de la autntica
teora de conjuntos. La simulacin no ir ms all de lo que se
pueda conseguir con la combinacin 'y f {x: Fx}'.
124
'ti'
'a
Junto con esas definiciones estamos imaginando, naturalmente, algn lenguaje-objeto normado, con su lxico de predicados. Al utilizar el signo de identidad en las definiciones de
'{z} " '{z, Z/}', '/\' y 'V' hace un momento he supuesto que
'x = y' estara definida sobre la base de los predicados del
lenguaje-objeto del modo ilustrado por (3), al principio de este
captulo. Ahora bien, as definida, '=' vale slo para ser usada
entre variables, no entre abstractos (ni entre 'a' y 'J', por lo
tanto). Pero es fcil definir '=' entre abstractos. Como todas
las presencias de abstractos admitidas en esta simulacin se
producen despus de 'e', la misma idea que nos condujo a (3)
arroja automticamente, como definicin de 'a = (3', la expresin '(x) (x e a. == . X e (3)'. 0, si decidimos aprovechar el
signo de inclusin 'e', el ltimo antes definido, 'a = 13' se
reduce a 'a
13 . (3 ~ a'. La identidad '{x: Fx} = {x: Gx}' se
reduce a '(x) (Fx == Gx)'.
Ha llegado el momento de decir algo acerca del par de trminos 'conjunto' y 'clase'. Hasta hace poco tiempo se podan
usar tranquilamente el uno por el otro. Pero luego se ha aprovechado esa supcrfluidad de trminos para sealar una distincin tcnica. Algunas teoras de conjuntos obvian las paradojas
por el procedimiento de declarar que algunas clases no son
miembros de nada. Tras de lo cual reservan la palabra 'conjunto'
para usarla en el sentido ms estrecho de clases que son miembros de algo. Vaya llamar a las otras clases ltimas. 'Conjunto'
~.
El alcance de la lgica
125
126
Desde luego que de la autntica teora de conjuntos se pueden derivar muchas cosas que no podemos obtener de esas
plidas simulaciones de clases y relaciones. Pero si, contra lo
supuesto en el penltimo prrafo, admitimos que el lenguajeobjeto contenga en su lxico a 'e' y un modesto acervo de cIases reales en su universo, podemos conseguir una modesta
ampliacin del alcance aadiendo la teora virtual con objeto
de obtener clases y relaciones virtuales de clases reales.
Hemos visto antes,. en este mismo captulo, que la frontera
entre la lgica y la teora de conjuntos se puede oscurecer
mucho. Precisamente para confirmarlo con ms datos he tenido
inters en esbozar en estas pginas la teora virtual de clases
y relaciones. Pero no deseo, en cambio, sugerir con ello que la
frontera carezca de importancia o sea vaga. Por el contrario,
la considero importante y digna de clarificacin.
La teora virtual de clases y relaciones es efectivamente
lgica, lgica pura disfrazada. Pero en cuanto que se admite
a 'E' como predicado genuino y se admiten clases como valores
de las variables cuantificables, nos embarcamos en una teora
sustantivamente matemtica. En cuanto que zarpamos, con
esas admisiones, quedamos fuera del alcance de los procedimientos demostrativos completos y entramos en un dominio
ocupado por doctrinas en competicin. Y no es ningn defecto
de las versiones estructurales de la verdad lgica el que excluyan
del campo de la lgica la autntica teora de conjuntos.
J.
El alcance de la lgica
127
Por su parte, '(a) (-a-)' ser la abreviatura de una conyuncin de cien miembros. De este modo cada uno de los cien predicados se convierte -sin ms trascendencia que la de la mera
manera de decir- en nombre de un nuevo objeto ficticio, supuesto valor de la nueva variable cuantificable '11'. Podemos
adoptar esta convencin de abreviatura para cualquier eleccin
de una oracin en el papel de '-Po-' y para cada una de las
variables en el lugar de 'a'. Al final, pues, los predicados se
han convertido en nombres propios: pero slo como manera
de hablar que se puede eliminar a voluntad mediante parfrasis.
As contamos con cien objetos ficticios ms, o no con tan-
128
5.
El alcance de la lgica
129
110
dera para todas las sustituciones de '1", con slo que resulte
verdadera para dos sustituciones: una sustitucin por una oracin verdadera y una sustitucin por una oracin falsa (ambas
cerradas, naturalmente). Consiguientemente, podemos definir
con sencillez la cuantificacin '(1') (-p-)' por la conyuncin:
-(3x) Pox- . -
'" (3x)Pox-,
conyuncin en la cual la oracin cerrada '(3x)Pox' es una oracin cualquiera. De modo paralelo podemos definir la cuantificacin existencial '(31')(-p-)' por la disyuncin
-(3x)Pox~
o bien -
'" (3x)Pox-.
J'
z'
y z'
'(x z + y)jz'
'(x. w + y . z)/(y . w)'
'x
<
'(x y)jz'
'(x z)j(y . w),
.).
El alcance de la lgica
131
132
Apndices
La ltima definicin de la verdad lgica dada en el captulo 4 era de una atractiva generalidad. Coincida con las dems
en su aplicacin a los lenguajes-objeto del estilo considerado,
pero, adems, tena un sentido interesante al ser aplicada a lenguajes de gramtica diferente de la normada. Aquella definicin
declaraba lgicamente verdadera a una oracin cuando fueran
verdaderas todas las oraciones que compartieran su estructura
gramatical. Consideremos ahora cmo funciona esta concepcin amplia de la verdad lgica cuando se complementa la gramtica normada de un modo que parece necesario.
Ya hacia el final del captulo 2 y a propsito de los adverbios qued en entredicho la adecuacin de nuestra gramtica
normada. Consideramos entonces la posibilidad de aadir una
categora gramatical que comprendiera los adverbios, y tambin
una construccin gramatical que tomara como constituyentes
un predicado y un adverbio y produjera un predicado complejo.
Segn eso la oracin
(5)
,.
El alcance de la lgica
133
mente' a partir de '(es) rpido'. La definicin amplia que recoge la verdad lgica para una estructura gramatical completa
se hara entonces con ms verdades lgicas, todas las cuales
mereceran acaso ese ttulo con la misma razn que (5). Eso
suscitara otra complementacin de la notacin esquemtica
y del procedimiento de demostracin.
Todo ese aparato lgico complementario para la inclusin
de adverbios resulta superfluo si conseguimos que se realice la
tarea de los adverbios mediante algn otro plan menos rectilneo, el de Davidson, por ejemplo, u otro, dentro de las fronteras
de nuestra gramtica normada. La concepcin cuatridimensional, con su eliminacin del tiempo verbal, nos suministr ya
un beneficio comparable al que as se obtendra, porque nos
ahorr la pesada trivialidad de una lgica de los tiempos
verbales. La reduccin a la gramtica normada es reduccin
a la lgica normada, a la ntida y eficaz lgica de las funciones
veritativas y de la cuantificacin, cuyos recursos dominamos tan
sin problemas. Al parafrasear una teora en la forma normada programamos en realidad nuestra calculadora lgica normada para que trate los problemas lgicos de esa teora.
Peter Geach me ha llamado la atencin sobre otra rama
aparentemente complementaria de la lgica: la lgica de los
comparativos. Lo primero que a uno se le ocurre es fundir
como prefijo 'ms' con los predicados mondicos para obtener
predicados didicos sometidos a las siguientes leyes lgicas:
(6)
(7)
- (3x) ms Fxx,
,..., (3x) (3y) (3z) (ms Fxy . ms Fyz. '" ms Fxz).
Pero esa solucin presenta una dificultad semntica. El predicado tolera el prefijo comparativo mientras no sea sistemticamente vago o elptico, de modo que no resulte preciso ms que
en la forma comparativa. Por ejemplo, los predicados didicos
'es ms grande que' y 'es ms pesado que' son irreprochables,
qu es grande o pesado sin ms? En un lenguaje bien regulado
lgicamente, 'es ms grande que' aparecera como un predicado
didico simple, y la forma positiva 'es grande' -de ser tilse parafraseara por 'es ms grande que' seguido de una referencia a algn objeto elegido como patrn mnimo adecuado
para los fines que se contemplan. De este modo el prefijo 'ms'
no se concebira como partcula indicativa de una construccin,
134
,.
El alcance de la lgica
135
136
Captulo 6
LOGICAS DIVERGENTES
140
6.
Lgicas divergentes
141
142
6.
Lgicas divergentes
143
144
r,.
Lgi~as
divergentes
145
Quine, 10
146
h.
Lgicas divergentes
147
148
6.
Lgicas divergentes
149
1',(1
6.
Lgicas divergentes
151
152
Por eso tiene cierto inters filosfico, cierto inters ontolgico, la divergencia en la teora de la cuantificacin: las divergencias en cuestin pueden afectar a lo que se considere que hay.
La divergencia del intuicionista en la cuantificacin (en el
supuesto de que 'cuantificacin' siga siendo la palabra adecuada
para referirse a su operacin) acarrea una nocin de existencia
divergente de la acarreada por la cuantificacin clsica (y siempre con la salvedad de que acaso 'existencia' no sea la palabra
adecuada para las dos nociones a la vez). Cuando el intuicionista dice que reconoce que hay estrictamente tales o cuales
objetos, desde el punto de vista de la lgica clsica no podemos
ni siquiera concordar con l en que est reconociendo que hay
precisamente sos (por no hablar ya de la admisin de que acierte
en las existencias que reconoce). Desde nuestro punto de vista
de la lgica clsica, lo ms a que podemos atrevernos es a decir
lo que el intuicionista realmente reconoce que hay (en nuestro
sentido de 'hay') respecto de (relativamente a) alguna traduccin de su lenguaje al nuestro (esto es, no necesariamente de su
lenguaje a nuestra lgica, sino, en general, de su lenguaje a nuestro lenguaje total [que contiene como esqueleto la lgica clsica]).
Cuantificacin
ram~ficada
En lo que queda de este captulo me vaya ocupar de cuantificaciones divergentes aadidas a la lgica veritativo-funcional
clsica. Vamos a reflexionar brevemente acerca de grupos de
cuantificadores, con objeto de percibir el motivo de una de esas
divergencias. El par de cuantificadores '(x) (3y)' dice que para
cada eleccin de x se puede escoger algn y que cumpla la condicin expresada por la oracin que siga [la lectura tradicional
en castellano es: 'para todo x hayal menos un y tal que']'
Es posible que diferentes elecciones de x exijan diferentes elecciones de y, y, en general, la eleccin de y depende de la de x.
Pero consideremos ahora el caso, ms complicado, de que se
ponga una condicin a x, y, z Y IV, que podemos dibujar as:
'Fxyzw'. Supongamos que queremos decir que para todo x hay
un y y para todo z hay un w tales que Fxyzw. Queremos elegir y
en dependencia slo de x y que la eleccin de w dependa slo
de z. Pero si escribimos
(1)
6.
Lgicas divergentes
153
(2)
Pero con esa frmula afinnamos la existencia de objetos abstractos de una clase detenninada: funciones. Abandonamos la
lgica y subimos a la matemtica de las funciones, la cual se
puede reducir a la teora de conjuntos, pero no a la lgica pura.
Este ejemplo refleja claramente la importancia ontolgica
de cualquier refuerzo de la lgica de la cuantificacin. En este
caso el efecto consiste en conseguir los servicios de ciertos
objetos abstractos, las funciones, sin necesidad de reconocer
a esas funciones como objetos. La frmula ramificada (3) da
de s lo mismo que la frmula matemtica (4), aunque las variables de (3) no necesiten contar con funciones en sus campos de
valores.
Se puede considerar que es una insuficiencia de la cuantificacin clsica lo que exige el ascenso a la frmula matemtica (4).
Se puede tambin pensar que no es justo imputar la adopcin
de objetos abstractos al que practica esa ascensin slo para
154
6.
Lgicas divergentes
155
156
6.
Lgicas divergentes
157
158
6.
Lgicas divergentes
159
Captulo 7
EL FUNDAMENTO DE LA
VERDAD LOGICA
Quine, 11
164
7.
165
166
Las dos reducciones de aparentes tesis con sustancia a simples trivialidades, materia de estas ltimas pginas, se parecen
mucho en su forma y en su efecto. (1) La tesis de que la lgica es
verdadera por virtud exclusivamente del lenguaje se reduce
vacuamente a la nocin de que la lgica es verdadera por virtud
de cualquier cosa. (2) Y la tesis de que la lgica es inseparable
de la traduccin se reduce a la simple comprobacin de que
cualquier obviedad es inseparable de la traduccin.
Ya a finales del captulo 1 y a principios del 2 se observ
otra circunstancia de las que mueven a muchos autores a pensar que la lgica es un asunto peculiarmente lingstico: se
trata de la generalizacin oblicua. Es sta una generalizacin
que nos mueve a hablar de oraciones, o sea, del lenguaje. Como
se vio, hay autores que, con la opuesta intencin de separar la
lgica de lo simplemente lingstico, intercalan entes Ilamados
proposiciones, en un sentido no-lingstico. Su motivacin, la
distincin entre lgica y lenguaje, es mucho ms plausible que
el desgastado y socorrido expediente al que recurren. Pero ni
siquiera su motivacin, aunque plausible, merece aplauso incondicional, porque es superflua: en efecto, como ya se dijo
en aqueIlas pginas, el predicado verdad est presente sin necesidad de la introduccin de proposiciones, y funciona activamente en la distincin entre lgica y lenguaje. El predicado
verdad tiene en la generalizacin oblicua la utilidad decisiva
de desentrecomillar. Basta con su presencia y funcionamiento
para ver que la teora lgica, pese a su importante dependencia
respecto del discurso sobre el lenguaje, se orienta desde su base
al mundo, no al lenguaje; y es el predicado verdad el que lo
determina.
Hemos observado vnculos robustos entre la lgica y el
lenguaje: el de la generalizacin oblicua por ascensin semntica;
el del papel de la estructura gramatical en la distincin entre las
verdades lgicas y las dems verdades; el del respeto a la lgica
en la traduccin. Pero tambin hemos observado la existencia
de una inclinacin a imaginar entre la lgica y el lenguaje un
vnculo todava ms firme que el descrito con sentido por las
anteriores observaciones: es la teora lingstica de la verdad
lgica, la idea de que la lgica es analtica.
7.
167
Un dualismo insostenible
Tambin podemos observar, en un plano ms general, tres
circunstancias que alimentan, al menos, la expectativa de que
la lgica se fundamente de un modo diverso del de las ciencias
de la naturaleza, incluso prescindiendo de toda teora propiamente lingstica de la verdad lgica. Una de esas circunstancias
es la notable obviedad u obviedad potencial de la verdad lgica.
Hemos visto que esa circunstancia puede tener el confusionario
efecto de inclinar en favor de la errnea teora lingstica de la
verdad lgica; pero no hace falta caer en ese error para reconocer que la circunstancia es tal que separa visiblemente a la lgica de las dems ciencias. Otra circunstancia es la falta de
objeto temtico especfico: la lgica no atiende preferencialmente a ninguna seccin determinada del lxico, ni tampoco
a ningn subdominio o sector del campo de valores de las
variables. La tercera circunstancia aludida es la ubicuidad del
uso de la lgica. La lgica es la sierva de todas las ciencias,
incluida la matemtica.
Resulta interesante una comparacin de la matemtica con
la lgica desde los puntos de vista de esas tres circunstancias.
Est fuera de duda que la matemtica no es en su totalidad potencialmente obvia: ni siquiera lo es la teora elemental de los
nmeros, que ya no es susceptible de ningn procedimiento
demostrativo completo. Hay partes considerables de la matemtica que son potencialmente obvias. Hay otras a las que se
puede llegar por pasos cada uno de ellos obvio, pero a partir
de principios no obvios -aparte de lo cual, hay que tener
presente que los dichos pasos obvios .son en su mayor parte
lgicos puros, no matemticos-o As, pues, 10 que destaca
como resultado no es tanto el parentesco entre la matemtica
y la lgica cuanto la gran eficacia de la lgica como sierva de la
matemtica.
Tambin desde el segundo punto de vista -punto de vista
de la segunda circunstancia- la matemtica ocupa un lugar
intermedio. La matemtica s que favorece a un lxico determinado, a diferencia de la lgica, y atiende preferencialmente
a ciertos valores que son de inters para sus variables. Pese
a ello, de todos modos, la matemtica se yergue tan imparcialmente ante la ciencia de la naturaleza como la lgica misma,
168
porque los trminos y los objetos preferenciales de la matemtica no suelen atender preferencial mente a una u otra rama
de la ciencia de la naturaleza ms que a las dems.
Por ltimo, desde el tercer punto de vista, el punto de vista
de la ancilaridad amplsima, la matemtica es admirable.
Es ms o menos sierva de todas las ciencias de la naturaleza,
y mucho de muchas de ellas. Nos atreveremos a decir, cargando
con el riesgo de fallar una metfora, que la promiscuidad de la
lgica y la matemtica en sus servidumbres es de lo que ms
cuenta para distinguirlas de las dems ciencias.
Esos ltimos dos rasgos compartidos en medida diversa por
la lgica y la matemtica -su inters para toda ciencia y su
imparcialidad respecto de toda ciencia- han causado la costumbre de distinguirlas enfticamente de todas las ciencias de la
naturaleza. Se suele entender que estas ltimas monopolizan
toda la informacin y que la lgica y la matemtica entran
en su servicial funcin slo para elaborar esa informacin. Esta
corriente concepcin tiene mucha fuerza y convence bastante,
pero en cuanto que se pretende que sea ms que una metfora
se tropieza con dificultades. Qu nocin clara de informacin
encajara con esa explicacin si se hubiera de superar la vaguedad metafrica? Al principio del captulo 1 formulamos algunas
especulaciones acerca de dos augustas nociones de informacin,
cosmolgica la una y epistemolgica la otra. La primera se
basaba en la distribucin de las partculas fsicas elementales,
y la segunda en la distribucin de los elementos sensoriales.
Si fuera posible asignar a cada oracin de la ciencia una
cuota suya propia de informacin en alguno de esos dos sentidos, quedara justificada la doctrina de la analiticidad de la
lgica: las verdades de la lgica y de la matemtica quedaran
incluidas entre las oraciones analticas y se distinguiran sin
vaguedad, por su falta de informacin, de las verdades de la
naturaleza. Pero esa nocin de correspondencia general entre
informaciones y oraciones es un mito.
Un cfecto de la delimitacin enftica de las ciencias naturales por un lado y la lgica y la matemtica por otro es que se
tiene que atribuir a las ciencias de la naturaleza toda la evidencia sensible. Entonces se considera que la lgica y la matemtica no son afectadas por sta. Se admite que la lgica y la
matemtica son tiles para las ciencias de la naturaleza, pero
al que as piensa no le pasa siquiera por la cabeza la nocin
7.
169
170
7.
171
172
Carnap no hace de la analoga entre los lenguajes y los sistemas deductivos formales nada superior a una analoga, y reconoce que ni las reglas de formacin ni las de trasformacin
se encuentran explcitas en las consciencias de los que aprenden
un lenguaje en condicin de indgenas, como lengua materna.
Yo pienso, sin perjuicio de lo intensamente que acento el
vnculo entre la gramtica y la lgica, que esa analoga es
intil en el mejor de los casos.
Es mejor abandonarla y pensar realmente en cmo se hace
un nio con su lenguaje y con todas esas verdades o creencias
-de la clase que sea- que adquiere junto con la lengua. Las
verdades o creencias as adquiridas no son slo las lgicas, ni
slo las lgicas y las matemticas, ni tampoco slo las verdades
analticas (en el supuesto de que este ltimo trmino quiera
decir algo). Entre las verdades y creencias que se aprende as,
no es posible distinguir las verdades lgicas ms que por el
hecho, ya repetido, de que todas las dems oraciones que tengan la misma estructura gramatical son tambin verdaderas.
Desde este punto de vista se presentan juntos con naturalidad todos los rasgos destacados de las verdades lgicas. Consideremos, por de pronto, el lugar de la gramtica en el lenguaje.
Toda persona de la que se pueda decir que ha aprendido un
lenguaje (talo cual lenguaje, no algn dialecto relacionado con
l) habr aprendido su gramtica. Los conocedores de un lenguaje no coinciden en cuanto a vocabulario, esto es, en cuanto
a lo que conocen del lxico: eso depende de sus intereses y de
su educacin; pero s que comparten la gramtica. Todo el que
diverja de la gramtica ser clasificado como extranjero que no
domina el lenguaje o como indgena de dialecto diferente. Todos
los que utilizan el lenguaje utilizan las mismas construcciones
gramaticales, cualquiera que sea el tema y cualquiera que sea
el sector aplicable del lxico. Por lo tanto, las verdades lgicas,
que estn vinculadas a la gramtica y no al lxico, se encontrarn entre las verdades acerca de las cuales es ms probable que
concuerden todos los hablantes (y aqu paso por alto ejemplos
que producen confusin simplemente por su complejidad).
Pues slo el lxico, y no la gramtica, registra diferencias debidas al trasfondo cultural del uso del lenguaje por los varios
hablantes, y las verdades lgicas se mantienen verdaderas respecto de toda sustitucin lxica. Como es natural, la costumbre
de aceptar esas verdades se adquirir al mismo tiempo que las
7.
173
LECTURAS
RECOMENDADAS
177
Quine, 12
178
QUINE, W. V., Methods 01 Logic, ed. rev., New York, Holt, Rinehart & Winston, 1951. Traduccin castellana por M. Sacristn, Los
mtodos de la lgica, Barcelona, Ariel, 1962.
- - , Selected Logic Papers, ensayo XXIII, New York, Random House,
1966. Tambin en la edicin de bolsillo de la misma editorial.
- - , Word and Object, caps. V y VI.
Lecturas recomendadas
179
INDICE
ANALITICO
abierta, oracin, 53
determina un conjunto, 84,97, 120, 156
su satisfaccin, 72-73
su verdad, 76, 91
abstracto/a, abstraccin, 117, 124
acaecimiento, 64
acento, 53, 105
actitudinales (categora de los), 67, 135
adecuacin, 22
adverbio, 64-65, 132-133
alfabeto, 74, 76, 79
analiticidad, 164
anlogo en la teora de conjuntos, 95-96, 120
rbol, 45, 71-72
aprendizaje del lenguaje, 28, 172
aritmetizada, sintaxis, 83, 156, 159
ascensin semntica, 35-36, 39, 43, 112, 166, 173
atmica, oracin, 53, 79
atributo, 60-61, 119-122
axioma, 140
Bernays, Paul, 98
bicondicional, 55
13irkhoff, Garrett, 147, 149
181
182
Indice analtico
Indice analtico
183
184
Indice analtico
Indice analtico
185
186
Indice analtico
salva congruifate, 47
salva veritate, 31
satisfaccin, 72-89
Sellars, Wilfried So, 35
significado, 21-23, 26, 29-31,119-120
simulacin:
de clases, 122-124, 126-127, 157-159
de cuantificacin, 126-131, 157-159
sincategoremticofa, 59-60
singular, trmino, 58, 60
sinonimia, 23, 31-33, 120
sintaxis aritmetizada: Vo: aritmetizada, sintaxis
Skolem, Thoralf, 99
sucesin, 74
superlativos, 134
sustitucin:
en verdades lgicas, 93-94, 100- 102, 104-106, 172-173
en esquemas, 95-99, 101
Indice analtico
Tarski, Alfred, 58
sobre la verdad, 34, 37, 77, 82, 85, 89, 156, 178
tercio excluso, 38, 143-149
tiempo, 63-65, 133
tiempos verbales, 63-64, 133
traduccin, 141-143, 152, 159, 164-166
trascendencia, 48-49, 105-106
transformacin, 45, 53, 171
Turquette, Atwell R., 179
ltima, clase, 125
universalidad de la lgica, 112, 167-168, 173
liSO Y mencin, 118
vaco, universo, 97, 159
validez, 93-96, )00-104
van Heijenoort, lean, 112, 178
variable:
libre, 56, 91
en la gramtica lgica, 53, 56-58, 62, 104-106
para predicados. 60. 118-121. 126-128
satisfaccin y variables, 74
verdad, 21-23, 34-43
condiciones, 71-72
funcin veritativa, 55, 71, 148
valor veritativo, 39, 130, 145
vehculo de la verdad, 24, 40, 165-166
(V. t.: lgica, verdad)
verdad lgica: V.: lgica, verdad
virtuales, clases, 125-126, 158
Weyl, Hermann, 150, 179
White, Morton, 179
Whitehead, Alfred N., 117
Wilson, Mark L., 106
Wittgenstein, Ludwig, 34
IR7