Quine W V - La Busqueda de La Verdad-Proc

W.V.
QUINE
LA BSQUEDA
DE LA VERDAD
CRTICA
LA BSQUEDA DE LA VERDAD
CRTICA/FILOSOFA
Directora: VICTORIA CAMPS
W. V. QUINE
Traduccin castellana de
JAVIER RODRGUEZ ALCZAR
CRTICA
BARCELONA
Quedan rigurosamente prohibidas, sin la autorizacin escrita de los ti

tulares del copyright, bajo las sanciones establecidas en las leyes, la re
produccin total o parcial de esta obra por cualquier medio o procedi
miento, comprendidos la reprografa y el tratamiento informtico, y la
distribucin de ejemplares de ella mediante alquiler o prstamo pblicos.
Ttulo original:
PURSUIT OF TRUTH
Cubierta: Enre Satu sobre un trabajo artesanal, en pan, de Eduardo
Crespo
1990: Harvard University Press, Cambridge, Mass.
1992 de la traduccin castellana para Espaa y Amrica:
CRTICA (Grijalbo Comercial, S.A.), Arag, 3S5, 08013 Barcelona
ISBN: 84-7423-560-X
Depsito legal: B. 37.139-1992
Impreso en Espaa
1992. - NOVAGRFIK, Puigcerd, 127, 08019 Barcelona
ADVERTENCIA
ESTA ES UNA COPIA PRIVADA PARA FINES EXCLUSIVAMENTE
EDUCACIONALES
QUEDA PROHIBIDA
LA VENTA, DISTRIBUCIN Y COMERCIALIZACIN
El objeto de la biblioteca es facilitar y fomentar la educacin otorgando
prstamos gratuitos de libros a personas de los sectores ms
desposedos de la sociedad que por motivos econm iqA ^e situacin
geogrfica o discapacidades fsicas no tienen posibidaa^^Jbpceder a
bibliotecas pblicas, universitarias o gubernamentales. En
consecuencia, una vez ledo este libro se considenken ixel prstamo
del mismo y deber ser destruido. No<
i hace
responsable de los perjuicios que deriven^
plimiento.
s que lo compre en
Si usted puede financiar el libro, le ;
cualquier librera de su pas.
Este proyecto no obtiene njj
beneficio econmico ni
directa ni indirectamente.
Si las leyes de su pas no n ^ ^ l ^ ^ f W i p o de prstamo, abstngase de
hacer uso de esta bibliote
"Quin recibe
igual que qui
quede a oscj
recibe instruccin sin disminuir la ma;

u vela con la ma, recibe luz sin que yo
Thomas Jefferson
Para otras publicaciones visite

