Académique Documents
Professionnel Documents
Culture Documents
Filosofa
de la lgica
Alianza
Universidad
WILLARD VAN ORMAN QUINE
FILOSOFA DE LA
LGICA
Versin de
Manuel Sacristn
Alianza Editorial
1 iitilo original:
Philosophy el Logic
Original English langunge edrion publishcd by Prentice-Hall, Inc.,
Englevvood ( lilis, New Jersey U.S.A.
Reservados rodos los derechos. 1:1 contenido de esta obra est protegida por la Lev. <|uc establece
penas de prisin \7o inultas, adems de las tonespondienres indemnizaciones por daos v perjui
cios. para quienes reprodujeren, plagiaren, distribuyeren o comunicaren pblicamente, en todo o
en parte, una obra literaria, artstica o cientPea. o su iransorniaun. interpretacin o ejecucin
artstica Pijada en cualquier tipo de soporte o comunicada a naves de cualquier medio, sin la pre
ceptiva autorizacin.
P rlogo 13
C ap t ul o 2: G ramtica .......................................................................................... 41
9
10 Indice
Nombres propios y functores .......................................................... 56
Lxico, partcula, nombre propio .................................................. 58
El criterio del lxico ...................................................................... 61
Tiempo, acaecimientos, adverbios 63
Actitudes y modalidad 66
Quine, 2
C ap tu lo i
SIGNIFICACION Y VERDAD
(Objecin a las proposiciones
Categoras
Inmanencia y trascendencia
sentidos; pero incluso los que las llaman sinsentidos pueden con
siderarlas gramaticales. Habr que decir entonces que se
pueden presentar en el discurso normal? Habremos de sos
pechar, caso de respuesta afirmativa, que la nocin de norma
lidad 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 ade
cuarla 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 lingstica; 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 formula
cin del objetivo del gramtico por medio de una nocin tras
cendente y satisfactoria de gramaticalidad. Ms bien ocurre que
el objetivo del gramtico queda parcialmente definido por los
avances que consigue hacia l. O, 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 prctica
mente todas las emisiones observadas y excluya en la mayor
medida posible lo que no se oir nunca. El gramtico no reco
ger 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 obser
vada.
Gramtica lgica
Expedientes redundantes
Quine, S
66 Willard Van Orman Quine
Actitudes y modalidad
Pero (1) tiene algo ms: lo bastante para ser, a diferencia de (2),
lgicamente verdadera. Todas las oraciones que tienen la en
tera 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 (1), mas
no lo es la misma (2).
en
La adecuacin de la sustitucin
(1) *= x
y el esquema axiomtico
(2) ~ (x v . Fx . ~ Fy)
Reduccin de la identidad
lenguaje cuya gramtica sea del tipo que hemos llamado nor
mado 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 C * y un predicado tridico D \
Con eso podemos definir x = y como abreviatura de
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 anlo
go 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 predi
cados; pero no siempre3. 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 comienzo 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, enten
demos todas las ecuaciones como meras abreviaturas de oraciones
complejas, segn lo indica (3), todas las leyes de la identidad
se convierten en meras abreviaturas de verdades lgicas de tipo
puramente cuantificacional, o sea, en verdades lgicas en el
sentido del captulo anterior. As podemos mantener la con
cepcin 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 con
siderarla como una teora esquemtica. Por lo dems, ya en la
lgica de las funciones veritativas y de los cuantificadores
predomina el estilo esquemtico; utilizamos las letras esquem
ticas predicativas para representar predicados que no precisamos
de un lenguaje tambin sin precisar, y para representar las ora
ciones compuestas abiertas que se pueden construir con aqullos.
2 La demostracin procede como en mi Matheinatical Logic, 18.
5 V. Q uine, Set Theory and ts Logic [La teora de conjuntos y su
lgica], Cambridge, Mass., Harvard, 1969, pg. 15.
116 Willard Van Orman Quine
La teora de conjuntos
muy fcil decir lo que queda por decir, a saber, que z es {x: Fx}.
Se puede decir as: (x) (x e z . = Fx). De este modo el contexto
del trmino '{x: Fx}' en el ejemplo '{x :F x }ey se parafrasea
del modo siguiente:
acaso parecieran exigirla, mientras que para otros fines tal vez
se pueda mostrar que basta con una ontologa de conjuntos
ms modesta de lo que se crea.
La definicin clave de estas parfrasis por definicin con-
Icxtual define conjuntamente la pertenencia y la abstraccin, en
la combinacin '_y e {x: F x}\ El mtodo de la definicin con-
icxtual, ya recogido hace unas pocas pginas, explicar esa
combinacin como abreviatura de
(4) (3z) (y z . (y i (.v e z . = Fx)),
lo cual funcionara muy bien en una teora de conjuntos sin
cera 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 z
sera 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 consiguiente
mente intil. Segunda, porque la frmula (4) utiliza ya ella misma
el predicado V , 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 {.y : Fx } . N o hace falta ir muy lejos para encontrarla:
bastar con usar 'Fy'. Convengamos, simplemente, en escribir
'y {.y: Fx } en vez de 'Fy para todo objeto y y para toda ora
cin abierta en el papel de 'Fv' 4.
Tambin sera agradable contar con una definicin contex
tual de la combinacin '{ x :F x } rv \ 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 t {x: Fx}.
dera para todas las sustituciones de '//, con slo que resulte
verdadera para dos sustituciones: una sustitucin por una ora
cin verdadera y una sustitucin por una oracin falsa (ambas
cerradas, naturalmente). Consiguientemente, podemos definir
con sencillez la cuantificacin '(/,) (P) por la conyuncin:
Apndices
La lgica en la traduccin
El intuicionismo
Cuantificacin ramificada
En lo que queda de este captulo me voy a ocupar de cuanti-
ficaciones 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 con
dicin expresada por la oracin que siga [la lectura tradicional
en castellano es: 'para todo x hay al menos un y tal que].
Es posible que diferentes elecciones de x exijan diferentes elec
ciones 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 w, 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
Su fuerza
Quine, 11
Una apariencia de teora
Un dualismo insostenible
El lugar de la lgica
Q uine, W. V., Mathematical Logic, ed. rev., secc. 6 y cap. VII, Cambridge,
Mass., Harvard University Press, 1951. Tambin en edicin de bolsillo
de Harper. Traduccin castellana por Jos Hierro S.-Pescadr, Lgica
matemtica, Madrid, Ediciones de la Revista de Occidente, 1972.
----- , Set Theory and Its Logic, ed. rev., caps. I-IV, Cambridge, Mass.,
Harvard University Press, 1969.
T arski, A lfred, The concept of truth n formalized languages, en
Logig, Semantics, Mathematics, pgs. 152-278, Oxford, Clarendon
Press, 1956. Es traduccin de la versin alemana del ensayo, 1936.
C arnap, R udolf, Philosophy and Logical Syniax, London, Routledge & Ke-
gan Paul, 1935.
Q uine, W. V., From a LogicalPoint o f View, ensayo II.
----- , The Ways o f Paradox and Other Essays, ensayo 10, New York,
Random House, 1966. Tambin en edicin de bolsillo de la misma
editorial.
W hite, M orton, The analytic and the synthetic: an untenable dualismo,
en John Dewey: Philosopher o f Science and Freedom, ed. por S. H ook,
New York, Dial, 1950.
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
Birkhoff, Garrett, 147, 149
181
182 Indice analtico
Bocvar, D. A., 146
booleana, lgebra, 122, 124
Boole, George, 75
Brouwer, L. E. J., 148, 150
emisin, 38
empirismo, 26, 29-30
entrecomillado, 37
enunciado, 23
equivalencia, 23, 30-34, 91, 144
escasez, 97, 156
espacio-tiempo, 64
esquema, 55, 92, 94-95, 132-133
abuso del, 120-121
en la teora de la identidad, 115
vlido, 94-97
para clases virtuales, 125-126
estructura, 92, 104, 115, 132, 163, 166
cterno/a, 38-40
evidencia, 27, 30, 168-170
expresiones, discurso que habla de, 35-36, 39-40, 43, 81, 118-119,
158-159
extensin, 120
extensionalidad, 119-120, 129, 134-136
idea, 31
identidad, 57, 11-116, 124, 134
identificacin, 31, 65
implicacin, 30, 90-91
inductiva, definicin, 79
informacin, 24-26, 168
inmanencia, 48-50, 107
inscripcin, 38-39
intensin, 120
intuicionismo, 148-152
lenguaje-objeto, 55, 73
verdad y satisfaccin en l, 81-85, 96-97, 101-102
lxico, 45, 50, 53-59, 172
criterio del, 61-62, 106
de nuestro lenguaje-objeto, 105
libre, variable, 56, 90-91
lingstica, teora de la verdad
lgica, 163-166, 170, 171-173
lgica, 71, 90, 107
delimitacin, 111, 126, 135, 139-140, 154, 166
lgicas divergentes, 139, 141, 143, 147, 166
lgicas multivaloradas, 144-146
lgica, verdad, 90-94, 100-102, 173
versiones abstractas, 106, 115, 132, 136
Indice analtico 185
necesidad, 32, 67
negacin, 54, 144-146
su satisfaccin, 76-79, 89-90
Neumann, J. von, 147, 178
Newton, Isaac, 171
nombre propio, 56-60, 75, 156
normada, gramtica: V.: normado, lenguaje
normado, lenguaje, 58, 68, 72
parquedad, 64, 72-73, 75
sus virtudes, 63, 116-117, 133, 135-136
norm ado, discurso, 48-49, 51
nmeros, teora de los, 98-99, 101, 131
objeto fsico, 64
objeto, lenguaje : V .: lenguaje-objeto
observacin, 27-30, 169-170
obviedad, 142-143, 165-166, 173
ontologa, 100-122, 152-155, 159
oracin, 50-51
letra oracional, 55, 120, 129-130
ostensin, 28
palabra, 47, 50
par (ordenado), 73, 124
paradoja, 83-84, 97, 124, 146, 158
186 Indice analtico
partcula, 46, 58-60
Peano, Giuseppe, 117
Peirce, Charles S., 26, 39, 144
pertenencia, 81-82, 116-118
Popper, Karl, 147, 178
predicacin, 53, 59-61, 78
predicado:
complejo, 63-67, 133-134
letra predicativa, 61, 92
en la gramtica lgica, 53-54, 62
y satisfaccin, 78-79
y sustitucin, 92-94, 104-106
variable predicativa, 60, 118-121, 127-128
proposicin, 22, 26, 29, 34, 36
su identificacin, 24, 31, 34, 65
vehculo de la verdad, 23, 39-40, 166
preposicional, actitud, 66-68, 134-135
razn, 130-131
recursiva, definicin, 79-80
relacin, 80-81
Rosser, J. Barkley, 147, 179
Russell, Bertrand, 51-52, 57, 117-118, 120-121, 148
paradoja de R., 84, 97, 146
salva congruitate, 47
salva veritate, 31
satisfaccin, 72-89
Sellars, Wilfried S., 35
significado, 21-23, 26, 29-31, 119-120
simulacin:
de clases, 122-124, 126-127, 157-159
de cuantificacin, 126-131, 157-159
sincategoremtico/a, 59-60
singular, trmino, 58, 60
sinonimia, 23, 31-33, 120
sintaxis aritm etizada: V.: 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 187
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
Alianza
Editorial