Professional Documents
Culture Documents
He hecho algunos cambios menores en las formulaciones a efecto que el trmino marco se use ahora
solo para el sistema de expresiones lingsticas y no para el sistema de entidades en cuestin.
2
Los trminos oracin y enunciado son usados aqu en forma sinnima para las oraciones
declarativas (indicativas proposicionales).
2. MARCOS LINGSTICOS
Hay propiedades, clases, nmeros, proposiciones? Con el fin de comprender ms
claramente la naturaleza de estos problemas y los relacionados, es sobre todo necesario
reconocer una distincin fundamental entre dos tipos de preguntas que conciernen a la
existencia o realidad de entidades. Si alguien desea hablar en su lenguaje acerca de un
nuevo tipo de entidades, tiene que introducir un sistema de nuevas formas de hablar,
sujeto a nuevas reglas; llamaremos a este procedimiento la construccin de un marco
(framework) lingstico para las nuevas entidades en cuestin. Ahora, debemos
distinguir dos clases de preguntas de existencia: primero, preguntas acerca de la
existencia de ciertas entidades del nuevo tipo dentro del marco; las llamaremos
preguntas internas; y segundo, preguntas que conciernen a la existencia o realidad del
sistema de entidades como un todo, llamadas preguntas externas. Las preguntas internas
y las posibles respuestas a ellas son formuladas con ayuda de nuevas formas de
expresiones. Las respuestas podran ser encontradas ya sea por mtodos puramente
lgicos o por mtodos empricos, dependiendo de si el marco es uno lgico o factual.
Una pregunta externa es de un carcter problemtico que necesita de un examen ms
detallado.
El mundo de cosas. Consideremos como ejemplo el tipo de entidades ms simple con el
que se trata en el lenguaje de cada da: el sistema ordenado espacio-temporalmente de
las cosas y los eventos observables. Una vez que hemos aceptado el lenguaje de cosas
con su marco para las cosas, podemos hacer y responder preguntas internas, por
ejemplo, Hay un trozo de papel blanco en mi escritorio?, Vivi en realidad el Rey
Arturo?, Son los unicornios y centauros reales o meramente imaginarios? y otras
similares. Estas preguntas han de responderse mediante investigaciones empricas. Los
resultados de las observaciones son evaluados de acuerdo a ciertas reglas sobre como se
confirma o no la evidencia para posibles respuestas. (Esta evaluacin es realizada, por
supuesto, como una cuestin de hbito en lugar de un procedimiento deliberado y
racional. Pero es posible, en una reconstruccin racional, establecer reglas explcitas
para la evaluacin. Esta es una de las principales tareas de una epistemologa pura, que
se distinga de una psicolgica.) El concepto de realidad que tiene lugar en esas
preguntas empricas es un concepto cientfico emprico no-metafsico. Reconocer algo
como una cosa o evento real significa tener xito al incorporarlo en el sistema de cosas
en una posicin espacio-temporal particular para que quede como real junto a las otras
cosas, de acuerdo a las reglas del marco.
De esas preguntas distinguimos la pregunta externa por la realidad del mundo de cosas
mismo. En contraste con las primeras preguntas, esta pregunta no es planteada ni por el
hombre de la calle ni por los cientficos, sino tan slo por los filsofos. Los realistas dan
una respuesta afirmativa, los idealistas subjetivos una negativa, y la controversia
contina por siglos sin jams ser resuelta. Y no puede ser resuelta porque est
enmarcada (framed) de una manera equivocada. Ser real en el sentido cientfico
significa ser un elemento del sistema; de ah que este concepto no se pueda aplicar con
sentido al sistema mismo. Quienes plantean la pregunta por la realidad del mundo de
cosas mismo no tienen tal vez en mente una pregunta terica, como su formulacin
parece sugerir, sino una pregunta prctica, una cuestin de decisin prctica
concerniente a la estructura de nuestro lenguaje. Tenemos que hacer la decisin de
aceptar y usar, o no, las formas de expresin en el marco en cuestin.
En el caso de este ejemplo particular, usualmente no hay eleccin deliberada porque
todos hemos aceptado el lenguaje de cosas tempranamente en nuestras vidas como una
cuestin de hecho. Sin embargo, podramos considerarla como un asunto de decisin en
este sentido: somos libres de seguir usando el lenguaje de cosas o no; en el ltimo caso
podramos restringirnos a un lenguaje de datos de los sentidos u otras entidades
fenomnicas, o construir una alternativa al lenguaje de cosas acostumbrado con otra
estructura, o, finalmente, podramos dejar de hablar. Si alguien acepta admitir el
lenguaje de cosas, no hay objecin contra decir que ha aceptado el mundo de cosas.
Pero esto no debe ser interpretado como si significase su aceptacin de una creencia en
la realidad del mundo de cosas; no hay tal creencia o asercin o asuncin, porque no es
una pregunta terica. Aceptar el mundo de cosas no significa nada ms que aceptar una
cierta forma de lenguaje, en otras palabras, aceptar reglas para formar enunciados y para
probar aceptando o rechazndolos. La aceptacin del lenguaje de cosas conduce, con
base en las observaciones hechas, tambin a la aceptacin, creencia y asercin de ciertos
enunciados. Pero la tesis de la realidad del mundo de cosas no puede estar entre estos
enunciados, porque no puede ser formulada en el lenguaje de cosas, o, al parecer, en
algn otro lenguaje terico.
La decisin de aceptar el lenguaje de cosas, aunque en s misma no es de naturaleza
cognitiva, ser sin embargo usualmente influenciada por el conocimiento terico, as
como cualquier otra decisin deliberada concerniente a la aceptacin de reglas
lingsticas o de otro tipo. Los propsitos para los que el lenguaje tiene por objeto ser
usado, por ejemplo, el propsito de comunicar conocimiento factual, determinar cules
factores sean relevantes para la decisin. La eficiencia, la fertilidad y la simplicidad del
uso del lenguaje de cosas podran estar entre los factores decisivos. Y las preguntas que
conciernen a esas cualidades son en efecto de naturaleza terica. Pero esas preguntas no
pueden ser identificadas con la del realismo. No son preguntas de s o no, sino
cuestiones de grado. El lenguaje de cosas en su forma acostumbrada funciona en efecto
con un alto grado de eficiencia para la mayora de los propsitos de la vida cotidiana.
Esta es una cuestin de hecho, basada en el contenido de nuestras experiencias. Sin
embargo, sera equivocado describir esta situacin diciendo: El hecho de la eficiencia
del lenguaje es evidencia confirmante para la realidad del mundo de cosas; en vez de
eso, deberamos decir: Este hecho hace recomendable aceptar el lenguaje de cosas.
El sistema de nmeros*. Como ejemplo de un sistema que es de naturaleza lgica en vez
de factual tomemos el sistema de los nmeros naturales. El marco para este sistema se
construye introduciendo al lenguaje nuevas expresiones con reglas a propsito: (1)
numerales como cinco y formas de oraciones como hay cinco libros en la mesa; (2)
el trmino general nmero para las nuevas entidades, y formas de oraciones como
cinco es un nmero; (3) expresiones para las propiedades de los nmeros (por
ejemplo, impar, primo), relaciones (por ejemplo, mayor que) y funciones (por
ejemplo, ms), y formas de oraciones como dos ms tres es cinco; (4) variables
numricas (m, n, etc.) y cuantificadores para oraciones universales (para cada n
) y oraciones existenciales (hay un n tal que) con las acostumbradas reglas
deductivas.
Nuevamente, aqu hay preguntas internas, por ejemplo Hay un nmero primo mayor
que cien? Sin embargo, aqu las respuestas no son halladas por investigacin emprica
*
Mi original dice miembros (members) en vez de nmeros (numbers). Adopt nmeros porque me
haca ms sentido. [N.T.]
sino por el anlisis lgico basado en las reglas para las nuevas expresiones. De ah que
estas respuestas sean analticas, esto es, lgicamente verdaderas.
Y ahora, cul es la naturaleza de la pregunta filosfica concerniente a la existencia o
realidad de los nmeros? Para empezar, est la pregunta interna que junto con la
respuesta afirmativa, pueden ser formulados en nuevos trminos, digamos, por hay
nmeros, o, ms explcitamente, Hay un n tal que n es un nmero. Este enunciado
sigue del enunciado analtico cinco es un nmero y es por ello l mismo analtico.
Ms encima, es bastante trivial (en contra-distincin a un enunciado como Hay un
nmero primo mayor que un milln, que es igualmente analtico, pero que est lejos de
ser trivial), porque no dice ms que el hecho que el nuevo sistema no est vaco: pero
esto se ve inmediatamente a partir de la regla que dice que palabras como cinco son
sustituibles por las nuevas variables. Por ello nadie que quisiera plantear la pregunta
Hay nmeros? en el sentido interno podra afirmar o siquiera considerar seriamente
una respuesta negativa. Esto hace plausible asumir que los filsofos que tratan la
cuestin de la existencia de los nmeros como un problema filosfico serio y ofrecen
largos argumentos a cualquier lado de la disputa, no tienen en mente la pregunta interna.
Y, efectivamente, si furamos a preguntarles: Lo que quieres plantear es la pregunta
de si el marco de los nmeros, si fusemos a aceptarlo, podra estar vaco o no?
probablemente responderan: No, para nada; queremos plantear una pregunta anterior a
la aceptacin del nuevo marco. Podran tratar de explicar que lo que queran decir con
eso es una pregunta por el status ontolgico de los nmeros; la pregunta de si los
nmeros tienen o no una cierta caracterstica metafsica llamada realidad (pero una clase
de realidad ideal, diferente de la realidad material del mundo de cosas) o subsistencia o
condicin de entidades independientes. Desafortunadamente, estos filsofos no han
dado hasta el momento una formulacin de su pregunta en trminos del lenguaje
cientfico comn. Por lo tanto, nuestro juicio debe ser que no han tenido xito en dar un
contenido cognitivo ni a la pregunta externa ni a las posibles respuestas. A menos y
hasta que entreguen una interpretacin cognitiva clara, estamos justificados en nuestra
sospecha de que su pregunta es de hecho una pseudo-pregunta, esto es, una que se
disfraza en la forma de una pregunta terico cuando de hecho es no-terica; en el caso
presente, es el problema prctico de si se ha de incorporar o no al lenguaje las nuevas
formas lingsticas que constituyen el marco de los nmeros.
El sistema de proposiciones. Nuevas variables, p, q, etc. son introducidas con una
rol a efecto que cualquier oracin (declarativa) pueda ser sustituida por una variable de
este tipo; esto incluye, en adicin a las originales del lenguaje de cosas original, tambin
a todas las oraciones generales con variables de cualquier tipo que podran ser
introducidas al lenguaje. Adems, el termino general proposicin es introducido. p es
una proposicin podra ser definida por p o no p (o cualquier otra forma de oracin
que entregue solo oraciones analticas). Por lo tanto, cada oracin de la forma es
una proposicin (donde cualquier oracin podra estar en lugar de los puntos) es
analtica. Esto se aplica, por ejemplo, para la oracin:
(a) Chicago es grande es una proposicin.*
Se podran admitir los predicados cuyas expresiones de argumento sean oraciones; esos
predicados podran ser ya sea extensionales (e.g. las conectivas veritativo-funcionales
*
Aqu hay en el original una observacin gramatical que aplica en ingls, pero que no es necesaria, creo,
aqu: No consideramos el hecho de que las reglas de la gramtica del ingls requieran una clusula
que como sujeto de otra oracin en vez de una oracin; de acuerdo a esto en lugar de (a) deberamos
decir Que Chicago es grande es una proposicin. [N.T]
En mi libro Significado y Necesidad (Chicago, 1947) he desarrollado un mtodo que considera las
proposiciones como entidades designadas por las oraciones (ms especficamente, como intensiones de
oraciones). A fin de facilitar le comprensin del desarrollo sistemtico, agregu algunas explicaciones
informales, extra-sistemticas concernientes a la naturaleza de las proposiciones. Dije que el trmino
proposicin no es usado ni para una expresin lingstica ni para una ocurrencia subjetiva y mental,
sino para algo objetivo que podra o no ser ejemplificado en la naturaleza Aplicamos el trmino
proposicin a cualquier entidad de un cierto tipo lgico, a saber, aquellas que podran ser expresadas
por oraciones (declarativas) en un lenguaje (pg. 27) Tras algunas discusiones ms detalladas
concernientes a la relacin entre proposiciones y hechos, y la naturaleza de las proposiciones falsas,
Despus de que las nuevas formas son introducidas al lenguaje, es posible formular con
su ayuda preguntas internas y posibles respuestas a ellas. Una pregunta de este tipo
podra ser emprica o lgica; concordantemente, una repuesta verdadera es o
factualmente verdadera o analtica.
De las preguntas internas debemos distinguir claramente las preguntas externas, esto es,
las preguntas filosficas que conciernen a la existencia o realidad del sistema total de las
nuevas entidades. Muchos filsofos consideran un a pregunta de este tipo como una
pregunta ontolgica que debe ser planteada y respondida antes de la introduccin de
nuevas formas de lenguaje. La introduccin posterior, creen, es legtima solamente si
puede ser justificada por una intuicin ontolgica que supla a la respuesta afirmativa a
la pregunta por la realidad. En contraste con esta visin, tomamos la posicin que la
introduccin de nuevas formas de hablar no necesita ninguna justificacin terica
porque no implica ninguna afirmacin acerca de la realidad. Podramos incluso hablar
(y lo hemos hecho) de la aceptacin de nuevas entidades ya que esta forma de hablar
es la acostumbrada; pero se debe tener en mente permanentemente que esta frase no nos
significa nada ms que la aceptacin del nuevo marco, esto es, de las nuevas formas
lingsticas. Sobre todo, no debe interpretarse como si se refiriese a una asuncin
(assumption), creencia, o asercin de la realidad de las entidades. No hay tal asercin.
Un enunciado presunto acerca de la realidad del sistema de entidades es un pseudoenunciado sin contenido cognitivo. De seguro, debemos encarar en este punto a una
importante pregunta; pero es una pregunta prctica, no terica; es la pregunta acerca de
si aceptaremos las nuevas formas lingsticas o no. La aceptacin no puede ser juzgada
como verdadera o falsa pues no es una asercin. Solamente puede ser juzgada como
ms o menos conveniente, fructfera, conducente al objetivo para el que el lenguaje est
previsto. Los juicios de este tipo otorgan la motivacin para la decisin de aceptar o
rechazar el tipo de entidades.5
As, es claro que no debe considerarse que la aceptacin de un marco lingstico
implique una doctrina metafsica que concierna a la realidad de las entidades en
cuestin. Me parece que se debe a esta importante distincin el que algunos
nominalistas contemporneos etiqueten la admisin de variables de tipos abstractos
como Platonismo.6 Esto es, por decir lo menos, una terminologa extremadamente
engaosa. Conduce a la consecuencia absurda de que la posicin de todo quien acepte el
lenguaje de la fsica con sus variables de nmeros reales (como lenguaje comunicativo,
no meramente un clculo) debera ser llamada platnica, an si es un empirista estricto
que rechace la metafsica platnica.
5
Por un punto de vista cercanamente relacionado acerca de estas cuestiones, ver las detalladas
discusiones en Herbert Feigl, "Existential Hypotheses", Philosophy of Science, 17 (1950), pgs. 35-62.
6
Paul Bernays, "Sur le platonisme dans les mathematiques", (L'Enseignement math., 34 (1935), 52-69).
W.V. Quine, ver la nota al pie previa y un escrito reciente, "On What There Is," Review of Metaphysics,
Vol. 2 (1948), pgs. 21-38. Quine no reconoce la distincin que enfatizo, porque de acuerdo a su
concepcin general no hay lmites claros entre la aceptacin de verdad lgica y factual, ni entre preguntas
de significado y cuestiones de hecho, ni entre la aceptacin de la estructura del lenguaje y la aceptacin
de una afirmacin formulada en ese lenguaje. Esta concepcin, que parece desviarse considerablemente
de las formas acostumbradas de pensar, es explicada en su artculo "Semantics and Abstract Objects,"
Proceedings of the American Academy of Arts and Sciences, 80 (1951), 90-96. Cuando Quine, en el
artculo "On What There Is," clasifica mi concepcin logicista de la matemtica (derivada de Frege y
Russell) como realismo platnico (pg. 33), no significa (de acuerdo a una comunicacin personal con
l) que me adscriba un acuerdo con la doctrina metafsica de Platn acerca de los universales, sino que
meramente se refiere al hecho que yo acepto un lenguaje de la matemtica que contiene variables de
niveles ms altos. Con respecto a la actitud bsica que toma al elegir una forma de lenguaje (una
ontologa en la terminologa de Quine, que me parece engaosa), parece que hay ahora un acuerdo
entre nosotros: el consejo obvio es tolerancia y un espritu experimental ("On What There Is," pg. 38).
Cabe insertar aqu una breve nota histrica. El carcter no cognitivo de las preguntas
que hemos llamado preguntas externas fue ya reconocido y enfatizado por el Crculo de
Viena, dirigido por Moritz Schlick, el grupo del cual se origin el movimiento del
empirismo lgico. Influenciado por ideas de Ludwig Wittgenstein, el crculo rechaz
tanto la tesis de la realidad del mundo externo como la tesis de su irrealidad como
pseudo-enunciados;7 el mismo fue el caso para la tesis de la realidad de los universales
(entidades abstractas, en nuestra terminologa actual) y la tesis nominalista de que no
son reales y que sus supuestos nombres no son sino meramente flatus vocis. (Es obvio
que la negacin aparente de un pseudo-enunciado debe ser tambin un pseudoenunciado.) Por tanto, no es correcto clasificar a los miembros del Crculo de Viena
como nominalistas, como alguna vez se ha hecho. Sin embargo, si vemos la actitud
bsica anti-metafsica y pro-cientfica de la mayora de los nominalistas (y lo mismo
vale para muchos materialistas y realistas en el sentido moderno), sin tomar en cuenta
sus formulaciones pseudo-tericas, es por supuesto, cierto decir que el Crculo de Viena
estaba mucho ms cerca de estos filsofos que sus oponentes.
Ver Carnap, Scheinprobleme in der Philosophie; das Fremdpsychische und der Realismusstreit, Berlin,
1928. Moritz Schlick, Positivismus und Realismus, reimpreso en Gesammelte Aufsatze, Viena, 1938.
8
Ver Introduction to Semantics (Cambridge, Massachusetts, 1942); Meaning and Necessity (Chicago,
1947). La distincin que he delineado en el ultimo libro entre el mtodo de la relacin del nombre y el
mtodo se la intensin y la extensin no es esencial para nuestra discusin presente. El trmino
designacin se usa en este artculo en una manera neutral; podra ser comprendido como refiriendo a la
relacin del nombre o a la relacin intencional o a la relacin extensional o a cualquier relacin similar
usada en otros mtodos semnticos.
(adjetivos como rojo, numerales como cinco, etc.) haya una entidad particular real
por la que la expresin est en la relacin de designacin. Esta creencia es rechazada
como incompatible con los principios bsicos del empirismo o del pensamiento
cientfico. Se le aplican etiquetas despectivas como realismo platnico,
hipostasizacin o Principio de Fido-Fido. La ltima es el nombre dado por Gilbert
Ryle9 a la criticada creencia que, a su parecer, surge a causa de una ingenua inferencia
de analoga: as como hay una entidad bien conocida por m, a saber, mi perro Fido, que
es designado por el nombre Fido, debe haber para cada expresin significativa una
entidad particular por la cual est en la relacin de designacin o nombramiento, esto es,
la relacin ejemplificada por Fido-Fido. La creencia criticada es por tanto un caso de
hipostasizacin, esto es, de tratar como nombres expresiones que no lo son. Aunque
Fido es un nombre, expresiones como rojo, cinco, etc. no son llamadas nombres,
ni designan cosa alguna.
Nuestra discusin previa concerniente a la aceptacin de marcos nos permite ahora
esclarecer la situacin con respecto a las entidades abstractas como designata. Tomemos
como un ejemplo el enunciado:
(a) Cinco designa un nmero
La formulacin de este enunciado presupone que nuestro lenguaje L contiene las formas
de expresiones que hemos llamado el marco de los nmeros, en particular, variables
numricas y el trmino general nmero. Si L contiene esas formas, lo siguiente es un
enunciado analtico en L:
(b) Cinco es un nmero
Adems, para hacer al enunciado (a) posible, L debe contener una expresin como
designa o es un nombre de para la relacin semntica de la designacin. Si se han
establecido reglas adecuadas para este trmino, lo siguiente es, de modo similar,
analtico:
(c) Cinco designa cinco
(Hablando en general, una expresin de la forma designa es un enunciado
analtico, provisto que el trmino sea una constante en un marco aceptado. Si la
ltima condicin no es satisfecha, la expresin no es un enunciado.) Ya que (a) sigue de
(c) y (b), (a) es, del mismo modo, analtico.
As, es claro que si alguien acepta el marco de los nmeros, debe reconocer a (c) y (b), y
por tanto a (a), como enunciados verdaderos. En general, si alguien acepta un marco
para un cierto tipo de entidades, est sometido a admitir las entidades como posibles
designata. Con ello, la pregunta por la admisibilidad de entidades de un cierto tipo de
entidades abstractas en general como designata se reduce a la pregunta de la
aceptabilidad del marco lingstico de esas entidades. Tanto los crticos nominalistas,
quienes niegan el estatus de sealadores (designators) o nombres a expresiones como
rojo, cinco, etc., porque niegan la existencia de entidades abstractas, como los
escpticos, que expresan duda respecto a la existencia y demandan evidencia de ella,
tratan la pregunta de la existencia como una pregunta terica. Por supuesto, no se
refieren a la pregunta interna: la respuesta afirmativa a esta pregunta es analtica y
trivial, y demasiado obvia como para duda o negacin, como hemos visto. Sus dudas se
9
Ernest Nagel, "Review of Meaning and Necessity" Journal of Philosophy, 45, 1948, 467-72.
posible que pudiese ser considerada como relevante para ambos filsofos, y por tanto, si
fuese efectivamente encontrada, decidira la controversia o al menos hara a uno de los
opuestos ms probable que el otro. (Construir los nmeros como clases o propiedades
de segundo nivel, de acuerdo al mtodo de Frege-Russell, no resuelve, por cierto, la
controversia, porque el primer filsofo afirmara, y el segundo negara, la existencia del
sistema de clases o propiedades de segundo nivel.) De ah que me sienta impulsado a
considerar la pregunta externa como una pseudo-pregunta, hasta que ambos partidos de
la controversia ofrezcan una interpretacin comn de la pregunta como pregunta
cognitiva; esto involucrara una indicacin de evidencia posible relevante para ambos
lados.
Hay un tipo particular de mala interpretacin de la aceptacin de entidades abstractas
en varios campos de la ciencia y en la semntica, que necesita ser esclarecida. Ciertos
empiristas britnicos tempranos (e.g., Berkeley y Hume) negaron la existencia de las
entidades abstractas en base a que la experiencia inmediata se nos presenta solamente
con particulares, no con universales, por ejemplo, con este parche rojo, pero no con la
rojez o el color-en-general; con este tringulo escaleno, pero no con la triangularidad
escalena o la triangularidad-en-general. Slo entidades que pertenezcan a un tipo cuyos
ejemplos hubiesen de ser encontrados dentro de la experiencia inmediata podran ser
considerados como los constituyentes ltimos de la realidad. As, de acuerdo con esta
forma de pensar, la existencia de entidades abstractas podra ser afirmada solamente si
uno pudiera mostrar que algunas entidades abstractas caen dentro de lo dado, o que las
entidades abstractas pueden ser definidas en trminos de los tipos de entidad que son
dados. Ya que estos empiristas no hallaron entidades abstractas dentro del dominio de
los datos de los sentidos, o bien negaron su existencia, o hicieron un ftil intento de
definir los universales en trminos de particulares. Algunos filsofos contemporneos,
especialmente los filsofos ingleses seguidores de Bertrand Russell, piensan en
bsicamente los mismos trminos. Enfatizan una distincin entre los datos (lo que es
dado inmediatamente en la conciencia, e.g, los datos de los sentidos, experiencias
inmediatamente pasadas, etc.) y los constructos basados en los datos. La existencia o
realidad se adscribe solamente a los datos; los constructos no son entidades reales; las
expresiones lingsticas correspondientes son meramente formas de habla que realmente
no designan cosa alguna (reminiscente del flatus vocis nominalista). No hemos de
criticar aqu esta concepcin general. (En tanto es un principio respecto a aceptar
ciertas entidades y no aceptar otras, dejando de lado cualquier pseudo-enunciado
ontolgico, fenomenalista y nominalista, no puede haber ninguna objecin terica a
esto.) Pero si esta concepcin conduce a la visin que los otros filsofos o cientficos
que aceptan entidades abstractas afirmen o impliquen por tanto su ocurrencia como
datos inmediatos, entonces tal visin debe ser rechazada como una mala interpretacin.
Las referencias a los puntos de espacio-tiempo, el campo electromagntico, o los
electrones en fsica, a los nmeros reales o complejos en matemtica, al potencial
excitatorio de complejos inconscientes en psicologa, a las tendencias inflacionarias en
economa, y similares, no implican la afirmacin que las entidades de esos tipos ocurran
como dados inmediatos. Y lo mismo aplica para las referencias a entidades abstractas
como designata en semntica. Algunos de las criticas de parte de los filsofos ingleses
contra tales referencias dan la impresin de que, probablemente debido a la mala
interpretacin recin indicada, acusan al semanticismo no tanto de una mala metafsica
(como algunos nominalistas haran) sino de mala psicologa. El hecho que consideren
que un mtodo semntico que involucra entidades abstractas como algo no meramente
dudoso y tal vez errado, sino manifiestamente absurdo, descabellado y grotesco, y que
muestren un profundo horror e indignacin frente a este mtodo, es tal vez algo que ha
de explicarse por una mala interpretacin del tipo descrito. De hecho, por supuesto, el
semntico ni con mucho afirma o implica que las entidades abstractas a las que se
refiere puedan ser experimentadas como dadas inmediatamente ya sea por la sensacin
o por algn tipo de intuicin racional. Una afirmacin de este tipo sera, efectivamente,
psicologa muy dudosa. La pregunta psicolgica acerca de cules tipos de entidades
ocurren o no como datos inmediatos es enteramente irrelevante para la semntica, as
como lo es para la fsica, la matemtica, la economa, etc., con respecto a los ejemplos
mencionados ms arriba.11
5. CONCLUSIN
Para quienes quieran desarrollar o usar mtodos semnticos, la pregunta decisiva no es
la pretendida pregunta ontolgica por la existencia de entidades abstractas sino ms bien
la pregunta de si el planteamiento de formas lingsticas abstractas o, en trminos
tcnicos, el uso de variables aparte de aquellas para cosas (o datos fenomnicos), es
conveniente y fructfero para los propsitos para los cuales los anlisis semnticos son
hechos, a saber, el anlisis, interpretacin, clarificacin o construccin de lenguajes de
comunicacin, en especial de lenguajes de ciencia. Esta cuestin no se decide ni
siquiera discute aqu. No es una pregunta simplemente de s o no, sino una cuestin de
grado. Entre aquellos filsofos que han realizado anlisis semnticos, y pensado acerca
de herramientas adecuadas para este trabajo, comenzando con Platn y Aristteles y, en
una manera ms tcnica a base de la lgica moderna, con C.S. Peirce y Frege, una gran
mayora acept las entidades abstractas. Esto, por supuesto, no prueba el caso. Despus
de todo, la semntica en el sentido tcnico est an en las fases iniciales de su
desarrollo, y debemos estar preparados para posibles cambios fundamentales en los
mtodos. Djesenos por lo tanto admitir que los crticos nominalistas pueden estar
probablemente en lo cierto. Pero si es as, tendrn que ofrecer mejores argumentos que
los que tienen hasta aqu. Recurrir a la perspicacia ontolgica no tiene mucho peso. Los
crticos tendrn que mostrar que es posible construir un mtodo semntico que evite
toda referencia a entidades abstractas y que logre por medios ms simples esencialmente
los mismos resultados que otros mtodos.
La aceptacin o rechazo de formas lingsticas abstractas, as como la aceptacin o
rechazo de cualquier otra forma lingstica en cualquier rama de la ciencia, ser
finalmente decidida por su eficiencia como instrumentos, la proporcin de resultados
logrados a la cantidad y complejidad de los esfuerzos requeridos. Decretar prohibiciones
dogmticas de ciertas formas lingsticas en lugar de probarlas por su xito o fracaso en
el uso prctico, es peor que ftil; es positivamente daino porque podra obstruir el
progreso cientfico. La historia de la ciencia muestra ejemplos de tales prohibiciones
derivados de fuentes religiosas, mitolgicas, metafsicas u otras de carcter irracional,
que retardaron el desarrollo por periodos de tiempo ms largos o ms cortos.
Aprendamos de las lecciones de la historia. Garanticemos a quienes trabajan en
cualquier campo especial de investigacin la libertad de usar cualquier forma de
expresin que les perezca til; el trabajo en tal campo tarde o temprano conducir a la
eliminacin de las formas que no tienen una funcin til. Seamos cautos en hacer
afirmaciones y crticos en examinarlas, pero tolerantes en permitir formas lingsticas.
11
Wilfrid Sellars (Acquaintance and Description Again en Journal of Philosophy, 46 (1949), 496-504;
ver pg. 502 al pie,) analiza claramente las races del error de considerar que la relacin de designacin
de la teora semntica ha de ser una reconstruccin del ser presente a una experiencia.