www.lecturasinegoismo.com
Facebook: Lectura sin Egosmo
Twitter: (SLectSinEgo
o en su defecto escrbanos a:
lecturasinegoismo(S)gmail.com
Referencia: 1592
N O T A ED ITO R IA L
La presente traduccin castellana de la obra Pursuit
of Truth de W. V. Quine no se ha realizado exactamente
a partir de la edicin inglesa de esta obra, publicada
por Harvard University Press en 1990. Nuestra traduc
cin se basa en una versin posterior, preparada por el
profesor Quine para la futura edicin revisada del libro.
Aparte de algunas correcciones tipogrficas, de ciertas
sustituciones de palabras con escasa relevancia y de la
modificacin del ttulo de los 13, 22 y 28, las mo
dificaciones ms importantes afectan al contenido de
los 12, 13, 16, 20, 22, 23, 28 y 29; entre los cambios
terminolgicos destaca la eliminacin de la expresin
stimulus meaning (habitualmente traducida como sig
nificado estimulativo) en favor de la de stimulus range
(traducido aqu como gama de estmulos).
Por ltimo, el traductor desea expresar su agrade
cimiento al profesor Quine por brindarse amablemente
a discutir, en el curso de una entrevista celebrada en la
Universidad de Harvard, diversas dificultades plantea
das en la traduccin de su libro.
A Burt Dreben,
amigo firme y crtico constructivo durante dcadas
PREFACIO
He acometido en estas pginas la tarea de poner al
da, resumir y clarificar mis puntos de vista, diversa
mente interconectados, acerca del significado cogniti
vo, la referencia y las races del conocimiento. El pro
greso es en parte expositivo y en parte sustancial. La
sustancia en cuestin ha precipitado de vez en cuando
a lo largo de los diez ltimos aos, y algunas de las
partes slidas resultantes han salido a la superficie en
conferencias, dilogos informales y escritos dispersos.
Al acoplar estos pensamientos he encontrado en oca
siones alguna articulacin defectuosa y la he reforzado
hasta quedar satisfecho.
Este librito est dirigido tanto a mis lectores ha
bituales como a los nuevos; de ah que haya sobrecar
gado la exposicin con cuestiones tratadas machaco
namente en mis otros libros. Vuelvo sobre terreno
familiar siempre que descubro una mejora en la idea
o en su presentacin y tambin cuando el lector novel
necesita un poco de informacin para no quedarse re
zagado.
Los fragmentos del libro que han aparecido impre
sos previamente no suman ms de nueve pginas mal
12
contadas; al final aparece una relacin de ellos. Las

conferencias inditas han constituido una fuente ms
rica. Mi conferencia The Mentalistic Heritage, pro
nunciada en Calcuta el ao 1983, es una de las fuentes
del 31, mientras que The Forked Animal dio lugar
a las primeras secciones del captulo 4. Esta fue la ter
cera de las cuatro conferencias Immanuel Kant que
pronunci en Stanford en 1980. El ttulo de dicha serie
fue Science and Sensibilia, una parodia de la parodia
que John Austin hizo de Jane Austen.* Las cuatro con
ferencias aparecieron en italiano dando lugar a un librito, La scienza e i dati di senso, traducido por Michele Leonelli (Armando, Roma, 1987). En vez de
publicarlas ntegras en ingls, he usado fragmentos de
ellas en publicaciones posteriores, como la presente.
Buena parte de mi conferencia Three Indeterminacies, leda durante el Symposium Quine celebrado
en la Universidad de Washington durante el mes de
abril de 1988, est tramada sobre la urdimbre del ca
ptulo 1 y algunos fragmentos ms sobre la del captu
lo 5. Esa conferencia apareci publicada en el volumen
que recoge el contenido del Symposium (Barrett y Gib
son, eds., Perspectives on Quine, Blackwell, Oxford,
1990). Otra publicacin a la vista cuyo contenido coin
cide parcialmente con el del presente libro es Truth,
escrita a peticin del Institut International de Philo
sophie y elegida para su inclusin en Philosophical Pro
blems Today (Nijhoff, La Haya). He recurrido a ella
ampliamente, previo acuerdo, para la redaccin del ca
ptulo 5.
* El autor se refiere, respectivamente, a las obras Sense and Sensibilia,
de John L. Austin (1911-1960), y Sense and Sensibility, de Jane Austen
(1775-1817) (N. del L).
13
PREFACIO
Tengo la fortuna de contar con lectores lcidos y

rigurosos. Desde Pisa, Leonelli escribe que mi nueva
mezcla de la reificacin con la observacin le produce
una sorta di crampo mentale.* Despus de dos car
tas, el calambre empez a darme a m tambin. Re
sultado: una revisin sustancial de los captulos 1 y 2.
Una carta de Felix Mhlhlzer, desde Munich, me lle
v a insertar un par de prrafos reconociendo que el
mtodo cientfico no se deja incluir totalmente en un
esquema simple. Una dificultad percibida por Lars
Bergstrm, de Estocolmo, es ahora contemplada y tra
tada en el texto, mientras que mi deuda con Donald
Davidson, Dagfinn Follesdal y Roger Gibson es reco
nocida en los lugares oportunos. Mi agradecimiento es
enorme hacia Burton Dreben, que ha ledo versiones
previas con cuidado y penetracin y ha hecho muchas
sugerencias provechosas.
W.V.Q.
Una especie de calambre mental (N . del t ).
.
P latn
Si salvas la superficie lo habrs salvado todo.

Sherwin -Williams
1. EVIDENCIA
1. ESTIMULACIN Y PREDICCIN
Una creatividad colectiva cuyos resultados se han

ido acumulando generacin tras generacin nos ha per
mitido idear, a partir de los impactos que reciben nues
tras superficies sensibles, una teora sistemtica del
mundo externo. Nuestro sistema del mundo se muestra
eficaz en la prediccin de nuevos estmulos. Cmo lo
hemos conseguido?
La neurologa nos aporta nueva y sorprendente
informacin sobre el proceso que va de la estimu
lacin a la percepcin. La psicologa y, en particular,
la psicolingstica tienen algo que decir sobre el paso
de la percepcin a la expectativa, a la generalizacin
y a la sistematizacin. La gentica evolucionista ilu
mina complementariamente estas mismas cuestio
nes, al dar cuenta de los patrones de semejanza que
subyacen a nuestras generalizaciones y, por tanto, a
nuestras expectativas. La heurstica cientfica es ilu
minada tambin, de manera anecdtica, por la his
toria de la ciencia.
2 - QUINE
18
En medio de la complejsima maraa de relaciones

que une nuestra estimulacin sensible y nuestra teora
cientfica del mundo hay un segmento que, afortuna
damente, podemos tratar por separado y esclarecer sin
necesidad de practicar la neurologa, la psicologa, la
psicolingstica, la gentica o la historia. Me refiero a
la relacin de respaldo evidencial, en la cual nos ser
vimos de la prediccin para comprobar la teora; pues
es posible describir someramente sus elementos prin
cipales recurriendo a poco ms que al anlisis lgico.
No quiero dar a entender que la prediccin sea el
objetivo principal de la ciencia. Un objetivo ms im
portante es entender la realidad. Otro es el control y
modificacin del entorno. La prediccin puede ser
tambin un objetivo, pero en este momento quiero in
sistir sobre su papel en la comprobacin de las teoras,
sean cuales sean los objetivos.
Es habitual decir que la observacin es la fuente de
la evidencia cientfica, y que predecimos observacio
nes. La nocin de observacin, sin embargo, no se deja
analizar fcilmente. Se ha buscado clarificarla median
te el recurso a objetos y sucesos observables, pero un
abismo se abre entre stos y la activacin de nuestros
receptores sensoriales, que es todo lo que el mundo
externo nos hace llegar sin intermediarios. Buscando
un atajo por entre todas estas complicaciones, me he
atenido a la activacin o estimulacin misma; por eso
hablo, de forma quizs un tanto extraa, de la predic
cin de estmulos. Los estmulos que un sujeto expe
rimenta en un momento dado no son otra cosa, para
m, que el conjunto temporalmente ordenado de todos
aquellos receptores sensoriales suyos que son activados
en ese momento.
EVIDENCIA
19
La nocin tcnica de observacin es, pues, aban

donada. Y si la observacin es evidencia, tambin lo
es esta ltima. Podemos ocupamos de la cuestin de
la evidencia cientfica sin la ayuda del trmino tcnico
evidencia. En vez de eso, nos podemos arreglar con
la nocin de oraciones observacionales.
2.
Oraciones
observacionales
Nos hemos propuesto estudiar en qu consiste el

respaldo evidencial de la ciencia. Este respaldo, lo lla
memos como lo llamemos, se ha convertido a nuestros
ojos en una relacin entre los estmulos y la teora cien
tfica. La teora consiste en oraciones o, al menos, se
expresa mediante ellas; y la lgica conecta unas ora
ciones con otras. As pues, lo que necesitamos es en
contrar oraciones, directa y firmemente asociadas con
nuestros estmulos, que acten como eslabones inicia
les de esas cadenas que conectan estmulos y teora.
Cada una de tales oraciones tendra que estar asociada
afirmativamente con cierta gama de estmulos del su
jeto y negativamente con otra. Adems, cada vez que
se diera un estmulo perteneciente a la gama adecuada,
la oracin debera provocar el asentimiento o el disenso
inmediato del sujeto, sin necesidad de indagacin pos
terior y con independencia de lo que el individuo es
tuviera haciendo en ese momento. Una exigencia adi
cional es la de intersubjetividad: a diferencia de lo que
ocurre cuando informamos acerca de sentimientos, la
oracin debe suscitar el mismo veredicto en todos los
testigos de la situacin que sean lingsticamente com
petentes.
20
A estas oraciones las llamo oraciones observadonales. Ejemplos de ellas son Llueve, Est refres
cando, Eso es un conejo. A diferencia de Los hom
bres son mortales, son oraciones ocasionales, esto
es, oraciones que son verdaderas en ciertas ocasio
nes y falsas en otras. A veces llueve; a veces no. Di
cho brevemente, una oracin observacional es una
oracin ocasional que suscita el acuerdo inmediato
de los hablantes de una lengua cuando stos son tes
tigos de la situacin correspondiente. Volver sobre
este punto en el 15.
La observacionalidad tiene lmites imprecisos, pues
la disposicin de un individuo a asentir puede darse
en grados diversos. Es posible que un individuo se que
de, para su sorpresa, indeciso ante una oracin como
Eso es un cisne, tenida hasta entonces por observa
cional, al encontrarse con un espcimen negro. Quizs
le sea preciso recurrir entonces a una convencin que
especifique su forma de usarla en el futuro. No estar
de ms, por tanto, que nos recordemos de vez en cuan
do a nosotros mismos lo difcil que resulta someter la
conducta humana a esquemas simplificadores; pero,
mientras tanto, ganamos en claridad trazando fronteras
imaginarias.
El conjunto de estmulos que un hablante asocia,
afirmativa o negativamente, con una oracin obser
vacional es lo que denomino la gama de estmulos,
afirmativa o negativa, de esa oracin para ese hablante.
Todo estmulo es, de acuerdo con mi definicin, global:
es el conjunto de todos los receptores sensoriales ac
tivados, y no slo de aquellos que dan lugar a algn
tipo de conducta. De ah que, si bien los estmulos
incluidos en una determinada gama diferirn radical
EVIDENCIA
21
mente entre s en lo tocante a aquellos receptores ac

tivados sin repercusiones para la conducta, los ncleos
efectivos de dichos estmulos tendern sin embargo a
parecerse en algn punto, de acuerdo con la aprecia
cin del sujeto;1 se parecern, en concreto, en que dan
lugar a conductas parecidas.
Una oracin observacional puede constar de un
nico nombre o adjetivo, visto en este caso como una
oracin; as, Lluvia, Fro o Conejo, en lugar de
Llueve, Hace fro, Es un conejo. Las oraciones observacionales pueden ser combinadas para formar nue
vas oraciones observacionales, utilizando simplemen
te, por ejemplo, la conjuncin, como en 1 sol sale y
los pjaros cantan. Tambin podemos combinarlas
mediante la predicacin; es el caso de Este guijarro es
azul, que resulta de combinar Mira, un guijarro y
Mira, azul. Una forma equivalente y simple de com
binarlas es Guijarro azul; ambas combinaciones estn
asociadas a la misma gama de estmulos. Pero ninguna
de ellas es equivalente a la mera conjuncin Mira, un
guijarro, y mira, azul. Estn conectadas de un modo
ms rgido. Para que la conjuncin se logre basta con
que la estimulacin nos muestre que cada una de las
oraciones observacionales que la componen se mate
rializa en alguna regin de la escena -quizs un guijarro
blanco por aqu, una flor azul por all. Pero la predi
cacin sita las dos materializaciones sobre la misma
regin de la escena, exigindoles que coincidan o, al
menos, que se solapen ampliamente. El azul debe re
cubrir el guijarro por completo. No importa si salpica1
1. De ah que sean perceptiva y no receptivamente similares. Vase
Roots o f Reference, pp. 16-18.
22
tambin otras regiones de la escena, pues la construc

cin no es simtrica.
Nuestro estudio de las oraciones observacionales
estuvo motivado por nuestro inters en investigar las
relaciones entre observacin y teora. La oracin ob
servational es el medio del cual nos valemos para ex
presar verbalmente la prediccin que nos permite com
probar la validez de la teora. La exigencia adicional
de que la oracin observacional d lugar a un veredicto
inmediato la convierte en el criterio ltimo de control
en la ciencia. El requisito de la intersubjetividad, por
su parte, es el que hace de la ciencia algo objetivo.
Podramos decir, pues, que las oraciones observa
cionales son los vehculos de la evidencia cientfica
-aunque al decir tal cosa no estamos aventurando de
finicin alguna de evidencia. Pero tambin son nues
tro punto de partida en el aprendizaje del lenguaje. Las
primeras piezas de lenguaje cognoscitivo que el nio
adquiere son oraciones observacionales rudimentarias,
incluyendo oraciones observacionales de una sola pa
labra, como Mam, Leche, y otras parecidas. Estas
oraciones son asociadas a estmulos mediante el con
dicionamiento de las respuestas. El que estn directa
mente asociadas con estmulos es esencial para que el
nio pueda adquirirlas sin necesidad de un conoci
miento previo de la lengua, mientras que el requisito
de la intersubjetividad es imprescindible para que le
sea posible aprender las expresiones usadas por otros
hablantes en situaciones compartidas.
No es extrao que las oraciones observacionales
realicen a la vez ambas funciones -la de vehculos de
la evidencia cientfica y la de punto de partida de nues
tra introduccin en el lenguaje. Al fin y al cabo, las
EVIDENCIA
23
oraciones observacionales son el vnculo que une el

lenguaje, cientfico o no, con ese mundo real del cual
el lenguaje se ocupa.
Mi definicin de oraciones observacionales nos lle
va a admitir como tales muchas ms que aquellas uti
lizadas por el nio como punto de partida de su intro
duccin en el lenguaje. Muchas de estas oraciones, en
efecto, no son aprendidas por simple condicionamien
to o por imitacin, sino que se construyen posterior
mente a partir de un vocabulario considerablemente
refinado. El requisito de la correspondencia con gamas
de estmulos sigue cumplindose en todos los casos.
Qu oraciones se han aprendido directamente a travs
de condicionamiento, y cules indirectamente median
te el uso de un nivel superior de lenguaje, es algo que
variar con las personas. Pero los dos requisitos cita
dos, intersubjetividad y correspondencia con los est
mulos, nos garantizan que cualquier oracin observacional podra haber sido aprendida de modo directo.
Escuchamos a los hablantes de nuestra comunidad
asentir a la oracin y disentir de ella nicamente en
aquellas ocasiones en que recibimos unos determina
dos estmulos, y nos sumamos a su forma de proceder.
3.
Cargadas
de teora?
Yo soy el creador de la definicin de oracin ob

servational que estamos utilizando, pero no de la ex
presin correspondiente. Los filsofos se han ocupado
desde antiguo, cada uno a su manera, de lo que se ha
venido conociendo como trminos u oraciones obser
vacionales. Pero en nuestros das se ha puesto de moda
24
poner en duda nociones como estas y sostener que lo

pretendidamente observacional est cargado de teora
en grados diversos. Se suele afirmar que cuando los
cientficos organizan y comprueban sus propios datos
o los de otro no perseveran en su tarea ms all de lo
requerido para asegurar el acuerdo entre los testigos
versados en la materia; pues todos ellos son personas
razonables. Oraciones como La mezcla est a 180 C
y Hay un escape de sulfuro de hidrgeno son sufi
cientemente observacionales para cualquiera de ellos,
y hasta informes ms esotricos lo son para algunos.
Admito que la nocin prctica de observacin es re
lativa a esta o aquella comunidad restringida, y no a
la comunidad de hablantes en su conjunto. Diremos,
pues, de una cierta oracin que es observacional para
una comunidad cuando se trata de una oracin oca
sional que suscita el acuerdo sin reservas de quienes
se hallan presentes en la ocasin pertinente.
Con fines filosficos, sin embargo, podemos se
guir un poco ms all en nuestra bsqueda hasta dar
con un criterio nico que valga para la comunidad
de hablantes en su conjunto. En este nuevo sentido,
ser observable todo aquello acerca de lo cual cual
quier testigo se pronunciara sobre la marcha obe
deciendo nicamente los dictados del lenguaje y de
sus cinco sentidos. Si los cientficos insistieran ma
lvolamente en exigir ms evidencia de la necesaria
para el logro del consenso, estaramos en condicio
nes, en la mayora de los casos, de reducir sus ob
servables a los de la comunidad global de hablantes.
Slo unos pocos observables -el olor, imposible de
describir, de un gas raro, por ejemplo- se resistiran
a la reduccin.
EVIDENCIA
25
Ahora bien: qu tiene que ver todo esto con el

hecho de que una oracin est cargada o libre de teora?
Mi definicin permite distinguir las oraciones observacionales de las dems (tanto si estamos pensando en
comunidades especficas o en la comunidad amplia)
sin hacer referencia alguna a su supuesta carencia de
teora. Hay un sentido, como veremos enseguida, en
el cual todas ellas estn cargadas de teora; y hay asi
mismo un sentido en el cual ninguna de ellas, ni si
quiera la ms especializada, lo est.
Consideremos en primer lugar aquellas oraciones
que nos sirven como punto de partida en las primeras
fases del aprendizaje de nuestra lengua. Cada una de
ellas est asociada como un todo, mediante condicio
namiento, a las gamas de estmulos adecuadas. Las pa
labras que las componen estn ah como si fueran me
ras slabas, libres de teora. Pero esas palabras volvern
a aparecer, con el tiempo, en contextos tericos. Pre
cisamente el hecho de que las oraciones observacionales y la tericas compartan de esta forma las palabras
hace posible el establecimiento de conexiones lgicas
entre ambos tipos de oraciones y hace de la observacin
algo relevante para la teora cientfica. Estas inocentes
oraciones observacionales estn ciertamente cargadas
de teora si las miramos retrospectivamente. Una
oracin observacional cuya palabra ms tcnica sea
agua entrar en el mismo saco que oraciones ob
servacionales que incluyen trminos tan tcnicos
como 20 . Vista holofrsticamente, esto es, ligada
mediante condicionamiento a determinadas situacio
nes estimulativas, la oracin est libre de teora; vista
analticamente, palabra por palabra, la oracin est
cargada tericamente. En tanto en cuanto las orado
26
nes observacionales son de algn modo relevantes

para la ciencia, al dotarla de evidencia y de un pro
cedimiento de contrastacin, es inevitable que dichas
oraciones se carguen retrospectivamente de teora, al
tiempo que desde un punto de vista holofrstico se
conservan inmaculadamente libres de ella. Impugnar
retrospectivam ente la observacionalidad de estas
oraciones sera cometer lo que Firth (p. 100) bautiz
como la falacia de la retroproyeccin conceptual.
Las oraciones observacionales ms esotricas, in
cluyendo las utilizadas por las comunidades cientficas
especializadas, ofrecen asimismo estas dos caras, a pe
sar de que habitualmente habrn sido aprendidas a
partir de sus trminos componentes y no mediante con
dicionamiento directo. Lo que las hace acreedoras al
ttulo de oraciones observacionales es, tambin en este
caso, su asociacin holofrstica con gamas fijas de es
timulacin sensorial, independientemente de cmo
haya sido adquirida esa asociacin. Tomadas holofrsticamente, siguen estando a todos los efectos libres
de teora, como les ocurre a las oraciones que C. I.
Lewis (p. 179) llama expresivas; pero vistas retros
pectivamente -palabra por palabra- las mismsimas
oraciones resultan estar cargadas de teora, igual que
las oraciones objetivas de ese autor.
Cuando la epistemologa andaba a vueltas con el
giro lingstico, se dej de hablar de objetos observa
bles para pasar a hablar de trminos de observacin.
Esta fue una buena maniobra, pero no lo bastante bue
na. La distincin entre las oraciones observacionales y
las tericas se llevaba a cabo entonces slo de forma
derivada: se consideraban observacionales aquellas
oraciones que contenan trminos de observacin y ex
EVIDENCIA
27
cluan trminos cargados de teora. Como consecuen

cia de este planteamiento, Reichenbach y otros sintie
ron la necesidad de buscar principios puente que
conectaran los dos tipos de oraciones. Ahora estamos
viendo que no se necesita ningn puente, y que la me
tfora del puente no es la correcta. Al comenzar, como
hemos hecho, con oraciones mejor que con trminos
no encontramos problemtico que ambos tipos de ora
ciones compartan vocabulario; y es precisamente el vo
cabulario compartido lo que las vincula.
Comenzar con oraciones ofrece una ventaja adicio
nal: nos libra de tener que recurrir, en el momento de
definir las oraciones observacionales, a la distincin
entre lo que est libre y lo que est cargado de teora.
Y, por ltimo, esta maniobra nos reporta un tercer
beneficio, consistente en la posibilidad de investigar la
adquisicin y uso de las oraciones observacionales sin
prejuzgar a qu objetos hacen referencia -si es que
hacen referencia a alguno- las palabras que forman
parte de ellas. De este modo tenemos las manos libres
para especular acerca de la naturaleza de la reificacin
y su utilidad para la teora cientfica -u n tema a es
tudiar en el captulo 2. Adoptar como punto de partida
los trminos hubiera significado introducir artificio
samente la reificacin y dar por sentada antes de tiem
po la existencia de referencia a objetos, sin tener en
cuenta para qu se utiliza o qu ha de tenerse por tal.
4.
Categricas
observacionales
En ningn lugar se hace ms patente el apoyo que

una teora recibe de la observacin que en el contexto
28
experimental; as que ser de inters volver nuestros

ojos hacia l. El cientfico, que tiene como punto de
partida un acervo de teora que acepta, est estudiando
la posibilidad de incrementar ese acervo con la incor
poracin de una determinada hiptesis. La teora le
dice que, caso de ser verdadera la hiptesis que exa
mina, observar un cierto efecto cada vez que cons
truya una determinada situacin experimental. As que
procede a montar esa situacin. Si el efecto predicho
no se produce, el cientfico abandona la hiptesis. Si
el efecto aparece, su hiptesis puede ser verdadera, lo
que le lleva a incorporarla provisionalmente al acervo
terico.
Imaginemos, por ejemplo, que un equipo de mi
neralogistas de campo han sacado a la superficie un
extrao mineral cristalino con un peculiar tinte rosceo. A falta de un nombre mejor, se refieren provisio
nalmente a l como litolito. Uno de ellos aventura su
composicin qumica. Esta es la hiptesis, cuyos de
talles nos podemos ahorrar. Partiendo de su acervo de
conocimientos sobre qumica, el cientfico llega a la
conclusin de que si la hiptesis fuera verdadera, cual
quier pieza de litolito debera emitir sulfuro de hidr
geno cuando se la calentara a una temperatura superior
a los 180 C. Estas ltimas previsiones son los obser
vables; pues nuestro mineralogista y sus colegas reco
nocen el litolito cuando lo ven y el sulfuro de hidrgeno
cuando lo huelen, y son todos ellos capaces de leer un
termmetro.
As pues, la comprobacin de una hiptesis gira en
tomo a la relacin lgica de implicacin. De un lado,
el terico, tenemos el acervo de teora aceptada ms
la hiptesis. A partir de esta combinacin se llevar a
EVIDENCIA
29
cabo la implicacin. Del otro lado, el observacional,

tenemos una generalizacin que el experimentador
puede poner a prueba directamente -en este caso, ca
lentando un trozo de esa materia rosa y oliendo.
Llamo categrica observacional a toda generaliza
cin que resulta de combinar los observables como he
descrito - Siempre que ocurre esto, ocurre lo otro. Una
categrica observacional est formada por oraciones
observacionales. No debe pensarse que el siempre que
reifica los momentos de tiempo y cuantifica sobre ellos;
debe interpretarse ms bien como una generalizacin
irreductible y previa a toda referencia objetiva. Es una
generalizacin de la que nos servimos para afirmar que
las circunstancias especificadas por una oracin ob
servacional estarn acompaadas indefectiblemente por
aquellas descritas en la otra.2
Aunque est formada por dos oraciones ocasiona
les, la categrica observacional es ella misma una ora
cin fija, lo que hace posible que sea implicada con
todo derecho por la teora cientfica. De esta mane
ra, el recurso a las categricas observacionales solucio
na el problema de la conexin lgica entre teora y
observacin, a la vez que nos proporciona un buen
esquema de la situacin experimental.
En sta, una hiptesis se comprueba por medio de
un experimento. Pero las circunstancias opuestas nos
son igualmente familiares: una observacin fortuita
puede llevamos a aventurar una nueva categrica ob2. Las categricas observacionales no deben confundirse con los con
dicionales observacionales, una nocin menos fructfera que propuse en
1975. El condicional observacional est formado por dos oraciones fijas,
cada una de las cuales ha sido construida, con la ayuda de la teora, a partir
de una oracin observacional.
30
servacional y a inventar luego una hiptesis terica que

la explique. Imaginemos, por ejemplo, que un da nos
llamaran la atencin unos sauces ostensiblemente ven
cidos del lado de la corriente de agua que pasa junto
a ellos. Este hecho nos sugiere la categrica observacional:
(1) Cuando un sauce crece junto al agua, ste se
inclina sobre el agua.
Esta conviccin sugiere, a su vez, una hiptesis te
rica: La raz de un sauce alimenta principalmente
aquellas partes del rbol que quedan en su mismo lado.
En conjuncin con otras partes de teora previamente
admitidas, como la creencia de que las races obtienen
ms nutrientes cuanto ms hmedo est el suelo y la
de que los nutrientes estimulan el crecimiento de las
ramas, se llega a la conviccin de que la categrica
observacional es implicada por la hiptesis. Esta hi
ptesis implicar tambin otras categricas observacionales, y la comprobacin de varias de ellas, junto
con la de aquella primera que nos incit a proponer
nuestra hiptesis, permitir la contrastacin continua
da de sta.
La categrica observacional (1) sobrepasa mi de
finicin en un sutil punto: no est compuesta por dos
oraciones observacionales autosufcientes. No puede
leerse como si dijera: Cuando un sauce crece junto al
agua, un sauce se inclina sobre el agua. Pues no basta
con que las oraciones observacionales que integran (1)
se refieran a la misma escena; es necesario, adems,
que se refieran a la misma parte de la escena, esto es,
al mismo sauce. De ah la importancia de ste en (1).
EVIDENCIA
31
Tenemos lo que podemos denominar una categrica

observacional focal, en contraposicin con las categ
ricas observacionales libres.
Ya distinguimos en el 2 entre el caso de la con
juncin y el de la predicacin. Pues bien: la categrica
observacional libre se limita a generalizar a partir de
una conjuncin, y afirma que siempre que nos encon
tremos un cierto suceso podremos observar tambin la
presencia del otro por los alrededores. La categrica
observacional focal, en cambio, lleva a cabo la gene
ralizacin sobre una oracin observacional predicativa.
La oracin (1) generaliza lo dicho por la frase predi
cativa Este sauce ribereo se inclina sobre el agua para
decir que todos lo hacen.
Un ejemplo ms breve de oracin observacional
predicativa es Este cuervo es negro, o Cuervo negro.
Si la generalizamos, obtendremos la categrica obser
vacional focal Siempre que hay un cuervo, ste es
negro o, dicho brevemente, Todos los cuervos son
negros.
5.
Prueba
y refutacin
Comprobamos la validez de una categrica obser

vacional mediante pares de observaciones. No es po
sible verificarla de forma concluyente recurriendo a
observaciones conformes con ella, pero es posible re
futarla por medio de un par de observaciones, una afir
mativa y otra negativa -as, la observacin de litolito
a 180 C junto con la ausencia de sulfuro de hidrgeno,
o la observacin de sauces ribereos que se dejan caer
hacia el lado ms seco. La categrica observacional
32
libre Cuando el sol sale los pjaros cantan se refuta

mediante la observacin de un amanecer en medio del
silencio de los pjaros.
La comprobacin observacional de las hiptesis
cientficas -y, ciertamente, la de las oraciones en ge
neral- consiste, a su vez, en la contrastacin de las
'categricas observacionales implicadas por aqullas. De
nuevo aqu, como en el caso de la categrica obser
vacional misma, no es posible la verificacin conclu
yente, sino nicamente la refutacin. Refute usted una
categrica observacional, mediante una observacin
positiva y otra negativa, y habr refutado aquello que
la implic.
La epistemologa tradicional busc en la experien
cia sensible una base capaz de implicar nuestras teoras
sobre el mundo, o de incrementar al menos la proba
bilidad de sus aciertos. Contra esta pretensin, sir Karl
Popper ha venido insistiendo desde hace mucho tiem
po en que no podemos usar la observacin para sus
tentar una teora, sino tan slo para refutarla. Acaba
mos de ver de forma esquemtica por qu esto es as.
Pero, como ya advert en el 2, no debemos olvidar
que estamos ofreciendo slo un esquema; estamos, en
efecto, imaginando que existen fronteras claras all
donde no es posible trazar ninguna. El par de obser
vaciones que se supone sirve para refutar una cierta
categrica observacional puede no resultar decisivo en
realidad, debido a una falta de seguridad previa acerca
de la gama de estmulos que corresponde a una de las
dos oraciones observacionales; ejemplos de ello son los
casos del cisne negro y del cuervo albino. Una teora
que implicara la categrica observacional Todos los
cisnes son blancos, o Todos los cuervos son negros,
EVIDENCIA
33
podra o no ser refutada por el descubrimiento del es

pcimen atpico, dependiendo de cmo decidiramos
delimitar las imprecisas gamas de estmulos de las pa
labras cisne y cuervo. En ambos ejemplos, los usos
lingsticos adoptados de hecho son aquellos que pro
mueven la homogeneidad terminolgica en el conjunto
de la teora, esto es, aquellos que toleran la existencia
de cisnes negros y cuervos rubios.
Es cierto, por otra parte, que no slo razonamos
acerca de cmo refutar las hiptesis, sino que constan
temente lo hacemos tambin en busca de apoyo para
stas. Cuando hacemos tal cosa, sin embargo, no es
tamos sino argumentando lgica o probabilsticamente
a partir de otras creencias previamente aceptadas. Es
en este momento cuando entran en juego las tcnicas
de la probabilidad y de la estadstica matemtica. Al
gunas de las creencias que aducimos en apoyo de nues
tra hiptesis quizs sean observacionales, pero las
creencias de este tipo slo pueden aportar su concurso
cuando vienen acompaadas de creencias tericas. La
observacin pura proporciona slo evidencia negativa,
al refutar una categrica observacional implicada por
la teora propuesta.
6.
H olismo
Recordemos que la hiptesis relativa a la compo

sicin qumica del litolito no implicaba sin ms sus
categricas observacionales. Las implicaba con la ayu
da de un acervo de teora cientfica previamente acep
tada. Para deducir una categrica observacional a par
tir de una hiptesis dada puede sernos necesario echar
3.- QUINE
34
mano de otras oraciones tericas y de muchas pero

grulladas de sentido comn que se dan por supuestas;
quizs, incluso, necesitemos el auxilio de la aritmtica
y de otras partes de las matemticas.
Dada esta situacin, la hiptesis no se refuta con
cluyentemente porque la categrica observacional sea
falsa. Lo que resulta refutado es la totalidad de ora
ciones, unidas mediante conjuncin, que en su mo
mento necesitamos para implicar la categrica obser
vacional. Si nos vemos forzados a desdecimos de esa
conjuncin de oraciones, las posibles soluciones no se
limitan a la consistente en retirar la hiptesis en dis
puta; en vez de eso, podramos desdecimos de alguna
otra oracin del conjunto. En esto consiste la impor
tante doctrina que llamamos holismo. Pierre Duhem
puso gran nfasis en ella hacia comienzos de este siglo,
y no se excedi al hacerlo.
El cientfico ve el experimento como una compro
bacin especfica de su nueva hiptesis, pero esto tan
slo es as porque esa era la nica oracin que estaba
cuestionando y la nica que tiene predisposicin a re
chazar. Adems, existen tambin situaciones en las que
el cientfico no tiene ninguna hiptesis preconcebida,
pero sta surge a raz de un fenmeno anmalo. En
este caso, la hiptesis se le ocurre al cientfico tras en
contrar un ejemplo contrario a una categrica obser
vacional que, de acuerdo con la teora global que de
fiende actualmente, debera haber sido verdadera. Esto
le hace contemplar su teora con ojos crticos.
Haciendo uso de una excesiva logicizacin, pode
mos describir como sigue el proceso mediante el cual
acomodamos el fallo de una categrica observacional.
Tenemos ante nosotros un cierto conjunto S de su
EVIDENCIA
35
puestas verdades que intervinieron en la implicacin

de la falsa categrica observacional. La implicacin
puede ser aqu entendida simplemente como deducibilidad dentro de la lgica de funciones veritativas,
cuantificacin e identidad (siempre nos es posible po
ner las bases para obtener consecuencias ms sustan
ciales mediante la explcita incorporacin a S de las
premisas apropiadas). Al menos una de las oraciones
que forman parte de Atendr ahora que ser descartada.
Ponemos a salvo de esta amenaza a algunos miembros
de S, tras llegar a la conclusin de que la implicacin
fatdica se producira igualmente sin su ayuda. De este
modo se ponen a salvo las verdades puramente lgicas,
que no aaden nada a lo implicado por S; se pondrn
igualmente a salvo otras oraciones irrelevantes de otros
tipos contenidas igualmente en S. De los miembros de
S que nos quedan, eliminamos uno que nos parece ex
tremadamente sospechoso, o de menos importancia
para nuestra teora global, pues seguimos los dictados
de la mxima de la mutilacin mnima. Si los miem
bros restantes de S todava se las arreglan para implicar
la categrica observacional falsa, probamos a eliminar
otra, manteniendo ahora la primera. Si la categrica
falsa sigue estando implicada todava, probamos a eli
minar las dos. Y seguimos probando de este modo has
ta que conseguimos abortar la implicacin.
Pero esto es slo el comienzo. Ahora debemos ras
trear nuestra amplia teora con objeto de descubrir
aquellos conjuntos de oraciones a partir de los cuales
se implican las creencias que acabamos de abandonar;
pues es necesario anularlos tambin. Seguimos con
este rastreo hasta que parezca que la consistencia ha
sido restaurada. En esto consiste la mutilacin que
36
pretendemos minimizar con la mxima de la muti

lacin mnima.
A la hora de elegir qu oraciones de S descartamos,
la mxima nos obliga, en particular, a poner a salvo
toda verdad puramente matemtica; pues las mate
mticas irrigan todas las ramas de nuestro sistema del
mundo, y si altersemos su composicin todo el rbol
se vera afectado ms all de lo tolerable. Si pregun
tamos al cientfico por qu dispensa un trato especial
a las matemticas, posiblemente nos conteste que las
leyes matemticas son necesariamente verdaderas; pero
creo que en este momento, ms que servimos de la
necesidad matemtica para explicar nada, lo que es
tamos haciendo es explicar la necesidad matemtica
misma. sta se asienta sobre la poltica no expresa de
poner a salvo las matemticas mediante el ejercicio de
nuestra libertad para rechazar otras creencias.
As pues, aunque la categrica observacional fallida
no determine cul de las creencias ha de ser rechazada,
eso no significa que carezcamos por completo de cri
terios que iluminen nuestra eleccin. Pues debemos
procurar, como hemos visto, no causar ms pertur
baciones de las necesarias en nuestro sistema cientfico.
No olvidemos, sin embargo, que otra consideracin a
tener en cuenta es la sencillez de la teora resultante;
si el cientfico vislumbra un medio de obtener una im
portante ganancia en sencillez, estar dispuesto, in
cluso, a provocar perturbaciones de importancia para
lograrlo. Pero el objetivo ltimo es elegir aquella re
visin que nos proporcione en el futuro un mximo
xito predictivo, xito que se mide por la cantidad de
categricas observacionales verdaderas que la teora es
capaz de implicar. No existe una receta para lograr esto,
EVIDENCIA
37
pero lo cierto es que la bsqueda de la mayor simpli

cidad y de la menor mutilacin posibles son dos m
ximas que intervienen en la lucha de la ciencia por
justificarse mediante sus predicciones.
Es difcil imaginar que alguien pueda cuestionar la
versin del holismo que hemos venido considerando.
Grnbaum ha criticado ciertamente el holismo, pero
en una versin mucho ms radical que la aqu defen
dida. l construye el holismo como la tesis segn la
cual cada vez que una prediccin falla nos es posible
mantener la hiptesis amenazada si revisamos el acer
vo terico aceptado, de modo tal que ste, combinado
con la hiptesis en cuestin, implique el fracaso de la
prediccin. Pero yo no estoy presuponiendo tal cosa.
Todo lo que nos preocupa en estos momentos es abor
tar la implicacin falsa. La explicacin de la observa
cin contraria a nuestra hiptesis constituye un logro
distinto dentro del progreso cientfico, un logro que
podremos o no ser capaces de completar algn da.
El holismo en mi versin moderada representa una
correccin obvia pero importantsima a la ingenua con
cepcin que cree posible otorgar a cada oracin cien
tfica un contenido emprico separado. El contenido
emprico es compartido, incluso, por las matemticas,
en la medida en que estas son aplicadas en la ciencia.
7.
Contenido
emprico
Las gamas de estmulos tienen lmites imprecisos,

y de ello son testigos una vez ms el cisne negro y el
cuervo albino. No obstante, si imaginamos la existencia
de una frontera clara, nos es posible construir una de
38
finicin de contenido emprico que, aunque engao

samente simple, nos resultar instructiva.
Diremos que una categrica observacional es ana
ltica para un cierto hablante si la gama afirmativa de
estmulos correspondiente a uno de los componentes
est incluida en la del otro; es el caso de Los petirrojos
son pjaros. Si no se dan estas condiciones, la lla
maremos sinttica. Diremos que una oracin o con
junto de oraciones es contrastable si implica algunas
categricas observacionales sintticas. Y diremos que
dos categricas observacionales son equivalentes si a
sus componentes respectivos corresponden las mismas
gamas de estmulos. Entonces el contenido emprico,
para un hablante dado, de una oracin contrastable o
de un conjunto contrastable de oraciones es el conjunto
de todas las categricas observacionales sintticas im
plicadas por esa oracin o conjunto de oraciones, junto
con las oraciones equivalentes a las implicadas. Aado
las equivalentes para evitar que diferencias meramente
verbales nos impidan atribuir igualdad de contenido.
Una vez que hemos definido de este modo el con
tenido emprico y, por ende, la equivalencia emprica
para el hablante individual, podemos decir que dos
oraciones o conjuntos de oraciones son equivalentes
para una comunidad en su conjunto cuando son equi
valentes para cada uno de sus miembros.
Entre las expresiones contrastables se cuentan al
gunas oraciones independientes, en especial las mismas
categricas observacionales sintticas. En la mayora
de los casos, sin embargo, es necesario que el conjunto
o conjuncin contrastable de oraciones sea bastante
grande, y ah reside la fuerza del holismo. Se trata de
un problema de masa crtica semntica.
EVIDENCIA
39
Hemos de admitir que a la idealizacin que supone

la nocin de gamas de estmulos acaba de sumarse el
significativo grado de idealizacin contenido en nues
tra descripcin precedente de la contrastacin de hi
ptesis. El cientfico no realiza una clasificacin previa
de la reserva disponible de principios tericos y asun
ciones tcnicas, y mucho menos de las perogrulladas
de sentido comn y de las leyes matemticas que, com
binadas con la hiptesis a examen, implicarn la ca
tegrica observacional que ese cientfico comprueba
mediante su experimento. Sera trabajo hercleo, por
no decir augaco,* organizar todas las premisas y las
cadenas lgicas de implicacin que, en ltimo trmino,
conectan teora y observacin -si es que stas se en
cuentran conectadas, o en tanto que lo estn.
Y, lo que es peor, parece que en muchos casos ni
siquiera un control semejante de las premisas tcita
mente aceptadas bastara para garantizar que de ellas
se siga la categrica observacional correspondiente, de
bido a la existencia de vaguedad. Esta situacin queda
ilustrada mediante la cuasiperogrullada siguiente:
(1) El cloruro de sodio se disuelve en agua.
Est claro que esta afirmacin slo es posible sos
tenerla ceteris paribus, y los cetera no han sido preci
sados. Normalmente tratamos (1) simplemente como
una oracin verdadera y la admitimos, implcita o ex
* Esto es: inmundo como el establo de Augas, rey mitolgico de lida.
Este establo contena tres mil bueyes y no haba sido limpiado duran
te treinta aos, hasta que Heracles (Hrcules) se ocup de la tan nece
saria limpieza, desviando para ello durante un da el cauce del ro Alfeo
(N. del t.).
40
plcitamente, dentro de nuestro acervo de principios

auxiliares. Si un experimentador que se enfrenta con
un resultado adverso elige salvar su hiptesis mediante
la modificacin de los principios auxiliares y de (1) en
particular, lo har mediante el desarrollo de una teora
subsidiaria que explique la posibilidad de que (1) tenga
una excepcin. En general, (1) se acepta como un enun
ciado vago con una probabilidad alta, un enunciado
que consideraremos cuestionable slo cuando sea po
sible dar cuenta de un improbable caso adverso.
La mayor parte de la ciencia se librara de forma
similar de ser juzgada nicamente por el tribunal de
las oraciones observacionales. Se ha llegado a defender,
incluso, que nuestras leyes cientficas ms generales no
estn amenazadas en absoluto por la evidencia sen
sorial. En palabras de Yosida (pp. 207-208) dichas leyes
pueden quedar pasadas de m o d a ... no son jams
refutadas mediante observacin directa; son como
los viejos soldados que nunca mueren, que tan slo
desaparecen.
De todas formas, la doctrina de las categricas ob
servacionales sigue teniendo el mismo inters para no
sotros, pues gracias a ella podemos explicar que la es
timulacin sensorial sea relevante para la teora
cientfica, suponiendo que, y en tanto que, la ciencia
no haya soltado las amarras de la experiencia. Mi es
tudio se ha centrado en los aspectos bsicos de la es
tructura lgica de la evidencia emprica. Fundiendo
expresiones de Kant y Russell, la pregunta que preten
demos contestar aqu puede formularse as: cmo es
posible nuestro conocimiento del mundo externo? La
ciencia responde en todo momento de alguna manera
a la estimulacin sensorial, pero una vez que ha soltado
EVIDENCIA
41
las amarras que la unan a la experiencia su manera de

responder no se deja atrapar dentro de mi esquema.
De acuerdo con esto ltimo, mi definicin de conte
nido emprico es aplicable nicamente a oraciones y
conjuntos de oraciones que sean contrastables en el
sentido descrito, esto es, en tanto en cuanto impliquen
directamente categricas observacionales sintticas.
8.
N ormas y
objetivos
Pertenezco a esa amplia minora o escasa mayora

que repudia el sueo cartesiano consistente en fun
damentar la certeza cientfica sobre una base ms firme
que el propio mtodo cientfico. Pero sigo ocupndo
me, como acabamos de ver, de la que ha sido tarea
central de la epistemologa tradicional, esto es, de la
relacin entre la ciencia y sus datos sensoriales. De
acuerdo con mi enfoque, esta relacin se da en el in
terior de individuos de carne y hueso que habitan un
mundo externo cuya existencia ha sido admitida de
antemano, y su estudio constituye un captulo ms
de la ciencia que estudia ese mundo. Con objeto de
subrayar mi disociacin del sueo cartesiano, he pre
ferido hablar de receptores nerviosos y de la estimu
lacin de stos mejor que de sentidos y objetos sensi
bles. Llamo epistemologa naturalizada a esta empresa,
pero no tengo intencin de discutir con aquellos de
fensores de la tradicin que me censuran por conservar
la palabra epistemologa. Estoy de acuerdo con ellos
en que el abandono del sueo cartesiano constituye una
desviacin importante del proyecto original.
42
Pero se equivocan cuando se quejan de que el ele

mento normativo, tan caracterstico de la epistemo
loga, haya sido arrojado por la borda. Del mismo modo
que la epistemologa terica es naturalizada para hacer
de ella un captulo de la ciencia terica, tambin la
epistemologa normativa es naturalizada y convertida
en un captulo del discurso tecnolgico, a saber, la tec
nologa de la prediccin de los estmulos sensoriales.
De hecho, la norma que preside la epistemologa
naturalizada coincide con la que presida la episte
mologa tradicional. No es ms que el lema del em
pirismo: nihil in mente quod non prius in sensu. Este
es ya un primer indicio de epistemologa naturalizada,
pues el descubrimiento de que nuestra informacin so
bre el mundo nos llega nicamente a travs de los im
pactos que reciben nuestros receptores sensoriales es,
aunque falible, un hallazgo de la ciencia natural. Y este
descubrimiento posee, como antao, fuerza normativa,
al prevenimos contra telpatas y adivinos.
La vertiente normativa de la epistemologa natu
ralizada incluye, adems, a la heurstica -esto es, al
conjunto de estrategias de conjetura racional que uti
lizamos en la construccin de las hiptesis cientficas.
En estas pginas me he venido ocupando principal
mente de la comprobacin de la teora una vez que ha
sido elaborada, pues ese es el territorio donde habitan
las condiciones de verdad y el contenido emprico; de
modo que he pasado por alto el proceso de elaboracin,
que es donde surgen las consideraciones normativas.
En The Web o f Belief Ullian y yo nos internamos algo
en este terreno, ofreciendo una lista de cinco virtudes
que deben ser buscadas en toda hiptesis: conserva
durismo, generalidad, simplicidad, refutabilidad y mo
EVIDENCIA
43
destia. Es posible, a un nivel anecdtico, encontrar con

sejo adicional en la historia de las ciencias duras. Y,
ya en una vena ms tcnica, la vertiente normativa de
la epistemologa naturalizada se ocupa de asuntos tales
como mrgenes de error, desviaciones aleatorias y todo
lo relacionado con esa regin de la matemtica aplicada
que conocemos como estadstica (vase el 5).
Pero he de aclarar que no considero normativa mi
afirmacin de que las predicciones son las aduanas que
regulan la admisin al pas de la ciencia. La veo ms
bien como la definicin de un cierto juego de lenguaje,
por utilizar la expresin wittgensteiniana: el juego de
la ciencia, distinto de otros juegos de lenguaje respe
tables como la novela de ficcin o la poesa. La can
didatura de una oracin al estatus cientfico se basa en
su contribucin a una teora cuyas credenciales son sus
predicciones.
Se subray en el 1 que la prediccin no es el ob
jetivo principal del juego cientfico. Es lo que decide
el juego, como los goles en el ftbol. Es cierto que en
ocasiones constituye tambin el objetivo del juego, y
que en los primeros tiempos otorg a la ciencia pri
mitiva su valor para la supervivencia; pero en nuestros
das los objetivos que abrumadoramente dominan el
juego de la ciencia son la tecnologa y la comprensin
de la realidad.
El juego de la ciencia no est circunscrito al mbito
de lo fsico, en ningn sentido de la palabra fsico.
Hace tiempo que los cuerpos se han desintegrado en
enjambres de partculas, y la estadstica de Bose-Einstein (vase el 13) ha cuestionado la particularidad de
la partcula. Incluso la telepata y la videncia son op
ciones cientficas, aunque opciones cientficas agoni-
44
zantes. Para resucitarlas sera necesario, ciertamente,

el concurso de un cmulo impresionante de evidencia
favorable; pero, si tal cosa ocurriera, entonces el mis
msimo empirismo -la norma suprema, como hemos
visto, de la epistemologa naturalizada- sera arrojado
por la borda. Pues recurdese que tanto esa norma como
la propia epistemologa naturalizada son parte de la
ciencia, y la ciencia es falible y susceptible de ser co
rregida.
Tras una convulsin semejante la ciencia seguira
siendo la ciencia, el mismo viejo juego de lenguaje, y
seguira exigiendo como credenciales la eficacia en la
prediccin de estmulos sensoriales. El colapso del em
pirismo permitira la admisin de la informacin adi
cional proporcionada por la telepata o la revelacin,
pero la comprobacin de la ciencia resultante seguira
dependiendo de la prediccin de estmulos sensoriales.
Ante tal situacin extrema quizs sera mejor mo
dificar el juego mismo, pasando a exigir como creden
ciales la capacidad para predecir no slo estimulacin
sensorial sino tambin informacin de origen telep
tico y divino. Es ocioso erigir definiciones que hagan
frente a posibilidades tan remotas.
2.
9.
REFER EN C IA
Cuerpos
Como vimos en el 3, comenzar con oraciones observacionales en vez de hacerlo con trminos ofrece
algunas ventajas. Una de ellas, recurdese, es que po
demos aplazar el estudio de la naturaleza y la utilidad
de la reificacin hasta que se haya bosquejado un cierto
marco epistemolgico. Ahora hemos llegado a ese es
tadio.
Ya en las oraciones observacionales predicativas
( 2) es posible apreciar la existencia de una reificacin
incipiente. Los componentes predominantes en este tipo
de combinacin son oraciones observacionales que se
proyectan sobre partes manifiestamente limitadas de
la escena; pues el compuesto expresa precisamente la
superposicin de los focos sobre la escena.
Un segundo paso en el camino de la reificacin (y
un paso que nos lleva esta vez ms all de las oraciones
observacionales ordinarias) apareca cuando llegba
mos al nivel de las categricas observacionales focales
( 4). Creo que el nio comienza a dominar esta cons
truccin, igual que en el caso de la categrica obser-
46
vacional libre, simplemente como una expresin ge

neralizada de expectativa: cada vez que pasa esto, pasa
lo otro. La diferencia entre los dos tipos de categricas
observacionales no sera manifiesta para l al principio.
Recordemos que dicha diferencia consiste en que la
categrica focal requiere que los dos rasgos - cuervo
y negro, por ejemplo- se superpongan en la escena,
mientras que la categrica libre no exige tal cosa. Con
todo, en el punto de mira de las imgenes asociadas
en un primer momento a la palabra cuervo aparecer
un cuervo, en tanto que el de aquellas asociadas en un
primer momento con la palabra negro se concentrar
sobre lo negro. En la medida en que esto es as, las
categricas observacionales libres realizan suficiente
mente la exigencia de concentrarse sobre una regin
precisa. La diferencia existente en otros casos entre las
categricas observacionales libres y las focales, as como
entre la conjuncin y la predicacin, ir apareciendo
gradualmente en el nio a su debido tiempo.
En virtud del estrechamiento de su foco, sin em
bargo, la categrica observacional focal - a diferencia
de la libre- posee ya decididamente el aire del discurso
general sobre cuerpos -sauces en un ejemplo, cuervos
en el otro. Aqu es donde, ontolgicamente hablando,
yo veo materializarse los cuerpos; stos se introducen
como nudos ideales atados sobre la interseccin de ora
ciones observacionales que se solapan. Sugiero que aqu
se encuentran las races de la reificacin.
Para un nio muy pequeo, que an no ha avan
zado ms all de las oraciones observacionales, casi no
existe diferencia alguna entre la aparicin recurrente
de un cuerpo y otras similitudes estimulativas que cla
ramente no producen ninguna reificacin. La presen
REFERENCIA
47
tacin repetida de una pelota corre al principio pareja

con la mera exposicin repetida a la luz del sol o al
aire fresco: preguntar si se trata de la misma pelota de
antes o de una parecida no tiene ms sentido que pre
guntar si han regresado el mismo rayo de sol o la misma
brisa. La experiencia se encuentra en su estadio de fea
ture-placing (ubicacin de rasgos), por usar la expresin
de Strawson.* La individuacin llegar ms tarde.
Es cierto que en ocasiones nos es posible observar
cmo un nio pequeo espera que un cuerpo que se
ha movido uniformemente reaparezca despus de pa
sar por detrs de una pantalla; pero todo esto ocurre
dentro del especioso presente, y refleja ms una con
fianza en la continuidad de un rasgo actual que la reificacin de un objeto intermitentemente ausente. Tam
poco es aqu relevante el caso de un perro que reconoce
a un cierto individuo que regresa; pues el perro est
respondiendo a un olor distintivo o a alguna otra ca
racterstica que no se dara, por ejemplo, si los objetos
a reconocer fueran pelotas cualitativamente indiferenciables.
Para nosotros, preguntar si estamos viendo la mis
ma pelota de antes o slo una parecida tiene sentido
incluso cuando no hay respuesta. Es en este momento
cuando podemos decir que la reificacin de los cuerpos
ha llegado a su madurez. Un tpico ejemplo del uso de
la reificacin en la integracin de nuestro sistema del
mundo nos lo proporciona aquella venerable teora
nuestra que establece la persistencia y recurrencia de
los cuerpos. Supongamos que yo quisiera averiguar si
* Vase Individuals (Anchor Books, Nueva York, 1963), pp. 208 ss. y
224 ss. (N . del L).
48
la moneda que est en mi bolsillo es la misma que

estaba ah la semana pasada, o si se trata ms bien de
una parecida. Necesitara explorar con ese fin aspectos
bastante variados de mi esquema total de las cosas,
hasta reconstruir el relato ms sencillo y ms plausible
de todo lo concerniente a mis movimientos, mis trajes
y mis gastos durante ese perodo de tiempo.
Quizs otros animales tambin sean en alguna me
dida capaces de identificar y distinguir cuerpos de esta
forma indirecta. Quizs un perro que busca una pelota
que desapareci hace poco en los alrededores no se
conforme con otra similar aparecida en un lugar sos
pechosamente lejano. En cualquier caso, parece claro
que la reificacin de los cuerpos a travs del tiempo
desborda el mbito de las oraciones observacionales y
de las categricas observacionales. La reificacin pro
piamente dicha es terica.
10. V alores
d e variables
Incluso nuestra sofisticada concepcin de los cuer

pos como entidades duraderas y recurrentes, tan ca
racterstica de la ontologa humana, es poco ms que
un comienzo. Con la progresiva sistematizacin de la
ciencia hemos llegado a reificar los lquidos y el invi
sible aire, y los hemos incluido entre los cuerpos al
considerarlos agregados de cuerpos demasiado peque
os para ser percibidos. Y no nos hemos detenido ah.
Los objetos abstractos (nmeros, funciones, clases) se
han mostrado desde hace mucho tiempo indispensa
bles para la ciencia natural.
REFERENCIA
49
En este nivel surge la cuestin de qu debe aceptarse

como una reificacin y qu debe ms bien considerarse
un mero giro lingstico que, a pesar de su utilidad, no
nos compromete ontolgicamente; pues el criterio que
tan decisivamente caracterizaba a la reificacin de los
cuerpos, a saber, su persistencia entre una aparicin y
la siguiente, no tiene sentido en el caso de los objetos
abstractos. He sostenido en otro lugar que los indicios
generales ms claros de reificacin, en nuestra lengua
y en otras emparentadas con ella, son los pronombres;
y, ciertamente, era el pronombre ste del ejemplo (1)
en el 4 el que indicaba la presencia de las primeras
seales de reificacin en las categricas observadonales focales. La reificacin encuentra su pleno desa
rrollo con los pronombres relativos y sus auxiliares.1
Cuando un lenguaje sigue la notacin lgica del clculo
de predicados, el papel de dichos pronombres es de
sempeado por las variables ligadas.
Tal y como subray en el 3, las oraciones observacionales han de tomarse holofrsticamente desde el
punto de vista de la evidencia y analticamente -p a
labra por palabra- desde el punto de vista retrospectivo
de la teora. Desde este ltimo punto de vista, una
categrica observacional focal es un claro ejemplo de
cuantificacin. La oracin Los cuervos son negros se
convierte en
Vx (x es un cuervo
* es negro).
Las categricas observacionales libres se construi

ran de forma similar, habitualmente recurriendo a la
cuantificacin sobre momentos o lugares.1
1.
Vase Theories and Things, pp. 5-6.
4 - QUINE
50
En sintona con todo esto, he venido insistiendo

durante aos y aos en la idea de que ser es ser el valor
de una variable. Para ser ms exactos, en la idea de
que lo que aceptamos que hay es aquello que admiti
mos como valores de nuestras variables ligadas. Este
punto ha sido considerado a veces obvio y trivial, pero
tambin ha sido, en ocasiones, juzgado inaceptable,
incluso por lectores que comparten, en lneas generales,
mis puntos de vista filosficos. Permtaseme enfrentar
separadamente algunas de estas consideraciones crti
cas.
La notacin artificial de la cuantificacin existencial (3) es explicada simplemente como una traduc
cin simblica de las palabras hay algn a: tal que.
As pues, nos podremos tomar la molestia de aadir
todo lo que queramos sobre el ser y la existencia, pero
lo que aceptamos que hay no es sino aquello que adop
tamos como valores de 'x* en nuestras cuantificaciones.
La cuestin es, pues, trivial y obvia.
Se ha objetado que la pregunta por lo que hay tiene
que ver con los hechos y no con el lenguaje. Esto es
bastante cierto. Pero decir o dar a entender que hay
esto o aquello es una cuestin lingstica; y ese terreno
lingstico es el terreno de las variables ligadas.
Tambin se ha objetado que la notacin lgica de
la cuantificacin constituye un patrn arbitrario y local
de compromiso ontolgico. La respuesta es que ese pa
trn es transferible a cualquier lenguaje alternativo,
siempre y cuando nos pongamos de acuerdo acerca de
cmo traducir la cuantificacin. As, el principio equi
valente para la lgica de predicados con functores es
el de aceptar como existentes todas aquellas cosas a las
que consideramos que se pueden aplicar con verdad
REFERENCIA
51
nuestros predicados mondicos (complementos inclui

dos). En el castellano corriente, en cambio, aceptamos
que existen aquellas cosas a las que pensamos se refie
ren los pronombres relativos que usamos. El discurso
cotidiano no es, ciertamente, demasiado meticuloso en
lo tocante a la ontologa y, por consiguiente, es de es
perar que una decisin basada en los pronombres re
lativos d paso a un mundo excesivamente abigarrado.
Pero es posible promover la claridad y la economa
ontolgicas mediante el uso de parfrasis; unas par
frasis que, si as lo deseamos, pueden seguir siendo
formuladas mediante clusulas y pronombres relativos,
sin necesidad de recurrir a cuantificadores y variables
ligadas. La notacin de la cuantificacin se usa am
pliamente en la actualidad y resulta suficientemente
familiar para quienes se ocupan de sutilezas ontol
gicas; de ah que la haya elegido como paradigma.
Concebimos la referencia, en primer lugar y sobre
todo, como una relacin entre nombres u otros tr
minos singulares, de un lado, y objetos, de otro. En
ocasiones, sin embargo, los trminos singulares no con
siguen hacer referencia a nada. Y tambin, a la inversa,
la teora de conjuntos nos ensea que no podremos
evitar la aparicin de objetos no especificables indi
vidualmente -especialmente nmeros irracionales no
especificables-, por muy rica que sea nuestra notacin
y por muy engorrosas que hagamos nuestras expresio
nes. Las variables, por otra parte, pueden adoptar como
valores todo tipo de objetos, con independencia de su
especificabilidad.
Adems, una vez que nuestro lenguaje ha sufrido
una reglamentacin acorde con las exigencias del cl
culo de predicados, es fcil e instructivo prescindir por
52
completo de los trminos singulares, dejando las va

riables como nico vnculo con los objetos. El principio
que subyace aqu es el de la equivalencia entre 3 x(F x
a = x) y Fa: pues este principio nos permite tras
ladar cada ocurrencia de al contexto 0 =, y tratar
entonces ese contexto como un predicado indisoluble
A que absorbe al trmino singular. Los trminos sin
gulares pueden ser recuperados ms adelante como una
abreviatura conveniente, introduciendo la descripcin
singular a la manera de Russell y definiendo 0 como
(tx) A x\2
Si no somos capaces de llegar a una traduccin con
textual de existe -y, por tanto, de la cuantificacin
existencial- en una lengua determinada, tampoco se
remos capaces de determinar la ontologa de los ha
blantes de esa lengua. Algunas lenguas quizs sean tan
diferentes de la nuestra como para que cualquier tra
duccin de existe o de 3, por muy contextual que
nuestra habilidad consiga hacerla, resulte excesiva
mente forzada y rebuscada. La mera atribucin de una
ontologa, conocida o no, a los hablantes de dicha len
gua constituira por nuestra parte una proyeccin in
justificada de una categora muy local cuya aplicacin
resulta apropiada nicamente dentro de nuestro crculo
lingstico. As pues, estoy reconociendo que la cues
tin del compromiso ontolgico es local, aunque su
territorio no se limite, ni mucho menos, al del muni
cipio habitado por quienes hablan y escriben el len
guaje de la lgica simblica.
2.
Vase Word and Object, pp. 176-190 [pp. 185-200 ed. cast.].
REFERENCIA
11.
U tilidad
53
de la reificacin
Ya hemos detectado un primer indicio de reifica

cin en la composicin predicativa de oraciones observacionales, que contrastbamos con la mera con
juncin de stas. La predicacin establece un nexo ms
fuerte que la conjuncin, pues requiere la inmersin
del guijarro en el azul y del cuervo en el negro ( 2),
en tanto que la simple conjuncin permite que los dis
tintos rasgos marchen cada uno por su lado.
As pues, la reificacin contribuye, ya en su origen,
al establecimiento de las conexiones lgicas entre ob
servacin y teora, al tensar las funciones veritativas.
En otro lugar he insistido con mayor nfasis sobre este
punto recurriendo a un ejemplo con cuatro partes:
(1) Un perro blanco mira a un gato y ladra.
Cuatro oraciones observacionales simples se ocul
tan bajo esta afirmacin. Una es Perro -aunque, por
analoga con la ontolgicamente inocente Llueve, di
remos mejor Perrea. Las otras son Blanco, Gatomira y Ladra. Pero (1) no puede interpretarse como
una simple conjuncin de estas cuatro, porque la con
juncin es demasiado dbil: se limita a decimos que
esas cuatro cosas estn presentes dentro de la misma
escena, y lo que necesitamos es colocarlas superpuestas
sobre la misma regin de la escena. Esta trabazn se
consigue mediante la subordinacin de la conjuncin
cuatripartita al cuantificador existencial, del modo si
guiente:
Algo perrea, blanquea, gato-mira y ladra,
54
que es como decir (1). Un objeto ha sido postulado -a

saber, un perro.3
A pesar de su complejidad, (1) es una oracin ob
servational. Podra ser adquirida mediante su condi
cionamiento directo a la compleja situacin que des
cribe, siempre y cuando esa situacin se repitiera y
fuera descrita con mucha mayor frecuencia de lo que
cabe esperar. Con todo, esta oracin ilustra la existen
cia de un nmero ilimitado de oraciones observacionales igualmente complejas e improbables. No es po
sible la adquisicin directa de cada una de ellas; de ah
la necesidad de construirlas sistemticamente a partir
de elementos ms simples. Y es en este momento cuan
do la reifcacin acude en nuestro auxilio.
Dados los propsitos del caso descrito bastara con
un perro momentneo; no habra necesidad alguna de
un perro que permaneciera en el tiempo. Si queremos
ilustrar la necesidad de un perro duradero, tenemos
que ir ms all de las oraciones observacionales y su
poner que de alguna manera hemos sido capaces de
adentramos en la teora cientfica por nuestros propios
medios lo suficiente como para ocupamos del tiempo
-del antes y del despus. Supongamos entonces que
queremos comunicar el pensamiento siguiente:
(2) Si un perro come came podrida y enferma, en
lo sucesivo evitar la carne.
No podemos tratar (2) como si fuera un simple
compuesto (si-entonces) de dos oraciones autosufi3.
Mi posicin en este punto se inspira en la de Davidson acerca de
la lgica de los adverbios, que se encuentra en su Essays on Actions and
Events, p. 166. Vase asimismo mi artculo Events and Reification.
REFERENCIA
55
cientes. Como ocurra con el y del ejemplo anterior,

la conexin mediante la expresin si-entonces es de
masiado dbil. Tiene que tratarse del mismo perro en
ambas oraciones y, por tanto, de un perro duradero.
Nuestra oracin es, en realidad, un condicional afec
tado por una cuantificacin universal:
Toda cosa es tal que si es un perro y come carne
podrida y enferma, entonces evitar en lo sucesivo la
carne.
Tanto Hilary Putnam como Charles Parsons han
indicado formas de promover la economa en el terreno
de los objetos abstractos mediante el recurso a un ope
rador modal de posibilidad.4 Nosotros acabamos de
contemplar la otra cara de la misma moneda: postular
objetos puede servir para reforzar las dbiles funciones
veritativas sin necesidad de recurrir a los operadores
modales. Enfrentados a una disyuntiva como esta, yo
abogo por postular objetos. Como norma general, pos
tulo objetos abstractos a regaadientes; pero lo hago
con gusto cuando la alternativa sera recurrir a ope
radores modales (cf. 30).
Mis ejemplos permiten hacerse una idea aproxi
mada de cmo la reificacin y la referencia pueden
contribuir a la elaborada estructura que conecta la cien
cia con su evidencia sensible. En su nivel ms rudi
mentario, la reificacin es, como queda ilustrado por
(1), un mecanismo para hacer converger las oraciones
observacionales sobre un cierto foco. Incluso a niveles
ms sofisticados, como en (2), la funcin de la reifi4.
Putnam, pp. 47-49; Parsons, pp. 44-47.
56
cacin sigue siendo la anfora, esto es, sigue consis

tiendo en poner el remache sobre aquel punto donde
las referencias se cruzan. No es casualidad que esta
tarea sea tambin realizada por los pronombres y las
variables ligadas. Ser es ser el valor de una variable.
12. N o IMPORTA QU ONTOLOGA
As pues, la referencia y la ontologa son rebajadas
al estatuto de meros auxiliares. Las oraciones verda
deras, observacionales y tericas, son alfa y omega de
la tarea cientfica. Estas oraciones forman parte de una
red que las conecta, y los objetos desempean en esa
estructura el papel de meros nudos. El que haya unos
objetos u otros no afecta a la verdad de las oraciones
observacionales, ni al apoyo que stas proporcionan a
las oraciones tericas, ni al xito predictivo de la teora.
Podemos recalcar este punto recurriendo a lo que
he llamado funciones vicarias. Una funcin vicaria es
una transformacin explcita elemento por elemento,
f definida sobre los objetos del universo que postu
lamos. Cuando la llamo explcita me refiero a que nos
es posible especificar fx para cada objeto x que se haya
especificado mediante una notacin aceptable. Supon
gamos ahora que modificamos nuestra ontologa del
modo siguiente: reinterpretamos cada uno de nuestros
predicados y los consideramos aplicables con verdad
a los fx que constituan los correlatos de aquellos ob
jetos x a los cuales antes aplicbamos con verdad los
mismos predicados. As, en vez de leer Px como la
afirmacin de que x es un P, ahora reinterpretamos
Px como la afirmacin de que ese x es / d e un P. De
REFERENCIA
57
modo anlogo procederamos en el caso de predicados

didicos o, en general, n-dicos. (Puesto que ya me he
ocupado de los trminos singulares en el 10, omito
ahora la referencia a ellos.) Dejamos todas las oraciones
como estaban, palabra por palabra, slo que reinter
pretadas. Las oraciones observacionales siguen asocia
das con las mismas estimulaciones sensoriales que an
tes, y las interconexiones lgicas permanecen intactas.
Y, con todo, los objetos de la teora han sido suplan
tados de una manera tan drstica como nos haya pa
recido oportuno.5
En ocasiones podemos eliminar la exigencia de que
las funciones vicarias conecten los elementos formando
parejas. Considrese, por ejemplo, la numeracin de
las expresiones que Gdel lleva a cabo cuando procede
a demostrar su famoso teorema de la incompletud. En
nuestra teora global de las cosas resultara muy poco
natural afirmar la identidad entre las expresiones y sus
correspondientes nmeros, pero podra no haber, con
todo, ningn motivo para distinguirlos. En ese caso,
una funcin vicaria podra perfectamente tratar a ex
presiones y nmeros del mismo modo, asignando los
mismos vicarios a unas y otros.
Todo lo que necesitaba, sin embargo, para mis pro
psitos actuales (a saber, mostrar la intrascendencia de
la eleccin ontolgica) eran esas funciones vicarias que
conectan los elementos uno a uno. Una defensa ms
radical de la intrascendencia de la ontologa la pro
porciona el teorema de Lwenheim-Skolem, en una
versin reforzada que debemos a Hilbert y Bemays.6
5. Para ms detalles al respecto, vase Ontological Relativity, pp. 5558 [pp. 76-80 ed. cast.].
6. Vase Methods o f Logic, 4." ed., pp. 209-211.
58
Cuando aplicamos este teorema a una teora que ha

sido expresada de acuerdo con las exigencias de la l
gica de predicados, de la que se han eliminado los tr
minos singulares y que es abarcada por un nmero
finito de axiomas, el teorema nos dice que existe una
reinterpretacin de los predicados que, sin amenazar
la verdad de las oraciones tericas, convierte al uni
verso en un conjunto integrado meramente por los n
meros naturales 0, 1, 2... Este teorema no establece,
como las funciones vicarias, una correspondencia entre
cada uno de los objetos antiguos y uno nuevo (esto es,
un cierto nmero) en concreto. Esperar tal cosa no sera
sensato, pues algunos dominios infinitos (especialmen
te el de los nmeros irracionales) poseen una cardinalidad demasiado alta como para ser agotada me
diante su correlacin con nmeros naturales. A pesar
de esta limitacin, sin embargo, las reinterpretaciones
no afectan ni a las conexiones entre cada oracin ob
servational y sus antiguos estmulos ni a los vnculos
lgicos.
Una vez que hemos formulado nuestro sistema del
mundo (o parte de l) de acuerdo con las exigencias
de la lgica de predicados, podemos reinterpretarlo del
modo descrito y arreglrnoslas nicamente con la
espartana ontologa constituida por la totalidad de los
nmeros; esto es lo que dice la versin reforzada del
teorema de Lwenheim-Skolem. Pero lo cierto es que
si nos hubiramos servido desde el principio de esa
reinterpretacin a la que el teorema se refiere, no hu
biramos sido capaces de desarrollar nuestra ciencia
actual, pues no hay una correspondencia biunvoca en
tre los nmeros y las reificaciones que constituyeron
los hitos de este proceso. Desde un punto de vista prc
REFERENCIA
59
tico y heurstico, pues, lo mejor que podemos hacer es,

seguramente, seguir practicando la ciencia al viejo es
tilo o, al menos, no ir ms all de lo que nos permiten
las funciones vicarias.
13. La desactivacin
d e la ontologa
Hemos visto que dos ontologas cuyos elementos

hayan sido puestos explcitamente en correlacin uno
a uno se encuentran a la par desde el punto de vista
ontolgico; no existe ningn fundamento epistemol
gico para preferir una a la otra. Una ontologa es em
pricamente relevante slo porque proporciona los nu
dos que entrelazan los hilos de la red terica. Podemos
reinterpretar la palabra Tabitha de modo que no siga
designando a nuestra gata, sino a todo el cosmos con
excepcin de la gata; o tambin podemos reinterpre
tarla de modo que designe a aquel conjunto que tiene
a la gata por nico elemento, esto es, a la clase unitaria
de la gatita. Si reinterpretamos el resto de nuestros
trminos para cuerpos de una manera acorde con esa
reinterpretacin inicial, llegaremos a elaborar una on
tologa intercambiable con nuestra ontologa cotidiana.
Tomadas en su conjunto, estas dos ontologas no se
diferencian desde el punto de vista emprico. Los cuer
pos, de acuerdo con cada una de las interpretaciones
citadas, siguen siendo distintos de sus complementos
csmicos y de sus clases unitarias; es posible distinguir
unos de otros de una manera relativista, por los papeles
que cada uno de ellos desempea con relacin al otro
y al resto de la ontologa. De ah mi expresin relati-
60
vidad ontolgica. Pero volver sobre este tema en el
20.
La importancia de la distincin entre oraciones y

trminos observacionales, que ya era evidente en los
3 y 9, vuelve a serlo ahora. La oracin Ah va un
conejo permanece anclada a la estimulacin sensorial
por medio de la cual la aprendimos, incluso si rein
terpretamos el trmino conejo para que denote com
plementos csmicos o clases unitarias de conejos. El
trmino sigue evocando en nosotros las imgenes co
rrespondientes a la oracin observacional mediante la
cual ese trmino fue aprendido; pero este hecho no
impone ningn lmite emprico a la reinterpretacin.
Las primeras asociaciones sensoriales fueron genti
camente indispensables para producir los nudos que
nos permiten entretejer nuestra red terica del mundo.
Pero todo lo que cuenta como evidencia en favor de
una teora es la base estimulativa de las oraciones ob
servacionales ms esa estructura que los nudos neu
trales en cuestin nos ayudan a elaborar. La estimu
lacin permanece tan conejil como siempre, pero el
objeto o nudo correspondiente sigue siendo neutral y
sustituible.
Los cuerpos son nuestras reificaciones primigenias,
unas reificaciones construidas sobre similaridades perceptuales innatas. Sera ciertamente gratuito canjearlos
por sus vicarios; todo lo que quiero hacer notar es que
podramos hacerlo. Pero las partes meticulosamente
refinadas de la ciencia ms compleja no estn, en cam
bio, tan constreidas por nuestras preconcepciones ontolgicas. Los fsicos describieron primero las part
culas elementales y las ondas luminosas recurriendo a
analogas con cosas que nos resultan familiares, pero
REFERENCIA
61
los desarrollos posteriores de la fsica han minado esas

analogas. Las partculas son cada vez menos parecidas
a los cuerpos y las ondas se parecen cada vez ms a
latidos de energa en el vaco. En Las races de la re
ferencia y en otros lugares he especulado en tomo a la
hiptesis de que el proceso que nos lleva a postular los
nmeros y otros objetos abstractos es posible gracias a
ciertas fructferas confusiones. El lenguaje y la ciencia
hunden sus races en un abono que repugna al lenguaje
de la ciencia. Usando la metfora de Wittgenstein,
arrojamos la escalera despus de subir por ella.
Ciertos hallazgos, que se conocen como las esta
dsticas de Bose-Einstein y de Fermi-Einstein, sugieren
que, en vez de seguir admitiendo la existencia de las
partculas elementales tradicionales -lo que nos obli
gara a mostramos provisionalmente condescendientes
con sus misteriosas formas de comportarse- quizs po
dramos llegar a descartarlas como valores de nuestras
variables. Estos resultados parecen mostrar que no hay
diferencia, ni siquiera en principio, entre decir que dos
partculas elementales de un cierto tipo se encuentran
situadas, respectivamente, en los puntos a y , y decir,
inversamente, que estn situadas en y en a. Parecera,
pues, no slo que las partculas elementales son distin
tas de los cuerpos; habra que concluir, adems, que
no existen en absoluto habitantes del espacio-tiempo
y que deberamos limitamos a decir que los lugares
a y b se encuentran en dos estados determinados (que,
ciertamente, son el mismo estado) en vez de decir que
estn ocupados por dos cosas.
Quizs en el futuro los fsicos sean capaces de dar
cuenta de esta dificultad de una forma distinta. Pero,
en cualquier caso, creo que este ejemplo sirve para
62
ilustrar el tipo de consideraciones que podran mover

nos a no aceptar como objetos ciertos posibles candi
datos. Estas consideraciones no se basan en una pre
sunta desconfianza positivista hacia las entidades
tericas, sino ms bien en la constatacin de tensiones
internas en la teora.
Las teoras pueden sufrir modificaciones an ms
drsticas, modificaciones que no slo pongan en peligro
nuestra entraable ontologa de partculas elementales,
sino incluso el sentido mismo de la pregunta ontolgica,
de la pregunta por lo que hay. La cuantifcacin, que
he venido considerando el giro lingstico tpico cuando
de afirmaciones de existencia se trata, sirve como mo
delo nicamente si viene expresada bajo la forma propia
de un lenguaje que ha sufrido una reglamentacin como
la que he descrito anteriormente -en otras palabras: de
un lenguaje que, por todo aparato lgico, incorpora fun
ciones veritativas y predicados. En cuanto el aparato
lgico requerido se modifica, surge un problema de sis
tema mtrico: no nos es posible medir cunto contenido
existential puedan haber aadido los objetos importa
dos hasta que no hayamos decidido cmo traducir su
peso a nuestro sistema habitual. Es notorio, en parti
cular, que la mecnica cuntica favorece la aparicin de
desviaciones lgicas cuya reduccin al lenguaje de par
tida no es, en absoluto, evidente. De acuerdo con una
posible interpretacin, estas desviaciones adoptan la
forma de predicados probabilsticos. De acuerdo con
otra interpretacin alternativa, las desviaciones exigen
que nos separemos de raz de la lgica veritativo-funcional. Cuando el polvo de la batalla se haya asentado,
quizs descubramos que la misma nocin de existencia,
la tradicional, ha pasado a mejor vida. Puede que su
REFERENCIA
63
lugar sea ocupado por una nocin afn cuya similitud

con la anterior nos permita seguir usando la misma pa
labra; as es como funcionan las cuestiones terminol
gicas. Tambin es una cuestin terminolgica el que
optemos por decir que hemos adquirido una nueva con
cepcin de la existencia, o ms bien que esta nocin se
nos ha quedado pequea y hemos dado al trmino una
aplicacin nueva.
La objetividad de nuestro conocimiento del mundo
externo sigue descansando sobre nuestro contacto con
el mundo externo y, por tanto, sobre aquello que pe
netra por nuestras redes nerviosas y sobre las oraciones
observacionales con que reaccionamos ante esa entra
da. No empezamos con trminos, sino con oraciones
monolticas. De las funciones vicarias aprendemos la
leccin de que nuestra ontologa, como la gramtica,
es parte de nuestra propia contribucin conceptual a
nuestra teora del mundo. Es cierto que el hombre pro
pone y el mundo dispone. Pero el mundo dispone ni
camente a travs de veredictos holofrsticos que slo
aaden un s o un no a las oraciones observacionales
que expresan las predicciones del hombre.
3. SIGNIFICADO
14. El punto
de partida del lingista
Ya en la India antigua discutan los filsofos si los

vehculos primarios del significado son las oraciones o
las palabras. En favor de las palabras est el argumento
de que hay un nmero limitado de ellas y el de que
pueden ser aprendidas de una vez para siempre. Las
oraciones, en cambio, existen en nmero ilimitado;
adems, slo somos capaces de utilizarlas adecuada
mente tras haber aprendido a construirlas, como es
obligado, a partir de palabras aprendidas de antemano.
A pesar de esta situacin, sin embargo, todava es po
sible argir que las palabras deben sus significados a
los papeles que desempean en las oraciones. Apren
demos oraciones cortas como un todo, luego apren
demos sus palabras componentes a partir de su uso en
esas oraciones y, finalmente, construimos nuevas ora
ciones con las palabras aprendidas. Volver sobre estas
cuestiones en el 23.
La bsqueda de una nocin de significado clara y
valiosa debera comenzar, por tanto, con el estudio de
las oraciones. Dado que el significado de una oracin
5 .- QUINE
66
perteneciente a un cierto lenguaje es aquello que dicha

oracin comparte con sus traducciones a otros lengua
jes, yo propuse mi experimento mental de la traduccin
radical. ste condujo a una conclusin negativa, esto
es, a una tesis que establece la indeterminacin de la
traduccin.
Algunos crticos han afirmado que la tesis es una
consecuencia de mi conductismo. Y algunos han sos
tenido que es una reductio ad absurdum de mi con
ductismo. No estoy de acuerdo con esta segunda ob
servacin, aunque s con la primera. Lo que es ms,
sostengo que la aproximacin conductista a este pro
blema es inevitable. En psicologa se puede ser o no
ser conductista, pero en lingstica no hay eleccin po
sible. Cada uno de nosotros ha aprendido su lengua
observando la conducta verbal de otras personas y re
cibiendo el refuerzo o la correccin de quienes obser
vaban nuestra titubeante conducta verbal. No tenemos
otra cosa que conducta pblica en circunstancias ob
servables. En tanto en cuanto nuestro dominio de la
lengua supere todos los controles externos -en aquellas
circunstancias en las cuales nuestras proferendas o
nuestra reaccin a las preferencias de otros pueden ser
evaluadas a la luz de alguna situacin compartida- po
demos decir que todo marcha bien. Nuestra vida men
tal entre control externo y control externo no tiene
relevancia alguna a la hora de evaluar nuestro dominio
del lenguaje. No hay nada ms que decir sobre signi
ficado lingstico que lo que se desprenda de la con
ducta pblica en situaciones observables.
En mi experimento mental, el lenguaje fuente
-por usar la jerga habitual- es el selvans, mientras
que el lenguaje de destino es el castellano. Puesto
SIGNIFICADO
67
que no nos es posible acceder al selvans utilizando

como eslabn intermedio ninguna de las lenguas co
nocidas, nuestros nicos datos son las proferendas de
los nativos y las circunstancias abiertamente observa
bles en que se producen. Es esta una base ciertamente
espartana, pero el mismo hablante nativo no dispone
de otra.
Nuestro lingista podra intentar construir su ma
nual de traduccin extrapolando mediante conjeturas
realizadas a partir de tales datos; pero las confirma
ciones cosechadas por tal proceder seran escasas. Lo
normal es que la situacin pblicamente observable no
constituya una base suficiente para predecir lo que va
a decir un hablante -incluso uno de nuestra propia
lengua-, pues habitualmente la proferenda tiene poco
que ver con las circunstancias que pueden ser pbli
camente observadas en el momento de realizarla; los
individuos dan vueltas en sus cabezas a planes futuros,
y atesoran secretas experiencias pasadas. Y gracias a
ello, precisamente, puede desempear el lenguaje su
funcin comunicativa: una afirmacin que ya haba
mos predicho no nos ensea nada nuevo.
Ciertas oraciones, sin embargo, manifiestan una de
pendencia bastante estricta respecto de las situaciones
pblicamente observables; me refiero a las oraciones
observacionales. En el captulo 1 las describamos como
el registro primario de nuestra evidencia sobre el mun
do externo, y tambin como el punto de partida en la
entrada del nio en el lenguaje cognoscitivo. De forma
parecida, son asimismo la va de entrada del lingista
en la lengua de la selva. Entre las primeras adquisicio
nes se contarn tambin proferendas de otras clases
-saludos, rdenes, preguntas; pero las primeras ora
68
ciones declarativas que se estar en condiciones de ma

nejar con soltura sern, sin duda, oraciones observacionales -habitualmente, oraciones observacionales de
una sola palabra. El lingista asocia provisionalmente
una proferencia del nativo a la situacin observada por
ambos, con la esperanza de que se trate de una oracin
observacional vinculada con esa situacin. Para com
probar si realmente lo es, espera a que la situacin se
repita; entonces toma la iniciativa, presentando l mis
mo la oracin al nativo para que ste emita un vere
dicto positivo o negativo.
Este procedimiento -pregunta seguida de asenti
miento o de disenso- proporciona un ejemplo a pe
quea escala de las ventajas que ofrece una ciencia
experimental como la fsica sobre una ciencia pura
mente observacional como la astronoma. Para sacar
provecho de estas ventajas, el lingista debe ser capaz
de reconocer, aunque sea valindose de una conjetura,
los signos de asentimiento y disenso en la sociedad
selvanesa. Si la conjetura es errnea, la investigacin
posterior entrar en una va muerta y el lingista tendr
que empezar de nuevo. Pero no le faltarn elementos
de juicio a la hora de identificar los signos de asenti
miento y disenso. Para empezar, un hablante asentir
ante una proferencia siempre que se den las circuns
tancias que le hubieran llevado a proferirla espont
neamente.
De acuerdo con la descripcin precedente, lo que
tienen en comn la oracin observacional del nativo y
la traduccin del lingista es la situacin observable
a la que ambos se encuentran ligados. Pero la nocin
de situacin ha sido puesta en tela de juicio por ser
excesivamente vaga. Por esa razn, en mis escritos an-
SIGNIFICADO
69
teriores el lingista apareca tratando de emparejar ora

ciones observacionales selvanesas con oraciones observacionales de su propia lengua que estn asociadas
a las mismas gamas de estmulos que aqullas. Esto
significa que el asentimiento -o el disenso- ante las
dos oraciones debera producirse tras recibir la misma
estimulacin.
15.
Otra
vez la estimulacin
Podra parecer que este emparejamiento de oracio

nes observacionales se realiza sobre la base de la iden
tidad de la estimulacin recibida por ambas partes, el
lingista y su informador. Pero cada suceso estimulativo, en mi sentido de la expresin (vase 1), no es
sino la activacin de algn subconjunto de los recep
tores sensoriales del sujeto. Puesto que el lingista y
su informador no comparten receptor sensorial alguno,
qu sentido tiene decir que comparten los estmulos?
Podramos mejorar el razonamiento diciendo que ex
perimentan una estimulacin parecida, pero en ese caso
seguiramos asumiendo la existencia de una aproxi
mada homologa en las terminaciones nerviosas de am
bos individuos. Y tales minucias anatmicas no de
beran ser aqu relevantes.
Ya en 1965 me mostraba yo insatisfecho a este res
pecto.1 Hacia 1981, esta insatisfaccin me llev a in
troducir un nuevo ajuste en mi definicin de oracin1
1.
Por ejemplo, en Propositional Objects, conferencia publicada en
Ontological Relativity and Other Essays [hay trad, cast.: La Relatividad
ontolgica y otros ensayos, Tecnos, Madrid, 1974].
70
observational. En mi primera definicin yo haba re

currido a la igualdad entre los estmulos de los ha
blantes,2 pero en 1981, en cambio, defin la igualdad
nicamente para el hablante individual, introduciendo
la condicin siguiente:
Si el hecho de preguntar la oracin suscita el asentimiento
del hablante en una cierta ocasin, suscitar su asentimiento
del mismo modo en toda otra ocasin en la que se active el
mismo conjunto total de receptores; y de modo similar en
el caso del disenso.3
A continuacin, yo pasaba a reconocer el estatuto

de observacional para una comunidad global a toda
oracin que fuera observacional para cada uno de sus
miembros. De este modo, pens entonces, la cuestin
de la igualdad estimulativa intersubjetiva podra ser
obviada en los estudios sobre mtodo cientfico y trans
ferida a los estudios sobre traduccin, donde seguira
dando la lata.
Este problema fue discutido muy por extenso du
rante un encuentro a puerta cerrada que en 1986 man
tuve con Davidson, Dreben y Follesdal en Stanford.4
Dos aos ms tarde, en el curso del congreso celebrado
en Saint Louis en tomo a mi filosofa,5 Lars Bergstrm
seal que mi intento de dejar a un lado el problema
no consegua su propsito ni siquiera en el contexto de
2. As, en Word and Object, p. 43 [p. 56 ed. cast.].
3. Theories and Things, p. 25.
4. El encuentro, celebrado entre los das 14 y 17 de julio, fue patro
cinado por el Centro para el estudio del lenguaje y la informacin de la
Universidad de Stanford.
5. Perspectives on Quine, Washington University, del 9 al 13 de
abril de 1988.
SIGNIFICADO
71
los estudios sobre mtodo cientfico, pues tal intento

permite que una oracin pueda ser observacional para
todos y cada uno de los integrantes de un grupo de
hablantes sin que stos estn dispuestos a asentir a ella
en las mismas circunstancias. Es extrao que yo pasara
por alto este hecho, pues ya en una conferencia del ao
1974 haba sealado que la oracin -proferida por un
pescador de caa- Algo tira del anzuelo, que es ob
servacional para todos y cada uno de los individuos,
no puede ser considerada observacional para el grupo.6
En el encuentro de Stanford, Davidson propuso dar
cuenta de la igualdad estimulativa intersubjetiva me
diante la localizacin de los estmulos no sobre la su
perficie corporal sino en el exterior, en aquella causa
ms inmediata, y comn a todos los sujetos, de las
manifestaciones relevantes de la conducta de stos.
Puesto que un conejo o cualquier otro cuerpo no ser
vira para este propsito, quizs debiramos aceptar
como estmulo una situacin compartida, suponiendo
que pudiramos hacer ontolgicamente inteligibles las
situaciones. Pero yo permanezco empeado en situar
los estmulos en el entorno de nuestras neuronas, pues
mi inters principal sigue estando en un estudio que,
aunque naturalizado, no deja de ser epistemolgico.
Me interesa estudiar el fluir de la evidencia desde la
activacin de los sentidos hasta las afirmaciones de la
ciencia. Mi naturalismo me permite referirme libre
mente a terminaciones nerviosas, conejos y otros ob
jetos fsicos, pero mi posicin como epistemlogo pro
hbe al sujeto tal punto de partida. Su reificacin de
6.
The Nature o f Natural Knowledge, p. 72.
72
conejos y cosas por el estilo no es para m parte de la

escena, sino tan slo parte del guin. Cf. 3, 8 y 9.
16. A CADA UNO LO SUYO
La postura que finalmente he adoptado en lo to
cante a la igualdad estimulativa intersubjetiva consiste
en admitir que podemos arreglrnoslas sin ella. La ora
cin observacional Conejo est asociada para el lin
gista a una cierta gama de estmulos, y Gavagai, por
su parte, est tambin asociada para el nativo a una
cierta gama, pero la afinidad de las dos oraciones debe
buscarse en los aspectos externos de la comunicacin.
El lingista advierte que el nativo profiere Gavagai
en los mismos casos en los que l, de estar en el lugar
del nativo, hubiera dicho Conejo. De modo que prue
ba a proferir Gavagai durante sus conversaciones con
los nativos, siempre que se den las circunstancias que
hubieran podido provocar la proferencia de Conejo,
y espera la aprobacin de sus interlocutores. Animado
por el xito, adopta provisionalmente Conejo como
traduccin de la expresin nativa.
La empatia domina el aprendizaje de una lengua,
tanto en el caso del nio como en el del lingista de
campo. En el caso del nio, se trata habitualmente de
la empatia de alguno de sus progenitores. Para juzgar
lo apropiado de la oracin observacional proferida por
el nio, los padres se fijan en cmo est ste orientado
y toman nota de cmo se vera la escena desde esa
perspectiva. En el caso del lingista de campo, se trata
de su propia empatia, que aplica cuando lleva a cabo
su primera conjetura acerca de Gavagai a partir de la
SIGNIFICADO
73
proferenda y la orientacin del nativo, y tambin cuan

do posteriormente, ante unas circunstancias promete
doras, interroga al nativo sobre la expresin Gavagai
en busca de su asentimiento. Todos nosotros poseemos
una extraa facilidad para situamos empticamente en
la situacin perceptual de otros, a pesar de nuestra ig
norancia respecto de los mecanismos fisiolgicos u p
ticos de su percepcin. Esta facilidad es ms o menos
comparable con nuestra habilidad para reconocer las
caras de personas que no somos capaces de dibujar o
describir.
La empatia sigue guiando al lingista cuando ste,
partiendo de hiptesis analticas, presenta al nativo,
como veamos ms arriba, oraciones observacionales
en espera de su reaccin (volver sobre esto en el 17);
el lingista no busca tener acceso, a travs de las hi
ptesis analticas, a lo que el nativo percibe, sino a las
asociaciones y tendencias gramaticales de ste. Y apro
ximadamente lo mismo puede decirse en el caso del
nio.
En lo referente a la laguna detectada por Bergstrm,
la definicin de oraciones observacionales ofrecida en
el 2 ya recoge, de forma aproximada y rpida, la
modificacin requerida. Dicho ahora de manera ms
completa: retengo la definicin de oracin observacional para el hablante individual que propuse en 1981,
con el aadido de que una oracin ser observacional
para un grupo si es observacional para cada uno de sus
miembros y, adems, si resulta que stos estaran de
acuerdo en aceptarla o rechazarla cuando fueran tes
tigos de su proferencia. Y juzgamos, para terminar, en
qu consiste el ser testigo de la proferencia, igual que
74
en el caso de la traduccin, proyectndonos nosotros

mismos sobre la posicin del testigo.
Un manual pionero de traduccin es til como au
xiliar en el intercambio lingstico con la comunidad
nativa. El xito en la comunicacin se mide por la flui
dez de la conversacin, por la predictibilidad frecuente
de las reacciones verbales y no verbales, y por la co
herencia y plausibilidad de las declaraciones que atri
buimos a los nativos. Es una cuestin de manuales me
jores y peores, ms que de manuales sencillamente
correctos e incorrectos. Las oraciones observacionales
siguen funcionando como el punto de partida en la
entrada en el lenguaje tanto del nio como del lingista
de campo, y siguen dando lugar a la ms slida de las
concordancias entre manuales enfrentados de traduc
cin; pero el carcter fctico que las distingue se ve
enturbiado ahora por nuestro rechazo de la nocin de
una gama de estmulos compartida por diversos indi
viduos. Lo nico que es aqu radicalmente fctico es
la fluidez de la conversacin y la efectividad del in
tercambio, y para conseguir tales cosas contaremos con
la ayuda de uno u otro de los manuales de traduccin.
En la pgina 8 de Word and Object [pp. 21-22 ed.
cast.] seal que para explicar la posibilidad de la co
municacin no necesitamos presuponer similitud al
guna en las redes nerviosas. Este es el sentido de mi
parbola de los arbustos podados, similares en su forma
externa pero diferentes hasta el extremo en lo tocante
a las ramas y tallos del interior. La uniformidad externa
es impuesta por la sociedad, que nos ensea nuestra
lengua y exige fluidez en la comunicacin. Usando una
metfora informtica, somos mquinas diferentes pro
gramadas de forma parecida. Lo que importa es el buen
SIGNIFICADO
75
funcionamiento de la mquina y no la forma que idee

mos para hacerla funcionar. Drehen ha relacionado este
carcter privado de la red nerviosa con el atribuido
tradicionalmente a las mentes ajenas. Ahora, con las
modificaciones que acabo de introducir a mi postura,
estoy ampliando an ms el espacio del sujeto, al per
mitirle mantener en la intimidad incluso sus receptores
sensoriales.
A diferencia de Davidson, sigo localizando los es
tmulos en la superficie del sujeto, y atribuyo gamas
de estmulos a las oraciones. Pero no me preocupa en
absoluto que dichos estmulos sean tan idiosincrsicos
como la mismsima red interna del sujeto. Lo nico
que tenemos ah fuera, a la vista de todos, es nuestra
lengua comn, que cada uno de nosotros es muy libre
de hacer neuralmente suya de una forma diferente a la
de los dems. Es en el lenguaje donde la intersubjeti
vidad hace acto de presencia. La comunicacin ha sido
bautizada con acierto.
Dos oraciones observacionales son estimulativamente equivalentes para un hablante si ste asocia con
ellas las mismas gamas de estmulos. Pero mientras que
los estmulos y sus gamas son un asunto privado, la
equivalencia estimulativa tiene sentido desde el punto
de vista social. Dos oraciones son estimulativamente
equivalentes para la comunidad si son estimulativa
mente equivalentes para cada uno de sus miembros.
Esta definicin no vale para dos lenguas distintas, a
menos que la comunidad sea bilinge.
17.
MS SOBRE LA TRADUCCIN
En una fase posterior, nuestro lingista prosigue su

tarea de identificar y traducir provisionalmente ora
76
ciones observacionales. Algunas de estas oraciones son

quizs el resultado de combinar otras, mediante re
cursos que nos recuerdan a nuestras partculas lgicas
-y, o, pero, no. El lingista desarrolla una lnea
plausible de interpretacin de tales conectivas tras co
tejar las situaciones que determinan el asentimiento -o
rechazo- de los nativos a las oraciones observacionales
complejas con las situaciones que determinan su asen
timiento -o rechazo- a las oraciones componentes.
A diferencia de las oraciones observacionales, la
mayora de las proferencias no se dejan poner en co
rrelacin con estmulos. Tomando la iniciativa, el lin
gista puede, en situaciones diversas, proferir una ora
cin de este tipo e interrogar al nativo acerca de ella,
buscando provocar el asentimiento o el disenso de su
interlocutor, pero no puede esperar correlacin alguna
con estmulos de ningn tipo. Cul es el siguiente paso?
A continuacin, el lingista proceder a realizar un
registro de estas oraciones sin analizar y a descom
ponerlas. Algunos de los segmentos de stas habrn
aparecido tambin en las oraciones observacionales ya
analizadas. Tratar a estos segmentos como si fueran
palabras e intentar emparejarlos con expresiones del
castellano, de acuerdo con lo sugerido por las citadas
oraciones observacionales. En esto consisten lo que yo
llamo hiptesis analticas. Aqu entran en juego mu
chas conjeturas, y otras conjeturas ms arriesgadas es
tn an por venir. El lingista volver sus ojos hacia
las oraciones no observacionales sin analizar en cules
aparecan esas mismas palabras y aventurar interpre
taciones de algunas de estas oraciones sobre la base
proporcionada por los fragmentos. Atesorar un vo
cabulario selvans provisional acompaado de las tra
SIGNIFICADO
77
ducciones castellanas de los trminos recopilados, as

como un aparato provisional de construcciones gra
maticales. Acto seguido entra en escena la recursion,
con cuya ayuda llevamos a cabo traducciones provi
sionales de un nmero potencialmente infinito de
oraciones. Nuestro lingista sigue comprobando la
eficacia de su sistema para relacionarse con los nativos,
poniendo parches aqu y all y realizando nuevas con
jeturas. La mecnica de la pregunta y el asentimiento,
que haba constituido su mejor recurso al descomponer
las oraciones observacionales, sigue siendo de enorme
valor en estos niveles ms elevados plagados de con
jeturas.
Es fcil darse cuenta de que la tarea es ingente y la
libertad para elaborar conjeturas, enorme. Los lingis
tas pueden, habitualmente, evitar la traduccin radical
recurriendo a alguien capaz de traducir, aunque sea de
forma titubeante, la lengua nativa a otra con la que
estemos algo ms familiarizados. Pero nicamente el
caso de la traduccin radical hace patente la escasez
extrema de datos ltimos que nos encontramos a la
hora de identificar significados.
Ser interesante ver, pues, con qu recursos cuenta
el traductor radical para orientarse en la niebla de las
conjeturas. Un criterio til es la continuidad: es de
esperar que proferencias sucesivas tengan algo que ver
entre s. Es adems posible que, una vez que varias de
estas proferencias hayan sido interpretadas, la inter
conexin misma sugiera la traduccin de la palabra que
las conecta, y esta traduccin puede resultarnos pro
vechosa a la hora de explorar posteriormente otras co
nexiones similares.
78
La tarea del traductor descansar en todo momento

sobre conjeturas psicolgicas acerca de las creencias
que es probable que el nativo posea. Esta poltica, que
ya gui su traduccin de las oraciones observacionales,
seguir operando una vez superado el nivel observacional, impidindole traducir una afirmacin nativa en
trminos de una oracin manifiestamente falsa. Nues
tro hombre elegir, en efecto, aquellas traducciones que
atribuyan al nativo creencias razonables o acordes con
la forma de vida selvanesa. Pero, con todo, no se dejar
orientar por estas consideraciones hasta el extremo de
complicar indebidamente la estructura de la gramtica
y la semntica atribuidas al nativo, pues tal cosa sera
de nuevo un ejemplo de mala psicologa; en efecto, la
lengua estudiada debe haber sido lo suficientemente
sencilla como para que los nativos -cuyas mentes, a
falta de evidencia contraria, suponemos ms o menos
como las nuestras- fueran capaces de adquirirla en su
momento. El traductor radical recurre a la psicologa
prctica a lo largo de todo el proceso, utilizando el
mtodo de la proyeccin emptica en su proceder como
psiclogo: el traductor se imagina a s mismo, lo mejor
que puede, en el lugar del nativo.
Nuestro traductor radical har uso reiterado del
manual de traduccin que est desarrollando y reali
zar sucesivas revisiones de ste a la luz de los xitos
y fracasos que coseche en sus intentos de comunicarse
con los nativos. El xito, insisto, se mide por el logro
de la comunicacin y por la fluidez en la conversacin.
Cuando el nativo reaccione con asombro o descon
cierto, o cuando emita respuestas aparentemente irre
levantes, tendremos razones para pensar que el manual
no ha funcionado correctamente.
SIGNIFICADO
79
No es difcil imaginar los altibajos que acompa

arn a la tarea del traductor. Quizs ste haya tra
ducido provisionalmente al castellano dos oraciones
nativas que se asemejan de alguna manera desde el
punto de vista semntico y encuentre luego que esa
similitud se refleja en un cierto uso nativo de las dos
expresiones selvanesas. Este hallazgo le ratifica en lo
adecuado de su par de traducciones provisionales. De
modo que sigue suponiendo alegremente que la co
municacin tiene xito, hasta que, ms pronto que tar
de, su marcha es interrumpida por un traspis. Cuando
esto ocurre, el traductor quizs llegue al convenci
miento de que, despus de todo, su par de traducciones
era incorrecto. Ahora tendr que recorrer hacia atrs
el camino preguntndose en qu momento de la fluida
conversacin anterior perdi la onda.
18.
Indeterminacin
de la traduccin
El traductor radical no dispone de ms ayuda que

la orientacin proporcionada por consideraciones como
las que acabamos de examinar. Y esto no se debe a que
los significados de las oraciones sean escurridizos o
inescrutables; se debe a que los significados no aportan
nada: hablar de significados no aade nada a la des
cripcin precedente de los procedimientos de tanteo.
Y tampoco hay esperanza de que podamos llegar a
codificar estos procedimientos y definir luego, me
diante una relacin de stos, qu cuenta como traduc
cin correcta; pues el uso de los procedimientos re
quiere que sean sopesados valores inconmensurables.
Por ejemplo: hasta qu punto estamos dispuestos a
80
considerar disparatadas las creencias que atribuimos a

los nativos con tal de evitar atribuirles una gramtica
o una semntica extravagantes?
Tras estas reflexiones, la verdad es que tenemos
escasas razones para suponer que dos traductores ra
dicales que se entreguen por separado al estudio del
selvans elaborarn dos manuales intercambiables. Es
posible que la conducta de los nativos pueda ser pre
dicha igualmente bien en toda ocasin recurriendo a
cualquiera de los manuales y que, con todo, cada uno
de ellos recomiende traducir ciertas expresiones de una
forma que tendramos que rechazar si usramos el otro.
En esto consiste la tesis de la indeterminacin de la
traduccin.
Un manual de traduccin selvans-castellano pro
porciona una definicin recursiva o inductiva de una
relacin de traduccin, a la vez que nos garantiza que
la correlacin entre oraciones se produce de manera
compatible con la conducta de todos los implicados.
La tesis de la indeterminacin de la traduccin dice
que aunque los dos manuales estuvieran en condicio
nes de garantizamos esto ltimo, podra, sin embargo,
darse el caso de que no fuera posible usar las dos re
laciones de traduccin de forma alterna -esto es, un
manual para una oracin y el otro para la siguientesin producir secuencias incoherentes. O, de otro modo,
lo que la tesis dice es que las oraciones castellanas re
comendadas por los manuales rivales como traduccio
nes de una cierta oracin selvanesa no son intercam
biables en contextos de uso de la lengua castellana.
El uso de uno u otro de los manuales podra cier
tamente producir posteriormente diferencias de habla,
como ha sealado Robert Kirk en relacin con los giros
SIGNIFICADO
81
de actitud proposicional; pero ambos manuales haran

igualmente justicia al statu quo.
Con objeto de incrementar la plausibilidad de mi
tesis de la indeterminacin de la traduccin, he venido
considerando el caso de un lenguaje completamente
extico, pero en principio la tesis es aplicable incluso
a la lengua propia. Pues, dados dos manuales rivales
de traduccin entre el selvans y el castellano, podemos
permitimos la extravagancia de traducir del castellano
al castellano mediante el procedimiento de traducir
primero del castellano al selvans mediante un manual
y regresar luego al castellano con la ayuda del otro.
Es improbable que la indeterminacin de la tra
duccin constituya un estorbo en la prctica, incluso
en el caso de la traduccin radical. Y hay una buena
razn para ello. La razn es que el lingista asume,
mientras no se tope con evidencias en contra, que las
actitudes y los modos de pensar del nativo son pare
cidos a los suyos. De modo que impone su propia ontologa y sus propios patrones lingsticos al nativo
siempre que el discurso de ste y, en general, su con
ducta resulten compatibles con aqullos, y siempre que
la estrategia contraria no ofrezca como premio una lla
mativa ganancia en simplicidad. Pero estas ltimas
consideraciones no hacen sino apoyar la tesis de la in
determinacin de la traduccin, pues lo que sta pre
tende sacar a la luz es el hecho de que el traductor
radical no tiene ms remedio que imponer tanto, ms
o menos, como descubre.
19. Sintaxis
Algunos lectores han supuesto que yo extenda mi
tesis de la indeterminacin a la sintaxis. Esta circuns
6 . - QUII
82
tancia sola desconcertarme hasta que recientemente

descubr una sutil causa de este equvoco. En Word
and Object (pp. 55 y 68-72 [pp. 68 y 81-84 ed. cast.])
sostuve que nuestro aparato de reificacin y referencia
est afectado por la indeterminacin de la traduccin.
Este aparato incluye pronombres, el relator *=, las ter
minaciones de plural y, ciertamente, todo aquello que
sirve a los propsitos lgicos de los cuantificadores y
las variables. Pero algunos de mis lectores han argu
mentado que la sintaxis, al menos en parte, se ocupa
precisamente de estos mecanismos. De modo que, han
concluido, la indeterminacin afecta tambin a la sin
taxis.
La sintaxis tiene por misin establecer qu cadenas
de fonemas pueden construirse en una lengua dada. Es
probable que ms de una batera de construcciones gra
maticales y vocabulario sean capaces de generar el mis
mo conjunto final de cadenas, pero esta libertad no da
lugar a una indeterminacin anloga a la de la traduc
cin. La indeterminacin de la traduccin consiste ms
bien en un conflicto dentro del nivel de los resultados
finales.7
Lo que confundi a estos lectores fue la indeter
minacin de la traduccin de pronombres y otros me
canismos referenciales. Pero la indeterminacin apa
rece nicamente, como hemos visto, cuando nos
preguntamos si debemos emparejar ciertas expresiones
selvanesas con esos mecanismos o con otra cosa dis
tinta. El traductor encontrar en cualquier caso el modo
7. El estudioso de la sintaxis puede, en efecto, hacer uso de cierta
libertad a la hora de establecer cules son los lmites del lenguaje, pero
solamente de manera marginal. Vase From a Logical Point o f View, pp.
53-55.
SIGNIFICADO
83
de encajar esas expresiones, sean cuales sean las tra

ducciones que elija. Podr llamarlas pronombres, mor
femas de plural, cuantificadores o lo que sea, en fun
cin de que se deje orientar por uno u otro manual de
traduccin. La diferencia se reducir a una cuestin
puramente verbal o, como mucho, a una cuestin de
servirse de una cierta estructura sintctica mejor que
de otra para generar el mismo conjunto final de ca
denas selvanesas.
20. Indeterminacin
de la referencia
La diferencia entre considerar una oracin holofrsticamente -es decir, como un todo sin fisuras- o
analticamente -trmino a trmino- ya ha demostrado
anteriormente su importancia para otros asuntos
(vanse 3,9 y 13). Tambin juega un papel destacado
en el estudio de la traduccin. En efecto, cuando una
oracin es vista analticamente, la tesis de la indeter
minacin de la traduccin se convierte en una verdad
trivial e incontrovertible. Esta versin de la tesis era
ilustrada en Ontological Relativity (pp. 35-36 [pp. 5455 ed. cast.]) mediante el ejemplo real de los clasifi
cadores del japons, y de forma ms abstracta unas
pginas atrs ( 13) por las funciones vicarias. Consiste
sta en la poco sorprendente conviccin de que inter
pretaciones divergentes de las palabras que integran
una oracin pueden compensarse unas a otras de tal
manera que acaben dando lugar a una misma traduc
cin de la oracin globalmente considerada. Este fe
nmeno es lo que denomin en el pasado inescrutabilidad de la referencia, aunque hubiera sido mejor
84
la expresin indeterminacin de la referencia. La te

sis seria y controvertida de la indeterminacin de la
traduccin no se reduce a eso; la tesis consiste en la
versin holofrstica, que es ms fuerte. De acuerdo con
esta versin, existen divergencias en la traduccin que
no es posible reconciliar ni siquiera en el nivel de la
oracin globalmente considerada, y cuya eliminacin
genera la aparicin de divergencias en la traduccin de
otras oraciones.
A diferencia de la indeterminacin de la referencia,
fcilmente ilustrada por los ajustes que se compensan
mutuamente dentro de los lmites de una oracin in
dividual, en la indeterminacin completa u holofrs
tica interviene el lenguaje del baso de forma demasiado
amplia como para que nos sea posible ofrecer un ejem
plo real. La traduccin radical es un fenmeno infre
cuente, y no es previsible qqe pueda lograrse en dos
ocasiones con una misma lengua. De todas formas, Levy
ofrece un ejemplo artificial plausible, inspirado en la
medicin dentro de geometras divergentes. Tambin
est el contundente ejemplo de Massey basado en la
alternancia de afirmacin y negacin, de conjuncin y
disyuncin y de cuantificacin universal y existential.
Sus traducciones rivales, la homofnica y la alterna
tiva, ofrecen traducciones irreconciliables de todas y
cada una de las oraciones. Un defecto de este ejemplo
es que el manual alternativo asume que las oraciones
proferidas por los nativos son negadas, y no afirmadas,
por stos -lo cual constituye una inversin gratuita de
la tendencia convencional del traductor. En cualquier
caso, los ejemplos construidos por Massey y Levy ha
cen muy difcil poner en duda la tesis de la indeter
minacin holofrstica.
SIGNIFICADO
85
Dos veces al ao se publica en las islas Canarias

una voluminosa e impresionante revista de filosofa
del lenguaje llamada Gavagai. David Premack ha pu
blicado recientemente un libro sobre sus experimentos
lingsticos con chimpancs bajo el mismo ttulo de
Gavagai. Hubert Dreyfus luce en su Volkswagen Rab
bit unos tapacubos con la inscripcin GAVAGAI. La
palabra se ha convertido en el emblema de mi tesis
de la indeterminacin de la traduccin, y ahora vive
su propia vida en un mundo ms amplio. Paradji
camente, sin embargo, no acu esta palabra para ilus
trar la indeterminacin de la traduccin en su sentido
lato. No la ilustra porque Gavagai es una oracin
observacional que puede ser traducida sin ninguna
vacilacin como (Mira, un) conejo. Pero esta tra
duccin no es suficiente para determinar la referencia
de gavagai como trmino; y sobre esto es sobre lo
que el ejemplo quera llamar la atencin. Se trata de
un ejemplo extremo de indeterminacin de la refe
rencia, puesto que en este caso el trmino contenido
en la oracin es idntico a la oracin en su totalidad.
No hay lugar para ajustes compensatorios, y ningn
ajuste es necesario.
Algunos amables lectores han tratado de establecer
una distincin tcnica entre mis expresiones inescrutabilidad de la referencia y relatividad ontolgica;
pero esta distincin nunca ha estado clara en mi mente.
En cualquier caso, ahora me encuentro en condiciones
de decir a qu es relativa la relatividad ontolgica de
una manera ms sucinta que la expresada en las con
ferencias, en el artculo y en el libro que llevaron ese
mismo ttulo. Es relativa a un cierto manual de tra
duccin. Decir que gavagai hace referencia a conejos
86
es optar por un manual de traduccin en el cual gavagai es traducido como conejo, en lugar de optar
por alguno de los manuales alternativos.
Otra cuestin: afectan tambin de alguna manera
la indeterminacin y la relatividad a nuestra propia
lengua? En relatividad ontolgica contest que s,
pues podemos llevar a cabo una traduccin de nuestra
lengua a ella misma mediante permutaciones distintas
de la mera transformacin idntica, tal y como es co
rroborado por las funciones vicarias. Pero si elegimos
como manual de traduccin la transformacin idn
tica, atenindonos de este modo a nuestra propia len
gua sin ms complicaciones, entonces la relatividad
deja de existir. La referencia queda as explicada dentro
de modelos de desentrecomillado anlogos al modelo
de Tarski para la verdad (vase 33); de esta manera,
la palabra conejo hace referencia a conejos, sean stos
lo que sean, y Boston, a Boston.
21.
Significados para
qu ?
Si furamos capaces de idear una relacin aceptable

de identidad de significado, nos resultara muy fcil
ofrecer una definicin aceptable de significado. Pues,
como ha sealado ms de un filsofo, podramos de
finir el significado de una expresin como la clase de
todas las expresiones con el mismo significado que ella.
Y, a la inversa, si pudiramos partir de los significados,
stos y la identidad nos permitiran acceder a la iden
tidad de significado, puesto que no hay entidad sin
SIGNIFICADO
87
identidad.8Dicho brevemente, el significado y la iden

tidad de significado son dos caras de un mismo pro
blema.
La traduccin goza de un grado razonable de de
terminacin cuando nos movemos entre categricas
observacionales y tambin entre conectivas lgicas. As
que se podra intentar una equiparacin interlings
tica de contenido emprico (vase el 7), incluso en un
contexto de traduccin radical. Pero el contenido em
prico es algo propio nicamente de oraciones con
trastabas y conjuntos contrastables de oraciones. No
disponemos de ningn concepto general de significado
para aquellas oraciones con una masa semntica menor
que la crtica.
No es esta una conclusin que uno busque o de
fienda con entusiasmo. Pues uno tiene la tentacin de
suponer que podramos definir el significado de ora
ciones con una masa menor que la crtica, e incluso el
significado de trminos, recurriendo a la sustitutividad. Si podemos intercambiar dos expresiones sin al
terar el contenido emprico de ningn contexto con
trastare, no podemos decir, acaso, que tienen el
mismo significado? Muy bien; pero el plan no funciona
8. Esta obviedad se ha visto complicada ltimamente por culpa de una
confusin en tom o al axioma de extensionalidad, que sirve para indivi
dualizar conjuntos, o clases, y que ha sido puesto bajo sospecha por algunos
tericos con objeto de explorar las consecuencias de suspender su validez.
Acaso, se ha dicho, no nos sera posible proceder anlogamente en el caso
que nos ocupa y reconocer significados sin identidad? Pues no. El que
dejemos de lado el requisito de la extensionalidad no exime a los conjuntos
del requisito de la identidad: eliminar la primera exigencia nicamente sirve
para dar carpetazo a la cuestin de cules son las condiciones suficientes
para la identidad de los conjuntos. La notacin x = y se mantiene, teniendo
en esta ocasin a conjuntos como valores de las variables. Sigue siendo
cierto que no hay ninguna entidad (ningn conjunto, nada) sin identidad.
88
entre lenguajes distintos. El intercambio de expresiones

convierte el contexto en un sinsentido si las expresiones
pertenecen a lenguajes diferentes. De modo que este
plan no ofrece alivio alguno frente a la indeterminacin
de la traduccin.
22.
Significado
domstico
Podramos, pues, rebajar nuestras pretensiones y

abandonar las proposiciones, entendidas como sig
nificados oracionales que transcienden un lenguaje
concreto; ahora nos conformaramos con usar el re
curso a la sustitutividad para construir una nocin de
identidad de significado puramente domstica, no apli
cable entre lenguajes distintos. Podramos decir que
las oraciones son cognoscitivamente equivalentes si la
sustitucin de una por la otra no afecta al contenido
emprico de ningn conjunto de oraciones. Esto parece
correcto en principio. Sin embargo, resulta difcil apli
carlo de forma concluyente en la mayora de los casos,
dado el estatus ms bien utpico del contenido em
prico (vase el 7).
Otra aproximacin al problema recurre a las creen
cias; para ser ms preciso, al asentimiento o disenso
del hablante cuando se le pregunta una cierta oracin.
Pero este intento no nos servira con las oraciones fijas,
pues hara equivalentes todas las creencias del hablan
te. Con todo, s que funciona en el caso de las oraciones
ocasionales, pues nos es posible tomar cualquier par
de oraciones de este tipo y comprobar si ambas son
igualmente adecuadas en circunstancias diversas. Dos
oraciones ocasionales pueden ser consideradas cog
SIGNIFICADO
89
noscitivamente equivalentes para un hablante dado si

en toda circunstancia ste tiene inclinacin a asentir
ante ambas, a disentir de ambas o a abstenerse de emi
tir un juicio. De forma derivada, podemos a conti
nuacin considerar cognoscitivamente equivalentes
para la comunidad aquellas oraciones ocasionales que
sean cognoscitivamente equivalentes para cada uno de
sus miembros. Cuando las oraciones ocasionales con
sideradas son observacionales nos encontramos nue
vamente ante casos de equivalencia estimulativa (vase
el 16).
Esta nocin de equivalencia cognoscitiva es inme
diatamente aplicable a trminos o predicados. Estos
son cognoscitivamente equivalentes -o, podramos de
cir ahora, cognoscitivamente sinnimos- si sus predi
caciones - Es un F \ Es un G - son cognoscitivamente
equivalentes. A la vista de nuestra definicin de equi
valencia cognoscitiva de oraciones ocasionales, esto se
reduce a la afirmacin de que dos trminos son cog
noscitivamente equivalentes para un hablante si ste
cree que son coextensivos, esto es, aplicables con ver
dad a las mismas cosas. Esos dos trminos sern, ade
ms, sinnimos para la comunidad si son sinnimos
para cada uno de sus miembros.
Es posible lograr, a continuacin, un pequeo avan
ce en el camino hacia la nocin de equivalencia cog
noscitiva de oraciones fijas. Es muy cierto que dos ora
ciones de stas deberan ser consideradas cognos
citivamente equivalentes siempre que fuera posible
obtener una a partir de la otra mediante la sustitucin
de uno de los trminos que la integran por otro cog
noscitivamente sinnimo. Pero de esta forma no cu
brimos todos los pares de oraciones fijas que quisi
90
ramos contemplar como cognoscitivamente equiva

lentes.
Una tercera forma de acercarse al problema hace
uso de la nocin de analiticidad. Una vez que estemos
en posesin de esta nocin, la de equivalencia cognos
citiva estar a la vuelta de la esquina; pues dos ora
ciones son cognoscitivamente equivalentes si y slo si
su bicondicional veritativo-funcional es analtico. Aho
ra bien: una oracin es analtica, para una semntica
mentalista, cuando es verdadera en virtud del signifi
cado de las palabras que la integran. En Roots of Re
ference (pp. 78-80) propuse extemalizar el criterio: una
oracin ser analtica si el hablante nativo aprende a
asentir ante ella mediante el aprendizaje de una o ms
de las palabras que la componen. Esta definicin da
cuenta de ejemplos de analiticidad tales como Ningn
soltero est casado, as como de las categricas observacionales analticas (vase el 7). Adems da cuenta
de la analiticidad de las verdades lgicas elementales.
Tambin es posible ajustar el concepto para cubrir
igualmente las consecuencias lgicas de las verdades
analticas.
Creo que esta definicin hace bastante justicia a la
nocin intuitiva de tautologa, una nocin que sale a
la palestra cada vez que nos quejamos de que la afir
macin que alguien acaba de hacer no dice ms cosas
que = 0 y se reduce a una insustancial cuestin de
palabras. Pero la definicin no nos da pie para el tipo
de distincin entre oraciones analticas y sintticas que
ha mantenido ocupados a los filsofos. Y no da pie,
desde luego, a un concepto general de equivalencia cog
noscitiva.
SIGNIFICADO
91
Por qu fue esta nocin tan importante en su mo

mento? En lugar de buscar la esencia de las cosas, como
haba hecho antiguamente la metafsica, la filosofa
analtica -representada por autores como G. E. Moore
y otros posteriores- se content con perseguir el sig
nificado de las palabras; pero todava pareca como si
esta tarea consistiera en separar con pinzas significados
intrnsecos en vez de, simplemente, calcular la media
del uso fluctuante de las expresiones. La analiticidad
sirvi entonces para revelar los significados de las pa
labras, del mismo modo que la necesidad metafsica
haba servido anteriormente para revelar la esencia de
las cosas. En aos posteriores, Camap hizo uso de la
analiticidad, dentro de su filosofa de las matemticas,
para explicar cmo podran tener significado las ma
temticas a pesar de su falta de contenido emprico, y
por qu sus afirmaciones son necesariamente verda
deras. Pero el holismo es capaz de dar respuesta a am
bas preguntas sin necesidad de recurrir a la analitici
dad. El holismo permite a las matemticas compartir
el contenido emprico de los contextos donde son apli
cadas, y explica la necesidad matemtica como un re
sultado de la libertad de eleccin y de la mxima de
la mutilacin mnima (vase el 6).
23.
Lexicografa
Cuando cuestionamos la vieja nocin de significado

no estamos rechazando la semntica. Se ha trabajado
mucho y con mucha seriedad en lo concerniente a los
modos, circunstancias y evolucin del uso de las pa
labras. Y la lexicografa es la manifestacin ms no-
92
table de ese trabajo. Pero no creo que debamos gastar

energas en el intento de rehabilitar para la ciencia algo
parecido a la vieja nocin de significados claros y dis
tintos; me parece que ms bien debemos mirar esta
nocin como un obstculo del que nos hemos conse
guido librar. Ciertamente, en los ltimos tiempos la
nocin ha constituido un obstculo ms bien para los
filsofos que para los lingistas cientficos, pues stos,
como es fcil comprender, simplemente no la han con
siderado tcnicamente til.
Se suele atribuir a los diccionarios la tarea de ex
plicar los significados de las palabras, una tarea que no
tiene nada de misteriosa ni de arbitraria. Cmo la
llevan a cabo? En mi opinin, la tarea encomendada
a los diccionarios no consiste en establecer ni la equi
valencia cognoscitiva entre oraciones ni la sinonimia
entre trminos, y no presupone en absoluto nocin al
guna de significado. Veamos a continuacin de qu se
ocupan realmente los diccionarios.
En ocasiones, un diccionario explica una palabra
por medio de otra expresin que pueda sustituirla, sal
va veritate, al menos all donde la cosa no se vea com
plicada por la presencia de expresiones entrecomilladas
o de actitud proposicional. Otras veces, en cambio, lo
que se ofrece es una seleccin de informacin concer
niente al objeto u objetos a los que se refiere la palabra
en cuestin. La existencia de estos dos procedimientos
no pretende reflejar una distincin entre caractersticas
esenciales y accidentales. Se trata de una cuestin pu
ramente pedaggica: el lexicgrafo quiere mejorar, en
la medida en que se lo permita el escaso espacio de
que dispone, la capacidad de sus lectores para comu
nicarse con xito. Con frecuencia, adems, una entrada
SIGNIFICADO
93
del diccionario no ofrece una parfrasis de la palabra

ni describe los objetos que le corresponden, sino que
describe el uso de la palabra en oraciones. Tal es el
proceder habitual con las partculas gramaticales, un
proceder que tambin se utiliza frecuentemente con
trminos de todo tipo y que se convierte en el preferido
cuando el trmino de que se trata no se refiere a objetos
concretos ni admite una parfrasis separable y autocontenida.
Detrs de este aparente desorden existe un prin
cipio unificador: en todos los casos puede considerarse
que el objetivo final es la oracin. El lexicgrafo tiene
como objetivo ayudar a su lector a beneficiarse de las
oraciones que vea u oiga, a reaccionar ante ellas de
alguna de las formas que los dems esperan y a emitir
oraciones de manera provechosa. Pero existe una va
riedad ilimitada de oraciones, de modo que el lexic
grafo realiza su enseanza de las oraciones palabra por
palabra, mostrando cmo usar cada palabra en la cons
truccin de oraciones. Una forma de realizar esta en
seanza, y una forma que resulta muy conveniente uti
lizar siempre que sea posible, consiste en mencionar
una expresin sustitua; pues el lexicgrafo aprovecha
de este modo los presumibles conocimientos del lector
acerca de cmo usar esa expresin sustitua para ela
borar oraciones. Y los otros tipos de entradas de dic
cionario persiguen igualmente, cada una a su manera,
el mismo fin: ensear a usar las oraciones.
Cuando saltamos desde la semntica, tal y como la
entienden los filsofos, a la lexicografa, estamos sus
tituyendo el foco de nuestro inters: por as decirlo,
estamos sustituyendo la identidad de significado por
el conocimiento del significado; o, mejor, la sinonimia
94
de las expresiones por la comprensin de las expresio

nes. El trabajo del lexicgrafo consiste en inculcar la
comprensin de las expresiones, esto es, en ensear a
usarlas. Y puede tener un xito completo en la ense
anza del uso de las oraciones sin necesidad de preo
cuparse de si es correcto decir que estas son equiva
lentes en algn sentido. Da la impresin de que los
significados no tienen absolutamente nada que ver con
las preocupaciones del lexicgrafo. Por qu habran
de preocupamos ms a nosotros?
As pues, podramos considerar la comprensin de
las expresiones, y no la sinonimia, como la nocin ope
rativamente bsica de la semntica. Cmo debemos
entender esto? En la prctica, admitimos que alguien
comprende una oracin mientras no nos resulten sor
prendentes las circunstancias en las cuales la profiere
o su reaccin cuando la oye -suponiendo, adems, que
la reaccin no sea de visible perplejidad. Si los hechos
se apartan radicalmente de estas circunstancias, sos
pechamos que el individuo no comprende la oracin.
Con todo, no existe ninguna frontera evidente, ningn
criterio general que nos permita determinar si el in
dividuo realmente no comprende la oracin o si sim
plemente sostiene una teora extravagante acerca del
contenido de aqulla.
Cuando decimos que alguien no comprende una
cierta palabra podemos hacerlo con ms seguridad que
cuando afirmamos que no comprende una determi
nada oracin, pues tenemos la posibilidad de observar
el uso que ese alguien hace de la palabra en diversas
oraciones que la contengan, as como su reaccin ante
estas oraciones. Podemos, adems, controlar nuestro
experimento, eligiendo nosotros mismos las oraciones
SIGNIFICADO
95
y pidiendo al sujeto que se pronuncie sobre ellas. Qui

zs nos encontremos con que nuestro individuo no
reacciona con normalidad cuando se encuentra una
oracin que contiene la palabra en cuestin, mientras
que s reacciona de forma ms normal ante oraciones
en las que esa palabra no aparece, pero que son prc
ticamente iguales en otros aspectos.
En esta cuestin de la comprensin del lenguaje se
da, pues, una sutil interaccin entre palabra y oracin.
La oracin es fundamental en un sentido: comprender
una palabra consiste en saber usarla en oraciones y
saber reaccionar ante esas oraciones. Pero si lo que
queremos es comprobar si alguien comprende una cier
ta oracin, lo mejor que podemos hacer es concen
tramos en una palabra, variando sus contextos oracio
nales. Cuando, tras presentar varias oraciones al sujeto,
nos hayamos convencido a nosotros mismos de que
ste no comprende adecuadamente la palabra, acaba
remos concluyendo con toda razn que su atpica res
puesta a la oracin del principio se deba a su mala
comprensin de la palabra y no a alguna extraa opi
nin referente a cuestiones fcticas.
As pues, comprender una expresin es, desde el
punto de vista de la conducta, un artefacto estadstico
basado en las multiplicidades. El ncleo es la palabra,
y la masa que lo rodea est formada por las innume
rables oraciones donde aparece la palabra. Lo que
cuenta a la hora de decir si una oracin ha sido com
prendida es una coloracin predominantemente salu
dable o insana de esta masa; y no hay por qu buscar
una frontera clara. Los linderos de un bosque se di
bujan ntidos a los ojos de quien los contempla desde
el aire pero no a los de quien camina sobre la tierra;
96
una mancha de tinta ofrece al ojo un perfil bien defi

nido cuando aqul la observa sin ayuda pero no cuando
mira a travs de una lente de aumento; y una actitud
parecida podramos adoptar nosotros con respecto a la
distincin entre comprender adecuadamente una ex
presin lingstica y no hacerlo. La lexicografa, pues,
no necesita para nada la nocin de sinonimia, y tam
poco la diferenciacin ntida entre comprender o no
comprender de manera adecuada. El trabajo del lexi
cgrafo consiste en mejorar la comprensin de las ex
presiones por parte de quien lee sus tratados, pero para
sacarlo adelante no necesita trazar frontera alguna. Hace
lo que est en su mano, que no es demasiado, para
ajustar la conducta verbal de quien lo est leyendo a
la de su comunidad, o a la de un sector escogido de
sta. El ajuste es una cuestin de grado, y una cuestin
vaga: una cuestin de fluidez y efectividad en el di
logo.
4. INTENSIN
24.
La percepcin y las oraciones

OBSERVACIONALES
Las oraciones observacionales tpicas son informes

de acontecimientos o situaciones que ocurren en el
mundo externo. Algunas, sin embargo, son mentalistas,
y desempean un papel importante. Fijmonos por
ejemplo, para empezar, en la oracin observacional
Llueve. Marta se la est enseando a Toms mediante
ostensin. La tarea de Marta consiste en animar a To
ms a proferir la oracin -o a mostrar su acuerdo con
ella- cada vez que lo ve percibiendo el fenmeno ade
cuado, y en recomendarle que no lo haga cuando su
pone que no es ese el caso. De este modo, la capacidad
por parte de Toms para usar la oracin fisicalista
Llueve descansa sobre la capacidad -virtual o, quizs,
literal- de Marta para usar correctamente la oracin
mentalista Toms percibe que est lloviendo.
Nuestro dominio de la lengua comienza con las ora
ciones observacionales, aprendidas mediante osten
sin; y el que podamos aprenderlas de nuestros ma
yores depende en gran medida de la capacidad de stos
7 . - QUINE
98
para figurarse que estamos teniendo la percepcin ade

cuada. La transmisin del lenguaje puede realizarse,
pues, gracias a que a lo largo del proceso sabemos,
tcitamente al menos, cmo usar el giro x percibe que
p \ donde p ocupa el lugar de una oracin observacional. El dominio de esta nocin mentalista parece,
por tanto, ms o menos tan antiguo como el lenguaje
mismo. Resulta interesante comprobar que la diferen
ciacin entre los discursos fisicalista y mentalista no
est clara ni siquiera en el nivel de las oraciones observacionales -como muestran las oraciones Llueve y
Toms percibe que llueve. El hombre es, ciertamente,
un animal escindido.
Percibir que llueve es un fugaz acontecimiento neurolgico. Cabe esperar, adems, que dos percepciones
de la presencia de lluvia por parte de Toms difieran
no slo en cuanto al momento en que han ocurrido
sino tambin a nivel nervioso, pues existen diversos
indicadores de lluvia. Las percepciones por parte de
Toms de que est lloviendo constituyen, posiblemen
te, una clase de sucesos demasiado compleja y dema
siado heterognea desde el punto de vista neuronal
como para poder ser descrita en la prctica utilizando
trminos neurolgicos -incluso aunque tuviramos un
conocimiento completo de los hechos. Con todo, po
demos estar seguros de que habr algn rasgo neurolgico compartido que unifique este conjunto de acon
tecimientos neuronales; pues si Toms aprendi a hacer
que la oracin observacional Llueve valiera para to
dos ellos, tal cosa se consigui mediante la generali
zacin de los estmulos o la semejanza subjetiva.
Dejemos ahora el caso de Toms. La clase de per
cepciones que la poblacin en su conjunto tiene de que
INTENSIN
99
est lloviendo nos resultar todava ms inaccesible,

ya que las redes nerviosas de las personas difieren entre
s -difieren como consecuencia, desde luego, de las di
ferencias existentes entre sus historias de aprendizaje,
y quizs tambin difieran genticamente. Con todo, el
giro percibe que est lloviendo atraviesa toda esa de
sesperante complejidad neuronal y abarca todas las
percepciones de que llueve -no slo las de Toms sino
tambin las de todo el mundo.
Las abarca haciendo referencia a un sntoma, no a
un mecanismo neuronal. Y menuda clase de sntoma!
Lo detectamos, quizs, mediante la observacin em
ptica de la expresin facial del sujeto y de lo que est
ocurriendo delante de l, y lo especificamos mediante
una clusula proposicional consistente en una oracin
observational.
Marta hace uso de la empatia en el caso de la per
cepcin de la lluvia por Toms de modo idntico a
como el lingista de campo hace uso de la empatia en
el caso de la percepcin por el nativo de que un conejo
ha aparecido en escena (vase el 9). Aprender una
lengua en campo abierto y ensearla en la guardera
viene a ser lo mismo a nivel de oraciones observacionales: es una cuestin de percibir que el sujeto est
percibiendo que p.
25. Extendiendo
el mbito de la percepcin
Como vimos en el 2, la observacionalidad es re

lativa al grupo de hablantes que tomemos como punto
de referencia; y es adems, en buena medida -incluso
dentro de un mismo grupo-, una cuestin de grado.
100
Como consecuencia de ello, la construccin percibe

que p sigue siendo perfectamente vlida cuando la
clusula proposicional p, no es observacional o lo es
poco. A veces escuchamos cosas como Toms percibe
el retraso del tren.
Veamos ahora qu pasos podran permitir a alguien
llegar a usar una oracin como esta. Las personas dis
ponen de diversas vas para mostrar que perciben el
retraso de un tren, y dichas vas llegan a convertirse
en convenciones. Una va consiste en decir que el tren
se retrasa. La gente tambin camina de un lado para
otro con impaciencia, mira el reloj, dirige su mirada
hacia el punto donde los rales se pierden en la lejana.
Adems de adquirir estos hbitos, hemos aprendido a
observar manifestaciones similares en los dems; es
tamos predispuestos a ver nuestras formas de conducta
reproducidas en otras personas. Esta predisposicin nos
permiti, como vimos, ensear oraciones observadonales a otros individuos, as como aprender cundo
resulta adecuado, en situaciones observacionales, pro
ferir X percibe que /?; ahora vemos cmo tal capacidad
se extiende no slo a las oraciones observacionales sino
tambin a expresiones como 1 tren se retrasa.
No nos dedicamos a reunir evidencia de acuerdo
con un plan deliberado. Antes bien, nos proyectamos
empticamente hacia la posicin de Toms y su patrn
de conducta, y nos encontramos con que la oracin 1
tren se retrasa nos viene a los labios de modo natural.
Tal es la, hasta cierto punto, arriesgada base que te
nemos para decir que Toms percibe que el tren se
retrasa. Esta base se torna ms concluyente si la con
ducta que observamos en Toms incluye la afirmacin
por su parte de que el tren se retrasa.
INTENSIN
101
Una oracin ocasional de la forma *x percibe que

p *puede ser verdadera incluso cuando la clusula pre
posicional es una oracin fija, como Canelo es un pe
rro, y no una oracin ocasional. En este caso se re
quiere, sin embargo, no slo que quien percibe que p
est dispuesto a asentir a p en esa ocasin, sino tambin
que se est dando cuenta de la verdad de esta oracin
en ese preciso momento. Al atribuir percepciones a la
gente vamos necesitando, de forma creciente, estar en
posesin de ciertos conocimientos previos, as como
aventurar conjeturas conforme nos vayamos alejando
del territorio de las oraciones observacionales.
26. Percepcin
de cosas
Junto a la construccin x percibe que p \ donde la

percepcin es descrita mediante una clusula prepo
sicional, tenemos tambin la construccin *x percibe
y \ donde la percepcin se describe por medio de un
trmino en funciones de complemento directo. El tr
mino designa al objeto que estimula aquellos recep
tores sensoriales que despiertan la atencin del sujeto.
Si el objeto es un tazn, la fuerza estimuladora quizs
sea la luz que ste refleja sobre el ojo. Pero esa luz
proviene tambin del sol, o de una bombilla, aunque
luego toque el tazn. Acaso el rasgo que distingue al
objeto percibido ser que la fuerza estimuladora nos
llega directamente de l? No; esta respuesta no es sa
tisfactoria, pues nos gustara poder decir que percibi
mos el tazn reflejado en un espejo.
Hay una solucin sencilla que recurre a la nocin
de foco. Entre la percepcin del tazn reflejado en el
102
cristal y la percepcin del cristal mismo se da una di

ferencia en la tensin de los msculos oculares; pues
la distancia focal del tazn es el resultado de sumar la
distancia entre el ojo y el cristal y la distancia entre el
cristal y el tazn. El mismo criterio del foco nos sirve
para distinguir entre ver algo a travs de un cristal y
ver el cristal.
Pero la distancia focal y la causalidad no bastan
para individualizar el objeto percibido, ya que una par
te de la superficie del tazn respondera a esas exigen
cias tan bien como pueda hacerlo el tazn mismo. Tam
bin satisfara los requisitos exigibles cualquier cosa de
la cual ese fragmento de superficie forme parte -as, el
tazn, o el medio tazn que se encuentra ms cerca de
nuestros ojos, o un fragmento espacial cualquiera que
incluya al tazn, tomados en cualquier momento en el
que se d el suceso estimulativo. Ser la oracin ob
servational que el sujeto perceptor profiera -si es que
profiere alguna- la que determine qu debemos con
siderar que ha percibido el individuo.1
Ya hemos sealado ( 3, 9 y 13) que aunque los
trminos de observacin pueden ser retrospectivamen
te considerados expresiones que designan objetos, en
el momento de su adquisicin es mejor verlos como
oraciones observacionales de una sola palabra. Esta
misma actitud es la que mejor cuadra a la adscripcin
de percepciones: piense el lector en x percibe y bajo
el modelo de x percibe que p \ Decimos que Toms
percibe el tazn porque al situarnos empticamente
en el lugar de Toms nos imaginamos a nosotros mis1. En Chisholm, captulo 10, encontrar el lector un estudio de otros
problemas referentes a objetos percibidos.
INTENSIN
103
mos profiriendo la oracin observacional Tazn, y no

Superficie de un tazn, Mitad frontal de un tazn o
Tazn y alrededores.
La preferencia por la clusula proposicional mejor
que por los objetos percibidos no impone ninguna res
triccin real a nuestras adscripciones cotidianas de per
cepciones. Cuando preguntamos Qu percibi ese in
dividuo? nos conformamos con una respuesta del tipo
de Percibi que p \ Cuando decimos Ambos percibie
ron la misma cosa, resultar satisfactoria una expli
cacin posterior ms completa con la forma Ambos
percibieron que p \ Expresiones tercamente nominales
como Qu y la misma cosa interfieren slo por falta
de palabras mejores que ocupen el lugar de las clusulas
proposicionales.
27. Creencia y
percepcin
El giro x percibe que p \ como hemos visto, no slo

se aplica a oraciones observacionales y a oraciones oca
sionales en general. El uso lo arrastra tambin hacia
niveles ms elevados. Incluso llegamos a decir que uno
percibe que las leyes de Newton implican las leyes de
Kepler. Pero incluso despus de esta extensin en el
uso del verbo percibir se sigue respetando una con
dicin: se dice de nosotros que percibimos que p slo
cuando aprendemos por primera vez que p. Cuando
esta condicin no se da, dejamos de hablar de percep
cin, en cualquier sentido de la palabra, y pasamos a
hablar de creencia.
Una adscripcin del tipo x percibe que p sigue
siendo una oracin ocasional incluso cuando la clu
104
sula propositional que aparece en ella es una oracin

fija, pues una percepcin es siempre un suceso mo
mentneo. Por otra parte, una adscripcin del tipo x
cree que p es una oracin fija, pues tener una creencia
es un estado duradero.
Podemos sealar de paso otras diferencias, esta vez
meros accidentes del uso. Una percepcin es experi
mentada por un nico individuo en un momento de
tiempo irrepetible, aunque ese individuo pueda expe
rimentar otras muy parecidas; una creencia, por el con
trario, puede ser aceptada por muchas personas. Las
percepciones, por otra parte, se tienen siempre por ver
daderas, a diferencia de las creencias; no percibimos
que p a menos que p, pero podemos creer equivoca
damente que p.
Tiene ms inters, sin embargo, atender al paren
tesco existente entre creencia y percepcin. Cuando
atribuimos una percepcin, mediante el giro *x percibe
que p \ nuestra evidencia consiste en la observacin de
la forma en que est situado quien percibe y de su
conducta, as como en el convencimiento de que si
estuviramos en su lugar nos sentiramos movidos a
proferir la clusula propositional. Cuando atribuimos
una creencia mediante el giro
cree que p \ nuestra
evidencia es similar aunque habitualmente menos s
lida. Reflexionamos sobre la conducta, verbal o de otra
ndole, de aquel a quien atribuimos la creencia y tam
bin sobre lo que conocemos de su pasado, y aventu
ramos que en su lugar nos sentiramos en condiciones
de aceptar, de forma abierta o encubierta, la clusula
proposicional.
Preguntar es la forma ms fcil de determinar cu
les son las creencias de alguien, aunque con este sistema
INTENSIN
105
pueden hacer su aparicin problemas relativos a la sin

ceridad y a la traduccin. En aquellos casos en que sea
posible apostar en favor o en contra de la creencia, una
apuesta ser un buen indicio de lo que cree un cierto
individuo. Otra seal, no del todo concluyente, de que
alguien acepta una creencia determinada consiste en
su defensa de argumentos que la apoyen. Algunas
creencias se manifiestan en hechos como viajar en
avin, tomar un bao o poner orden en el recibidor.
Las manifestaciones externas de las creencias varan
enormemente segn la creencia de que se trate y las
circunstancias que rodean a su poseedor.
Ya vimos en el 25 que las atribuciones de percep
ciones se tornan menos slidas y ms aventuradas con
forme nos alejamos del territorio de las clusulas pre
posicionales de observacin para aproximamos al de
otras clases de oraciones y acabar, finalmente, en la re
gin de las oraciones fijas. Pues bien: las atribuciones
de creencias ofrecen una solidez an menor y se apoyan
sobre una evidencia muy difusa. La sintaxis de la atri
bucin de creencias por medio de una clusula proposicional nos deja indefensos: cualquier oracin decla
rativa puede ser admitida como clusula proposicional
y, por tanto, se presupone que realiza una atribucin
inteligible de creencias, aunque muy alejada de toda
evidencia imaginable. Una cierta creencia puede ma
nifestarse en la conducta tan claramente como el mo
vimiento del rabo por parte del perro manifiesta su
creencia de que se acerca el momento de su comida.
Pero qu decir de la creencia en la transubstanciacin
eucarstica?
La construccin percibe que /? -esencial, como vi
mos en el 24, para la difusin del lenguaje- se en
106
cuentra claramente bajo el control de la evidencia em

prica, mientras no salgamos del nivel observacional.
Sin embargo, el uso de la extrapolacin, de la analoga,
y de ms extrapolacin, ha acabado engendrando un
hervidero sin lmites y sin ley: el de la atribucin de
creencias. Las atribuciones sensatas van poco a poco
dando paso a las insensatas, y no parece posible trazar
una divisoria.
28.
A ctitud es proposicionales
Percibe que/? y cree que/? son dos ejemplos, entre

otros muchos, de giros de actitud proposicional. Otros
ejemplos son espera que p \ lamenta que p \ teme que
p \ procura que p \ se pregunta si p' y, ciertamente,
dice que p \ La empatia interviene en la mayora de
las atribuciones de este tipo, realizadas sobre sujetos
distintos de uno mismo. Interviene incluso en el caso
de dice que p \ pues cualquier atribucin como esta,
que se aparta de la mera cita literal, ser vista como
permisible o no dependiendo de lo que estimemos que
tiene en mente el individuo al que se cita. El que de
cidamos parafrasear la expresin el inspector como
ese sinvergenza a la hora de realizar una cita en estilo
indirecto no depende del carcter del inspector, sino
de la opinin que el hablante al que citamos tenga de l.
La empatia nos obliga a usar clusulas proposicio
nales para atribuir actitudes proposicionales. Como vi
mos en el 26, las clusulas proposicionales realizan
mejor las funciones de objetos gramaticales que los
trminos, incluso en el caso de la percepcin. La clu
sula proposicional pretende reflejar el estado mental
INTENSIN
107
del sujeto y no el estado de cosas existente. Desde el

punto de vista del individuo que realiza la atribucin,
la clusula proposicional interviene en la oracin holofrsticamente y sus trminos componentes no refie
ren necesariamente en este caso del mismo modo que
cuando dicho individuo habla por s mismo.
Ha sido habitual sostener que el objeto de las ac
titudes proposicionales -esto es, aquello que es credo,
lamentado, etc.- son proposiciones, o significados de
oraciones; pero ya hemos arrojado por la borda estas
problemticas entidades (vase el 22). Yo considero
simplemente que el objeto de las actitudes proposicio
nales son oraciones -a saber, las clusulas proposicio
nales mismas- y trato, en consecuencia, el que de las
oraciones de actitud proposicional como si fueran unas
comillas indicadoras de cita literal que introdujeran un
nombre que viniera tras ellas. Dar por supuestos cier
tos ajustes obvios, necesarios en casos como l cree
que es Napolen; aqu la creencia que atribuimos es
Yo soy Napolen.
Al atribuir de este modo actitudes proposicionales
a hombres y animales por medio de una cita literal no
estoy dando por supuesto al mismo tiempo que stos
dominen la lengua en que la cita se produce, ni ninguna
otra. As, un gato puede creer que Hay un ratn ah
dentro. La lengua es la de quien realiza la atribucin
de actitud proposicional, aunque ste la est proyec
tando empticamente sobre la criatura en posesin de
la actitud. Si el individuo que realiza la atribucin se
encontrara en el estado mental en el cual se supone
que se encuentra el gato, hubiera dicho: Hay un ratn
ah dentro. Al dar cuenta de los giros de actitud pro
posicional mediante este enfoque que toma la cita li
108
teral como modelo, estamos hacindonos eco de la em

patia que impregna a todos estos giros, desde percibe
que p' en adelante.
Si a la hora de poner a funcionar este enfoque de
cidiramos sin ms sustituir el que por una cita literal
entrecomillada, en lugar de interpretarlo como una in
tencin tcita, podramos llegar a confundir la cita in
directa con la directa. Pero nos sera fcil solucionar
esta ambigedad si conviniramos en usar un verbo
distinto para cada caso - decir para la cita indirecta,
proferir para la directa- y comillas en ambos.
Nos resultan familiares los problemas que para la
sustitutividad de la identidad plantean las clusulas
subordinadas de actitud proposicional. Estos proble
mas, de los que se ocup Frege, surgen porque la per
sona en posesin de la actitud puede no ser consciente
de la identidad pertinente en cada caso. De modo si
milar, debemos tener cuidado con la cuantificacin que
liga algn elemento incluido en una de estas clusulas
proposicionales, pues los valores de la variable ligada
por un cuantifcador situado fuera de la clusula son
cosas de nuestro mundo real y podran no encajar en
la ontologa del sujeto de la actitud. En esto consiste
la opacidad referencial de las actitudes proposicionales.
El enfoque que para caracterizarlas hace uso del mo
delo de la cita literal nos hace ver muy bien esta opa
cidad, pues las comillas delimitan una mera sucesin
de fonemas o signos cuya sintaxis y cuya semntica, si
existen, se consideran un asunto estrictamente interno.
No estoy diciendo que tengamos que admitir que
lo entrecomillado sea, con relacin al contexto ms
amplio en el que aparece, una masa sintcticamente
indigerible. Pues podemos hacerla digerible deletrean
INTENSIN
109
do. El procedimiento consiste en dar un nombre a cada

uno de los signos individuales, cuyo nmero es finito,
e intercalar despus un signo de concatenacin entre
los nombres resultantes para generar as un nombre
ms largo a partir de la cadena de signos. As, es
pi-alfa-ny, una expresin con una sintaxis tan trans
parente como la de la suma aritmtica o la de un po
linomio.
El deletreo hace que la sintaxis y el lxico de la
clusula proposicional se evaporen y se confundan con
los de la lengua de quien atribuye la creencia. En tanto
en cuanto que, por otra parte, nos seguimos ateniendo
a la expresin entrecomillada sin analizar, las comillas
levantan una muralla opaca entre dos ontologas, entre
dos mundos: el mundo del individuo que, aunque lo
ignore, est en posesin de la actitud que sea y el de
aquella persona que le atribuye la actitud.
A veces es posible abrir una brecha a travs de esa
muralla. Como un actor que se saliera de su papel y
comenzara a hablar por s mismo, quien realiza la atri
bucin de creencias puede decir de gente real de su
mundo algo como:1
(1) Hay ciertos individuos de los cuales Ral cree
que son espas,
con lo que no se est limitando a decir:
(2) Ral cree lo siguiente: 3jt (jc es un espa).
Si lo leemos de acuerdo con el modelo de la cita literal,
(1) se toma incoherente:
110
(3) 3x (Ral cree lo siguiente: \x es un espa).

La cita literal incluida en (3) no es ms que un nombre
que consta de una cadena de diez letras y tres espacios;
la x que aparece dentro de las comillas no tiene nada
que ver con el 3x que precede a los parntesis. (1)
atribua de re una creencia; la cita literal la atribuye de
dicto.
f
Entre (1) y (2) podemos experimentar la vital di
ferencia que existe entre sospechar de alguien en con
creto y meramente creer, como todo el mundo, que hay
espas. Es una cuestin de saber o no quin es mere
cedor de nuestra sospecha. Pero cuando observamos el
problema con ms detenimiento, el contraste se vuelve
mucho menos claro: en qu consiste ese saber quin?;
quizs en conocer algn rasgo distintivo? El ejemplo,
debido a Robert Sleigh, del espa ms bajo echa por
tierra esta posibilidad: el rasgo es nico, pero seguimos
sin saber quin es ese espa. Necesitamos saber su
nombre?; o, quizs, ser capaces de reconocer su cara?
No hay una respuesta que valga para todos los casos.
Lo que necesitamos saber es aquello que pudiera ser
til a nuestros agentes de contraespionaje en una si
tuacin concreta.
Mi conclusin es que el requisito caracterstico de
las actitudes preposicionales de re, esto es, el requisito
de saber quin o qu, cambia con las circunstancias y
carece de criterio general. Las construcciones de re per
tenecen, junto con los demostrativos, los pronombres
personales y los tiempos verbales, a la familia de los
decticos. Estos nos son indispensables en el discurso
cotidiano, y lo mismo puede decirse, como claramente
muestra (1), de las actitudes proposicionales de re, aun
INTENSIN
111
que al mismo tiempo nos neguemos a incluir estos giros

entre las oraciones eternas que pueblan la ciencia. Por
el contrario, las actitudes proposicionales de dicto en
cajan perfectamente en el entramado de la lgica de
predicados, al ser consideradas construcciones referencialmente opacas que podemos tratar como un caso de
cita literal digerible mediante su deletreo.
29.
M onism o anm alo
En el 24 llegamos a la conclusin de que resultara

bastante difcil de llevar a cabo una interpretacin neurolgica de la oracin Toms percibe que llueve, in
cluso si su aplicacin se restringiera a las percepciones
de lluvia por parte de este sujeto individual y si co
nociramos detalladamente cmo est dicho sujeto
neuronalmente construido. Y luego llegbamos tam
bin a la conclusin de que no cabe siquiera plantearse
una interpretacin neurologica de percibe que llueve
que fuera aplicable a todo individuo.
Pero, con todo, cada percepcin es un suceso par
ticular que ocurre en un cerebro concreto, un suceso
que sera completamente especificable en trminos
neurologicos si lo conociramos con detalle. No po
demos decir lo mismo de una creencia, que puede ser
compartida con los dems; en cambio, s podemos de
cir ms o menos lo mismo con respecto a la posesin
de la creencia por cada individuo. El perodo de tiempo
a lo largo del cual yo mantengo la creencia de que la
tierra gira se diferencia de perodos previos, al menos,
por la existencia de ciertas disposiciones verbales; y
112
stas deben de tener su origen en ciertos rasgos parti

culares de mi sistema nervioso.
Si no queremos que las percepciones, al igual que
las apropiaciones individuales de las creencias y el resto
de las actitudes preposicionales, se esfumen del mundo
real, hemos de considerarlas realidades neuronales
(vase el 27). La explicacin fsicalista de los acae
cimientos y estados neuronales progresa tranquilamen
te sin la interferencia de leyes mentales o conceptos
intensionales. Irreductiblemente mentales son nica
mente las agrupaciones que realizamos de esos acae
cimientos y estados: agrupamos un buen nmero de
respetables percepciones fsicas como percepciones de
que p, y agrupamos un buen nmero de respetables
casos individuales de creencia como la creencia de
que p. Acepto la postura que Davidson llama monismo
anmalo; segn esta postura, no existe substancia men
tal alguna pero hay formas irreductiblemente mentales
de agrupar estados y acaecimientos fsicos.
En un primer momento, el problema de lo mental
era un problema ontolgico y lingstico. Cuando el
concepto de mente como substancia fue abandonado,
persisti el problema del lenguaje mentalista; este es
un problema con dos caras, la sintctica y la semntica.
El rasgo sintctico que caracteriza al lenguaje mentalista es la clusula proposicional que p \ sta constitua
una amenaza para la extensionalidad, es decir, para la
sustitutividad de la identidad y, de forma ms general,
para la posibilidad de intercambiar salva veritate todos
los trminos y clusulas coextensivos. Y constitua, por
ltimo, una amenaza para la lgica de predicados como
marco terico universal. Pero ahora este 25 por 100
del problema de lo mental se halla en franco camino
INTENSIN
113
hacia su disolucin. Pues el tratamiento de las actitudes

proposicionales de dicto como citas literales las recon
cilia con el dominio extensional de la lgica de pre
dicados, gracias a la sustitucin ulterior de la cita literal
mediante el deletreo. Las actitudes proposicionales de
re, por su parte, las hemos degradado a la categora de
meros decticos, extraos a la teora.
Los giros de actitud proposicional no son los nicos
giros intensionales\ esto es, no son los nicos que trans
greden las normas de la extensionalidad. A continua
cin pasar a ocuparme de otros, y sugerir igualmente
que podemos prescindir de ellos. Admitido esto, todo
lo que queda del problema de lo mental es el 25 por
100 semntico. La sintaxis ha sido ya puesta en orden
desde el punto de vista lgico.
El rasgo ms caracterstico de los trminos mentalistas es su irreductibilidad a la neurologa. Aunque fisiologicemos su referencia, no dejan de constituir flecos
aadidos a la estructura homognea de la ciencia na
tural. Y, dicho sea de paso, unos flecos no tan suscep
tibles de ser sometidos a control emprico como sera
deseable (vase el 27). Con todo, como ha preconizado
Dennett, las explicaciones mentalistas pueden enrique
cer a la ciencia ms austera con estudios de caso e,
incluso, sugerir nuevas hiptesis cientficas.
30.
G iros
modales
Los giros modales de necesidad y posibilidad no

son abiertamente mentalistas, pero no dejan por ello
de ser intensionales, en tanto en cuanto se resisten a
la sustitutividad de la identidad. Aqu nos volvemos a
8 .- QUINE
114
encontrar la interaccin entre lo de dicto y lo de re.

As, la oracin nec (7 < el nmero de los planetas) es
verdadera de re, pues nec (7 < 9), pero falsa de dicto.
En lo que respecta a utilidad, se puede decir menos
en favor de la nocin de necesidad que en favor de las
actitudes proposicionales. La expresin necesariamen
te cumple una cierta funcin en el discurso cotidiano,
pero se trata de una funcin de escasa enjundia. Aa
dimos a una oracin el adverbio necesariamente cuan
do suponemos que la oracin ser aceptada sin pro
blemas por nuestro interlocutor y cuando traerla a
colacin no es ms que un paso hacia el debate de las
oraciones discutibles. O, tambin, escribimos nece
sariamente para sealar que algo se sigue de afirma
ciones generales cuya validez ha sido establecida pre
viamente, como cuando nos dedicamos a atacar nuevas
conjeturas o hiptesis. La utilidad de estos usos de la
expresin necesariamente es local, transitoria y ca
rente de problemas, como la utilidad de las expresiones
decticas. De este modo, no llegamos a reducir a cenizas
la sublimidad de la verdad necesaria, pero s a vulgar
arcilla.
El subjuntivo o condicional contrafctico se ha vis
to fuertemente asociado al giro de necesidad y puede
ser descrito de una forma similar que expresa casi una
posicin de sentido comn. El condicional es vlido si
su consecuente se sigue lgicamente de su antecedente
combinado con oraciones no expresas que nuestro in
terlocutor est dispuesto a aceptar sin discusin, o con
otras oraciones cuya validez hemos establecido pre
viamente o asumido implcitamente a lo largo de nues
tra argumentacin. El consecuente del condicional se
sigue ceteris paribus de su antecedente, y esas oraciones
INTENSIN
115
que actan como premisas adicionales son los cetera

paria.
Ya que hablamos de sublimidad y arcilla comn,
debera detenerme por un momento para decir una
palabra sobre esencias. Cuando los defensores de la
lgica modal usan la palabra necesidad, pretenden
otorgar a esta palabra un sentido objetivo, como si
hubiera una necesidad metafsica o fsica. Pero enton
ces debe tener sentido hablar de la esencia de una cosa,
que incluye todas aquellas propiedades que la cosa po
see necesariamente. Pues decir *x necesariamente tiene
la propiedad F9no es decir ms que nec Fx\ La esencia
tiene que ser de re, inherente a la cosa con indepen
dencia de cmo nos refiramos a ella, pues la cosa ha
de ser, como en este caso, el valor de una variable
neutral.
Dentro del uso cotidiano que he descrito ms arri
ba, necesariamente es una acotacin de segundo or
den por medio de la cual se hace saber que la verdad
de la oracin que acompaa es admitida por todos los
interesados, al menos dentro del mbito y las nece
sidades de la argumentacin en curso. Un papel de
segundo orden similar es el que le cuadra a posible
mente. Este adverbio, que simplemente significa no
necesariamente no, indica que las creencias o pre
supuestos asumidos por las partes en disputa no nos
ordenan rechazar por falsa la oracin en la que el ad
verbio est incluido. Gracias a nuestra abrumadora
ignorancia, el mundo de posibilidades as instituido
es mucho ms vasto que el de la necesidad. Es el reino
habitado por todos nuestros planes y conjeturas, por
todas nuestras esperanzas y todos nuestros temores.
116
31.
U na
herencia mentalista
El que cada uno de los individuos implicados sea

capaz de darse cuenta de qu est percibiendo el otro
es, como vimos en el 24, fundamental para el manejo
del lenguaje. As pues, la vena mentalista tiene races
arcaicas. Esta vena es patente en el animismo, la pri
mitiva atribucin, a escala desmedida, de mentes a los
cuerpos. Quizs haba un vestigio del animismo en la
teora aristotlica del movimiento natural de las sus
tancias: la tierra hacia abajo, el fuego hacia arriba, las
estrellas dando vueltas y ms vueltas. Percibimos tam
bin el dominio arcaico del mentalismo en la prefe
rencia por la causa final sobre la eficiente como forma
de explicacin. Esta preferencia es evidente en la Edad
Media; as, los bestiarios explicaban supuestos rasgos
y prcticas de ciertos animales como la forma de la
cual Dios se haba servido para establecer ejemplos
morales que los hombres pudieran emular. Tal predi
leccin por la explicacin mediante la causa final es
todava patente en aquellas personas que buscan el sen
tido de la vida. Quieren explicar la vida descubriendo
su meta.
Las metas se cuentan entre las variadas nociones
mentalistas que obtenemos mediante la consideracin
introspectiva de nuestra vida mental. Otras nociones
de esta ndole son las de disposicin y capacidad. Las
tres reflejan nuestro sentido de la voluntad, nuestra
sensacin de que somos libres para elegir y actuar. La
modalidad de posibilidad es quizs una proyeccin
despersonalizada de la sensacin subjetiva de capaci
dad, una reminiscencia de la proyeccin animista de
espritus sobre las rocas y los rboles. La necesidad
INTENSIN
117
podra verse, a su vez, como una proyeccin de la sen

sacin subjetiva de coaccin o restriccin de la capa
cidad.
Supongo que incluso la idea de causa eficiente fue
mentalista en su origen, y que consisti en una pro
yeccin de la sensacin subjetiva de esfuerzo. En cual
quier caso, acab ganndole la partida a la causa final
con el desarrollo de la fsica en el Renacimiento. De
este modo, la materia le ganaba la partida a la mente.
La mente acababa de hacerse desinteresadamente el
harakiri, en tanto que la materia y la causa eficiente
formaban un tndem formidable, respaldado poste
riormente por oleadas de predicciones acertadas.
La causa final sigui conservando funciones expli
cativas, no slo en relacin a la mente del hombre sino
tambin en biologa. Aqu se convirti en motivo de
sonrojo, al privar a esta disciplina del estatus auste
ramente cientfico que haba llegado a disfrutar la f
sica. Finalmente, sin embargo, Darwin vino a zanjar
la cuestin, reduciendo la causa final en biologa a cau
sa eficiente, por medio de su teora de la seleccin
natural.
La causa eficiente sigue ocupando una posicin res
petable en regiones bastante austeras de la ciencia. No
es claramente intensional, al no ofrecer resistencia a la
sustitutividad de la identidad, pero se parece a los giros
intensionales en que nos intercala en nuestras oracio
nes otras oraciones que no hay manera de asimilar. En
efecto: no nos es posible traducir la oracin p porque
q' recurriendo nicamente a predicados, cuantifcadores y funciones veritativas, ni disponemos tampoco
de una nocin de causa tan clara como sera de desear.
Las manifestaciones ms austeras de la ciencia dejan
118
a un lado esta nocin y se conforman con afirmar la

existencia de concomitancias entre fenmenos.
Las disposiciones, como las causas, admiten la sustitutividad de la identidad pero se resisten al clculo
de predicados. Tambin se parecen a las causas en su
falta de claridad. Pero estos escrpulos pueden ser di
sipados rpidamente, pues no es necesario atribuir a
los sufijos disposicionales contenido terico alguno.
Frgil y soluble son tan predicados de la fsica como
cualquier otro, y la forma dispositional de las palabras
no es ms que un lacnico mensaje codificado que in
dica la existencia de un mtodo de prueba o de un
sntoma relativamente fiable. Que algo se rompa con
un impacto y que algo se disuelva al ser sumergido
constituyen sntomas de fragilidad y solubilidad. Vase
Roots of Reference, 3-4.
5.
VERDAD
32.
V ehculos d e la ver d a d
Muchas personas estn de acuerdo en afirmar que

son las proposiciones las que son verdaderas o falsas.
Pero el acuerdo no sera tan amplio si no fuera por la
ambigedad de la palabra proposicin. Algunos in
terpretan que esta palabra se refiere a ciertas oraciones
que cumplen unas determinadas condiciones. Otros,
por su parte, interpretan que se refiere a los significados
de esas oraciones. Lo que pareca un amplio acuerdo
da paso de este modo a dos escuelas diferentes de pen
samiento: mientras que para la primera los vehculos
de la verdad y el pensamiento son las oraciones, para
la segunda lo son los significados de las oraciones.
Esta segunda postura tiene su flanco dbil en lo
vulnerable de la nocin de significado oracional. Tal
vulnerabilidad da paso a un total resquebrajamiento si
uno encuentra convincente mi tesis de la indetermi
nacin de la traduccin (vanse 18 y 21). Incluso sin
necesidad de echar mano de mi tesis parece poco na
tural arrinconar las oraciones visibles o audibles para
elegir los significados oracionales como vehculos de
120
la verdad; pues slo nos es posible decir qu significado

oracional tenemos en mente recurriendo previamente
a la oracin.
Existe ciertamente un motivo para insistir en la
opcin por los significados de las oraciones. Con fre
cuencia consideramos que oraciones de una cierta len
gua o de lenguas distintas tienen el mismo significado,
y que las diferencias entre ellas no afectan a sus valores
de verdad; de modo, parece, que podramos simplificar
el campo de estudio mediante la atribucin de la ver
dad a los significados mejor que a las oraciones. Este
motivo sera excelente si la nocin de significado ora
cional no fuera tan problemtica. Pero tal y como estn
las cosas, lo mejor ser ocupamos directamente de las
oraciones. Aqu hay algo ms slido a lo que hincarle
el diente.
Una segunda razn, igual y opuesta a la primera,
se ha invocado para preferir la opcin de los signifi
cados oracionales; la razn es que la misma oracin
puede ser verdadera en ciertas ocasiones y falsa en otras.
As, la oracin 1 papa va a visitar Boston fue ver
dadera pero se tom falsa despus de su ltima visita.
Me duele la cabeza es verdadera o falsa dependiendo
de quin la diga y en qu momento. La ambigedad o
vaguedad de los trminos puede, asimismo, dar lugar
a que el valor de verdad de una oracin dependa en
parte de la intencin del hablante.
Las proposiciones, entendidas como significados
oracionales, eran exclusivamente los significados de una
clase ms slida de oraciones, unas oraciones que no
estn sujetas a tales vicisitudes; se trata de lo que po
VERDAD
121
demos llamar oraciones eternas.1 Mi posicin es, en

tonces, obvia: son las oraciones eternas las que pueden
servimos como vehculos de la verdad. Para ello, su
pongamos que hemos sustituido trminos como yo,
t, l, ella, aqu, all por nombres de individuos
y direcciones de lugares, o por otras expresiones que,
como las anteriores, nos permiten identificar objetos;
que hemos eliminado los tiempos verbales; que po
demos usar fechas, el predicado antes de y otros giros
similares cuando lo estimemos necesario. Y suponga
mos que los casos de ambigedad y vaguedad son re
sueltos mediante parfrasis -no por completo, pero s
en la medida necesaria para fijar el valor de verdad de
las oraciones particulares. Los valores de verdad no
tienen por qu ser conocidos pero deben ser estables.
La actitud resultar familiar a quienes ensean lgica.
Cuando tomamos una oracin ilustrativa del habla co
tidiana y la parafraseamos en la notacin de funciones
veritativas y cuantificadores, damos -tcitamente- por
fijada la referencia de los demostrativos y pronombres
personales, y no nos planteamos siquiera leer
como
exista o existir un x \
En las pginas que siguen considerar vehculos de
la verdad, como regla general, a las oraciones decla
rativas sometidas al proceso que acabo de describir
1. En mis libros sobre lgica de 1940, 1941 y 1950, as como en sus
ediciones revisadas posteriores, utilic la palabra enunciado para referirme
a ellas; pero luego prefer dejar de utilizarla, debido a que ha sido usada
habitualmente para referirse a un acto. Las expresiones oracin eterna y
oracin fija (vase el 4) datan de la poca de Word and Object. De ellas,
oracin fija es la ms inclusiva. As, la oracin Ha llegado el Times es
fija, pues puede provocar nuestro asentimiento durante todo el da con
independencia de qu estmulos estemos recibiendo en cada momento; pero
no es eterna.
122
-esto es, a las oraciones eternas. En general, esta lnea

es conveniente desde un punto de vista terico. Hay
que reconocer, sin embargo, que al adoptarla estamos
dejando a un lado la mayor parte de lo que en el dis
curso cotidiano se considera verdadero o falso, pues la
mayora de nuestras proferencias no se han sometido
al proceso de refinamiento descrito. Los vehculos de
verdad directamente relacionados con la conducta no
son las oraciones, esto es, formas lingsticas repetibles,
sino los actos individuales de proferencia de aqullas.
Estas proferencias son, en su mayor parte, unvocas en
su valor de verdad sin necesidad de la ayuda de pa
rfrasis. Slo de manera ocasional se producen fallos,
quizs debidos a que algn nombre resulte estar vaco
de contenido o a que algn trmino vago sufra de una
indeterminacin que afecte a la proferencia de que se
trate. Lo mejor en estos casos es convenir que tales
proferencias no son ni verdaderas ni falsas.
Basten las consideraciones anteriores para dar
cuenta de las complejidades de la conducta verbal. Vol
vamos ahora al ms manejable dominio de las oracio
nes eternas, cuyos valores de verdad, conocidos o no,
nunca varan.
33.
V erdad
como desentrecomillado
Una vez nos hemos pronunciado acerca de cules

son los portadores de la verdad, queda por determinar
en qu consiste la verdad de stos. Se ha dicho que la
verdad de las oraciones consiste en su correspondencia
con la realidad. Pero la correspondencia palabra por
palabra no nos sirve, pues nos llevara con facilidad a
VERDAD
123
abarrotar el mundo real, slo por satisfacer las exigen

cias de la correspondencia, con una extraa multitud
de objetos imaginarios. Un plan mejor sera el de pos
tular hechos, cada uno de ellos correspondiente a una
oracin verdadera considerada como un todo; pero esta
no dejara de ser una maniobra ad hoc. Necesitamos
ciertamente objetos en abundancia, concretos y abs
tractos, para dar cuenta de la realidad; pero los hechos
no aportan nada ms que su apoyo aparente a una
teora de la correspondencia.
Con todo, la teora de la verdad como correspon
dencia tiene un fondo vlido, puesto de manifiesto por
Tarski. En vez de decir que
La nieve es blanca es verdadera si y slo si es un
hecho que la nieve es blanca
podemos eliminar sin ms, por vacua, la expresin es
un hecho que y, con ella, los hechos mismos:
La nieve es blanca es verdadera si y slo si la nieve
es blanca.
Predicar la verdad de la oracin es lo mismo que
predicar la blancura de la nieve; en eso consiste la co
rrespondencia en este ejemplo. La atribucin de verdad
simplemente elimina las comillas. La verdad es desen
trecomillado.
De este modo, el predicado verdad es superfluo
cuando se predica de una oracin dada; basta con pro
ferir la oracin. Pero es necesario cuando la oracin
no est ya dada. As, puede que queramos decir que
todo lo que alguien dijo en cierta ocasin era verdad,
124
o que todas las consecuencias de teoras verdaderas son

tambin verdaderas. Cuando se analizan desde un pun
to de vista lgico contextos como estos, encontramos
que el predicado verdad no es aplicado a una expre
sin entrecomillada sino a un pronombre o variable
ligada.
El predicado verdad resulta imprescindible cuan
do queremos llevar a cabo una generalizacin en el
contexto de ciertos mbitos que no pueden ser abar
cados por un trmino general. La forma fcil de ge
neralizar queda ilustrada por la generalizacin reali
zada sobre el trmino Scrates en Scrates es mortal;
mediante dicha generalizacin obtenemos la oracin
Todos los hombres son mortales. El trmino general
hombre ha servido para abarcar el mbito de gene
ralizacin deseado. Un ejemplo de generalizacin ms
complicada nos lo proporciona la generalizacin que
llevamos a cabo sobre la clusula el tiempo vuela en
Si el tiempo vuela, entonces el tiempo vuela. Que
remos decir que esta oracin compuesta seguir siendo
verdadera cuando la clusula que en ella aparece re
petida sea sustituida por cualquier otra; y no hay mejor
manera de hacerlo que dicindolo simplemente con
esas mismas palabras, incluyendo la palabra verda
dera. Decimos: Todas las oraciones de la forma Si
p entonces p son verdaderas. No podramos llevar a
cabo la generalizacin de la forma en que lo hicimos
con Todos los hombres son mortales, pues el tiempo
vuela no es, a diferencia de Scrates, el nombre de
un elemento perteneciente a una cierta gama de objetos
(hombres, en este caso) sobre los que pueda realizarse
la generalizacin. Hemos superado este problema me
diante ascenso semntico, esto es, elevndonos a un
VERDAD
125
nivel en el cual s que hay objetos a partir de los cuales

es posible generalizar; estos objetos son objetos lin
gsticos, oraciones.
El ascenso semntico tiene tambin su utilidad fue
ra de la lgica. Cuando Einstein, con su teora de la
relatividad, alter nuestras concepciones bsicas de
la distancia y el tiempo, resultaba difcil formular esta
nueva visin de la realidad sin apoyarse sobre las mis
mas concepciones bsicas que se estaba procediendo a
reemplazar; y esto amenazaba con conducimos a un
crculo vicioso. Pero el ascenso semntico permita
comparar la teora nueva y las antiguas en tanto que
estructuras simblicas, lo que, a su vez, permiti com
probar que la teora nueva organizaba los datos per
tinentes de una forma ms sencilla que las antiguas. Es
posible apreciar la simplicidad de las estmcturas sim
blicas con independencia de las concepciones bsicas
en disputa.
Como ya sugera la teora de la verdad como co
rrespondencia, el predicado verdad es un intermedia
rio entre las palabras y el mundo. Lo que es verdadero
es la oracin, pero su verdad consiste en que el mundo
sea como la oracin dice. De ah que se haga necesario
el uso del predicado verdad en el momento de llevar
a cabo el ascenso semntico.
El enfoque de la verdad como desentrecomillado
no define el predicado verdad en el sentido estricto de
la palabra definir; pues una definicin en sentido es
tricto nos dira cmo eliminar el trmino definido de
todo contexto que elijamos, para sustituirlo por una
expresin previamente establecida. Pero el enfoque desentrecomillador s que define la verdad en un sentido
menos estricto de la palabra definir. Nos dice, para
126
toda oracin, en qu consiste que esa oracin sea ver

dadera, y nos lo dice de una manera tan clara para
nosotros como la oracin misma. Entendemos en qu
consiste que la oracin La nieve es blanca sea ver
dadera con la misma claridad con que entendemos en
qu consiste que la nieve sea blanca. Evidentemente,
la gente no debera devanarse demasiado los sesos con
el adjetivo verdadero, sino ms bien con las oraciones
de las que este adjetivo se predica. Verdadero es un
adjetivo transparente.
El enfoque de la verdad como desentrecomillado es
claro y simple, como vemos, en el caso de las oraciones
eternas. Pero es, adems, fcilmente extensible al mun
do cotidiano de las proferencias individuales; as, una
proferenda de la oracin Me duele la cabeza ser ver
dadera si y slo si quien la profiere tiene un dolor de
cabeza en el momento de proferirla.
34.
P aradojas
Parece paradjico que el predicado verdadera, a

pesar de su transparencia, nos sea til hasta el extremo
de resultar indispensable. En cuestin de paradojas, sin
embargo, no hemos hecho ms que empezar. La verdad
se halla enredada en paradojas hasta el extremo de
verse afectada por una antinomia pura y dura.
Una antigua forma de la antinomia de la verdad la
encontramos en la paradoja del mentiroso, quien afir
ma: Estoy mintiendo, o Esta oracin no es verda
dera. Una versin ms laxa y ms adornada es la pa
radoja de Epimnides el cretense, quien dijo que todos
los cretenses eran unos mentirosos. Es posible purificar
VERDAD
127
para propsitos lgicos la antinomia subyacente y for

mularla como sigue:
(1) da lugar a una falsedad cuando se aade a su
propia cita literal da lugar a una falsedad
cuando se aade a su propia cita literal.
Siguiendo las instrucciones contenidas en (1), aa
dimos la frase de 13 palabras a su cita literal. El re
sultado es, de nuevo, (1). De este modo, (1) resulta ser
falsa. Viene a ser una expresin equivalente a Estoy
mintiendo, pero ms ntida. Esta formulacin de la
paradoja descansa nicamente sobre las inocuas ope
raciones de citar y aadir, as como sobre la nocin de
falsedad, que se reduce a un inocente no seguido del
predicado verdadera. Este predicado es claramente el
elemento problemtico. La conclusin inevitable es que
el predicado verdadera, a pesar de su transparencia y
aparente trivialidad, es incoherente a menos que lo
restrinjamos de algn modo.
Antes de continuar con esta exposicin, necesita
remos aadir un nuevo elemento a nuestra termino
loga. Diremos que el predicado verdadera desentre
comilla una cierta oracin S si la forma
_____ es verdadera si y slo si_____
se toma verdadera cuando S se cita entre comillas en
el primer espacio en blanco y simplemente escrita en
el segundo. De este modo, lo que la concepcin de la
verdad como desentrecomillado viene a decir es que
toda oracin eterna es desentrecomillada por el pre
dicado verdadera. Pero la leccin que obtenemos de
128
la antinomia es que si un lenguaje dispone de los ino

centes recursos que le permiten llevar a cabo los proce
sos de citar y aadir, y tambin de los recursos propios
de la lgica elemental, entonces no puede contener tam
bin -so pena de inconsistencia- un predicado, el pre
dicado verdadera, que desentrecomille todas sus ora
ciones eternas. Ese predicado, o la mejor aproximacin
a l que consigamos, no puede desentrecomillar todo
lo que se le ponga por delante. En concreto, debe abs
tenerse de desentrecomillar todas aquellas oraciones en
las que l mismo est contenido; ah, precisamente,
radica el problema con (1). Adems, naturalmente, debe
abstenerse de desentrecomillar todas aquellas oracio
nes que contengan trminos mediante los cuales dicho
predicado pudiera ser parafraseado. Esto, si exceptua
mos la especial orientacin de lo que vengo diciendo
del citar y el aadir, es en esencia lo que se conoce
como teorema de Tarski. A decir verdad, Tarski ha
demostrado cosas ms difciles que esta.
El predicado verdadera no pierde con ello su uti
lidad, pues todava puede desentrecomillar todas las
oraciones eternas que no lo contengan y otras expre
siones por el estilo. Y, adems, es posible buscar aco
modo incluso a las aplicaciones del predicado que aca
bamos de excluir, mediante el recurso a una jerarqua
de predicados de verdad. La jerarqua comienza con
un predicado, verdaderao, que desentrecomilla todas
las oraciones que no contengan ningn predicado de
verdad ni ningn dispositivo equivalente. A continua
cin, otro predicado, verdadera/ desentrecomilla to
das las oraciones que no contengan ningn predicado
de verdad o dispositivo equivalente, a excepcin de
verdaderao; y as sucesivamente. Se trata de una je-
VERDAD
129
rarqua de predicados de verdad cada vez ms perfec

cionados. Esta estrategia se remonta, en cierto modo,
hasta las primeras fases de la teora de los tipos de
Russell (1908), mediante la cual ste pretenda cerrar
el paso, entre otras, a la paradoja del mentiroso.
35.
La
construccin tarskiana
Ya hemos visto cmo la nocin de desentrecomi

llado nos sirve para definir la verdad, en un sentido
laxo de la palabra definir. Ahora nos podemos alegrar
de esa laxitud, una vez hemos comprobado cun pro
blemtico sera intentar definir la verdad para un len
guaje sin abandonar ese lenguaje. En estas circunstan
cias emprendi Tarski la peligrosa aventura consistente
en intentar definir, de la forma ms acabada posible,
la verdad para el lenguaje desde el interior de ese mis
mo lenguaje, aunque slo fuera para acabar dndose
cuenta de la escasa importancia del obstculo que con
segua esquivar mediante esta maniobra. No fue este
su orden de exposicin, pero el resultado es el mismo.
El lenguaje elegido a la hora de llevar a cabo la
construccin contiene las expresiones lgicas requeri
das para la cuantificacin y las funciones veritativas,
as como la expresin a e y \ propia de la teora de
conjuntos, para la pertenencia.2 Contiene tambin un
lxico finito, tan amplio como se desee, de predicados
tiles para la ciencia natural y la vida diaria. Y, por
2.
Recuerdo a aquellos de mis lectores que estn esperando una di
ferenciacin entre lenguaje objeto y metalenguaje que todava me estoy
ocupando de la peligrosa aventura que mencion anteriormente.
9. - QUINE
130
ltimo, contiene los medios para citar y aadir, como

en (1); dicho de otro modo, este lenguaje permite es
pecificar cada uno de sus signos simples y expresar la
concatenacin de sus expresiones.
La verdad es propia de oraciones cerradas, esto es,
de oraciones que no contienen variables libres. El co
rrelato de la verdad para las oraciones abiertas es el
predicado didico de satisfaccin. Una asignacin de
objetos a variables satisface una oracin si esa oracin
es verdadera para esos valores de sus variables libres.
Qu tipo de objeto es una asignacin de objetos a
variables? Es, simplemente, una funcin, una relacin
mediante la cual relacionamos un y slo un objeto con
cada variable -esto es, con cada letra, V, x, y, z \
w**, etc. Una relacin, a su vez, es un conjunto, o clase,
de pares ordenados. Es bien conocido cmo es posible
definir contextualmente la notacin <x,y> de los pares
ordenados con la ayuda de psilon y las partculas l
gicas.
Una vez hemos definido la nocin de satisfaccin,
la de verdad est al alcance de la mano; pues una ora
cin cerrada, que no tiene variables libres, es trivial
mente satisfecha por todas las asignaciones o por nin
guna, segn sea verdadera o falsa. Podemos definir
simplemente
(2) "y es verdadera como Vx (x es una asignacin
x satisface y)\
De modo que el trabajo principal que ha de afrontar
Tarski es el de definir la nocin de satisfaccin. Para
ello, la define primero para oraciones atmicas, cada
una de las cuales consta nicamente de un predicado
VERDAD
131
acompaado de una o ms variables. Por ejemplo, di

remos que una asignacin satisface la oracin atmica
x e y' si, y slo si, lo que se asigna a la letra \x* es un
miembro de aquello que se asigna a la letra y. Y del
mismo modo, mutatis mutandis, para cada uno de los
otros predicados incluidos en el lxico. A continuacin
podemos decir que una asignacin satisface una dis
yuncin de oraciones si, y slo si, satisface una de las
dos oraciones o ambas; que satisface una conjuncin
si, y slo si, satisface las dos; y que satisface una ne
gacin si, y slo si, no satisface la oracin que se niega.
Por ltimo, una asignacin satisface una cuantificacin
existencial de la forma 3x:(...x..) si, y slo si, hay al
guna asignacin -que coincidir completamente con
aqulla, excepto, quizs, en el valor que asigna a xque satisfaga
Esta es, pues, la definicin recursiva o inductiva de
satisfaccin elaborada por Tarski. Tal definicin da
cuenta de manera inmediata de la satisfaccin de ora
ciones atmicas, y luego da cuenta de la satisfaccin
de oraciones de grado o complejidad superior a par
tir de la satisfaccin de sus componentes. No hemos
hecho referencia a la cuantificacin universal porque
es posible expresarla, como es bien sabido, por medio
de la cuantificacin existencial y la negacin.
36. Esquivando
la paradoja
Es evidente que todas las clusulas de esta defini

cin inductiva pueden ser formuladas dentro del len
guaje formal mismo, con la excepcin de la palabra
satisface, que es la que se est definiendo. De este
132
modo, da la impresin de que hemos definido la nocin

de satisfaccin en un lenguaje sin salimos de los lmites
de ese lenguaje. A continuacin podemos, mediante
(2), hacer lo mismo con la nocin de verdad. Pero,
como vimos ms arriba, se supone que esto nos con
duce a una contradiccin.
Incluso podramos llegar a una contradiccin di
rectamente a partir de la nocin de satisfaccin, sin
necesidad de desviamos a travs del predicado ver
dadera y de las oraciones (1) y (2). Para ello basta con
que preguntemos si la asignacin de la oracin \(x
satisface x) a la variable \x satisface la mismsima
oracin *i(x satisface x). En esto consiste la llamada
paradoja heterolgica de Greiling.3
Lo que salva la situacin es el hecho de que la de
finicin de satisfaccin no es directa sino inductiva.
La definicin inductiva explica la satisfaccin de cada
oracin concreta pero no proporciona una traduccin
de : satisface y con valores cambiantes de y. Esta
definicin inductiva, por tanto, no traduce la expresin
* i(jc satisface y) de la paradoja de Greiling, ni presta
su concurso a la definicin de verdad contenida en (2)
para el caso de valores cambiantes de y; antes bien,
se limita a explicar la verdad de cada oracin cerrada
concreta. Deja al predicado verdadera en el mismo
estado en que lo dej la concepcin de la verdad como
desentrecomillado, esto es, completamente explicado
por lo que hace a su aplicacin a cada oracin parti
cular, pero no por lo que hace a su aplicacin a una
cierta variable.
3.
Vanse las pp. 4-6 de mi libro Ways o f Paradox.
VERDAD
133
Este intento que acabo de describir se acerca bas

tante a su objetivo; ahora paso a ocuparme de otro que
se acerca todava ms. Tratando de nuevo las relacio
nes como clases de pares ordenados, podemos escribir
i<x,y> e z para decir que x mantiene con y la relacin
z. Supongamos ahora que traducimos a nuestro len
guaje formal la definicin inductiva de satisfaccin re
cogida ms arriba, y que lo hacemos de manera que la
variable z ocupe siempre el lugar de la expresin sa
tisface y, por tanto, de forma que <x,y> e z ocupe
en todo momento el lugar de x satisface y \ Abreviemos
ahora esta formulacin de la definicin inductiva como
z \ Mediante esta expresin, z queda fijada como la
relacin de satisfaccin. Como es evidente, llegamos
de este modo a una definicin directa de x satisface
construida por completo en el interior del lenguaje
formal mismo:
(3) 3( <x,y> e z)
Ahora bien: no caemos con ello en una contradic
cin? Claramente no. La pega consistira aqu en que
podra no haber ninguna relacin z tal que . Pero
mejor, desde luego, que no la haya, porque ello nos
conducira, como acabamos de ver, a una contradic
cin. El predicado didico satisface sigue estando bien
definido por medio del procedimiento inductivo, pero
el hecho de que logremos entender el predicado y el
modo de usarlo no nos proporciona seguridad alguna
acerca de la existencia del objeto abstracto correspon
diente, a saber, un conjunto de pares ordenados. Y,
faltando tal conjunto de pares ordenados, (3) fracasa
en su intento de traducir la oracin x satisface y \ Aun
134
que incluso dentro del lenguaje formal el predicado de

satisfaccin se explica adecuadamente por medio de la
recursion, no queda reducido a la notacin previa de
dicho lenguaje. La satisfaccin y, con ella, la verdad,
conservan el estatus que la verdad ya disfrutaba dentro
de la concepcin desentrecomilladora, esto es, el de
nociones claramente inteligibles aunque no completa
mente eliminables.4
37.
Jerarquas
entrelazadas
La definicin inductiva explica completamente en

qu consiste la satisfaccin de una oracin por una
cierta asignacin. Afirmar que existe tal relacin de
satisfaccin o conjunto de pares ordenados es, por tan
to, una afirmacin de puro sentido comn. Sin em
bargo, las paradojas de la teora de conjuntos -las de
Russell, Burali-Forti, Cantor- han anulado la convic
cin de sentido comn de que la claridad de las con
diciones exigidas para considerar que un cierto ele
mento pertenece a una clase o conjunto bastan para
garantizar la existencia de la clase o conjunto en cues
tin. Todas estas paradojas conciernen en ltimo tr
mino al predicado de pertenencia e lo sorprendente
del caso que nos ocupa es que nos encontramos a la
teora de conjuntos enfrentndose a paradojas concer
nientes a las nociones de verdad y satisfaccin.
4.
El anlisis precedente es una adaptacin de las pp. 35-46 de mi
Philosophy o f Logic [pp. 69-86 ed. cast.]. Un anlisis hasta cierto punto
diferente, el contenido en mi artculo de 1952 On an Application o f Tars
kis Theory o f Truth, es sin embargo necesario cuando la teora de con
juntos admita tanto conjuntos como clases ltimas.
VERDAD
135
Algunos matemticos aaden al universo de las cla

ses, o conjuntos, un estrato de clases que no pueden
pertenecer a ninguna otra clase. Y usan los trminos
conjunto y clase, que hemos venido utilizando in
distintamente, para marcar la distincin: los conjuntos
son aquellas clases que pertenecen a otras clases. Al
estrato aadido de clases que no son miembros de nada,
por su parte, se las vino a denominar, con poca fortuna,
clases propiamente dichas, o verdaderas clases. Yo
las he llamado clases ltimas. Las mismas condiciones
de pertenencia que no eran capaces de establecer la
existencia de conjuntos pueden ser usadas ahora, sin
temor alguno a contradecirse, para establecer la de cla
ses ltimas. Desde este momento, cada condicin de
pertenencia exigida a conjuntos determina una clase;
esta quizs sea un conjunto, quizs una clase ltima.
Parsons (pp. 212-214) ha mostrado que la relacin de
satisfaccin, cuya existencia como conjunto de pares
ordenados no era posible establecer, disfruta de una
existencia sin problemas como clase ltima de pares
ordenados. De este modo hemos conseguido, despus
de todo, una definicin directa de satisfaccin y, por
tanto, de verdad. Pero la hemos conseguido nica
mente para oraciones de la teora antigua, a la que an
no han sido aadidas las clases ltimas.
Supongamos que adems de aadir las clases lti
mas hemos introducido un nuevo tipo de variables, que
pueden ocupar el lugar de las clases en general - a di
ferencia de las variables antiguas, vlidas nicamente
para conjuntos. Entonces debemos tener en cuenta la
importante precisin siguiente: la verdad, entendida tal
y como nos la presenta la definicin directa que acabo
de introducir, tiene asegurado su poder desentreco-
136
millador en el caso de todas las oraciones antiguas, pero

no en el de algunas oraciones de entre las que contienen
las variables nuevas.
Pero es posible repetir el procedimiento, aadiendo
sin cesar estratos y ms estratos de nuevas clases. l
timas ya no es un adjetivo adecuado para calificar las
clases; debo, pues, resignarme a utilizar la expresin
clases propiamente dichas. Las clases de cada nivel
admiten sin restriccin miembros pertenecientes ex
clusivamente a los niveles inferiores. En el nivel i-si
mo, para cada valor de i, las variables jc,, y/, etc.,
pueden estar en lugar de entidades de ese mismo nivel
y de los niveles inferiores; de este modo, las variables
)V> etc., pueden estar nicamente en lugar de con
juntos. Los predicados verdaderao, verdadera!, et
ctera, se pueden obtener entonces fcilmente median
te definicin directa. Para cada valor de z, verdadera,
llevar a cabo funciones desentrecomilladoras slo con
oraciones que no contengan variables ligadas perte
necientes a niveles superiores a i. De esta manera con
seguimos un lenguaje autocontenido con una jerarqua
de predicados de verdad cada vez mejores, aunque
nunca lleguemos a un predicado de verdad que pueda
considerarse el mejor. De todas formas, el predicado
verdaderao resulta suficiente en la mayor parte de los
casos, incluyendo la matemtica clsica.
En su primera versin de la teora de los tipos, a
la que ya me refer al final del 34, Russell pretenda
neutralizar tanto la paradoja de la verdad como la de
la pertenencia mediante el establecimiento de una ni
ca y compleja jerarqua de predicados. Su esquema era
vago y voluminoso. Ms adelante, l mismo y otros
afinaron y simplificaron dicho esquema para los pro
VERDAD
137
psitos de la teora de conjuntos, prescindiendo para

ello de las cuestiones relativas a la verdad, al considerar
stas extraas a dicha teora. Y ahora vemos cmo
finalmente la jerarqua de las clases y la jerarqua de
la verdad se entrelazan por razones claras pero sutiles
que no hubiera sido posible prever en tiempos de
Russell.
En la descripcin precedente, la jerarqua de las
variables de clase y la jerarqua de los predicados de
verdad aparecen entrelazadas dentro de un mismo len
guaje inclusivo. Esta es mi descripcin preferida. Pero
tambin podemos realizar la descripcin en trminos
de una jerarqua de lenguajes, cada uno de ellos pro
visto de un solo tipo de variables y un nico predicado
de verdad aplicable al lenguaje inmediatamente infe
rior. Esta descripcin alternativa tiene una importante
aplicacin en el terreno de las matemticas, donde per
mite determinar las potencias relativas de los sistemas
formales. Para mostrar que un sistema es ms potente
que otro se reinterpretan sus predicados hasta que nos
encontremos en condiciones de definir en su interior
el predicado de verdad del otro sistema.
38.
Tercio
excluso
Ahora voy a ocuparme de algunas concepciones de

la verdad aparentemente errneas. Una de ellas, cuyo
rastro podemos seguir hasta Aristteles, consiste en la
afirmacin de que una prediccin no es verdadera ni
falsa hasta que hayan ocurrido aquellos sucesos que
la determinan causalmente. Esta doctrina ha sido pre
conizada por los telogos. Si las predicciones contin
138
gentes fueran verdaderas ahora, razonan stos, los

acontecimientos estaran determinados ahora por el co
nocimiento divino, lo que les privara de su carcter
contingente. Y el determinismo que se sigue de ah, se
dice, no dejara lugar para la responsabilidad moral del
hombre.
Esta doctrina, por muy extravagante que pueda pa
recemos, no es incompatible con la concepcin de la
verdad como desentrecomillado. Si todava no es ver
dad que habr una batalla naval maana -por utilizar
el ejemplo propuesto por Aristteles-, entonces es un
error decir ahora que maana habr una batalla naval;
pues en este momento la oracin contingente que nos
ocupa no es ni verdadera ni falsa. La lgica implcita
aqu es, por supuesto, divergente, ya que la ley del
tercio excluso queda en suspenso hasta que no se d la
determinacin causal requerida. Pero el carcter desentrecomillador de la verdad permanece intacto.
Esto ltimo no resta extravagancia a esta posicin.
Junto al abandono de la ley del tercio excluso, nos
encontramos con un estrechamiento drstico de la gama
de oraciones con valores de verdad fijos. Afortuna
damente, sin embargo, el argumento teolgico que sub
yace a esta maniobra argumentativa a la desesperada
no es concluyente por lo que respecta a dos puntos.
Uno es la asuncin de la existencia de un Dios om
nisciente. El otro es la idea de que el determinismo
universal hace imposible la libertad de accin. Es po
sible argir que somos libres y responsables en tanto
en cuanto actuamos de la manera en que decidimos
hacerlo; el hecho de que nuestra eleccin est deter
minada por causas previas no es pertinente en este
contexto.
VERDAD
139
Otros aparentes desafos a la ley del tercio excluso

no son lo que parecen -o, al menos, no lo son total
mente. Hay que dejar claro, para empezar, que la ig
norancia de la verdad o falsedad de una oracin es
perfectamente compatible con el hecho de que esta sea
verdadera o falsa. Adems, frecuentemente ocurre que
es posible transformar una oracin en eterna mediante
procedimientos completamente diversos, que reflejan
las intenciones de un hablante en situaciones diferen
tes. Aqu son ms bien las proferendas respectivas las
que son verdaderas o falsas, as como los resultados de
elaborarlas de modo completo y sin ambigedades, si
es que nos tomamos la molestia de llevar a cabo se
mejante elaboracin. La oracin ambigua original no
es, ciertamente, ni verdadera ni falsa, pero este hecho
no tiene por qu verse como una transgresin de la ley
del tercio excluso; es mejor ver aqu una insuficiencia
que tendr que ser corregida de alguna manera me
diante el aadido correspondiente. Esta ltima solu
cin no era utilizable en el caso de las objeciones de
los telogos a las predicciones contingentes, porque en
este caso se supona que las oraciones adquiriran la
condicin de verdaderas o falsas, sin aadido alguno,
una vez que dejaran de ser contingentes.
Nos queda por considerar otro caso que amenaza
tambin, y con ms fuerza que los anteriores, la ley del
tercio excluso. Se trata del caso de aquellos presuntos
nombres o descripciones singulares que no designan
cosa alguna. Una posible solucin a adoptar, cuando
una oracin contiene una expresin de este tipo, con
siste en no tomar en consideracin dicha oracin, en
tratarla como si careciera de significado. Esta solucin
no resulta adecuada cuando dotamos, para propsitos
140
lgicos, a nuestras oraciones de una estricta reglamen

tacin, pues la existencia del objeto puede ser una cues
tin abierta -como en el caso de Camelot, del preste
Juan o del satlite ms exterior de Plutn. No es un
gran problema para el valor de verdad de la oracin el
que la cuestin siga estando abierta, pero no parece
adecuado dejar sin responder para siempre la pregunta
acerca de si una cierta oracin tiene o no significado.
Uno podra, como consecuencia de las considera
ciones anteriores, tomar la decisin de renunciar a la
ley del tercio excluso y optar por una lgica trivalente
que admita, como tercer valor de verdad, un limbo
entre la verdad y la falsedad. Segn esto, de que exista
Camelot -o lo que sea- depender nicamente el valor
de verdad de la oracin, y no el hecho de que sta tenga
o no significado; y as debe ser. Pero para ello pagamos
el precio de admitir una molesta lgica trivalente. Ade
ms de la partcula no, que convierte las verdades en
falsedades, las falsedades en verdades y, ahora, el limbo
en limbo, nos encontraramos con una funcin veritativa que convertira las verdades en limbo, el limbo
en falsedades y las falsedades en verdades; y tambin
con otras tres funciones veritativas mondicas de este
tipo, hasta agotar las combinaciones posibles -en con
traste con la nica funcin veritativa, a saber, la ne
gacin, requerida por la lgica bivalente. Cuando nos
trasladamos al terreno de las funciones veritativas didicas (conjuncin, disyuncin y los derivados de stas),
la proliferacin se dispara. Sera posible manejarse con
tal proliferacin, pero nuestra sencilla y eficiente lgica
bivalente presenta ventajas evidentes.
Ante la amenaza que suponen los trminos singu
lares sin referente, es posible todava conservar la l
VERDAD
141
gica bivalente, prescindiendo simplemente de los tr

minos singulares, como ya hicimos en el 10. La oracin
Camelot es imponente se convierte en 3x (x es Ca
melot y X es imponente). La oracin no es enviada al
limbo; se toma simplemente falsa si es falso que 3x (x
es Camelot). El predicado es Camelot es visto de esta
manera como un predicado irreductible, exactamente
igual que es imponente.
39.
V erdad
frente a creencia justificada
Probablemente no fue Pilatos el primero en pre

guntar qu es la verdad, y con seguridad no fue el l
timo. Quienes hacen tal pregunta buscan algo ms pro
fundo que el mero desentrecomillado, ese residuo
aceptable de la teora de la verdad como correspon
dencia (vase el 33). Con todo, no es posible impug
nar la concepcin de la verdad como desentrecomilla
do; no hay posibilidad de discutir que la oracin La
nieve es blanca es verdadera si, y slo si, la nieve es
blanca. Adems, este enfoque da cuenta, de una ma
nera completa, de qu es la verdad, pues explica cla
ramente la verdad o falsedad de toda oracin dotada
de la claridad suficiente. Podemos decir, incluso, que
este enfoque da cuenta de qu es la verdad de manera
ms que completa, ya que (vase el 34) exige al pre
dicado verdadera una condicin demasiado radical
como para ser cumplida por un predicado que perte
nezca al lenguaje afectado -so pena de caer en contra
diccin.
Repetidamente omos hablar de una teora de la
verdad como coherencia o de una teora pragmatista
142
de la verdad. La pregunta que motiva esta bsqueda

de una respuesta ms all del desentrecomillado quizs
pueda formularse as: si llamar verdadera a una oracin
no es ms que afirmarla, en qu nos basamos para
decir si debemos o no afirmarla?
La respuesta ms fcil a esta pregunta es: Eso de
pender por completo de la oracin de que se trate. En
el caso de La nieve es blanca, lo que hace uno es mirar
la nieve y comprobar cul es su co1od>. Una respuesta
ms conciliadora consiste en un anlisis general de las
bases sobre las cuales descansa la justificacin de creen
cias y, por tanto, el mtodo cientfico -u n anlisis que
quizs pueda seguir las pautas de los 2-7.
La posicin moderadamente holista que yo expona
en esas pginas es incompatible con una postura de
fendida actualmente por Michael Dummett, quien
cuestiona la ley del tercio excluso basndose en con
sideraciones epistemolgicas. El mismo ataque fue lle
vado a cabo en relacin con las matemticas por L. E.
J. Brouwer a principios de este siglo; Dummett adopta
idntica actitud con respecto a la ciencia en general.
Su propuesta es, aproximadamente, no considerar ver
dadera ni falsa ninguna oracin de la ciencia natural
si no conocemos algn procedimiento que nos permita
defender su verdad o falsedad sobre una slida base
emprica.
Pero entonces el holismo nos lleva a dudar acerca
de qu oraciones deberamos considerar susceptibles
de ser declaradas verdaderas o falsas. Unas candidatas
claras son las categricas observacionales. Otras ora
ciones participan en proporcin variable del contenido
emprico al implicar conjuntamente esas categricas
observacionales. Parece tarea vana buscar una odiosa
VERDAD
143
distincin entre oraciones susceptibles de ser declara

das verdaderas o falsas y oraciones pertenecientes al
limbo; a menos que, o bien tracemos la frontera de
modo que excluyamos lo que queda ms all de las
categricas observacionales, o bien la tracemos en el
otro extremo, lo que excluira tan slo aquellas ora
ciones que, por no intervenir en el implicar conjunto
de categricas observacionales, no absorben contenido
emprico alguno.
La verdad es una cosa y la creencia justificada otra
distinta. Podemos ganar en claridad y disfrutar la dulce
simplicidad de la lgica bivalente si nos atenemos a
esta distincin.
40. Verdad en matemticas

Y qu decir de aquellas partes de las matemticas
que no comparten ningn significado emprico, pues
la ciencia natural no las aplica jams? Qu decir de
las ms elevadas conquistas de la teora de conjuntos?
La razn por la cual no las consideramos desprovistas
de significado es que utilizamos para expresarlas la
misma gramtica y el mismo vocabulario que usamos
para producir los segmentos aplicados de la matem
tica. De este modo nos evitamos forzar la gramtica
de forma antinatural con el nico propsito de incluir
los cambios necesarios para excluirlas. As pues, dentro
de nuestra apuesta por la lgica bivalente consideramos
verdaderas o falsas las expresiones pertenecientes a las
regiones no aplicadas de las matemticas, aunque lo
sean de forma inescrutable.
144
Por otra parte, no son completamente inescruta

bles. Los axiomas principales de la teora de conjuntos
son afirmaciones con carcter general que ya resultan
operativas en la parte aplicable del reino matemtico.
Afirmaciones adicionales, como la hiptesis del con
tinuo y el axioma de eleccin, independientes de dichos
axiomas, pueden ser apuntados en el haber de aquellas
exigencias de simplicidad, economa y naturalidad que
contribuyen a moldear las teoras cientficas en general.
Estas mismas exigencias prestan su apoyo al axioma
de Gdel sobre la constructividad, V = LV ste corta
las alas a las partes ms elevadas de la teora de con
juntos, evitando as sus vuelos ms gratuitos, y de paso
implica el axioma de eleccin y la hiptesis del con
tinuo. Economas an ms drsticas han sido pro
nosticadas por Hermann Weyl, Paul Lorenzen, Errett
Bishop, y, en nuestros das, por Hao Wang y Solomon
Feferman, para quienes todas las necesidades mate
mticas de la ciencia podran ser satisfechas por esa
espartana herramienta que se ha dado en llamar teora
predicativa de conjuntos.56Avances como estos son del
mismo tipo que las simplificaciones y economas que
en la ciencia natural se celebran como un progreso. Se
trata de ir afinando y haciendo ms eficiente nuestro
sistema global del mundo.
41.
T eoras
equivalentes
En el 7 se defini el contenido emprico nica

mente para teoras contrastables, aadiendo luego que
5.
6.
Vase mi libro Set Theory and Its Logic, 2.a ed., pp. 234-238.
Vase Quiddities, pp. 34-36.
VERDAD
145
buena parte de la ciencia experimental ms slida no

es contrastable en el sentido establecido por mi defi
nicin. Esto puede ocurrir, como vimos, debido a la
presencia de probabilidades vagas y no calibradas en
el acervo terico de partida. Tambin ocurre, sin duda,
debido a causas ms complejas y no bien conocidas.
No dispongo de ninguna definicin de contenido em
prico para estas teoras, pero, con todo, parece que
intuitivamente tiene sentido hablar de equivalencia
emprica entre ellas, pues tambin en estos casos se
concede un importante papel a la experimentacin. La
idea es que toda observacin que se considere perti
nente a la hora de apoyar o rechazar una teora sea
considerada igualmente pertinente para el apoyo o re
chazo de la otra. Lo que voy a decir acerca de teoras
empricamente equivalentes vale tanto para teoras
contrastabas como para teoras que sean emprica
mente equivalentes de acuerdo con la seudodefinicin
que acabo de aadir.
Las funciones vicarias nos ensean (vase el 12)
que dos teoras pueden diferir enormemente en lo que
respecta a sus objetos, a los valores de sus variables, y
ser, a pesar de todo, empricamente equivalentes. Pa
recera incluso que no debiramos considerarlas dos
teoras diferentes, sino dos modos distintos de expresar
una y la misma teora. Resulta en verdad interesante
que una teora pueda variar tanto en su ontologa.
Otros y yo hemos desperdiciado esfuerzo y papel
intentando determinar cundo se debe hablar de iden
tidad de teora y cundo de mera equivalencia. Es esta,
en realidad, una cuestin de palabras; lo mejor es dejar
de hablar de teoras para pasar a hablar de formula
ciones de teora. Yo seguir empleando, para simpli
10. -
QUINE
146
ficar, el trmino teora, pero el lector, si lo desea,

puede entenderlo como formulacin de teora.
Las teoras (o formulaciones de teora) pueden ser
lgicamente incompatibles y, sin embargo, emprica
mente equivalentes. Un ejemplo conocido lo propor
cionan las geometras de Euclides y Riemann cuando
son aplicadas a la superficie de una esfera. La geo
metra de Riemann dice que las lneas rectas siempre
acaban por cruzarse. La geometra eucldea dice que
algunas se cruzan y otras no y, en particular, que sobre
las esferas no hay ninguna lnea recta. El conflicto se
resuelve cuando reinterpretamos la lnea recta del glo
sario de Riemann como gran crculo.
El ejemplo siguiente, debido a Poincar (captu
lo 4), es menos trivial. Tenemos, por un lado, nuestra
concepcin de sentido comn segn la cual el espacio
es infinito y los cuerpos rgidos se mueven libremente
sin encoger o estirarse; por otro, la concepcin de un
espacio esfrico finito en el cual esos cuerpos encogen
uniformemente segn se alejan del centro. Cabe hacer
ambas concepciones compatibles con toda observacin
posible; en otras palabras, son empricamente equi
valentes. Y, con todo, en este caso las concepciones
difieren a un nivel ms profundo que el de la mera
eleccin de palabras. En la teora que concibe el espacio
como finito ocupa un lugar fundamental un trmino
terico - a saber, centro del espacio- que no puede
tener contrapartida en la teora que concibe el espacio
como infinito.
Imagine ahora el lector dos teoras, la nuestra y otra,
acerca de cuya equivalencia emprica estamos conven
cidos, pero que no somos capaces de reinterpretar ora
cin por oracin hasta que cada una de ellas sea idn
VERDAD
147
tica a la otra, como hicimos en el ejemplo de las

funciones vicarias y en el de la esfera. Tenemos en
tonces que considerar tres casos distintos.
Primer caso. La otra teora es lgicamente com
patible con la nuestra y est directamente formulada
con nuestra misma terminologa. Se diferencia de nues
tra teora en que implica algunas oraciones tericas que
no se siguen de la nuestra, o viceversa. Con todo, las
teoras son empricamente equivalentes. Este caso no
presenta ningn problema. Podemos simplemente
aceptar la otra teora e incorporarla a la nuestra para
enriquecerla, con lo cual nos encontraremos en situa
cin de responder a muchas preguntas tericas sobre
las cuales la nuestra no se pronuncia.
Segundo caso. De nuevo, la otra teora es lgica
mente compatible con la nuestra, pero, como en el
ejemplo de Poincar, en su formulacin se utilizan cier
tos trminos tericos que no son reductibles a los
nuestros.
Tercer caso. Las dos teoras son lgicamente in
compatibles. Donald Davidson me mostr que este caso
puede reducirse al segundo mediante la maniobra si
guiente. Tmese cualquier oracin O implicada por una
de las teoras y negada por la otra. Puesto que las teoras
son empricamente equivalentes, O debe girar en tomo
a un trmino terico que no est firmemente asociado
con criterios observables. Podemos entonces explotar
la laxitud emprica del trmino tratndolo como si fue
ran dos trminos distintos, con una grafa distinta en
cada teora. De este modo, O se sustituye por dos ora
ciones, O y 0 \ independientes la una de la otra. Si
proseguimos aplicando este procedimiento, haremos
148
finalmente compatibles desde un punto de vista lgico

a las dos teoras.
42.
R ivalidad
irremediable
Podemos concentrar exclusivamente, por tanto,

nuestra atencin sobre el segundo caso. Limitmonos
ms an para centramos en el estudio de los sistemas
globales del mundo; de este modo no nos surgir el
problema de cmo encajar las teoras rivales en un
contexto ms amplio. As pues, estamos imaginando
un sistema global empricamente equivalente al nues
tro pero construido en tomo a trminos extraos a ese
sistema nuestro. Puede dar la impresin de que, en
tanto empiristas contumaces, deberamos aceptar que
ambas teoras son verdaderas. Pero esta solucin re
sulta poco atractiva en el supuesto de que la otra teora
sea menos sencilla y natural que la nuestra; y, cierta
mente, no existe lmite para los grados de grotesca com
plejidad alcanzables por una teora empricamente
equivalente a una elegante. Lo mejor, en un caso como
ste, ser aprovechamos de la presencia de trminos
irreductiblemente extraos. Podemos simplemente
considerarlos carentes de significado y excluirlos, por
ello, de nuestro lenguaje. Despus de todo, no estn
aadiendo a lo que puede ser predicho por nuestra
propia teora ms de lo que pudieran aadir trminos
como flogisto, entelequia, destino, gracia, o nir
vana. De este modo estamos enviando todos los con
textos en que aparecen los trminos extraos al limbo
de las no-oraciones.
VERDAD
149
Obsrvese que aqu nos encontramos con una in

trusin de consideraciones de coherencia en los crite
rios de verdad. La simplicidad y la naturalidad estn,
en efecto, marcando la diferencia entre lo verdadero y
lo carente de significado.
Podramos optar entonces por enriquecer nuestra
teora original con aquellos nuevos hallazgos de la otra
teora que no requieran ser expresados en trminos
extraos a la nuestra. En este caso estaramos acogien
do informacin proveniente de una fuente externa de
presumible confianza, de forma parecida a cmo cier
tas verdades suplementarias de la teora de conjuntos
se obtienen fuera de ella con la ayuda del anlisis, o a
cmo el problema del mapa en cuatro colores fue re
suelto gracias a un elaborado programa de ordenador.
Pero supongamos ahora que la teora rival es tan
elegante y natural como la que nosotros defendemos.
Nuestros escrpulos empiristas se reavivan entonces.
Deberamos incorporar esa teora a la nuestra, como
en el primer caso? No, pues ello ira en contra de la
aspiracin de los cientficos a la simplicidad y a la
economa; en efecto, aquellos trminos irreductibles
que incorporamos con la teora aadida no cubren nin
gn conjunto adicional de sucesos observables. Las dos
teoras eran ya empricamente equivalentes entre s, de
ah que las hayamos unido. Las dos teoras eran efi
cientes y parejas, pero la teora tndem est abarrotada,
mucho ms de lo deseable, debido a la inclusin de
todas aquellas oraciones en las que aparecen los tr
minos nuevos.
Una de las posibles actitudes que cabe adoptar ante
estas teoras es lo que en otro lugar7 he denominado
7.
Reply to Gibson.
150
la posicin sectaria. sta consiste en tratar la teora

rival como acabamos de hacer en el caso precedente,
pero rechazando todos aquellos contextos en que dicha
teora hace uso de trminos extraos a la nuestra. No
nos es posible justificar este trato desigual alegando que
nuestra teora sea ms elegante, pero podemos alegar,
con todo, que no disponemos de un acceso ms pri
vilegiado a la verdad que el proporcionado por nuestra
teora, una teora en evolucin constante y cuyo ca
rcter falible reconocemos. Dagfinn Follesdal y Roger
Gibson me animaron a adoptar esta actitud sectaria.
La actitud opuesta es la ecumnica, que aceptara como
verdaderas las dos teoras. Su atractivo principal viene
dado por nuestra adhesin al empirismo, una adhesin
que nos lleva a desconfiar de una distincin odiosa
entre teoras empricamente equivalentes e igualmente
sobrias. La teora tndem, que hemos juzgado prohi
bitivamente antieconmica, es un ejemplo de actitud
ecumnica. Otra actitud ecumnica distinta ha sido
propuesta por Donald Davidson; consiste en tomar por
verdaderas ambas teoras separadamente, lo cual es po
sible si entendemos que el predicado verdadera rea
liza su labor desentrecomilladora dentro de un lengua
je, inclusivo y neutral con respecto a las teoras, en el
cual stas vienen expresadas. Durante los ltimos aos,
he oscilado entre estas alternativas, reducidas ahora a
dos: la lnea sectaria y la lnea ecumnica estilo Da
vidson.
Esta ltima alternativa plantea ciertos problemas
relacionados con el lenguaje inclusivo. ste incorpora
todos los trminos de ambos sistemas del mundo, y los
valores de sus variables forman parte de ambas ontologas. Predicados identificables con una u otra teora
VERDAD
151
nos permitiran determinar en cada caso, cuando fuera

necesario, a qu ontologa pertenecen los valores de las
variables. Ahora bien: cuntas entidades adicionales
estaramos dispuestos a admitir como valores de esas
variables? Y qu decir de la verdad? Habr acaso una
jerarqua de predicados de verdad y otra jerarqua pa
ralela de estilos de variables, como ocurra al final del
37? Es el momento de detenerse. Estbamos buscan
do tan slo un lenguaje inclusivo, no una tercera teora.
No est nada claro qu se ganara con esta opcin,
aparte de la satisfaccin de estar otorgando el mar
chamo de la verdad desde una posicin imparcial. El
sectario no est en peores condiciones que el ecum
nico para apreciar la igualdad de las pretensiones evi
dencales de las dos teoras rivales del mundo. Puede,
pues, proceder de manera imparcial a la hora de con
ceder el marchamo de la justificacin, aunque no el de
la verdad. Adems, es tan libre como el ecumnico para
saltar de una teora a la otra cuando necesite una pers
pectiva adicional desde la cual afrontar los problemas.
Sus convicciones sectarias, es cierto, le llevan a con
siderar verdadera una cierta teora, al tiempo que los
trminos de la otra le parecen carentes de significado;
pero esto es as slo en tanto en cuanto se adhiere a
una teora y no a la otra. Puede cambiar de bando en
cualquier momento.
Imaginar la existencia de sistemas del mundo irre
mediablemente rivales constituye un experimento
mental muy alejado de las convenciones lingsticas
fijadas por el uso. No es de extraar que la vastsima
pregunta de si debemos llamar verdaderos a dos sis
temas tales del mundo quede patticamente reducida
152
a una cuestin de palabras. Esto explica tambin, al

mismo tiempo, mis dudas pasadas.
Sea cual sea la convencin por la que nos incline
mos finalmente, lo cierto es que las teoras rivales des
criben uno y el mismo mundo. Limitados como esta
mos a nuestros trminos y dispositivos humanos, nos
hacemos con el conocimiento de ese mundo a travs
de medios dispares. Pensemos, por ejemplo, en las di
ferentes formas de obtener el dimetro de una esfera
maciza: podemos aprisionarla entre los brazos de un
calibrador, o podemos rodearla con una cinta mtrica
y dividir entre pi, pero no hay manera de acceder al
interior.
43.
DOS FORMAS DE INDETERMINACIN
Existe un paralelismo evidente entre la infradeterminacin emprica de la ciencia en su conjunto y la

indeterminacin de la traduccin. En ambos casos, toda
la evidencia posible resulta insuficiente para deter
minar la opcin por un nico sistema. Pero la inde
terminacin de la traduccin es adicional a la otra. Una
vez nos hemos decidido, aunque sea de manera arbi
traria, por uno de los sistemas del mundo emprica
mente equivalentes, todava hemos de enfrentamos en
su interior con la indeterminacin de la traduccin.
Otro rasgo caracterstico de la indeterminacin de
la traduccin es que claramente no tiene nada que ver
con la inaccesibilidad de los hechos o con las limita
ciones humanas. El nico criterio disponible para juz
gar acerca de la correccin o incorreccin de la se
mntica es el que proporcionan las disposiciones a la
VERDAD
153
conducta observable (vase el 14). En el caso de los

sistemas del mundo, en cambio, uno est dispuesto a
aceptar que la realidad supera, en aspectos que somos
incapaces de especificar, el alcance del aparato terico
humano.
Pero fijmonos ahora con mayor detenimiento en
los paralelismos. De una parte tenemos dos sistemas
de traduccin incompatibles pero igualmente dig
nos de confianza, cada uno de los cuales propone cier
tas traducciones rechazadas por el otro. De otra parte
tenemos dos sistemas del mundo incompatibles pero
empricamente equivalentes. Ya observamos en el 18
que es posible reconciliar los dos sistemas de traduc
cin si admitimos que estn definiendo dos relaciones
diferentes, traduccin! y traduccin2. En el 41, por
otro lado, observbamos que es posible reconciliar los
dos sistemas del mundo descomponiendo de forma pa
recida uno o ms trminos tericos.
La indeterminacin de la traduccin muestra que
la nocin de proposicin, entendida como significado
oracional, es insostenible. La infradeterminacin em
prica de la ciencia muestra que existen diversos modos
sensatos de concebir el mundo.
BIBLIOGRAFA
Barrett, Robert B., y Roger F. Gibson, eds., Perspectives on
Quine, Basil Blackwell, Cambridge, Mass., y Oxford,
1990.
Bergstrm, Lars, Quine on Underdetermination, en R.
Barrett, y R. Gibson, eds., 1990, pp. 38-52.
Carnap, Rudolf, Logische Syntax der Sprache, Viena, 1934.
Chisholm, Roderick, Perceiving: A Philosophical Study, Cor
nell University Press, Ithaca, 1957.
Davidson, Donald, Essays on Actions and Events, Claren
don, Oxford, 1980.
Dennett, Daniel, The Intentional Stance, MIT Press, Cam
bridge, 1987.
Duhem, Pierre, La thorie physique, son object et sa struc
ture, Paris, 1906.
Dummett, Michael, Truth and Other Enigmas, Harvard Uni
versity Press, Cambridge, 1978.
Firth, Roderick, Reply to Sellars, Monist, 64 (1981), pp. 91101.
Griimbaum, Adolf, The Falsifiability of Theories, Syn

these, 14 (1962), pp. 17-34.
Kirk, Robert, Quines Indeterminacy Thesis, Mind, 78
(1969), pp. 607-608.
Levy, Edwin, Competing Radical Translations, Boston
Studies in Philosophy of Science, 8 (1971), pp. 590-605.
156
Lewis, C. I., An Analysis of Knowledge and Valuation, Open

Court, La Salle, 1946.
Massey, G. J., Indeterminacy, Inscrutability, and Ontolo
gical Relativity, American Philosophical Quarterly, Mo
nogrfico 12 (1978), pp. 43-55.
Parsons, Charles, Mathematics and Philosophy, Cornell Uni
versity Press, Ithaca, 1983.
Poincar, Henri, Science and Hypothesis, Nueva York, 1905.
Popper, sir Karl, The Logic of Scientific Discovery, Basic
Books, Nueva York, 1959 (hay trad, cast.: La lgica de
la investigacin cientfica, Tecnos, Madrid, 1967).
Premack, David, Gavagai, MIT Press, Cambridge, 1986.
Putnam, Hilary, Mathematics without Foundations, Jour
nal of Philosophy, 64 (1967), pp. 5-22.
Quine, W. V., Mathematical Logic, Nueva York, 1940. Ed.
corregida (gracias a Wang), Harvard University Press,
Cambridge, 1951 (hay trad. cast, de Jos Hierro: Lgica
matemtica, Revista de Occidente, Madrid, 1972).
, Elementary Logic, Boston, 1941, edicin revisada, Har
vard University Press, 1965 (hay trad, cast.: Lgica ele
mental, Grijalbo, Mxico, 1983).
, Methods of Logic, Nueva York, 1950, 19723; Harvard
University Press, 19824. [Existen dos ediciones castella
nas de esta obra, Los mtodos de la lgica. La primera,
traduccin de la edicin inglesa de 1959, fue realizada
por Manuel Sacristn y publicada por Ariel en 1962. La
segunda traduce la tercera edicin inglesa, y se debe a
Juan Jos Acero y Nieves Guasch (Ariel, Barcelona,
1981).]
, On an Application of Tarskis Theory of Truth, Pro
ceedings of the National Academy ofSciences, 38 (1952),
pp. 430-433; reimpreso en Selected Logical Papers, Ran
dom House, Nueva York, 1966.
, From a Logical Point of View, Harvard University Press,
Cambridge, 1953 (hay trad. cast, de Manuel Sacristn:
Desde un punto de vista lgico, Ariel, Barcelona, 1962).
BIBLIOGRAFA
157
, Word and Object, MIT Press, Cambridge, 1960 (hay trad,

cast, de Manuel Sacristn: Palabra y objeto, Labor, Bar
celona, 1968).
, Set Theory and Its Logic, Harvard University Press,
Cambridge, 1963; edicin revisada, 1969.
, The Ways of Paradox and Other Essays, Nueva York,
1966; ed. aumentada, Harvard University Press, Cam
bridge y Londres, 1976.
, Ontological Relativity and Other Essays, Columbia Uni
versity Press, Nueva York, 1969 (hay trad. cast, de Ma
nuel Garrido y Josep LI. Blasco: La relatividad ontolgica y otros ensayos, Tecnos, Madrid, 1974).
, Philosophy of Logic, Englewood Cliffs, N. J., 1970; Har
vard University Press, 1986 (hay trad. cast, de Manuel
Sacristn: Filosofa de la lgica, Alianza, Madrid, 1973).
, Roots ofReference, Open Court, La Salle, 1974 (hay trad,
cast, de Manuel Sacristn: Las raices de la referenda,
Revista de Occidente, Madrid, 1977).
, The Nature of Natural Knowledge, en J. Guttenplan,
ed., Mind and Language, Clarendon Press, Oxford, 1975,
pp. 67-81.
, Theories and Things, The Belknap Press of Harvard Uni
versity Press, Cambridge, Mass., y Londres, 1981.
, Events and Reification, en E. Lepore y B. McLaughlin,
eds., Actions and Events, Blackwell, Oxford, 1985, pp.
162-171.
, Reply to Roger F. Gibson, Jr., en L. E. Hahn y P. A.
Schilpp, eds., The Philosophy of W. V. Quine, Open
Court, La Salle, 1986, pp. 155-157.
, Quiddities, Harvard University Press, Harvard, 1987.
Quine, W. V., y J. S. Ullian, The Web of Belief, Random
House, Nueva York, 1970; edicin revisada, 1978.
Russell, Bertrand, On Denoting, Mind, 14 (1905), pp. 479493 (hay trad. cast, de Javier Muguerza: Sobre la de
notacin, en Ensayos sobre lgica y conocimiento, Tau
rus, Madrid, 1966, pp. 53-74).
158
, Mathematical Logic as Based on the Theory of Types,

American Journal of Mathematics, 30 (1908), pp. 222262.
Sleigh, Robert C., On a Proposed System of Epistemic Lo
gic, Nous, 2 (1968), pp. 391-398.
Tarski, Alfred, The Concept of Truth in Formalized Lan
guages, en su Logic, Semantics, Metamathematics, Cla
rendon Press, Oxford, 1956, pp. 152-278; traducido de
la edicin alemana de 1936.
Ullian, J. S., vase Quine y Ullian.
Yosida, Natuhiko, Scientific Laws and Tools for Taxo
nomy, Annals of the Japanese Association for the Phi
losophy of Science, 6 (1984), pp. 207-218.
REFERENCIAS
Cinco pginas y media proceden del Journal of Phi
losophy, 1983-1987, del modo siguiente. Parte de las
pginas 499-500 de Ontology and Ideology Revisited
(vol. 80) aparece en el 10; parte de la p. 6 de States
of Mind (vol. 82) aparece en el 24; y, por ltimo,
algunos fragmentos de las pp. 5-9 de Indeterminacy
of Translation Again (vol. 84) aparecen en los 14,
17, 18 y 23. Dos pginas provenientes de las pp. 139141 de Cognitive Meaning (publicado en The Mo
nist,, vol. 62,1979), aparecen en el 24. La mayor parte
de la pgina 164 de mi rplica a Dalla Chiara y Toraldo
di Francia {Anlisis filosfico, vol. 2, Buenos Aires,
1982) ha sido incluida en el 13. Tambin la mayor
parte de la p. 51 de mi escrito The Sensory Support
of Science (incluido en Discursos de investidura Doc
tor Honoris Causa, Granada, 1986) es ahora repro
ducida en el 11. Agradezco a los propietarios de los
derechos su autorizacin.
NDICE ALFABTICO
actitudes preposicionales, 80, 88-89,
92, 106-113
analiticidad, 38, 90-91
animismo, 116
aprendizaje, 22-27,45-47, 53-55, 6769, 74-75
empatia en el, 72, 97-99
Aristteles, 115, 137
ascenso semntico, 124-125
asignacin, 130-131
Austin, John L., 12
axiomas: de la constructividad, del
continuo, de eleccin, 144
de extensionalidad, 87 n.
Bergstrm, Lars, 13, 70-73
Bernays, Paul, 57
Bishop, Erret, 144
Bose-Einstein, estadstica de, 43, 61
Brouwer, L. E. J., 142
Carnap, Rudolf, 91
categricas observacionales, 29-32,
40, 45, 142
causa, 116-118
ceteris paribus, 39, 114-115
ciencia, 17-18, 42-44, 111-113, 116117
I , - QUINE
analoga en, 60-61

fundamentacin de la, 39-41,
144-145
infradeterminacin de la, 145153
vase tambin hiptesis; teo
ras
cita literal, 106-108, 123-128
clases, 134-137
clusula preposicional, 98-109, 112
coherencia, 141, 149
comprensin, 94-96
comunicacin, 74, 87-88
concatenacin, 109, 130
condicionales, 113-114
conductismo, 66
conjuncin, 21, 31
contenido emprico, 37-41, 87-88,
142-144
contrastabilidad, 38-41, 144
controles, 43-44, 66-67, 73-79
correspondencia, teora de la ver
dad como, 121-125, 141
creencia, 103-105, 111
justificada, 141-143, 150-151
cuantificacin, 35, 49-51, 55, 108109
cuerpos, 46-48, 60-61
162
Chisholm, Roderick ., 102 .

Darwin, Charles, 117
Davidson, Donald, 13, 54 n., 70, 75,
112, 147, 150
de dicto, 110-114
definicin, 125, 131-133
decticos, 110-114, 121, 126
deletreo, 109, 111-113, 130
Dennett, Daniel A., 113
de re, 110-113
descripciones, 52, 139-140
desentrecomillado, 86, 123-129,
135-138, 141-142
determinismo, 137-138
diccionarios, 91-96
Dios, 137-139
disposiciones, 118
Dreben, Burton S., 9, 13, 70, 75
Dreyfus, Hubert L., 85
Duhem, Pierre, 34
Dummett, Michael, 142
ecumnica, posicin, 150-151
Einstein, Albert, 43, 61, 125
empatia, 72-73,78,99-100,106-108
empirismo, 42
epistemologa, 17-18, 26, 32, 41-42,
71
equivalencia, 38, 88-90, 144-152
emprica, 38, 144-152
estimulativa, 38, 75
esencia, 91, 115
estmulos, 17-21, 69-72
gamas de, 19-21, 32, 37-38, 69,
72, 75
evidencia, 18-19, 22, 32-33
existencia, 50-52, 140
experimento, 28-29, 34
extensionalidad, 87 n., 112
falibilidad, 44
Feferman, Solomon, 144
Firth, Roderick, 26
Fllesdal, Dagfinn, 13, 70, 150
Frege, Gottlob, 108
funciones
veritati vas, 53, 76, 140
vicarias, 56-59, 86, 145
futuro, 137-139
gamas de estmulos, vase estmu
los, gamas de
gavagai, 73, 85
geometra, 84, 146
Gibson, Roger F., 13, 150
Gdel, Kurt, 57, 144
Greiling, Kurt, 132
Grnbaum, Adolf, 37
hechos, 123
heterolgica, paradoja, 132
Hilbert, David, 57
hiptesis, 28, 32-34
analticas, 73, 76
holismo, 34-37, 91, 142
holofrstico, 26, 46, 49, 60, 65, 83,
107
identidad, 86-87
implicacin, 28-29, 35
indeterminacin
de la referencia, 83-86
de la traduccin, 66, 79-86, 88,
119, 152-153
infradeterminacin, 145-153
intensionalidad, 106-107, 111-114
jerarquas, 128-129, 136-137
Kant, Immanuel, 40
Kirk, Robert, 80
Leonelli, Michele, 12-13
Levy, Edwin, 84
Lewis, Clarence L, 26
NDICE ALFABTICO
lexicografa, 91-96
libertad, 138
lgica, 35, 50-52, 62, 75, 121, 125,
140-141
lgica de predicados, 34-35, 51-52,
62, 112-113
con functores, 50
Lorenzen, Paul, 144
Lwenheim-Skolem, teorema de, 5758
masa crtica semntica, 38, 87
Massey, G. J., 84
matemticas, 36, 91, 143-144
mente, 97-98, 112-113, 116-117
monismo anmalo, 111-113
Moore, G. E., 91
Mhlhlzer, Felix, 13
mutilacin mnima, 35-37, 91
naturalismo, 41-43, 71
necesidad, 91, 113-114
nervios, 17-18, 71, 74, 98-99, 111113
normas, 41-43
objetos
abstractos, 55, 61
fsicos, 43, 46-48, 60-61
observacin, 18-19, 33
ontologa, 50-52, 56-60, 62-63, 145
opacidad, 108-109
operadores modales, 55, 113-114
oraciones eternas, 111, 135-136
oraciones fijas, 29, 101, 121 n.
oraciones frente a trminos, 26-27,
45, 49, 60, 65
en la lexicografa, 93-95
en la traduccin, 83-85
oraciones observacionales, 19-27,
33-34, 53-55
traduccin de, 67-70, 72-77
163
oraciones ocasionales, 20, 29, 88-89,

97, 100-101, 120
paradojas, 126-129, 131-134
pares ordenados, 130
Parsons, Charles D., 55, 135
percepcin, 17, 97-99, 111-112
Poincar, Henri, 146, 147
Popper, sir Karl R., 32
posibilidad, 54-55, 113-115
predicacin, 21, 31, 45-46, 53
predicatividad, 144
prediccin, 17-18, 37, 43, 137-139
pregunta y asentimiento, 68-69
Premack, David, 85
principios puente, 27
probabilidad, 33, 42, 62, 145
pronombres, 49, 56
proposiciones, 88, 106-107,119-120,
153
pruebas, 31-32, 38
Putnam, Hilary, 55
referencia, 51, 86, 106-107
Reichenbach, Hans, 27
reificacin, 27, 45-49, 53-55, 71
relaciones, 130
relatividad ontolgica, 60, 85-86
Russell, Bertrand, 40, 52, 129, 134136
satisfaccin, 130-134, 135
sectaria, posicin, 150
semntica, 91-96
semejanza, 21, 61, 98
significados, 65, 86-91,119-120, 153
simplicidad, 42, 124-125, 144, 148149
sinonimia, 38, 75, 88-90
sintaxis, 81-83, 108-109, 112-113
sinttico, 38
Sleigh, Robert C , 110
Strawson, sir Peter, 47
164
sustitutividad, 87-89, 108, 112
Ullian, Joseph S., 42
Tarski, Alfred, 86, 123, 128-131,

134 .
telepata, 42, 43
teologa, 116, 137-139
teora de conjuntos, 87 n., 134-137,
144
teoras, 17, 22, 23-27, 33, 144-151
vase tambin ciencia; hipte
sis
tercio excluso, 137-141
trminos, vase oraciones frente a
trminos; reifcacin
trminos singulares, 52, 140-141
tiempo, 54
tiempo verbal, 110, 121
traduccin, 66-69, 73-86
variables, 50-52, 56, 108-109, 135136

verdad, 121-124, 141-142
como desentrecomillado, 123129, 135-138, 141-142
definicin de, 125-126, 130
paradojas de la, 126-129, 131134
utilidad de la, 124-125
vehculos de la, 119-122
Wang, Hao, 144
Weyl, Hermann, 144
Wittgenstein, Ludwig, 43, 61
Yosida, Natuhiko, 40
NDICE
Nota e d i t o r i a l ....................................................7
P refacio.................................................................11
1.
E v i d e n c i a ........................................................ 17
1. Estimulacin y prediccin . . . . 1 7
2. Oraciones observacionales . .
.1 9
3. Cargadas de t e o r a ? ...............................23
4. Categricas observacionales
. . .
27
5. Prueba y r e f u t a c i n ...............................31
6. H o l i s m o .................................................. 33
7. Contenido e m p r i c o ...............................37
8. Normas y o b j e t i v o s ...............................41
2. R e fe re n c ia .........................................................45
9. C u e r p o s .................................................. 45
10. Valores de v a r i a b l e s ...............................48
11. Utilidad de la reifcacin . . . .
53
12. No importa qu ontologa . . . .
56
13. La desactivacin de la ontologa . . 5 9
3. S ign ificado.........................................................65
14. El punto de partida del lingista . . 65
166
15.
16.
17.
18.
19.
20.
21.
22.
23.
Otra vez la estimulacin. . . .

69
A cada uno lo s u y o ............................... 72
Ms sobre la traduccin
. . . .7 5
Indeterminacin de la traduccin .
.79
S i n t a x i s .................................................. 81
Indeterminacin de la referencia . . 8 3
Significados para qu? . . . .
86
Significado dom stico...............................88
L e x ic o g r a f a ............................................91
4. I n t e n s i n ....................................................97
24. La percepcin y las oraciones observac i o n a l e s .................................................. 97
25. Extendiendo el mbito de la percep
cin
.........................................................99
26. Percepcin de c o s a s ............................. 101
27. Creencia y percepcin............................. 103
28. Actitudes proposicionales
. . . .106
29. Monismo a n m a l o ............................. 111
30. Giros m od ales.......................................... 113
31. Una herencia mentalista
. . . .116
5.
V e r d a d .................................................... ...... 119

32. Vehculos de la verdad
. . . .119
33. Verdad como desentrecomillado . . 1 2 2
34. P a r a d o ja s .................................................126
35. La construccin tarskiana
. . . .129
36. Esquivando la paradoja
. . . .131
37. Jerarquas entrelazadas
. . . .134
38. Tercio excluso.......................................... 137
39. Verdad frente a creencia justificada . 141
40. Verdad en matemticas
. . . .143
41. Teoras e q u iv a le n te s ............................. 144
NDICE
42. Rivalidad irremediable

.
.
43. Dos formas deindeterminacin .
167
.148
.152
B ibliografa............................................................. 155
R eferen cias............................................................. 159
ndice a l f a b t i c o .................................................161
N O T A F IN A L
Le recordamos que este libro ha sido prestado

gratuitamente para uso exclusivamente educacional
bajo condicin de ser destruido una vez ledo. Si es as,
destruyalo en forma imnediata.
Smese como voluntario o donante y promote
proyecto en su comunidad para que otras
no tienen acceso a bibliotecas se vean b e l,
igual que usted.
publicaciones visite:
'lectmasinegoismo.com
fcebook: Lectura sin Egosmo
.ff r
Twitter: VvLcctSinEgo
o en su defecto escrbanos a:
lcctmasmcgoismoi7gmail.com
Referencia libro: 1592
W. V. Q U IN E (n. 1908, O hio) es en la

actualidad profesor em rito de la U ni
versidad de H arvard. H a publicado
gran nm ero de libros y artculos sobre
lgica y filosofa de la lgica, teora del
conocim iento, filosofa del lenguaje y
otras disciplinas afines. Entre sus obras
traducidas al castellano se cuentan:
Desde un punto de vista lgico (O rbis,
B arcelona, 1985 ), Palabra y objeto
(Labor, B arcelona, 1968), Filosofa de
la lgica (A lianza, M adrid, 1984J), La
relatividad ontolgica y otros ensayos

(Tecnos, M adrid, 1974) y Las races de
la referencia (R evista de O ccidente,
M adrid, 1977). A unque la filosofa de
Q uine recibe influencias de la tradicin
em pirista, de los autores pragm atistas
norteam ericanos y de filsofos positi
vistas com o C am ap, en ella encontra
m os
respuestas
revolucionarias
a
m uchos de los tradicionales problem as
filosficos y una form a novedosa de
c oncebir las relaciones entre ciencia y
filosofa.
Cmo se las arreglan los seres humanos para

construir el impresionante edificio del conoci
miento cientfico a partir de los escasos mate
riales proporcionados por los sentidos? Tal es,
para Quine, la pregunta central de la episte
mologa o teora del conocimiento. La epis
temologa, a su vez, constituye el ncleo aglu
tinador del sistema filosfico quineano y
proporciona, en el presente libro, el punto de
partida de una exposicin que aborda, adems,
algunos de los temas fundamentales de la filo
sofa del lenguaje y de la lgica, de la ontologa y de la filosofa de la mente. El lector se
encuentra en estas pginas con doctrinas ya
clsicas que han hecho del trabajo
de W. V. Quine un punto de refe
rencia ineludible de la discusin
filosfica contempornea; es el
caso de las tesis acerca de te
mas como las oraciones observacionales, el holismo, la
relatividad ontolgica, la inde
terminacin de la traduccin y
la inmanencia de la verdad. De
este modo, el libro ofrece un
panorama general, somero y siste
mtico, de la filosofa de Quine, lo que hace de
l un instrumento especialmente recomendable
para todo aquel que desee introducirse en las
sutilezas de aqulla. Al mismo tiempo. La bs
queda de la verdad hace llegar al estudioso
ms avezado de Quine los ltimos desarrollos
de su pensamiento y arroja nueva luz sobre
diversos aspectos polmicos de ste. La pre
sente versin castellana incluye las modifica
ciones introducidas por Quine para una futura
edicin revisada del libro.
ISBN 8W 42 3 -5 60 -X

Quine W V - La Busqueda de La Verdad-Proc

Hochgeladen von

Dokumentinformationen

Originaltitel

Copyright

Verfügbare Formate

Dieses Dokument teilen

Dokument teilen oder einbetten

Freigabeoptionen

Stufen Sie dieses Dokument als nützlich ein?

Sind diese Inhalte unangemessen?

Copyright:

Verfügbare Formate

Quine W V - La Busqueda de La Verdad-Proc

Hochgeladen von

Copyright:

Verfügbare Formate

W.V.

Quedan rigurosamente prohibidas, sin la autorizacin escrita de los ti

recibe instruccin sin disminuir la ma;

Para otras publicaciones visite

contadas; al final aparece una relacin de ellos. Las

Tengo la fortuna de contar con lectores lcidos y

Una especie de calambre mental (N . del t ).

Si salvas la superficie lo habrs salvado todo.

Una creatividad colectiva cuyos resultados se han

En medio de la complejsima maraa de relaciones

La nocin tcnica de observacin es, pues, aban

Nos hemos propuesto estudiar en qu consiste el

mente entre s en lo tocante a aquellos receptores ac

tambin otras regiones de la escena, pues la construc

oraciones observacionales son el vnculo que une el

Yo soy el creador de la definicin de oracin ob

poner en duda nociones como estas y sostener que lo

Ahora bien: qu tiene que ver todo esto con el

nes observacionales son de algn modo relevantes

cluan trminos cargados de teora. Como consecuen

En ningn lugar se hace ms patente el apoyo que

experimental; as que ser de inters volver nuestros

cabo la implicacin. Del otro lado, el observacional,

servacional y a inventar luego una hiptesis terica que

Tenemos lo que podemos denominar una categrica

Comprobamos la validez de una categrica obser

libre Cuando el sol sale los pjaros cantan se refuta

podra o no ser refutada por el descubrimiento del es

Recordemos que la hiptesis relativa a la compo

mano de otras oraciones tericas y de muchas pero

puestas verdades que intervinieron en la implicacin

pretendemos minimizar con la mxima de la muti

pero lo cierto es que la bsqueda de la mayor simpli

Las gamas de estmulos tienen lmites imprecisos,

finicin de contenido emprico que, aunque engao

Hemos de admitir que a la idealizacin que supone

plcitamente, dentro de nuestro acervo de principios

las amarras que la unan a la experiencia su manera de

Pertenezco a esa amplia minora o escasa mayora

Pero se equivocan cuando se quejan de que el ele

destia. Es posible, a un nivel anecdtico, encontrar con

zantes. Para resucitarlas sera necesario, ciertamente,

vacional libre, simplemente como una expresin ge

tacin repetida de una pelota corre al principio pareja

la moneda que est en mi bolsillo es la misma que

Incluso nuestra sofisticada concepcin de los cuer

En este nivel surge la cuestin de qu debe aceptarse

Las categricas observacionales libres se construi

Vase Theories and Things, pp. 5-6.

En sintona con todo esto, he venido insistiendo

nuestros predicados mondicos (complementos inclui

completo de los trminos singulares, dejando las va

Ya hemos detectado un primer indicio de reifica

que es como decir (1). Un objeto ha sido postulado -a

cientes. Como ocurra con el y del ejemplo anterior,

Putnam, pp. 47-49; Parsons, pp. 44-47.

cacin sigue siendo la anfora, esto es, sigue consis

modo anlogo procederamos en el caso de predicados

Cuando aplicamos este teorema a una teora que ha

tico y heurstico, pues, lo mejor que podemos hacer es,

Hemos visto que dos ontologas cuyos elementos

vidad ontolgica. Pero volver sobre este tema en el

La importancia de la distincin entre oraciones y