Академический Документы
Профессиональный Документы
Культура Документы
UNA INTRODUCCIN A LA
FILOSOFA DEL LENGUAJE
UNIVERSIDAD AUTNOMA
METROPOLITANA IZTAPALAPA
2014
1
2
Prefacio
2
3
tradicin que tiene sus problemas particulares y una metodologa propia. Sera
muy difcil especificar en qu consisten esos problemas y cules son los
recursos a los que se suele recurrir dentro de esta tradicin. Casi cualquier
afirmacin que hiciramos al respecto sera muy arriesgada. Como el lector
advertir, los autores que trataremos son muy meticulosos en el uso del
lenguaje y sus reflexiones estn vinculadas muchas veces al desarrollo de la
lgica y de las matemticas. Sus tesis estn casi siempre sustentadas en
argumentos muy rigurosos y que podramos formalizar sin dificultad.
Por otro lado, el filsofo del lenguaje, en el sentido que hemos descrito,
no se limita a tener al lenguaje como nico objeto de estudio (por lo menos no
en todos los casos), sino que ms bien emplea el anlisis del lenguaje como
una herramienta diferente para abordar y resolver problemas filosficos. Como
el lector podr apreciar, a travs de este mtodo se ofrecen perspectivas
novedosas e incluso soluciones a problemas filosficos tradicionalmente
concernientes a la metafsica o a la epistemologa, como lo son la cuestin de
si en el mundo algunas cosas ocurren contingente o necesariamente, o bien,
sobre cmo es que podemos dar cuenta de nuestro conocimiento matemtico.
Los resultados obtenidos en filosofa del lenguaje tienen repercusiones no slo
en filosofa de la mente, sino en general en el tratamiento del problema que el
lenguaje plantea al pensamiento filosfico.
No creemos que la que se ofrece a continuacin sea la nica manera
posible de introducirse en la filosofa del lenguaje, ni tampoco que sea la mejor.
Nos enfocaremos en un aspecto muy particular de la filosofa del lenguaje (la
semntica) y dentro de ste, en el tema de la denotacin de trminos
singulares (nombres propios, descripciones definidas y decticos). Aunque,
desde luego, otros tpicos aparecen y son tratados, la semntica ser el eje
principal del libro. Una de las razones para elegir a los autores y el material que
es analizado en el libro es que, adems de seguir un orden cronolgico, hay
una secuencia dialctica por la cual cada teora semntica expuesta se
presenta en oposicin a la anterior, casi siempre como una respuesta a la
objeciones que la predecesora no pudo tratar, adems de proponer una
solucin supuestamente ms sencilla o ms clara a ciertos enigmas
semnticos. Estos problemas forman un fondo contra el cual cada teora es
evaluada y, si bien, muchos aparecen desde el principio, su conjunto va
3
4
4
5
5
6
6
7
7
8
ndice
Slvio Jos Mota Pi, 10/6/2015 8:10 PM
Con formato: Fuente: Negrita
8
9
Captulo 5. Decticos
Slvio Jos Mota Pi, 10/6/2015 8:11 PM
5.1 Introduccin Con formato: Fuente: Negrita
Slvio Jos Mota Pi, 10/6/2015 8:11 PM
5.2 Una rebelin contra el descriptivismo
Eliminado:
5.3 El argumento modal de Kaplan
5.4 Demostrativos y decticos puros
5.5 Carcter y contenido
5.6 Contexto de pronunciacin y circunstancias de evaluacin (mundos
posibles)
5.7 Designadores rgidos, designadores obstinadamente rgidos y trminos
directamente referenciales
5.8 El argumento modal de Kaplan
5.9 Algunas Alternativas
5.10 El Operador Dthat
5.11 El problema de Frege
5.12 Necesidad a posteriori
5.13 Contingente a priori
5.14 El estatus de Dthat. Demostraciones versus intenciones
5.15 Perry: Locating Beliefs
Bibliografa
Slvio Jos Mota Pi, 10/6/2015 8:11 PM
Con formato: Fuente: Negrita
9
10
Captulo 1
10
11
1
KdRV, A7-B11
11
12
12
13
13
14
14
15
2
Frege, G. Los fundamentos de la aritmtica, 1884, includo en Conceptografa. Los fundamentos de la
aritmtica. Otros estudios filosoficos, trad. Hugo Padilla, Universidad Nacional Autnoma de Mxico, Slvio Jos Mota Pi, 10/6/2015 8:39 PM
Mxico 1972, p.130. la referencia completa no ya estara en lista bibliogrfica final? Con formato: Espaol
3
Esta sera, por ejemplo, una geometra que no utilizase el postulado de las paralelas sino, en su lugar, Slvio Jos Mota Pi, 10/6/2015 8:39 PM
uno que afirmara que por un punto exterior a una recta L no pasa ninguna paralela a L. Un modelo de tal Con formato: Espaol
geometra podra ser la superficie de una esfera; sobre esta superficie podemos trazar una geodsica y
considerar un punto fuera de ella. Cualquier otra geodsica que pase por ese punto intersecta a la
geodsica original.
15
16
muy diferentes: uno predica algo de Abelardo y otro predica otra cosa muy
diferente de Elosa. Desde el punto de vista de la informacin que proporcionan
por qu el enunciado (*) tratara ms de Abelardo que de Elosa? No es un
accidente el que para poner en palabras lo que (*) significa empecemos
mencionando a Abelardo y no a Elosa? Frege pens que el anlisis aristotlico
era vlido en algunos contextos, pero que tambin podramos analizar (*) como
estando constituido por dos sujetos, Abelardo y Elosa, y un trmino que
llamaremos ahora funcional (en espera de explicar esta designacin) y que
tiene la caracterstica de tener huecos susceptibles de ser llenados. Este
trmino es:
________ ama a
Las lneas indican que el trmino est incompleto. Frege dir que estos
trminos son insaturados, a diferencia, por ejemplo, de los nombres propios. Si
digo Abelardo puedo tener una idea relativamente completa de algo, mientras
que si escucho _____ ama a. no logro formarme una idea completa sino
que aguardo a saber quin ama a quin. Como mencionamos, tambin Frege
admite que (*) se analice como constituida por el nombre Abelardo y el
trmino funcional ___ama a Elosa o como formada por el nombre Elosa y el
trmino funcional Abelardo ama a___. Esta simple posibilidad de
descomposicin en que un enunciado se ve como formado por dos sujetos y
16
17
17
18
expresin de clculo en que figuraba una variable, haba que distinguir entre
esta expresin lingstica y aquello que denota o representa (que es
propiamente la funcin).
Ahora veamos cmo extiende Frege esta idea matemtica de funcin.
As como la expresin
X2
Puede concebirse como (denotando) una funcin que a cada nmero real le
asocia su cuadrado, as
La capital de
Puede verse como el nombre de una funcin que a cada pas hace
corresponder su capital. Ambas son funciones unarias pues para un argumento
(o dato de entrada) tienen un valor.
X X2
2 4
3 9
1 10
0 0
-7 49
Pas La capital de
Italia Roma
Costa Rica San Jos
Japn Tokio
El Zaire Kinsasa
18
19
52
una expresin que simboliza el nmero 25. Por eso decimos que la funcin
(expresada por) X2, asocia a 5 el 25. En cambio la expresin
X2>4
No representa, para un matemtico, una funcin. Al sustituir la variable X,
digamos por 3, obtenemos un enunciado verdadero
32>4
y no un numeral. Pero ahora supongamos (luego veremos la conveniencia de
hacer esto) que hay dos objetos llamados verdadero y falso respectivamente.
Digamos que ambos son valores de verdad. Supongamos tambin que un
enunciado verdadero es un nombre de verdadero, mientras que un enunciado
falso denota a falso. Entonces
X2>4
Puede ser vista como representando una funcin que asocia verdadero a
todos los nmeros cuyo cuadrado es mayor que 4, y falso a todos los dems.
Pues si sustituimos la variable en esa expresin por el numeral 5 obtenemos
un enunciado verdadero (a saber 52>4), es decir un nombre del objeto
verdadero. Esta es una extensin de la idea original de funcin. Ahora bien,
debemos ser cautelosos al hablar, pues
X2>4
no es una funcin, como tampoco lo es
X2 .
Esos son nombres de funciones. De manera intuitiva, la funcin es una
correlacin entre cosas (instantes y temperaturas, pases y ciudades,
nmeros y valores de verdad), mientras que
X2
es una expresin lingstica. Por lo menos a partir de cierta poca Frege hace
explcita la distincin entre esa expresin (a la que llama trmino funcional) y la
funcin misma. De acuerdo a su concepcin, la expresin
es par
es el nombre de una funcin (es, decir, es un trmino funcional). Dicha funcin
asocia verdadero a un nmero si es par y falso a los que no lo son.
Tradicionalmente NUMERO PAR era considerado como un concepto. Por eso,
19
20
Frege llama conceptos a las funciones unarias que asocian con cada
argumento un valor de verdad (es decir, verdadero o falso).
X X es primo
7 VERDADERO
6 FALSO
99 FALSO
5 VERDADERO
8 FALSO
20
21
x Y X es padre de y
Slvio Jos Mota Pi, 10/6/2015 8:54 PM
Fox Caldern FALSO Tabla con formato
Frege llama relaciones binarias a las funciones que asocian a cada par de
argumentos un valor de verdad. Entonces, podemos formar un trmino
relacional binario (es decir, el nombre de una relacin binaria) eliminando de un
enunciado dos nombres propios. Por ejemplo:
invit a a cenar
denota una relacin en la que estn dos individuos (en un cierto orden) si el
primero invit al segundo a cenar. A esos trminos los llamemos trminos
relacionales binarios de primer orden y a las funciones correspondientes
relaciones binarias de primer orden.
En lo sucesivo veremos por qu Frege considera que hay dos objetos
llamados respectivamente verdadero y falso, pero aqu vemos una primera
razn para as hacerlo: conseguimos una simplificacin elegante. Ahora
tendremos dos tipos de expresiones en el lenguaje: las saturadas (nombres) y
las insaturadas (trminos funcionales). Correspondiente a ello habr dos tipos
de entidades: objetos y funciones. Por ejemplo, las constantes lgicas que
21
22
P Q P&Q
VERDADERO VERDADERO VERDADERO
VERDADERO FALSO FALSO
FALSO VERDADERO FALSO
ALSO FALSO FALSO
22
23
En los aos 90 del siglo XIX, Frege desarroll algunas ideas de carcter
semntico que han sido cruciales en la filosofa del lenguaje. Recordemos que
la semntica investiga, grosso modo, las relaciones entre el lenguaje y el
mundo, a diferencia de la sintaxis, que estudia las propiedades de expresiones
lingsticas que derivan nicamente de los signos que las constituyen y del
4
CP, p. 153.
23
24
Es cierto que hay casos en que es difcil separar el radio de accin de estas
tres disciplinas, por ejemplo, cuando la determinacin del significado de una
palabra (una cuestin semntica) me lleva a preguntarme cmo se utiliza ese
vocablo (una cuestin aparentemente pragmtica). Sin embargo, para nuestros
fines, basta ahora con una distincin vaga.
Como el lector habr ya adivinado, la semntica es muy importante en la
filosofa de lenguaje, pero no la semntica de una lengua particular (que es lo
que estudia el lingista) sino la que estudia las relaciones entre cualquier
lenguaje (o un amplio grupo de lenguajes) y el mundo. Antes de ver las
aportaciones que Frege hizo en este dominio en los aos 90s, veamos qu
ideas semnticas tena previamente, en la Conceptografa (el libro en el que
introduce la lgica moderna en 1789) y por qu las desech a favor de su
nueva teora.
Al explicar el propsito de la Conceptografa, Frege introduce el trmino
contenido conceptual. En el prefacio explica cmo intentaba probar las
verdades aritmticas a partir de las leyes del pensamiento y cmo en ello se vio
impedido por las imprecisiones del lenguaje natural. En efecto, cuando
expresamos un argumento en el lenguaje natural una premisa puede
permanecer oculta y, como dijimos, el carcter de un enunciado (analtico,
sinttico a priori o sinttico a posteriori) depende de qu tipo de proposiciones
se requieren para su prueba. Por ello, es importante que todas las premisas
que intervienen en una prueba aparezcan explcitamente. El prrafo en
cuestin continua con esta idea: Adems para que no pudiera introducirse
inadvertidamente algo intuitivo, se debi llegar a suprimir toda laguna en la
cadena de inferencias. Al procurar cumplir lo ms rigurosamente posible con
este requerimiento, me encontr, junto a todas las dificultades que surgen de la
24
25
5
Frege, 1879, Conceptografa, includo en Conceptografa. Los fundamentos de la aritmtica. Otros
estudios filosoficos, trad. Hugo Padilla, Universidad Nacional Autnoma de Mxico, Mxico 1972.
6
dem
25
26
26
27
27
28
por los signos, sino, cosa inusitada, de los signos mismos. Aparentemente
tendramos que haber usado comillas para hablar de los signos mismos (de los
nombres), pero no fue necesario. Cuando enunciamos Albert Einstein=el
creador de la Teora de la Relatividad lo que queremos decir, de acuerdo a la
solucin de la Conceptografa, es que las expresiones Albert Einstein y el
creador de la Teora de la Relatividad son nombres del mismo individuo. Pero
eso no significa simplemente que tenemos dos nombres para el mismo objeto
(lo que sera un tanto ocioso), puesto que la ecuacin no siempre expresa algo
tan superficial. En palabras de Frege:
7
Prrafo 8 de la Conceptografa.
8
dem.
28
29
identidad se refiere al mismo objeto que el signo que ves a la derecha del signo
Slvio Jos Mota Pi, 10/6/2015 9:47 PM
de identidad. Eliminado: refiera
As cuando decimos
Napolen venci en Austerlitz
Estamos hablando del famoso general corso. En cambio, si decimos
Napolen=Bonaparte
Aunque creamos haber hablado del vencedor de Marengo, en realidad estamos
diciendo algo sobre el nombre Napolen y lo que estamos aseverando es que
este nombre y el nombre Bonaparte se refieren a lo mismo (tienen el mismo
contenido conceptual). El enunciado, as interpretado, ya no es obvio. Nos
aporta el conocimiento de que dos nombres se refieren a lo mismo. La solucin
de Frege no es descabellada y contiene en germen una idea que l mismo
habra de explotar ms adelante. Sin embargo, es extraa y deberamos
retener el argumento que nos llev hasta ella. Podramos resumirlo as: en un
contexto un nombre se refiere o bien al mundo o bien al lenguaje. La
suposicin de que los nombres a cada lado de una ecuacin verdadera se
refieren a objetos del mundo nos lleva a un absurdo (toda ecuacin es trivial).
Por ende, deben referirse al lenguaje. Ms precisamente, en la ecuacin los
nombres se refieren a s mismos. Es una solucin extraa que a Frege, un
poco ms tarde, no le satisfizo. Analicmosla un poco ms porque no difiere
tanto de la solucin definitiva que Frege adoptar finalmente.
Recordemos la frase al introducir un smbolo para la igualdad de
contenido, necesariamente se produce una disociacin en el significado de
todos los smbolos, ya que tan pronto estn en vez de su contenido, tan pronto
en vez de s mismos. Frege ha decidido que debe introducir un smbolo para
identidad de contenido en el lenguaje lgicamente puro de la Conceptografa
(donde slo tiene lugar lo que es relevante para la relacin inferencial). Pero
curiosamente esto produce un defecto en ese lenguaje, una ambigedad. La
inferencia
Pars es ms pequea que Londres
Londres es ms pequea que Sao Paulo
Pars es ms pequea que Sao Paulo
Es correcta (aunque para ser lgicamente correcta requerira una premisa que
suponemos implcita). En ella establecemos que una cierta relacin se da entre
29
30
30
31
31
32
porque la haya escuchado antes, sino porque entiendo la informacin con que
cada parte de este enunciado contribuye a la informacin total que el
enunciado proporciona. Ahora bien, podramos entonces preguntar: dado que
el significado de expresiones semnticamente complejas depende de manera
composicional del significado de sus partes, de qu depende el significado o
el contenido informativo de estas ltimas cuando hayamos llegado por
descomposicin a las partes semnticamente simples (por ejemplo, a los
nombres)? Un atomista semntico podra decir que el conocimiento del
significado de estos tomos requiere un acto de ostensin privada o pblica
(por ejemplo, el sealamiento de un dato sensorial interno o una ceremonia
pblica de bautismo a travs de la cual se otorgara un nombre a un objeto).
En el atomismo empirista de los siglos XVII y XVIII,9 eran justamente estas
ostensiones privadas las que daban cuenta del significado de trminos como
rojo, slido, amargo, etc. y que de alguna manera fijaban los significados de
todas las expresiones semnticamente complejas.
Este tipo de explicacin del significado de los tomos semnticos le
pareci a Frege completamente insatisfactorio por varias razones, pero en
particular porque no da cuenta del hecho de que las partes semnticamente
relevantes de cualquier oracin no contribuyen cada una de ellas al significado
del todo en que ocurren de la misma manera (a saber, como nombres de
complejos de sensaciones u objetos privados), sino que tal contribucin
depende de su categora semntica. Frege tal vez haya sido el primer filsofo
en percatarse de que la contribucin semntica sistemtica de una expresin,
al significado de una oracin en la que ocurre, es de muy diferente tipo segn
que esta expresin sea un nombre propio, una constante lgica, un trmino
predicativo o un enunciado. La tesis fregeana sobre el significado de las partes
semnticas de las oraciones es famosamente conocida como el principio del
contexto y en los Fundamentos se expresa de la siguiente manera:
9
Por ejemplo, en el libro II del Ensayo sobre el entendimiento humano donde se explica el origen del
contenido de las ideas simples apelando a la conciencia de determinados tomos subjetivos de percepcin Slvio Jos Mota Pi, 10/6/2015 9:57 PM
externa e interna (sensaciones asociadas a la captacin de ciertas propiedades de los objetos del mundo Con formato: Espaol
exterior y reflexiones sobre las operaciones de la mente, respectivamente).
32
33
33
34
A partir de los aos 90 del siglo XIX, Frege abandona esta semntica
por otra ms compleja. En lugar de una contribucin semntica (la de contenido
conceptual) de los nombres y oraciones constituyentes a las oraciones
compuestas en que aparecen, ahora cada expresin semnticamente relevante
tendr dos contribuciones semnticas. Las expresiones de diversas categoras
sintcticas, en particular, los nombres, los trminos funcionales, y los
enunciados contribuyen a los enunciados en que ocurren con una referencia y
un sentido. Ya no habr ms contenido conceptual sino sentido y referencia.
Cul es explicacin de este cambio? Por qu Frege encuentra insatisfactoria
su antigua semntica?
Ya vimos antes que su primera semntica no pareca satisfacer el
principio de composicionalidad. En todo caso, la razn invocada explcitamente
en Sobre sentido y referencia para introducir una nueva semntica aparece
en el primer prrafo de este clebre escrito en donde Frege vuelve el problema
de las ecuaciones o de la identidad al que haca referencia el prrafo 8 de la
Conceptografa y ahora le da una solucin ligeramente diferente.
La igualdad induce a la reflexin a travs de preguntas relacionadas con
ella y que no son fciles de contestar. Es la igualdad una relacin?, es una
relacin entre objetos?, o bien entre nombres o signos de objetos? Esto
ltimo es lo que supuse en mi Conceptografa. Las razones que parecen
10
Frege, Fundamentos, Introduccin y prrafos 60, 62 y 106.
34
35
11
Frege, Sobre Sentido y Referencia, primer prrafo.
12
Las citas posteriores sern de Sentido y Referencia hasta que se indique lo contrario.
35
36
por su forma), y no como signo (es decir, no por el modo como designa algo),
entonces el valor cognoscitivo de a = a sera esencialmente el mismo que el
de a = b, caso de que a = b fuera verdadero.
Lo que falta es decir que esa relacin entre los signos tiene algo que ver
con la manera en que estn ligados a su designacin:
Una distincin puede darse nicamente en el caso de que la diferencia de
signos corresponda a una diferencia en el modo de darse lo designado.
A pesar de todo, no hay tanta diferencia con lo que encontramos en la
Conceptografa, pues all se hablaba de que la necesidad de un smbolo para
la identidad de contenido provena de que a diferentes formas de
determinacin de un objeto correspondan nombres diferentes. Aqu se habla
de modos de darse, pero la diferencia est en que este modo de darse es
reconocido ahora como parte de la contribucin semntica del nombre,
mientras que antes el modo determinacin estaba excluido del contenido
conceptual. Finalmente, la solucin de Frege es:
Es natural considerar entonces que a un signo (nombre, unin de palabras,
signo escrito), adems de lo designado, que podra llamarse la referencia del
signo, va unido lo que yo quisiera denominar el sentido del signo, en el cual
se halla contenido el modo de darse. Segn esto, en nuestro ejemplo, la
referencia de las expresiones el punto de interseccin de a y b y el punto de
interseccin de b y c sera ciertamente la misma, pero no sera el mismo su
sentido. La referencia de lucero vespertino y de lucero matutino sera la
misma, pero el sentido no sera el mismo.
Recordemos que el problema era cmo puede una ecuacin de la
forma a = b ser verdadera y a la vez informativa para un determinado
hablante competente? Es decir, si una ecuacin de esta forma es verdadera y
si la contribucin semntica de a y de b es slo indicar al objeto que denotan,
entonces tal ecuacin enuncia algo trivial, que no aumenta nuestro
conocimiento del mundo. Dicho a la inversa, si una ecuacin de la forma
mencionada es informativa y nos informa algo sobre los referentes de sus
36
37
37
38
38
39
13
Aqu Frege estara haciendo uso ms una vez del ya mencionado principio leibniziano de la
sustitutividad de expresiones co-referenciales salva veritate. Podramos decir que tal principio es la
versin al nivel de la referencia del principio de composicionalidad del significado o del sentido.
39
40
14
Church, Alonzo. Introduction to Mathematical Logic, 1956 XXX
40
41
que los enunciados (10) y (13) tienen la misma referencia. Se trata de dos
enunciados muy distintos y una de las pocas cosas que tienen en comn es
que ambos son verdaderos. De ello concluye que la referencia de un enunciado
es su valor de verdad. Este argumento fue publicado por Church en 1956. La
conclusin es que todos los enunciados verdaderos tienen la misma referencia.
Como se trata de expresiones saturadas esa referencia es un objeto.
Llammoslo verdadero. De manera similar, todos los enunciados falsos se
refieren al objeto que llamaremos falso.
Frege esgrime otras dos razones en favor de la conclusin anterior: el
primero es que casi todo enunciado tiene un valor de verdad; y, segundo, como
ya habamos dicho, cuando dejamos de interesarnos en el sentido de las partes
de un enunciado y nos preguntamos por la referencia de esas partes es porque
nos interesa el valor de verdad del enunciado. Podramos agregar que parecen
carecer de valor de verdad los enunciados que contienen nombres sin
referencia. Por ejemplo, no parece verdadero ni falso el enunciado el hombre
que pis la luna antes que Armstrong era cojo. Falta la referencia de el
hombre que pis la luna antes que Armstrong y tambin el enunciado carece
de valor de verdad. Falta la referencia de una parte, falta la referencia del todo.
Desde luego, este punto es discutible. Alguien puede pensar que Santa Claus
tiene barbas es verdadero, pero no entraremos ahora en este punto.
Una prueba ms que muestra la simplicidad alcanzada con la semntica
fregeana: as como al rellenar el espacio vaco de la capital de___ con un
nombre de Inglaterra obtenemos un nombre de Londres, as tambin al rellenar
el espacio vaci de ____ es el inventor de la teora de la relatividad con un
nombre de Einstein obtenemos un nombre de un valor de verdad.
Como vimos, adems de los nombres y de los enunciados, Frege
reconoce otra categora de expresiones, a saber, los trminos funcionales.
Ahora podemos hacer otras precisiones. En la Conceptografa, Frege considera
a un enunciado, como formado de dos tipos de partes muy heterogneas, una
a la que considera como fija, dada de antemano, pero a la vez necesitada de
complemento (lo que llamamos trmino funcional, pero que l entonces llama
funcin). Las otras partes son consideradas, en cambio, como susceptibles de
ser sustituidas por otras de la misma categora semntica. As el enunciado
Chapman asesin a John Lenon, puede ser considerado como formado de
41
42
una parte fija asesin a___ y los nombres Chapman y John Lenon. En
1879, a la parte fija Frege la llama funcin y a las partes variables
argumentos. En ese texto la funcin y los argumentos son objetos del
lenguaje, expresiones. En la dcada de los 90s, Frege clarifica estas ideas. Ya
no considera que las funciones sean expresiones lingsticas. Lo que antes se
llamaba funcin, ahora se denomina trmino funcional. El trmino funcional
est insaturado ( es mexicano), mientras que los enunciados y los nombres
son saturados. Reformulemos brevemente lo que vimos antes. Si cada vez que
saturamos o completamos un trmino funcional unario, obtenemos un
enunciado, llamaremos a este trmino funcional trmino conceptual. Por
ejemplo, la capital de es un trmino funcional que cuando se completa con
el nombre de un pas nos da el nombre de una ciudad, pero no es un trmino
conceptual. Por otra parte, Marte es mayor que es un trmino funcional que
es tambin un trmino conceptual. A los trminos funcionales que al
completarse con varios nombres dan lugar a enunciados Frege los llamar
trminos relacionales. Ahora bien, es natural considerar que los trminos
funcionales (entre los que estn los conceptuales y los relacionales) tienen un
sentido, que es lo que entiende el hablante competente de la lengua cuando los
escucha. Es decir, el sentido de una expresin (nombre, trmino funcional o
enunciado) es siempre lo que capta el hablante competente de la lengua
cuando escucha (o lee) esa expresin.
Recapitulemos estas distinciones con unos ejemplos:
1. el padre de x es un trmino funcional unario, pero no es un trmino
conceptual pues cuando lo saturamos, por ejemplo con Cornelio no
obtenemos un enunciado sino un trmino que describe a un individuo (el padre
de Cornelio).
2. x es compositor de msica es un trmino funcional unario y tambin
un trmino conceptual porque cuando lo saturamos con un nombre propio
obtenemos un enunciado, es decir, un nombre de un valor de verdad.
3. x es hermano de y es un trmino funcional binario, ms precisamente
un trmino relacional (binario) porque cuando lo saturamos con dos nombres
propios obtenemos un enunciado, es decir, un nombre de un valor de verdad.
.
42
43
43
44
15
Frege, 1879, nota 88, p. 175.
44
45
Por otro lado, en dos artculos de los aos noventa Frege parece decir
que los conceptos son de naturaleza extensional. Uno es el siguiente:
A lo que dos trminos conceptuales se refieren es lo mismo si y
solamente si las extensiones de los conceptos coinciden16
Otro:
La coincidencia de extensiones de conceptos es necesaria y suficiente
para que exista entre los conceptos la relacin que corresponde a la identidad
entre objetos17
Esta segunda formulacin es ms escrupulosa. Como ya habamos dicho,
no es exactamente de identidad que hablamos aqu. Sin embargo, tenemos que
hacer ciertas reservas. Para Frege, al menos en la dcada de los 90s, la
extensin de un concepto es un objeto que representa al concepto. Lo que s
sabemos es que, en su concepcin, dos conceptos tienen la misma extensin
(el mismo representante) si y slo si subsumen exactamente los mismos
objetos. As es que aparentemente s podemos concluir que las dos citas
anteriores enuncian la naturaleza extensional de lo conceptos. Por ejemplo,
BPEDO IMPLUME y HUMANO subsumen los mismos objetos, tienen el mismo
representante (la misma extensin) y se da entre ellos, segn la cita anterior, la
relacin que corresponde a la identidad entre objetos.
Ahora bien, podra ser que Frege hubiese cambiado de opinin, que de
una concepcin intensional de los conceptos hubiese pasado en su madurez a
una visin extensional.
En todo caso, su concepcin final tiene que ser extensional si ha de ser
compatible con los principios que gobiernan su semntica, como veremos a
continuacin.
Ahora ampliaremos el principio de sustitutividad de trminos co-
referenciales de otra manera. Tomemos como ejemplo el enunciado:
(9) Aristteles naci en Estagira
y consideremos el trmino funcional x naci en Estagira. Sabemos que el
enunciado (9) conservar su referencia, es decir, su valor de verdad, si
sustituimos el trmino funcional mencionado por otro que tenga la misma
referencia. Qu clase de trminos funcionales tienen esta propiedad? Es decir
16
Frege, 1979, p. 122
17
Frege, Resea de Husserl
45
46
46
47
Por ignorante que sea el Sr. Pea de los fenmenos geogrficos no puede
creer que la capital de un pas est en otro. Por lo tanto, el enunciado (13) es
falso.
Sigamos ahora el razonamiento de Frege. Los enunciados (10) y (13) deben
tener la misma referencia porque uno se obtuvo del otro sustituyendo un
trmino singular por otro con la misma referencia, pero tienen diferente valor de
verdad. Por lo tanto, la referencia de un enunciado no puede ser su valor de
verdad.
Frege previ esta objecin y apunt una posible solucin que deja en pie
sus conclusiones respecto a la referencia de los enunciados. Aparentemente
(10) atribuye a Managua la misma propiedad que (13) atribuye a la capital de
Nicaragua. Atribuyendo la misma propiedad a los mismos objetos, ambos
enunciados deberan ser verdaderos o ambos falsos. La solucin de Frege
recuerda el expediente tomado en la Conceptografa para explicar el problema
de la identidad. En esta obra se dice que los nombres, que ordinariamente
representan su contenido conceptual, cuando estn colocados a ambos lados
del signo de identidad se refieren a s mismos. En Sobre sentido y referencia
Frege asevera que en (10) el trmino Managua no se refiere, como lo hace
ordinariamente a la ciudad as llamada, sino al sentido que el trmino Managua
tiene ordinariamente. En trminos ms generales, Frege sostiene que hay
ciertos contextos tales que los nombres, los trminos funcionales o los
enunciados colocados en ellos se refieren no a lo que ordinariamente es su
referencia sino lo que ordinariamente es su sentido. Veamos primeramente
cmo la aparente paradoja que tenamos se disuelve, para luego explicar por
qu Frege supuso correcto este anlisis. El argumento que tiene como
premisas el enunciado:
(15) Managua= la capital de Nicaragua
y (10) y como conclusin (13) que, por un lado, tiene premisas verdaderas y
conclusin falsa y, por otro, parece tener la forma:
(16) Fm
(17) m=c
(18) Fc
s tiene, de acuerdo con Frege, premisas verdaderas y conclusin falsa, pero
su forma es la de un argumento incorrecto:
47
48
(19) Fn
(20) m=c
(21) Fk
mientras que en (16) y en (17) aparece la misma constante c representando a
la expresin la capital de Nicaragua, en (19) y en (20) las constantes son
distintas, pues la figuracin de esta expresin en (16) es engaosa. Hace
pensar que queremos hablar de la capital de Nicaragua cuando en realidad
queremos decir el sentido de la capital de Nicaragua. Aunque Frege no
explora todas las consecuencias y dificultades que tiene esta solucin, se vale
de ella para evitar la objecin mencionada. El prrafo en que la introduce es el
siguiente:
Cuando se usan las palabras de modo habitual su referencia es aquello
de lo que se quiere hablar. Sin embargo, tambin puede ocurrir que se quiera
hablar de las palabras mismas o de su sentido. El primer caso es aquel en que,
por ejemplo, se cita en estilo directo las palabras de otro. Las palabras
pronunciadas significan entonces las palabras de otro, y son estas ltimas las
que tienen su referencia habitual. Tenemos entonces signos de signos [] Es
entonces claro que, en este estilo, las palabras no tienen su referencia habitual,
ellas significan lo que habitualmente es su sentido. Para decirlo brevemente,
diremos que en el estilo indirecto, las palabras son empleadas indirectamente o
an que su referencia es indirecta. Distinguimos entonces la referencia habitual
de una palabra de su referencia indirecta, y su sentido habitual de su sentido
indirecto. La referencia indirecta en la palabra es su sentido habitual. No
debemos olvidar tales excepciones si queremos comprender correctamente la
relacin que existe entre el signo, el sentido y la referencia en casos
particulares.18
18
Frege, Sobre Sentido y Referencia, prrafo 7.
48
49
19
Por regla de sustitutividad de expresiones co-referenciales salva veritate
20
Lo que para Frege, recordmoslo, incluye lo que ms tarde sera conocido como descripciones
definidas
49
50
50
51
51
52
opacidad.
52
53
significa que Frege est obligado a aceptar una ontologa muy rica como el
precio a pagar para que su semntica se aplique sin excepciones a los
contextos que llam oblicuos.
La solucin es vlida para otro tipo de contextos indirectos. Por ejemplo.
(7) La creencia en Dios
(8) Dios=la naturaleza
(9) La creencia en la naturaleza
Supongamos, que (8) es verdadera, como pensaba Spinoza. An as, la
creencia en Dios no sera lo mismo que creencia en la naturaleza. La solucin
de Frege, de nuevo, es que hay una ambigedad. La palaba Dios en (7) no
tiene la misma referencia y, por lo tanto, tampoco el mismo sentido que en (8).
En (7) se refiere al sentido que la palabra tiene en contextos ordinarios o
directos.
Asimismo la propuesta de Frege puede explicar por qu un enunciado
puede ser verdadero an cuando contenga un trmino singular sin referencia.
Por ejemplo,
(9) Ponce de Len buscaba la fuente de la eterna juventud.
Es verdadera porque efectivamente Ponce de Len tuvo la intencin de hallar
la fuente de la eterna juventud. Sin embargo, alguien podra objetar que puesto
que la fuente de la eterna juventud no tiene referencia (normalmente), el
enunciado completo debera carecer de referencia, es decir, de valor de verdad.
Ya sabemos la respuesta de Frege: en el contexto Ponce de Len buscaba
la expresin la fuente de la eterna juventud tiene como referencia lo que
habitualmente es su sentido.
53
54
54
55
21
Frege, 1969, p. 31; 1979, p. 120.
55
56
( = () )
Por el ltimo supuesto que hicimos, este es un trmino conceptual y hay
un concepto G que es su denotacin. Por otra de las presuposiciones hechas,
G debe tener una extensin, llammosla h (que es un objeto). Ahora bien G
subsume h? Supongamos que no. Entonces h no cumple (*) y, por lo tanto,
( = () )
o, menos formalmente: si h es la extensin de un concepto F entonces h cae
bajo F. Pero h s es la extensin de un concepto, a saber G. Por lo tanto, h cae
bajo G. Por instanciacin universal,
( = () )
= , por lo tanto, .
Concluimos que Gh. Pero entonces h cumple (*). Es decir, hay un concepto D
del cual h es extensin y h no cae bajo D. Note que D no tiene por qu ser G.
Simblicamente
( = (F) )
por instanciacin existencial,
( = () )
pero h es la extensin de G, es decir:
( = () ) )
y supusimos que dos conceptos que tienen la extensin subsumen los mismos
objetos, por lo tanto h. Expresada de otra manera esta deduccin:
[ = ] (Ley V)
De donde
( = () ) ])
y de h, concluimos que , una contradiccin.
56
57
1.8 Conclusin
Slvio Jos Mota P, 10/10/2015 8:33 PM
Con formato: Fuente: Negrita
Slvio Jos Mota P, 10/10/2015 8:32 PM
En este captulo hemos visto cmo Frege analiza los enunciados de un
Eliminado:
lenguaje, no como era tradicional en la forma sujeto-predicado, sino de una
manera ms fructfera para la lgica, como constituidos de uno o varios
trminos funcionales y de trminos singulares. En analoga con lo anterior,
Frege divide el mundo en elementos saturados e insaturados. A los primeros
llama objetos y a los segundos funciones. Entre las funciones se encuentran los
conceptos y las relaciones. Vimos cmo Frege redefine los trminos kantianos
analtico, sinttico a priori y sinttico a posteriori tomando en cuenta el
fundamento o la justificacin que puede darse de los mismos. Los enunciados
analticos son aquellos que pueden ser demostrados partiendo nicamente de
leyes lgicas y definiciones, mientras que la prueba de los sintticos a priori
requiere tambin de principios de alguna ciencia distinta de la lgica, pero no
apela a hechos singulares. Hicimos una breve exposicin de la semntica que
Frege introduce en la Begriffsschrift, a propsito del problema de cul es el
tema de una ecuacin verdadera, y segn la cual los nombres y los enunciados
tienen contenido conceptual. El trmino conceptual de un nombre es el objeto
nombrado y dos enunciados tienen el mismo contenido conceptual si son
lgicamente equivalentes (tienen las mismas relaciones deductivas con
cualesquiera otros). Vimos que esta semntica no satisface el principio de
composicionalidad semntica. Ms adelante analizamos los prrafos iniciales
de Sobre Sentido y Referencia en donde Frege considera de nuevo el
problema de la identidad, critica su propia solucin al mismo dada en 1879 y
propone una nueva teora en que la contribucin semntica de cualquier
expresin relevante es doble: tiene sentido y referencia. Siguiendo el curso de
pensamiento de Frege expusimos cmo el problema de la identidad da lugar a
la introduccin de sentido y referencia primeramente para los nombres propios y
los argumentos con que extiende esta propuesta a los enunciados. Vimos cmo
el principio de composicionalidad semntica sugiere que si los enunciados
tienen referencia, sta debe ser su valor de verdad. Enseguida mostramos que
una vez aceptadas estas tesis, el mismo principio de composicionalidad implica
que los trminos funcionales tengan una referencia extensional, es decir, que
dos trminos funcionales tienen la misma referencia si y slo si son satisfechos
57
58
58
59
22
En este captulo seguimos a Ph. de Rouilhan en su excelente exposicin de On Denoting en al memos
dos puntos: la comparacin con la semntica de The Principles, lo que ilumina muchos pasajes de
Russell, y la constatacin de que los enigmas clsicos de On Denoting tambin pueden ser resueltos por
la semntica fregeana, lo que muestra que la diferencia crucial no puede estar all. Cfr. de Rouilhan
(1996).
59
60
60
61
23
George Edward Moore (1873-1958), filsofo britnico, conocido por su papel en el desarrollo de la
filosofa analtica, su contribucin a la teora tica y su defensa del sentido comn dentro de la
investigacin filosfica.
61
62
marcas en el papel que ocupan lugar en el espacio y que pueden ser borradas.
En cambio, alguien podra decir que all estn tres ejemplificaciones del mismo
enunciado del idioma espaol. El enunciado, as concebido, es algo abstracto,
que no ocupa lugar en el espacio pero que puede estar ejemplificado aqu y
all. Para distinguir estos dos casos se usan en ingls las palabras token y type.
En resumen, hay tres enunciados token y un solo enunciado type. Pero,
entendido de una u otra manera, el enunciado es algo lingstico.
Por otro lado, se ha considerado que por proposicin debemos
entender el significado de un enunciado, o lo que Frege llam el sentido de un
Slvio Jos Mota P, 10/9/2015 10:56 PM
enunciado. As podramos decir que los 4 enunciados siguientes Eliminado: llamo
La nieve es blanca
Blanca es la nieve
La neige est blanche
Snow is white
expresan la misma proposicin. Ntese que, entonces, la proposicin no est
en espaol o en ingls sino que puede ser expresada en este o en ese idioma.
Es un objeto abstracto que puede ser expresado en un momento determinado
por una aseveracin hecha en uno u otro idioma.
Sin embargo, no todos los autores mantienen este uso. En particular
Russell parece usar proposicin tanto para decir enunciado como
propiamente proposicin. Adems cuando habla de proposicin en este ltimo
sentido se refiere a algo que est en el mundo, de tal manera que en algunos
prrafos de sus escritos, por proposicin debe entenderse algo as como
hecho. Por ejemplo, l dice:
Una proposicin, a menos que sea lingstica, no contiene ella misma
palabras: contiene las entidades indicadas por la palabras.24
As, por ejemplo, la proposicin de que el Chapo Guzmn es uno de los
hombres ms ricos del mundo contiene al Chapo Guzmn, es decir al
mismsimo Joaqun Guzmn Loera. Esta formulacin es extraa (como muchas
Slvio Jos Mota P, 10/9/2015 11:18 PM
que hace Russell a este respecto), pero parece ms natural si sustituimos Eliminado: Germn
proposicin por hecho y decimos: en el hecho de que el Chapo sea uno de los
hombres ms ricos del mundo est involucrado el Chapo Guzmn, es un hecho
24
Russell, Principles of Mathematics, prrafo 51.
62
63
ms de 4000 metros de altura. Tal como usa Russell la palabra en esa frase, la
proposicin parece algo lingstico, asevera algo. Por otro lado, en The
Principles se lee un nombre propio cuando ocurre en una proposicin, (aqu
la palabra proposicin parece aludir a algo lingstico). Muchos ejemplos
pueden ser dados de este uso ambiguo. Un poco ms adelante, se dice que
llamar trmino a todo lo que puede figurar en una proposicin y que los
trminos se dividen en cosas y conceptos. Es decir, una cosa puede ser parte
de una proposicin (es decir, de algo no lingstico). En otras frases, el sentido
es menos claro u oscila entre ambas acepciones. Tal vez haya una manera de
interpretar a Russell que haga desaparecer la ambigedad, pero no es un tema
a tratar al inicio de una exposicin de sus ideas semnticas. Nosotros con
deliberada ambigedad hablaremos de la proposicin Rulfo era un escritor
como teniendo sujeto y predicado y como algo que contiene a Juan Rulfo.
Como hicimos con Frege, demos una breve introduccin al anlisis
gramatical que propone Russell y a la ontologa que supone. Russell dice que,
aunque las distinciones gramaticales no corresponden siempre, o ciertamente,
a diferencias filosficas, s son un indicio de estas ltimas pues cada palabra
de un enunciado debe tener algn significado. Por ello es que se ocupa en la
25
Carta de Russell a Frege, 12/12/1904.
63
64
siempre uno de los sujetos de los que trata la proposicin y no lo que se dice
del sujeto. Los adjetivos y los verbos transitivos se distinguen porque pueden
figurar en proposiciones de tal manera que no puedan ser considerados como
sujetos de las mismas. As en Luis es maratonista o en Luis ama a Mara
nadie pensara que es maratonista o ama es el sujeto. Lo que distingue a los
predicados de las relaciones es que los primeros son conceptos los cuales
ocurren en una proposicin teniendo slo un trmino o sujeto (XXX) mientras
que las relaciones tienen ms de un sujeto. Sin embargo, tambin los
predicados y las relaciones pueden aparecer como sujetos y eso los distingue
de los nombres propios. En general, Russell llama adjetivos a todas las
palabras que pueden aparecer como tales segn la gramtica, aunque en
forma derivada tambin puedan figurar como sustantivos (humanidad, por
ejemplo, es una derivacin de humano y contar, por tanto, como adjetivo). Lo
mismo puede decirse de las relaciones. Veremos que, adems de los tipos de
entidades mencionadas, hay (en un sentido por precisar) algo que Russell
llama combinaciones. Esta muy somera descripcin de las clasificaciones
gramaticales hecha en el captulo IV de The Principles, aunque deja de lado
Slvio Jos Mota P, 10/9/2015 11:28 PM
Con formato: Fuente: Cursiva
26
Russell, The principles of Mathematics.
64
65
27
Russell, The principles of Mathematics, prrafo 51
65
66
no parece muy preocupado por esta cuestin. Sin entrar en ella, retengamos
que el enunciado Luis Pasos es ecologista expresa una proposicin uno de
cuyos componentes es la persona as nombrada. Luis Pasos es, para Russell,
Slvio Jos Mota P, 10/9/2015 11:33 PM
un componente de dicha proposicin y como tal cumple una doble funcin. Por Eliminado: pasos
un lado es aquello que tenemos que conocer (junto con el concepto del
predicado) para entender la proposicin. Por otro lado, es aquello de que la
proposicin trata.
Sin embargo, cuando pasamos a las proposiciones generales ya no
podemos aplicar el mismo criterio. Si alguien me dice todos los nmeros
primos mayores que 2 son nones, no solamente entiendo lo que se afirma, sino
que puedo fcilmente ver que es verdadero. Eso significa que entend o
conozco el significado de las palabras que constituyen la proposicin (el
enunciado). Pero cules son estos? cul es el significado del sujeto
gramatical de ese enunciado? Qu representante le corresponde dentro de la
proposicin? Antes al componente Luis Pasos en el enunciado, corresponda
Slvio Jos Mota P, 10/9/2015 11:37 PM
el individuo Luis Pasos en la proposicin (en sentido no lingstico) Por qu no Eliminado: pasos
aplicar la misma solucin y suponer que cada nmero primo mayor que 2 es un
constituyente de la proposicin? Russell da tres razones. Una es que nuestras
mentes no pueden captar algo infinitamente complejo como es la pluralidad de
los nmeros primos. Dos, que no es lo mismo decir que algo se mantiene de
Amrica, Europa, frica, Oceana y Asia que decir que se mantiene de todos los
continentes, pues mi interlocutor puede no saber que esos son todos los
continentes. Finalmente, porque las proposiciones de la lgica contendran
elementos extra-lgicos, siendo sus variables universales. Esta ltima razn
slo la apuntaremos pues explicarla nos desviara de nuestro tema central.
El problema no es cmo sabemos que la proposicin mencionada es
verdadera sino, previo a ello, cmo podemos entenderla? Lo mismo ocurre
con proposiciones como el presidente de Tanzania es inteligente que entiendo
sin haber estado nunca en presencia del individuo de marras. Similar es el caso
de las proposiciones me encontr con una actriz esta maana. Aunque de
hecho yo me haya encontrado con Penlope Cruz, esta estrella del celuloide no
es un componente de la proposicin. Por qu? Porque si as fuera entonces la
proposicin tendra que ser falsa si no me hubiese encontrado con Penlope
66
67
sino con una actriz que la dobla en las escenas difciles. Pero, en este caso, el
enunciado me encontr con una actriz esta maana sera verdadero.
Este problema se presenta de acuerdo a Russell cuando un enunciado
tiene como sujeto gramatical lo que l llama una expresin denotativa. Estas se
forman por la concatenacin de lo que la lgica tradicional llamaba un trmino
general, simple o complejo, por ejemplo hombre, precedido por una de las seis
palabras siguientes o de uno de sus sinnimos: todos (all), cada (every), un
(a), algn (some), el o la (the, en singular). Todo hombre, cada hombre, un
hombre, algn hombre y el hombre son todas expresiones denotativas. El
problema es que no sabemos cul es su significado o, dicho de otra manera,
cul es el componente de una proposicin en cuya expresin verbal figuran.
Antes de ver cmo Russell resuelve este problema, advirtamos que Russell
Slvio Jos Mota P, 10/9/2015 11:42 PM
incluye dentro de esta categora de expresiones problemticas a las Eliminado: resuelva
67
68
68
69
todos los batracios. Pero ese concepto denotativo a su vez tiene una
denotacin que es de lo que trata la proposicin susodicha.
Ilustremos esto con el caso ms sencillo de las descripciones definidas.
Slvio Jos Mota P, 10/9/2015 11:47 PM
El significado de el primer presidente de Mxico fue hijo de espaoles Eliminado: :
69
Proposicin (en sentido Sujeto Predicado
lingstico) El actual presidente de es analfabeta
70
Mxico
Constituyentes de la Concepto denotativo El concepto SER
proposicin (en sentido no- EL ACTUAL PRESIDENTE ANALFABETA
lingstico) DE MXICO
Denotacin del concepto
denotativo (de lo que trata la
proposicin)
El individuo llamado EPN
70
71
28
The Principles of Mathematics, prrafo 56.
71
72
doce (el concepto es uno), pero todos los apstoles de Cristo son doce.
(2) El segundo (every A) denota la conjuncin proposicional (o distributiva o
constante) de las As. Aqu s diremos que cada apstol de Cristo es piadoso y
eso significar que Pedro es piadoso, que Judas Iscariote es piadoso, etc. La
atribucin de una propiedad a la pluralidad se distribuye a cada uno de sus
miembros.
P(every A)P(a&b&c)P(a)P(b)P(c) donde A={a, b, c}.
(3) El tercero (any A) es una nocin la cual parece a medio camino entre la
conjuncin y la disyuncin.
Traduzcamos any por cualquiera y guimonos por el ejemplo de Russell:
Cualquiera de los amantes de Miss Smith es muy fervoroso
Significa
Si encontraste a Brown o a Jones, encontraste a un amante muy fervoroso.
Denotemos con (abc) a la combinacin de los trminos denotados por any
A donde A={a,b,c}, entonces la explicacin de Russell puede esquematizarse
de la siguiente manera:
(P(a)R)(P(b)R)(P(c)R)((P(a)VP(b)VP(c))R)P(abc)R)
P(any A)R.
Veremos ms adelante cmo podemos distinguir este caso del anterior. Russell
agrega:
difiere de una disyuncin por el hecho de que implica y es implicado por un
enunciado concerniente a ambos; pero en algunas instancias ms complicadas
esta implicacin mutua falla. A la combinacin denotada la llama Russell la
conjuncin variable (de las As).
(4) La siguiente, (a A), denota la disyuncin variable (de las As), es una
disyuncin no distributiva. Por ejemplo; debe haber sido Brown o Jones no es
equivalente a debe haber sido Brown o debe haber sido Jones. No es
72
73
Ella se casar con algn A significa que ella se casar con Brown o que ella
se casar con Jones. Ella se casar con alguno de los dos, y la disyuncin
denota a alguno de los dos en particular, aunque pudiera denotar a cualquiera
de los dos.29
Russell afirma que esas combinaciones son diferentes y no producen ni
trminos (recordemos que trmino es todo lo que puede ocurrir como objeto
del pensamiento, o puede ocurrir en una proposicin verdadera o falsa o puede
ser contado como uno),31 ni conceptos, sino slo combinaciones de trminos:
Slvio Jos Mota P, 10/10/2015 5:49 PM
La primera construye (yields) muchos trminos, mientras que las otras Eliminado:
30
32
construyen algo absolutamente peculiar lo cual no es ni uno ni muchos.
En resumen, tenemos, adems de las descripciones definidas que s
denotan objetos (indirectamente, a travs de su concepto denotativo), cinco
tipos de expresiones denotativas (todas las cules denotan indirectamente
combinaciones), las primeras cuatro de las cuales son: una conjuncin no
distributiva (sujeto de la atribucin numrica), una conjuncin distributiva (que
puede expresarse por una conjuncin de proposiciones, si el nmero de
29
Principles, prrafo 59.
31
Principles, prrafo 427.
32
Principles, prrafo 59
73
74
33
Principles, prrafo 64.
74
75
uno de los apstoles susodichos no podemos decir que es 12, pero tampoco de
la clase que forman, pues sta es una. El detentor de la propiedad numrica es
algo que ni siquiera es un trmino, sino una combinacin, a saber, la
conjuncin numrica de los apstoles de Cristo. Tambin con la teora de la
denotacin puede explicarse cmo es que podemos hablar sobre todos los
nmeros primos sin conocer a cada uno de ellos.
Ahora bien, hay un argumento en The Principles of Mathematics que es
fundamental para lo que veremos enseguida. Su conclusin es que todo
aquello de lo que podemos hablar de algn modo existe. Veamos el prrafo en
que aparece:
Ser es eso que pertenece a cada trmino concebible, a cada objeto
posible del pensamiento dicho brevemente a todo lo que puede ocurrir en
una proposicin, verdadera o falsa, y a todas las proposiciones. El ser
pertenece a cualquier cosa que pueda ser contada. Si A es cualquier trmino
que pueda ser contado como uno, es claro que A es algo, y por lo tanto que A
es. A no es debe ser siempre falso o sin sentido. Pues s A no fuera nada, no
podra ser dicho de ella que no es; A no es implica que hay un trmino A cuyo
Slvio Jos Mota P, 10/10/2015 5:55 PM
ser es negado y, por lo tanto, que A es. As excepto que A no es sea un Eliminado: s
sonido vaco, debe ser falsocualquier cosa que A pueda ciertamente ser. Los
Slvio Jos Mota P, 10/10/2015 5:56 PM
nmeros, los dioses homricos, las relaciones, las quimeras y los espacios de Eliminado: -
siguiente:
P1 Los enunciados de la forma x no existe son enunciados de la forma
sujeto-predicado.
P2 Un enunciado significativo de la forma sujeto-predicado es verdadero
si y slo si hay un objeto al cual la expresin que ocupa la posicin de sujeto
hace referencia, y este objeto tiene la propiedad expresada por el predicado.
P3 El enunciado el elixir de la eterna juventud no existe tiene la forma
sujeto-predicado.
34
Principles, prrafo 427
75
76
o que X es, entonces podemos concluir, como Russell, que ciertos trminos
tienen ser aunque no existen. Claro que si partimos, por ejemplo, de que Santa
Claus no existe, llegamos a la conclusin de que Santa Claus tiene ser. Por lo
tanto, Santa Claus es y lo mismo ocurre con todo aquello de lo que podamos
Slvio Jos Mota P, 10/10/2015 5:58 PM
hablar. Eliminado: de
35
Russell, Sobre el denotar, 1905, comp. Toms Moro Simpson, Siglo XXI, Buenos Aires 1973, p. 35.
76
77
77
78
78
79
36
Russell, Sobre el denotar, p. 38.
79
80
80
81
81
82
37
Russell, Sobre el denotar, p. 36.
38
dem.
82
83
39
dem
40
De Ruilhan, Philippe (1996) p, 92.
41
En sus lneas principales seguimos la interpretacin de Makin, G. (2000).
Slvio Jos Mota P, 10/10/2015 6:22 PM
Con formato: Fuente: 10 pt
83
84
42
Russell, 1956, p. 48.
43
Ms preciso sera decir que no podemos hablar de un concepto usando para ello una predicacin de
primer orden.
84
85
85
86
44
No queremos hablar ni del significado ni de la denotacin del componente de la proposicin que
corresponde al sujeto gramatical del enunciado (tenga o no ese componente significado). Queremos
hablar del componente mismo que es el significado del sujeto gramatical del enunciado referido.
86
87
87
88
Otra posibilidad es que, a pesar de las apariencias, [Cada A] sea tambin una
expresin denotativa (y no un nombre). En este caso, tendremos una situacin
como la ilustrada enseguida:
Esta vez, s hablamos de lo que pretendamos, pero lo que Russell dir es que
entonces la relacin entre Z y X es completamente misteriosa. Para mostrar
esta dificultad, vemos algunas posibilidades. Podra Z ser idntico a X?
Aparentemente no, pues entonces tendramos la misma dificultad que en la
tabla anterior. Podra X ser un constituyente de Z? No, por una sencilla razn.
Observemos que cuando un complejo denotativo, por ejemplo, [el presidente],
forma parte de otro, por ejemplo, [el abuelo paterno del presidente], slo la
denotacin del primero es relevante para determinar la denotacin del ltimo.
Aplicando esto a nuestro caso, si X fuese un constituyente de Z, slo la
denotacin de X (ningn otro elemento de X) sera relevante para determinar la
denotacin de Z (que es X), es decir, slo la denotacin de X sera relevante
para determinar X. Pero nunca, en ningn sentido, la denotacin de un
complejo denotativo puede ser relevante en la determinacin de ese complejo,
porque, para decirlo con frase russelliana, no hay camino de regreso de la
88
89
89
90
La segunda es:
Hay uno y slo un autor de Waverley y George IV quera saber si ese
individuo era Scott.
Hay uno y slo un autor de Waverley y ese individuo es Scott.
90
91
45
Russel, Sobre el denotar, pg. 44.
91
92
92
93
El enigma de la identidad.
Cmo puede una ecuacin a=b ser verdadera y no trivial? Basta con que a
sea una descripcin definida (explcita u oculta tras un nombre) para que
podamos aplicar la solucin de Russell y para que el misterio desaparezca: el
enunciado no es trivial porque, de hecho, no afirma que un objeto es igual a s
mismo, sino que existe uno y slo un objeto que satisface tales y cuales
condiciones. Vimos cmo se simboliza un enunciado as en el caso de Scott.
Por otro lado, el enunciado el rey de Espaa es el hijo de Juana la loca
significa, segn On denoting que hay uno y slo un rey de Espaa y que hay
uno y slo un hijo de Juana la loca y que esos individuos son el mismo. Eso
puede ser verdadero sin ser trivial. Ahora bien, qu pasa si a y b son ambos
nombres propios autnticos? Entonces la solucin de Russell es inaplicable.
Aparentemente no puede ocurrir entonces que a=b sea verdadera pero no
trivial.
93
94
G F ____()
Slvio Jos Mota P, 10/10/2015 7:13 PM
Estuvo en Egipto Primer emperador de Francia VERDADERO Con formato: Centrado, Ninguno,
EspacioAnterior: 0 pto, Posterior: 0 pto,
italiano Hijo de Leonardo Da Vinci FALSO No conservar con el siguiente, No
conservar lneas juntas
Era cordobs Descubridor de Amrica FALSO Slvio Jos Mota P, 10/10/2015 7:12 PM
Tabla con formato
Slvio Jos Mota P, 10/10/2015 7:13 PM
De la misma manera, podemos analizar al enunciado la raz cuadrada de Con formato: Centrado, Ninguno,
EspacioAnterior: 0 pto, Posterior: 0 pto,
-1 existe como resultante de la aplicacin del cuantificador generalizado Existe No conservar con el siguiente, No
conservar lneas juntas
uno y slo un objeto tal que al predicado raz cuadrada de -1. Este Slvio Jos Mota P, 10/10/2015 7:13 PM
Con formato: Centrado, Ninguno,
cuantificador generalizado es el concepto numrico de segundo orden que da EspacioAnterior: 0 pto, Posterior: 0 pto,
No conservar con el siguiente, No
verdadero a un concepto F si bajo F cae uno y slo un objeto. conservar lneas juntas
Slvio Jos Mota P, 10/10/2015 7:13 PM
La importancia de hacer un anlisis utilizando la idea de cuantificador Con formato: Centrado, Ninguno,
EspacioAnterior: 0 pto, Posterior: 0 pto,
generalizado es mostrar que, de acuerdo al anlisis de Russell, hay una No conservar con el siguiente, No
conservar lneas juntas
diferencia importante entre nombres autnticos y descripciones definidas, a
saber, un enunciado (por ejemplo, de la forma sujeto-predicado) en que ocurre
un nombre expresa una proposicin singular (el individuo mismo forma parte de
ella). Si en ese enunciado colocamos una descripcin definida en lugar del
nombre la proposicin correspondiente es general. El primer enunciado
expresa que un individuo dado, singular, tiene una propiedad
(independientemente de cualquier otra caracterstica que ese sujeto tenga). En
cambio, el segundo enunciado habla de un individuo fijado por ciertas
94
95
95
96
(( = ) )
(( = ) )
Como cabe esperar hay casos ms complicados de simbolizacin
cuando se trata de enunciados con varias descripciones definidas. Un caso
interesante es aquel en el que una descripcin forma parte de otra. Un ejemplo
que ya apareci en el texto es el enunciado el nmero tal que Scott es el
hombre que escribi ese nmero de novelas sobre Waverley en total es 29.
Veamos, por partes cmo podramos simbolizarlo.
Si el predicado binario Wxn significa que x escribi n novelas sobre
Waverley en total, entonces Scott es el hombre que escribi n novelas sobre
Waverley en total puede formalizarse as:
( ( = ) = ) (*)
Ahora bien, si Sn significa que Scott escribi n novelas sobre Waverley en total,
entonces el nmero tal que Scott es el hombre que escribi ese nmero de
novelas sobre Waverley en total es 29 puede simbolizarse as:
( ( = ) = 29)
Ahora simplemente debemos reemplazar Sn en esta frmula por (*)
( ({( ( = ) = )} = ) = 29)
96
97
enunciados en que figuran. Ahora bien, Russell pens que esta estrategia que
troca ontologa por ideologa (como dira Quine) podra ser aplicada
exitosamente a otros problemas filosficos. Durante los aos inmediatamente
posteriores a la publicacin de On Denoting, intent reconstruir la incipiente
teora de conjuntos (entonces portadora de algunas paradojas) en un discurso
en que los smbolos que denotan conjuntos fuesen vistos como smbolos
incompletos. Dicho de otra forma, Russell trat de hacer una teora de clases
sin clases. No tuvo xito, pero su teora de las descripciones es un valioso
instrumento para implementar una de las estrategias preferidas de los
nominalistas (a saber; mostrar que la referencia a cierto tipo de entidades no es
ms que un modo de hablar).
97
98
46
Strawson, Peter F. Sobre el referir, comp. Toms Moro Simpson, Siglo XXI, Buenos Aires 1973, p. 57.
98
99
99
100
Segundo argumento:
(Premisa implcita, 0) S es el sujeto de E),
1) E es significativa, por lo tanto,
100
101
2) E es verdadera o falsa,
3) si E es verdadera, el rey de Francia es sabio, y si E es falsa, el rey de
Francia no es sabio,
4) Pero tanto el enunciado de que el rey de Francia es sabio como el de
que el rey de Francia no es sabio son verdaderos slo si existe un rey de
Francia. Por tanto,
5) el rey de Francia existe.
La conclusin, en cada caso, es inaceptable. Como vimos, Russell
resuelve la paradoja eliminado la premisa de que S es el sujeto de E. O ms
bien, distingue entre sujeto gramatical y sujeto lgico y rechaza que S, que es
sujeto gramatical de E, sea tambin su sujeto lgico. Ms an, E no tiene
sujeto lgico porque no es de la forma sujeto-predicado.
Strawson cree que el razonamiento de Russell se basa en un supuesto
implcito que descansa a su vez en una confusin. Para revelarlo plantea el
siguiente dilema. Hemos visto ya que una de las consecuencias de las ideas de
Russell es que si una oracin E de la forma gramatical sujeto-predicado es tal
que su sujeto no tiene referencia aparente, entonces o no es significativa o no
es (lgicamente) de la forma sujeto-predicado. Por tanto, si E es significativa y
lgicamente de la forma sujeto predicado, existe algo a lo que el sujeto (lgico
y gramatical) refiere. En consecuencia, para Russell slo hay dos modos en
que una oracin significativa pueda ser de la forma sujeto-predicado:
(a) que su forma lgica no corresponda con su forma gramatical,
(b) que su sujeto sea un nombre lgicamente propio con significado, es decir,
que sea el nombre de algo que existe.
Strawson rechaza esta conclusin. En su opinin, las oraciones que son
significativas y comienzan con una expresin usada de modo referencial
singularizador no pertenecen a ninguna de estas dos clases: no son nombres ni
descripciones. Regresaremos a este punto ms adelante.
101
102
y tambin entre
B1) S,
B2) uso de S,
B3) emisin de S,
donde S es una expresin que puede tener un uso referencia singularizador
(por ejemplo, El actual presidente de EUA u Obama) y E una expresin que
comienza con S (por ejemplo, el actual presidente de EUA es demcrata).
El primero y el tercer elemento de cada terna son ms o menos clara.
Uno es simplemente una expresin lingstica y el otro un evento concreto. El
punto ms delicado es cmo debemos entender el uso, es decir, cundo
diremos que dos emisiones de una misma expresin type son usadas de
diferente manera. Strawson se limita a poner un ejemplo como el siguiente.
Supongamos que decimos el actual presidente de Mxico en tres diferentes
ocasiones. Las dos primeras emisiones las hacemos durante el gobierno de
Gustavo Daz Ordaz, mientras que la ltima la hacemos durante el sexenio
foxista. Diremos entonces que slo en las dos primeras ocasiones hicimos el
mismo uso de la expresin. Lo mismo se extiende a los usos de un enunciado
como el actual presidente de Mxico usa copete . Es verdad que el criterio
parece un tanto burdo, pero tambin es que Strawson no requiere de ms para
hacer su crtica.
Despus de esta breve aclaracin, viene el punto central del artculo: la
distincin entre, por un lado, la capacidad de mencionar o referir o tener un
valor de verdad y, por otro, el significado. Mientras que las primeras son
propiedades del uso de tipos (es decir del enunciado S o de su sujeto E), el
significado es propiedad del tipo mismo. Si digo en este momento yo tengo
dolor de cabeza, el uso que hice de la palabra yo se refiere a mi persona y el
uso del enunciado es falso. Pero yo no soy el significado de la palabra yo.
Segn Strawson, el significado est constituido por directrices generales del
uso correcto del tipo en cuestin. La pregunta por el significado es totalmente
independiente de las preguntas acerca de un uso particular. El que en su uso
actual el actual rey de Francia no tenga referencia no significa que el trmino
mismo carezca de significado. De acuerdo a este anlisis, Russell cometi un
grave error al mezclar referencia y verdad con significado y esta confusin es la
que est presupuesta en los argumentos dados anteriormente. Dijimos que si
102
103
103
104
104
105
Al final del artculo, Strawson extiende su crtica al anlisis hecho por los
lgicos de enunciados en que aparecen otras expresiones denotativas. Por
ejemplo, todo aliengeno es de sangre pesada se analiza, desde Frege, como:
XX
(x)(AxPx)
Esta formalizacin presupone que el enunciado susodicho es sinnimo
de para cualquier individuo, si (l) es aliengeno, entonces (l) es de sangre
pesada. El pronombre hace las veces de variable ligada. Por ello, se concibe
Ax como simbolizando l es aliengena, pues as como la variable x es
susceptible de tomar muchos valores, el pronombre l puede abreviar (o estar
en lugar) de varios nombres. No decimos Jos vino y Jos se fue sino Jos
vino y (l) se fue. Strawson piensa que, hasta cierto punto, los nombres o las
descripciones definidas pueden jugar este papel que se ha atribuido slo a las
variables y a los pronombres. Decimos cosas tales como Misifuz anduvo
perdido toda la noche; el gato vena hambriento o puedo decir Espero que
105
106
106
107
47
Russell, Betrand. Human Knowledge: Its Scope and Limits, Routledge Classics, London and New
York, p. 86.
107
108
48
Rusell, p 337
108
109
109
110
lo hay, que est bebiendo Martini. Es el uso atributivo. Otro ejemplo: Treme el
libro sobre la mesa puede ser obedecida si no hay libro sobre la mesa pero s
en el suelo, si el uso de la descripcin definida es referencial, pero no si es
atributivo. Una diferencia importante que debemos sealar es que el uso
referencial de una descripcin no slo presupone o implica que algo satisface
la descripcin, como en el caso atributivo, sino que un particular determinado lo
hace. En efecto, el hombre que est tomado el Martini es mi amigo usada
referencialmente supone no slo que quien sea el nico bebedor de Martini (en
el contexto) es mi amigo, sino que un individuo determinado (al que ya vi o en
el que estoy pensando) es mi amigo.
Donnellan explora en qu podran consistir las diferencias entre ambos
tipos de usos de las descripciones definidas. Tal vez la diferencia consista en
que el que usa la descripcin referencialmente tiene algo ms en mente. Por
ejemplo, en el caso del Martini el hablante cree que ese hombre que est en el
fondo bebe Martini. En general, si el hablante cree que alguien en particular
satisface la descripcin definida la usar referencialmente y viceversa. As
ocurre en la mayora de los casos, pero hay excepciones. Donnellan da
contraejemplos para mostrar que esto no siempre sucede. Podemos tener un
uso referencial sin la creencia de que algo cumple con la descripcin: el rey
est en sus aposentos dicho hipcritamente de un usurpador del que todo
mundo sabe que no es el rey. Sin embargo, ambos usos ordinariamente
suponen, pero por razones completamente diferentes en cada caso, que algo
satisface la descripcin definida. En el uso referencial, la persona usa la
110
111
descripcin definida porque cree que hay un objeto que la satisface y pretende
as llamar la atencin sobre ese objeto. Si se equivoca al respecto, puede
confundir a su auditorio. La presuposicin resulta porque el hablante trata de
llamar la atencin de su auditorio sobre una cosa particular describindola. En
el uso descriptivo, no hay posibilidad de que la descripcin dada est
equivocada (misdescription). Si nada satisface la descripcin, el acto de habla
no tiene xito: no se lleva a cabo una pregunta o una asercin o una orden.
Con uso atributivo de la descripcin definida, el mejor tenista del mundo es un
deportista es un enunciado analtico. Usada la descripcin referencialmente, el
enunciado puede ser falso. Sin embargo, la diferencia ente ambos tipos de uso
de una descripcin no consiste en lo que el usuario de la misma tiene en mente.
De acuerdo a Donnellan, mientras que Russell no reconoci el uso
referencial de una descripcin definida, y se es el principal defecto de su
doctrina, Strawson cometi otros errores. Por ejemplo, supuso que el uso que
tiene una descripcin definida es una funcin del tipo de enunciado en el que
ocurre. Es decir, Strawson pens que en ciertas oraciones, por ejemplo, El
candidato republicano para presidente en 1968 ser conservador, la
descripcin definida slo puede ser usada referencialmente, lo que es falso
para Donnellan. Reiteremos lo dicho: el mismo enunciado puede ser usado en
el mismo lugar y tiempo con diferentes propsitos. O para decirlo de otro modo,
el que el enunciado tenga un valor y cul sea ste no depende nicamente del
contexto en que es usado (a menos que incluyamos la intencin del hablante
en el contexto). En cambio, para Russell y para Strawson podemos decir cmo
funciona una descripcin definida en un enunciado independientemente de
cualquier uso particular. Advirtase que esto no contradice la afirmacin de
Strawson de que la referencia es una funcin del uso. Otra suposicin
compartida por ambos autores es que podemos decir que una persona que usa
una descripcin definida en un enunciado E presupone (o implica) que algo
satisface a la descripcin y que la inexistencia de este objeto afecta el valor de
verdad del enunciado E (que o bien ser falso, de acuerdo a Russell, si la
ocurrencia de la descripcin definida es primaria, o bien carecer de valor de
verdad, segn Strawson). Para Donnellan eso depender de qu uso se le est
dando a la descripcin.
111
112
112
113
50
Russell, Bertrand, 1910-1911, Conocimiento directo y conocimiento por descripcin, en Misticismo y
lgica, trad. Santiago Jordan, septiembre de 2010, ed. Edhasa, p. 294.
113
114
114
115
2.8 Conclusin
Slvio Jos Mota P, 10/10/2015 8:32 PM
Con formato: Fuente: Negrita
que el sujeto cuando conoce entra en contacto directo con el objeto conocido y
no a travs de un intermediario. Por ello supone que para entender un
enunciado debemos tener contacto directo con los objetos que constituyen la
proposicin expresada por ese enunciado. Esto genera un problema especial
cuando en el enunciado en cuestin figuran expresiones denotativas. No
podemos conocer a todos los nmeros primos mayores que 2 pero si
entendemos que todos ellos son nones. Para resolver Russell postula que el
componente de la proposicin en cuestin que corresponde a todos los
nmeros primos es un extrao concepto llamado denotativo (al que s
conocemos) y que tiene la propiedad de denotar una cierta pluralidad de
objetos. La proposicin no trata del concepto denotativo sino de su denotacin.
Esta es la base de la teora semntica de las expresiones denotativas y es
fundamental a la filosofa de las matemticas de su autor en ese periodo. En la
Slvio Jos Mota P, 10/10/2015 8:35 PM
siguiente seccin empezamos el anlisis de On Denoting. Vimos que en la Eliminado: s
115
116
autora de R. Carnap y que se ofrece como una mejora de las ideas de Frege.
Como surgi (en 1947) para dar cuenta del problema que generan los
contextos modales (un tipo de contexto oblicuos), daremos una breve esbozo
del mismo tal y como se presentaba en esos aos.
116
117
mediata o no, entre los nombres y sus denotaciones. Como veremos en este
punto la semntica de Carnap es heredera de la Frege. El segundo es aportar
algunos elementos que conciernen al surgimiento y desarrollo de lgicas
modales cuantificadas y que pueden contribuir a la comprensin de nuestro
siguiente captulo. Aqu retomamos otro de los hilos que hemos seguido en los
captulos anteriores, el de los contextos oblicuos, es decir, aquellos contextos
en cuyo alcance no vale la sustitutividad salva veritate de expresiones co-
referenciales. Dos de esos contextos son los introducidos por los adverbios
necesariamente y posiblemente. La cuestin de si en la realidad hay eventos
que ocurren necesaria o posiblemente o si el uso de estos adverbios es slo
para dar nfasis a nuestras palabras ha dado lugar a grandes debates en la
historia de la filosofa. Como veremos Quine, pens como Frege, Hume y Kant,
que la descripcin ltima del mundo no puede recurrir a esos adverbios. Por
ello se opuso a la constitucin de la lgica modal cuantificada y la semntica de
Carnap que veremos en este captulo es una respuesta a esos planteamientos
de Quine. Por ello comenzaremos con un breve recuento de cmo es que
surgi la lgica modal en el siglo XX.
117
118
inferida una indicacin que est ausente en el juicio asertrico. Si llamo a una
proposicin necesaria, estoy dando una sugerencia respecto a mis
fundamentos para el juicio. Pero esto no afecta el contenido conceptual del
juicio; y por lo tanto la forma apodctica del juicio no tiene ninguna relevancia
para nuestros propsitos Si una proposicin es presentada como posible,
51
PA, 29b 29-35.
52
KdRV, A219
53
Ibdem, A235
118
119
entonces o el hablante se abstiene del juicio, con lo cual indica que no conoce
ley alguna de la cual podra derivar su negacin, o dice que en su generalidad
es falsa la negacin de la proposicin.54
Sin embargo, la lgica modal moderna no surgi como un intento de
expresar la diferencia entre juicios asertricos y apodcticos, al menos no
directamente. Su origen es una cierta insatisfaccin que gener el condicional
veritativo funcional ordinario. En la lgica de Frege y Russell as como en el
clculo proposicional tradicional son teoremas los siguientes esquemas:
( )
( )
( ) ( )
54
Begriffschrift, p. 16
55
Lewis, C. I., A Survey of Symbolic Logic, Berkeley, 1918. Slvio Jos Mota P, 10/16/2015 3:39 PM
56
Lewis C. I., Langford, C. H., 1932. Eliminado: ,,
119
120
def ( )
Reglas de inferencia:
Substitucin:
Si es como excepto por contener donde contiene , entonces de
puede inferirse
MPE:
De y se infiere
120
121
57
Lewis and Langford, 1932, p.502
121
122
Como hemos dicho, Quine formul a partir de los primeros aos de esa
dcada varios argumentos contra la constitucin de la lgica modal que no slo
llevan a la conclusin de que los operadores modales no deben aparecer en el
lenguaje cientfico (por ser obscuros o complejos), sino tambin a la tesis de
que con ello no hay prdida alguna, porque nada en la realidad ocurre posible o
necesariamente. En esta seccin, revisaremos algunos de los ms influyentes
de sus argumentos y, en particular, las objeciones que Quine levanta a las
defensas de la lgica modal basadas en algunas ideas semnticas de Frege o
de Russell.
Una muy conocida objecin de Quine es que la lgica modal naci en el
pecado, el pecado de la confusin de uso y mencin. Recordemos los ejemplos
1, 2 y 3 a principios del captulo: son tautologas:
( )
( )
( ) ( )
122
123
58
Por ejemplo en Notes on Existence and Necessity, The Journal of Philosophy, Vol. 40, (1943), pp.
113-127.
59
Abreviamos con falla de sustitutividad la expresin falla de sustitutividad de trminos co-
referenciales salva veritate.
123
124
nombre de Cicern (es decir a Cicern) con una expresin en que no ocurriera
el nombre de Cicern. Ahora bien, Quine quiere convencernos de que algo muy
similar ocurre en (6), es decir, que la ocurrencia de 9 en necesariamente 9 es
mayor que 7 no sirve para referirse al nmero 9 o que cuando decimos Felipe
cree que Tegucigalpa est en Nicaragua, a pesar de las apariencias no
estamos hablando de la ciudad de Tegucigalpa. Su argumento puede ser
reconstruido como sigue:
1) Si Tegucigalpa tiene una propiedad F, entonces la sigue teniendo an
cuando la llamemos con otro nombre, por ejemplo, la capital de Nicaragua.
(2) Si Tegucigalpa se refiere a Tegucigalpa en el contexto F(Tegucigalpa), y
la capital de Honduras tambin denota a Tegucigalpa en F(la capital de
Honduras) entonces, por (1), F(Tegucigalpa) y F(la capital de Honduras)
deben tener el mismo valor de verdad.
(3) John cree que (Tegucigalpa) es la capital de Nicaragua es verdadero,
mientras que John cree que (la capital de Honduras) es la capital de
Nicaragua es falso.
Conclusin. O bien Tegucigalpa no se refiere a Tegucigalpa en John cree que
(Tegucigalpa) es la capital de Nicaragua o bien La capital de Honduras no se
refiere a Tegucigalpa en John cree que (la capital de Honduras) es la capital
de Nicaragua
Esta reconstruccin nos permite apreciar que Quine aparentemente saca
dos consecuencias suplementarias: que cada disyunto de la conclusin es
verdadero y que en el contexto mencionado Tegucigalpa no se refiere a nada.
Quine no lo dice textualmente, pero a ello alude la etiqueta no referencial que
utiliza para diagnosticar el problema. Podra ocurrir que Tegucigalpa no fuese
referencial en ese contexto, pero la capital de Honduras s lo fuera (o
viceversa). Asimismo podra ser que Tegucigalpa en ese contexto no denotara
a Tegucigalpa, pero se refiriera a algo distinto (como pens Frege). Pero Quine
sigue el modelo del entrecomillado: Tegucigalpa no denota nada en John cree
que Tegucigalpa est en Nicaragua.
Antes de seguir, introduzcamos un poco de la terminologa quineana.60
Slvio Jos Mota P, 10/16/2015 4:26 PM
Eliminado: .
60
Vase, por ejemplo, Three Grades of Modal Involvement, en The ways of Paradox and Other Essays,
Nueva York, Random House, pp. 156-74. Slvio Jos Mota P, 10/16/2015 4:26 PM
Con formato: Fuente: 10 pt
124
125
125
126
61
Quine, W. Notes on Existence and Necessity, JSL, pp. 116 y 118.
62
From a Logical Point of View, p 147.
126
127
dice: Ahora justamente cul es el objeto x del que se considera, al inferir (2)
de (1), que es incapaz de estar fuera de Venezuela? No un concepto-ciudad-
capital, pues los conceptos no estn dentro o fuera de los pases. Es una cierta
masa de adobe y otras cosas, es decir, la ciudad capital misma. Y de esta
masa se afirma en (1) que es incapaz de estar fuera de Venezuela. Por lo tanto,
la aparente justicia, intuitivamente, de la inferencia de (2) a parir de (1). Sin
embargo, de esa misma masa de adobe y otras cosas se afirma en el siguiente
enunciado (aparentemente) verdadero que es capaz de estar fuera de
Venezuela:
3) Es posible que la ciudad nativa de Simn Bolvar est fuera de
Venezuela
Hay obviamente una conexin entre las consideraciones de arriba y la
sustitutividad de la identidad, pero yo no he respaldado el argumento anterior
en convenciones de un clculo de la identidad. Me he apoyado en el significado
ordinario de las palabras y variables acotadas No tengo queja con los
idiomas (1) y (3), ni con su violacin de la sustitutividad de la identidad; mi
nica queja es con (2). Mi tesis es (a) que la generalizacin existencial es
invlida en conexin con contextos modales de este tipo, y (b) que la pura
nocin de cuantificacin, tomada en su sentido ordinario, se vuelve por lo tanto
un sinsentido (meaningless) en contextos tales como (2).63
A riesgo de resultar repetitivos hemos citado este pasaje porque parece
destilar la esencia de la crtica quineana. Tres aos despus de que
aparecieran estos argumentos, se publicaron en el Journal of Symbolic Logic
los dos primeros sistemas de lgica modal cuantificada. El primero, el de Ruth
Barcan Marcus, era una extensin del sistema S2 de Lewis obtenido agregando
un sistema de axiomas para el clculo de predicados con cada axioma
precedido por el operador de necesidad y, adems, la clebre frmula Barcan:
(x) (x)
El segundo sistema fue propuesto por Carnap y es una extensin de una
variacin del sistema S5 de Lewis. Otro sistema similar aparece en Meaning
and Necessity, un ao despus. Aunque mucha polmica haba generado el
tema de las modalidades entre Quine y Carnap, la publicacin del artculo de
63
Dear Van, Dear Carnap, pp. 326-7.
127
128
1946 la agudiz y dio pie a la publicacin de este libro cuyas ideas centrales
revisaremos en la seccin siguiente.
En efecto, la propuesta de Carnap responde a la crtica que hemos hasta
aqu expuesto. Sin embargo, alterando el orden cronolgico, veremos en
seguida algunas otras objeciones que Quine opuso a la lgica modal
cuantificada en artculos posteriores; en parte porque sern relevantes para
comprender mejor la propuesta de Kripke y, en parte, porque nos permitirn
regresar a lo que hemos tratado en los dos primeros captulos.
Antes de analizar otros argumentos de Quine contra la combinacin de
modalidades y cuantificadores, hagamos una distincin que es importante para
comprender sus diferencias con Carnap. Diremos que una frmula modal es de
re si en ella (una figuracin de) una variable se encuentra en el alcance de un
operador modal y acotada por (una figuracin de) un cuantificador que se
encuentra fuera de tal alcance. La frmula es de dicto, si esto no ocurre.
Pongamos un caso muy sencillo para ilustrar la diferencia. xPx es una
frmula de re, mientras que xPx es de dicto. Supongamos que la primera
frmula traduce hay un individuo que posiblemente es inmortal y la segunda
por Posiblemente hay un individuo que es inmortal. Podemos decir que la
primera hace una atribucin de re y, la segunda, una de dicto. Como acabamos
de ver, los argumentos de Quine se dirigen contra el primer tipo de atribucin
(aunque tiene otras objeciones contra el segundo). El lector advertir en lo
sucesivo cmo la atribucin de re es ms problemtica. Por ahora sealemos
solamente que la atribucin de dicto se llama as porque puede interpretarse
como una atribucin que recae sobre un enunciado. Podemos pensar que
Posiblemente hay un individuo que es mortal predica algo del enunciado hay
un individuo que es mortal. O, por lo menos, podemos pensar que el adverbio
es all absoluto, es decir, modifica toda la oracin que sigue. En cambio, si
decimos hay un individuo que posiblemente es mortal parece que estamos
atribuyendo al individuo la posesin de una cualidad necesaria, o bien la
Slvio Jos Mota P, 10/16/2015 4:42 PM
posesin necesaria de una cualidad, pero lo importante es que la atribucin es Comentario [3]: Cualidad necesaria o possible?
Si fuera necesaria la mortalidad, entonces debera ser:
al individuo mismo, independientemente del lenguaje. hay un individuo que es necesariamente mortal.
128
129
64
Una idea que Quine explora en 1947 es la de interpretar
sustitucionalmente la cuantificacin que atraviesa contextos opacos. Es decir,
adoptar la siguiente regla: una cuantificacin existencial es verdadera si hay
una constante cuya sustitucin por la variable de cuantificacin volvera la
frmula abierta verdadera. Dicho de otra manera, la regla nos autoriza a decir
que existe un objeto que necesariamente es mayor que 7 porque hay un
nombre o constante (a saber, 9) que cuando lo ponemos en lugar de la
variable x en la frmula necesariamente x es mayor que 7 vuelve verdadero
el enunciado resultante (necesariamente 9 es mayor que 7). Esta
cuantificacin tiene algunas peculiaridades, pero no funciona muy bien cuando
no todos los objetos tienen nombre. Por ejemplo, si decimos hay un grano de
arena en la playa que me entr en el ojo. Ese enunciado puede ser verdadero,
sin que haya ningn nombre en el lenguaje que al sustituirse por la variable x
en x es un grano de arena de la playa que me entr en el ojo vuelva verdadero
el enunciado resultante. Es verdad que alguien podra ponerle un nombre
arbitrario al grano, pero basta al punto con que en el lenguaje original el
enunciado existencial era verdadero sin que lo fuera ninguna de sus
ejemplificaciones particulares. Es ms, si pretendemos hablar de los nmeros
reales ningn lenguaje podr darnos nombres para todos los objetos sobre los
que corren los cuantificadores. Tambin es verdad que en un lenguaje suele
haber nombres que no designan. Pero, dejando eso de lado, la regla podra ser
vlida pues slo establece un condicional y podramos trabajar en lenguajes en
que todos las constantes son denotativas (como es slito en lgica). Pero, esto
nos conduce a extraas consecuencias. Para mostrarlo Quine utiliza en lugar
del smbolo de identidad una letra C (por la palabra congruencia) para
expresar la relacin que tienen con s mismos Venus, la estrella de la maana y
la estrella de la tarde y, segn la evidencia emprica, unas con otras 65 .
Entonces podemos aseverar lo siguiente:
La estrella de la maana C la estrella de la tarde Nec (La estrella de la
maana C la estrella de la maana).
(donde Nec simboliza el operador de necesidad).
64
Quine, The problem of interpreting modal logic en Journal of Symbolic Logic 12(2): 43-4. (1945).
Slvio Jos Mota P, 10/16/2015 4:48 PM
65
The problem of interpreting modal Logic, p. 47 Con formato: Fuente: 10 pt
129
130
66
The problem of interpreting modal Logic, p. 47
67
Ver, por ejemplo, On what there is, en From a Logical Point of View, pp. 7-8, o en Methods of Logic,
Harvard University Press, cuarta edicin, 1982, captulo 44.
130
131
68
Quine, From a Logical Point of View, p. 149.
69
Church, A. Review of Quines Notes on existence and Necessity, The Journal of Symbolic Logic,
8, (1943), pp. 45-7.
131
132
supone que un objeto identificado por el momento como siendo el nico que
cumple la condicin tal y cual tiene la propiedad P, independientemente de
70
Por ejemplo, en Word and Object (1960), p. 198.
71
Smullyan, A. Modality and Description, Journal of Symbolic Logic, XIII (1948), pp, 31-7.
72
Reference and Modality, From a Logical Point of View, p. 155
132
133
73
Reference and Modality, From a Logical Point of View, p. 155
74
O por lo menos del fragmento informativo del lenguaje.
133
134
75
En otras palabras, en una oracin donde valga el principio de extensionalidad.
76
Donde a representa un trmino singular determinado.
134
135
135
136
77
Al plantear este problema estamos pasando por alto una pequea dificultad la exposicin de la cual
hara el texto muy oscuro. Slvio Jos Mota P, 10/16/2015 5:32 PM
78
Al final del captulo cotejaremos las ventajas de ambas semnticas a este respecto. Eliminado: final del captulo cotejaremos las
79
SN, p. 56. ventajas de ambas semnticas a este respecto.
136
137
clasificara.
Con la idea de superar las dificultades involucradas con las nociones
fregeanas de sentido y referencia, Carnap propuso en 1947 una semntica
alternativa de intensiones y extensiones. Esto a pesar de que las distinciones
semnticas tradicionales que su propuesta y la de Frege buscan explicar no
son, segn el autor de La construccin lgica del mundo, exactamente las
mismas. Veamos entonces en qu consiste esta diferencia sutil de explananda.
El primer tipo de dicotoma semntica tradicional fue la que enfatizaron los
gramticos del grupo de Port-Royal y sobre la cual insisti John Stuart Mill, a
saber: la distincin entre la extensin o denotacin de un trmino y su
respectiva intensin, comprensin, significado o connotacin. El segundo tipo
de distincin semntica es aqul que surge al considerar cada expresin
significativa como un nombre de alguna entidad concreta o abstracta y a partir
de ah distinguir entre el significado o sentido que tiene y la entidad que nombra.
Carnap afirma que mientras que la semntica fregeana busca explicar la
segunda distincin semntica tradicional (entidad nombrada y significado), su
propia propuesta semntica intenta aclarar el primer par de conceptos
semnticos tradicionales (denotacin y connotacin). Como veremos a
continuacin, una diferencia crucial entre las dos propuestas, adems de una
ventaja de la semntica de intensiones y extensiones sobre la de sentido y
referencia, es que las expresiones lingsticas no cambian sus intensiones y
extensiones conforme el contexto en que ocurren (extensional o no).
Slvio Jos Mota P, 10/16/2015 5:35 PM
Eliminado: (extensional o no)
137
138
80
Ver apndice.
138
139
139
140
83
Utilizamos el ndice a maysculo porque esta descripcin de estado correspondera al mundo actual.
84
Utilizamos aqu el ndice numrico para trasmitir la idea de que esta descripcin de estado
correspondera a uno de todos los mundos posibles que se podra describir utilizando este lenguaje.
140
141
141
142
142
143
143
144
85
Se podra argumentar contra Carnap que la equivalencia-L entre estos dos predicados o entre
cualesquiera otro par de predicados a ser extrado del lenguaje natural no se puede establecer apenas
apelando a consideraciones lgicas o ms ampliamente a consideraciones que tienen ver con las reglas
exclusivamente semnticas del lenguaje en cuestin. La objecin fue expresada de manera exhaustiva por
Quine (1951). Para evitar la polmica con Quine, podramos expresar la caracterizacin de analiticidad
144
145
de Carnap diciendo que dos predicados de un lenguaje (L) cuya semntica queremos analizar seran
sinnimos si su equivalencia-L pudiera ser establecida apelando apenas a las reglas semnticas de L y sin
ninguna consideracin de cualquier hecho emprico.
145
146
146
147
147
148
148
149
149
150
A partir del inicio de los aos 70s del siglo pasado, algunos filsofos
empezaron a caracterizar la distincin de categora semntica entre los
nombres propios genuinos y las descripciones definidas en trminos de la
nocin de designacin rgida para los primeros y no-rgida para las segundas.
En particular, Saul Kripke 86 torn famoso el argumento segn el cual un
nombre propio y la descripcin normalmente asociada a l no pueden tener el
mismo significado en el sentido de la misma intensin, dado que sus
respectivos comportamientos semnticos en un contexto modal normalmente
son muy distintos entre s. Ahora bien, a pesar de que Carnap no distingue al
interior del conjunto de las expresiones individuales co-extensionales las que
son nombres propios de las que son descripciones definidas en trminos de
sus respectivas intensiones ms bien, las considera ambas como conceptos
individualesfcilmente se puede identificar la diferencia entre ellas como ya lo
hemos hecho en el prrafo anterior. Esto significa que en una semntica de
intensiones y extensiones no sera posible identificar el comportamiento
semntico de descripciones y nombres propios como s permite, por ejemplo, la
semntica fregeana (y talvez la russeliana);87 el principal argumento del autor
Slvio Jos Mota P, 10/16/2015 6:26 PM
de Naming and Necessity contra Frege y Russell ya estaba presente en Eliminado: ;
86
Vase captulo siguiente y Kripke 1980, conferencia I.
87
En el caso de la semntica russelliana, por lo menos los nombres propios del lenguaje cotidiano (por
ejemplo, los nombres de personas) tienen el mismo comportamiento semntico que una descripcin
definida.
150
151
reglas del lenguaje. Para ello es necesario y suficiente que tengan la misma
tabla de verdad. sta es, por lo tanto, la intensin de una constante lgica.
Tomemos como ejemplo el caso de la implicacin material entre dos oraciones
p y q y tambin el de la disyuncin entre la negacin de p y q,
respectivamente.
(4) pq
(5) p q
Si construimos las tablas de verdad asociadas a (4) y a (5), vemos que
coinciden, lo que significa, segn el criterio carnapiano de co-intensionalidad,
que ambas expresiones sin-categoremticas son equivalentes-L y, por lo tanto,
que dicha tabla de verdad corresponde a la intensin de los smbolos lgicos
en cuestin. Otra manera de mostrarlo sera la siguiente. En la lgica modal
carnapiana no hay construcciones que no sean extensionales ni intensionales.
S las hay, en cambio, que sean intensionales. En la lgica modal carnapiana
dos expresiones que sean intercambiables en todo contexto salva intensin
tienen la misma intensin. Ahora bien, en sus sistemas formales la sustitucin
de (4) por (5) (o viceversa) en un enunciado produce otro enunciado del que
puede demostrarse que tiene la misma intensin que el original.
Ahora bien, como la intensin es siempre una funcin que asocia una
extensin en cada mundo posible, sera adecuado decir que la intensin de una
constante lgica es una funcin que asocia la misma funcin de verdad
(representada por la tabla de verdad correspondiente) en cada mundo posible.
Carnap no habla de las intensiones y extensiones de las constantes
lgicas proposicionales, pero tal vez fuera compatible con su propuesta
semntica la afirmacin de que la nica contribucin semntica de tales
constantes es su intensin.88
Pasemos ahora al caso de los cuantificadores existencial y universal.
Algo similar a lo que ya dijimos para las constantes lgicas, vale tambin para
estos operadores que se aplican no a oraciones sino a lo que Russell llam
funciones proposicionales, es decir, expresiones semejantes a oraciones pero
88
Se podra encontrar respaldo para tal afirmacin en la literatura sobre semnticas de mundos posibles,
por ejemplo, en el Tractatus Logico-Philosophicus (Wittgenstein 1922: 4.0312, 4.441, 5.4), cuando su
autor afirma que su insight fundamental en el libro fue que las constantes lgicas no refieren o
representan nada en el mundo real. Marcan solamente la presencia de operaciones de verdad sobre
oraciones ms simples para formar oraciones ms complejas.
151
152
152
153
153
154
154
155
155
156
156
157
157
158
90
Vase, ms especficamente, el Apndice D del libro, el cual se intitula Meaning and synonymy in
natural languages.
158
159
91
Un ejemplo de un tal fragmento sera el lenguaje desarrollado por Frege para modelar la aritmtica de
segundo orden con identidad (Frege 1893-1903).
159
160
160
161
92
Vase, por ejemplo, Quine, segundo captulo de Word and Object (1960).
161
162
que tuviera como sentido SL, es decir, el mismo sentido que la luna (y no slo
162
163
163
164
164
165
165
166
unas veces, una, y otras la otra, segn el contexto de ocurrencia. Pero Carnap
pens que esto es una ilusin. El tener que emplear trminos en partida doble
como clase y propiedad o extensin e intensin para el anlisis de un
lenguaje objeto proviene de que en el metalenguaje seguimos usando el
mtodo de nominacin en lugar de la intensin y de la extensin. Un
metalenguaje con este ltimo mtodo sera neutro y con l tal duplicacin
desaparecera.
Al principio de Meaning and Necessity los trminos intensin y
extensin son introducidos como expedientes abreviatorios, lo que podra
favorecer una interpretacin nominalista de los mismos. Para seguir con
nuestro ejemplo, podramos decir que la extensin de la luna es la misma que
la extensin de el lucero nocturno ms brillante, pero que sus intensiones son
diferentes. Eso slo quiere decir que el enunciado la luna es el lucero nocturno
ms brillante es verdadero, pero no verdadero-L, es decir, no por virtud de las
reglas del lenguaje. Aunque parece que estamos hablando de objetos del
mundo llamados intensin y extensin en realidad slo nos referimos a
fenmenos que no requieren para su descripcin de tales nombres. En el caso
de la intensin, slo estamos hablando del lenguaje. Pero, Carnap, elige como
intensiones y extensiones de designadores entidades comnmente postuladas
en filosofa (individuos, conceptos individuales, propiedades, clases, valores de
verdad y proposiciones). Con ello la interpretacin nominalista empieza a
parecer extraa.
Se vuelve insostenible cuando Carnap permite que tambin las variables
tengan un doble recorrido. Si, por ejemplo, estamos hablando de seres vivos,
una variable individual puede tomar como valor-intensin cualquier concepto
individual aplicable a seres vivos y puede tomar como valor-extensin cualquier
ser vivo. Por ejemplo, el enunciado hay un x tal que x es humano puede ser
traducido a un metalenguaje no-neutro o bien por hay un individuo que es
humano o bien por hay un concepto de individuo que puede ser subsumido
bajo la propiedad Humano. Si se trata de una variable de predicado, puede
tomar como valores-extensin clases y como valores-intensin propiedades.
As, por ejemplo, el enunciado hay una f tal que f admite dos traducciones
al metalenguaje (no neutro): a) hay una clase f tal que f y b) hay una
propiedad f tal que f. Algo similar ocurre con las variables proposicionales:
166
167
167
168
168
169
169
170
170
171
Captulo 4
Slvio Jos Mota P, 10/16/2015 5:28 PM
Eliminado: ... [5]
171
172
172
173
que ahora es estndar para la lgica modal y que fue introducida por Kripke y
Hintikka a principios de la dcada de los sesentas.
A partir de 1959, Kripke, entonces casi un adolescente, propuso un
aparato matemtico, en algn modo similar al tarskiano, para la interpretacin
de lenguajes modales (lenguajes en que, adems del clculo de predicados
con sus reglas y smbolos, tenemos los operadores unarios y y reglas
sintcticas para su manipulacin). Enseguida trataremos de describir la idea
central de la propuesta kripkeana. Cuando tenemos una frmula ordinaria del
clculo de predicados, una interpretacin asigna significado a cada uno de sus
smbolos no-lgicos de acuerdo a su categora sintctica. Por ejemplo, dada
una frmula tal como
(x)(Axa Bx)
Para saber si es verdadera o falsa en una interpretacin I, debemos saber cul
es el rango de variacin de las variables, segn I, (es decir, de qu estamos
hablando, si debo empezar su lectura con para todo ser humano o para todo
nmero, etc.). Tambin requerimos saber qu individuo de ese conjunto
representa la constante a (de nuevo, segn I), qu propiedad de miembros de
ese conjunto expresa B y qu relacin binaria est siendo simbolizada con A.
Un enunciado es lgicamente vlido si es verdadero en toda interpretacin.
Para el lenguaje modal, debemos agregar dos elementos. Primeramente hay
un conjunto cualquiera (digamos W) de objetos (llamados mundos posibles)
cada uno de los cules intuitivamente representa una situacin que pudo o
puede ocurrir. En segundo lugar, hay una relacin R que liga algunos mundos a
otros. Que R relaciona al mundo 1 con el mundo 2 simboliza que la situacin
que 2 representa es posible desde la situacin 1. Por ejemplo, en la situacin 1
estamos en Veracruz a las 12 del da, sabemos conducir y tenemos un auto.
En la situacin 2, estamos en Veracruz a esa hora y sabemos conducir, pero
no tenemos otro medio de transporte que nuestros rganos ordinarios de
locomocin. En la situacin 3, estamos en Chachalacas a 5 de la tarde.
Entonces si la posibilidad que estamos modelando es la posibilidad prctica
(dados los medios de transporte actuales) tendremos 1R3 pero no 2R3. Desde
luego, si se tratara de posibilidad lgica, la relacin sera diferente. Ahora bien,
en cada mundo posible, hay una interpretacin del clculo de predicados. Es
decir, en el mundo 1 hay un dominio de cuantificacin (el de los objetos que
173
174
174
175
93
Ver, Lewis, David (1968), Counterpart Theory and Quantified Modal Logic, Journal of Philosophy,
65, p. 113-126.
175
176
176
177
177
178
94
Mill, J. S. A System of Logic, p. 42.
95
Idem, p. 40.
178
179
96
El problema de las oraciones de atribucin de actitudes proposicionales que contienen nombres propios
del lenguaje cotidiano dentro del alcance del operador de actitud y que pueden cambiar su valor de verdad
cuando se sustituye el nombre propio en cuestin por otra expresin co-referencial.
179
180
de que el autor de Waverley escribi Ivanhoe. Tal sera el caso si, por ejemplo,
la descripcin que Scott abrevia es el autor de Ivanhoe. Aparentemente, la
teora de Mill no puede explicar estos fenmenos.
Ntese que esta teora descriptivista de los nombres propios no es ni la
de Frege ni la de Russell, sino una sntesis de ambas. Como mencionamos, no
parece claro que para Frege el sentido de un nombre venga siempre dado por
(el sentido de) una descripcin definida. Por otro lado, Russell aceptaba una
forma de referencia directa, sin intermediario, en el caso de los nombres
lgicamente propios, sin bien stos, en su concepcin, eran slo unos cuantos
trminos del lenguaje. La mayora de los nombres ordinarios seran
descripciones definidas disfrazadas.
En la formulacin de las tesis que constituyen la teora descriptivista,
Kripke utiliza la versin reforzada de Searle segn la cual puede haber un
cmulo de descripciones definidas que, de manera ponderada, estn asociadas
a un nombre propio y juegan un papel semntico y epistmico en su uso. Las
tesis en cuestin son las seis siguientes, tal y como Kripke mismo las formula:
180
181
97
Kripke usa la palabra designador para referirse tanto a nombres como a descripciones definidas.
181
182
referencia. Al identificar ambos, supone que los dos son dados mediante
descripciones definidas Una descripcin puede usarse como sinnimo de un
designador o puede usarse para fijar su referencia. Los dos sentidos fregeanos
de sentido corresponden a dos sentidos de definicin en el habla ordinaria.
Estos deberan distinguirse cuidadosamente.98
Slvio Jos Mota , 10/17/2015 10:21 AM
En lo sucesivo explicaremos mejor esta distincin pero comencemos Eliminado: .
por observar que para quien slo aceptara la teora descriptivista dbil, tendra
que haber un enunciado de la forma si X existe, X tiene la mayora de las X
que fuera verdadero a priori (para un sujeto A), pero que no expresara una
verdad necesaria. Esto ltimo no tiene que ver con A. Es decir, habra un
enunciado conocido a priori y, por lo tanto, verdadero, que no expresara una
verdad necesaria. Cmo puede esto ser? Aqu Kripke hace otra importante
distincin. Era tradicional tomar como sinnimos los trminos a priori y
necesario o a veces como extensionalmente equivalentes. Primeramente
observa Kripke- A PRIORI es un concepto epistemolgico, mientras que
NECESARIO es un concepto metafsico. Una verdad es a priori si puede ser
conocida independientemente de la experiencia, mientras que algo ocurre
necesariamente si no pudo suceder de otra manera. Por lo tanto, sostener que
todo lo que ocurre necesariamente es conocido a priori y viceversa es una tesis
que requiere prueba. Podra ser que un evento ocurriera necesariamente pero
que no hubiese manera de conocerlo y, por lo tanto, que no pudiese ser
conocido independientemente de la experiencia. Entonces a priori y necesario
no seran co-extensionales. Sin embargo, algunos filsofos se rehusaran a
otorgar sentido a tal necesidad: qu significara que algo ocurre
necesariamente si no lo podemos saber? O ms bien, cmo podramos
argumentar a favor de esta distincin proveyendo un caso que ilustre esta
supuesta diferencia de extensiones?
Kripke encuentra un ejemplo interesante, pero slo plausible: un
enunciado matemtico verdadero que fuera indemostrable. No podra ocurrir
que la conjetura de Goldbach fuese indemostrable? Esta clebre conjetura
afirma que todo nmero par (excepto el 2) es suma de dos nmeros primos.
Hasta ahora no ha sido demostrada ni refutada. Supongamos que
182
183
183
184
184
185
185
186
99
En la exposicin del argumento estamos entendiendo sinonimia de dos expresiones como su co-
intensionalidad, no identidad de sentido fregeano en la segunda acepcin dada al trmino sentido es
decir como fijador de la referencia.
100
Ver Dummett, Michael (1973) Frege: Philosophy of Language, Duckworth, p. 128.
186
187
187
188
Una de las tesis intuitivas que sostendr en estas charlas es que los
nombres son designadores rgidos.102
Slvio Jos Mota , 10/17/2015 11:11 AM
Inmediatamente hay que hacer varias aclaraciones. Por supuesto, Kripke Con formato: Fuente: Sin Cursiva
188
189
189
190
de que el individuo bajo esa descripcin tiene una propiedad necesaria (por
ejemplo, el compositor de Blowing in the wind necesariamente es un msico.
Dicho de otra manera la necesidad se atribuye a la descripcin (o al concepto
individual) y slo a travs de ella al individuo.
La segunda opcin es la metafsica y podemos fcilmente
caracterizarla porque corresponde a la forma habitual de proceder en lgica
modal. Para el lgico no hay ningn problema en postular un modelo en que en
un mundo aparece un objeto revestido de tales y cuales propiedades, y en otro
mundo el mismo objeto con otras propiedades cualesquiera. Es decir, al
proceder de esta forma, el lgico separa complemente la asignacin de
propiedades a objetos de la cuestin de sus identidades. Un mundo puede
variar de otro por el simple hecho de que en ambos figura un mismo objeto slo
que con diferentes propiedades. La identidad de los objetos es previa a la
constitucin de un mundo. Por eso Kaplan dice que los lgicos son guiados
casi inconscientemente a adoptar una metafsica de particulares desnudos.104
Slvio Jos Mota , 10/17/2015 11:41 AM
La tercera solucin es la relativista. En palabras de Kaplan: esta postura Eliminado: .
Slvio Jos Mota , 10/17/2015 11:46 AM
podra ser asociada con la metafsica del manojo de propiedades, en la medida
Eliminado: est
en que puede ser asociada con alguna posicin metafsica. Nosotros por as
104
La idea es que cada objeto particular est constituido de una sustancia o substrato al que se aplican las
propiedades y que las condiciones de identidad de estos sustratos son independientes de las propiedades Slvio Jos Mota , 10/17/2015 11:45 AM
que sostienen. Por ejemplo, una vela tiene en un momento determinado una forma, un color, una Eliminado: en que inhieren
temperatura. Segn cierta concepcin metafsica hay un substrato de todas esas propiedades. Cuando se
habla de particulares desnudos se quiere dar a entender que ese sustrato no est caracterizado por las
propiedades que se atribuyen a l. As si se eliminaran todas las propiedades de esta vela particular y Slvio Jos Mota , 10/17/2015 11:45 AM
todas las de esta naranja particular, quedaran dos sustratos distintos, desnudos. Eliminado: inhieren en
190
191
105
Kaplan, D. Transworld heir lines, en Loux (1979), p. 99.
106
El Nombrar y la Necesidad, p. 49.
191
192
107
El Nombrar y la Necesidad, p. 50.
108
El Nombrar y la Necesidad, pp53 y 54.
192
193
193
194
194
195
110
Kneale, W, (1962), Modality, de dicto, de re, en Ernest Nagel, Patrick Suppes y Alfred Tarski, Logic,
Methodology and Philosophy of Science: proceedings of the 1960 International Congress, Standford
University Press, pp. 622-33.
111
El Nombrar y la Necesidad, p. 75.
195
196
112
Strawson, P. (1959) Individuals, Methuen, Londres.
196
197
error sobre la persona de la que est hablando cuando usa ese nombre. Sin
embargo, la teora de Strawson anticipa la propuesta que har Kripke. En
resumen, las propuestas de Kneale y Strawson proveeran una solucin
verosmil al argumento de la ignorancia, a saber, el hablante podra decir por
Einstein me refiero al individuo normalmente as llamado o al individuo al que
mi maestro de fsica se refera con ese nombre. Descartadas estas soluciones
por las razones aducidas, concluimos que para una gran cantidad de nombres
propios el hablante no cuenta con descripciones definidas asociadas a ellos
que le permitiran identificar a los respectivos referentes.
An el defensor de la teora descriptivista podra argumentar que
muchos nombres s tienen una descripcin definida asociada y que para esos
casos las tesis (3) y (4) son vlidas. El siguiente argumento es llamado
semntico y se dirige especficamente contra este ltimo reducto del
descriptivismo. Kripke propone el siguiente experimento. Supongamos que a
Gdel lo identificamos, como es slito, como el lgico que demostr el teorema
de incomplecin de la aritmtica; pero que, de hecho, el teorema fue probado
por un hombre llamado Schmidt, cuyo cuerpo fue descubierto en Viena, hace
algunos aos en circunstancias misteriosas. Su amigo Gdel se apropi del
manuscrito, de una u otra manera, y le han atribuido desde entonces su autora.
Segn la teora en cuestin, cuando el hombre ordinario utiliza el nombre
Gdel es a Schmidt a quien se refiere, pues Schmidt es la nica persona que
satisface la descripcin el hombre que ha demostrado la incomplecin de la
aritmtica.
Claramente lo que la teora descriptivista predice va contra nuestras
intuiciones. Podramos haber dicho que Gdel muri anorxico (lo que es
cierto). Segn la teora descriptivista, puesto que Gdel denotaba al lgico que
demostr la incomplecin de la aritmtica (es decir, a Schmidt), habramos
dicho algo falso del hombre incorrecto. Pero, de acuerdo a nuestro sentido
comn eso no fue lo que sucedi. Ms bien dijimos algo verdadero del hombre
correcto.
Consideremos un ejemplo similar. Supongamos que decimos:
(i) Cicern muri en el ao 43 antes de Cristo
y que, por ignorancia, hemos identificado a Cicern como el autor de Las
Slvio Jos Mota , 10/17/2015 12:39 PM
Catilinarias, aunque en realidad su autor fue Sneca. Qu valor de verdad Eliminado: Catalinarias
197
198
198
199
199
200
otro caso, se usa una descripcin para fijar, como denotacin de un nombre, a
un objeto que no se encuentra presente o con el que los circunstantes no se
hayan familiarizados y, en este caso, la descripcin s se utiliza atributivamente.
Segn Kripke estos casos son excepcionales. Para ellos la teora descriptivista
parecera adecuada, pero no es as. La descripcin slo sirve para fijar el
referente del nombre en el momento preciso del bautismo y, en ese sentido, es
un sucedneo de la ostensin. An en este caso, el nuevo nombre es un
designador rgido. Pues, por ejemplo, podemos llamar por el nombre Aburto al
asesino de Colosio, sea quin haya sido el autor de tan nefando crimen. Sin
embargo, claramente tiene sentido decir que Aburto hubiera podido ser un
santo, pues el nombre se usa para llamar con l al asesino de Colosio en este
mundo real no en cualquier situacin contrafactual. Es decir, la descripcin fija
el referente del nombre en este mundo y luego podemos utilizar ese nombre
para hablar de ese mismo individuo en cualquier otra situacin. En conclusin,
la versin fuerte de la teora descriptivista es falsa, an en estos casos. Qu
diremos de la versin dbil? Tambin es falsa porque el locutor que no estaba
presente cuando el trmino fue acuado puede usar correctamente el nombre
an sin conocer la descripcin inicial.
Slvio Jos Mota P, 10/17/2015 1:06 PM
Ahora bien, despus del bautismo inicial hay una cadena causal de Comentario [5]: La teora descriptivista dbil es
falsa porque no tiene suficiente generalidad; no
trasmisin que permite a un hablante que se encuentra alejado en el espacio y porque no describa bien la situacin de
determinacin de referencia para ciertos casos
en el tiempo del bautismo inicial hacer con ese nombre referencia al objeto (ejemplo: Neptuno es el causador de las
perturbaciones estipulado por Leverrier).
200
201
del tipo de relacin causal pertinente para que pueda decirse que yo me refiero
a Espeusipo. Otros casos hay en que se cumplen las condiciones de una
cadena causal y bautismo sin que haya referencia.
En qu difiere la teora causal propuesta por Kripke de la de Strawson?
Antes que nada, hay que decir que Strawson esboza su teora en una nota a
pie de pgina, en un texto en que defiende la teora cmulo. Claramente es an
una teora descriptivista. A la pregunta por la denotacin de un nombre, el
hablante responde con una descripcin definida Gdel es la persona a la que
se refera mi maestro de lgica. En la versin de Kripke, no se requiere que el
hablante sepa de dnde aprendi el nombre. Para Strawson, en cambio, la
referencia depende de las creencias del hablante; si ste olvid de quien
aprendi el nombre, o se equivoca al respecto, la teora da resultados falsos.
Insistimos en que Kripke slo ha dado condiciones necesarias o, segn l,
116
El Nombrar y la Necesidad, pp. 103-4.
201
202
202
203
cuantificada, replic de viva voz a Quine que alguien debera ser capaz decir
que Hesperus y Phosphorus son el mismo cuerpo celeste buscndolo en un
diccionario. Kripke dice que esto no parece verdadero. Por lo tanto, agrega, la
opinin de que los enunciados de identidad entre nombres son necesarios ha
usualmente sido rechazada.
Qu deberamos pensar acerca de esto? se pregunta Kripke. Es cierto
que el descubrimiento de que Hesperus es Phosphorus fue emprico, pero eso
no significa que esa identidad sea contingente. Habra realmente
circunstancias en las cuales Hesperus no fuera Phosphorus? Intentemos
describir alguna circunstancia de este tipo. Alguien podra llamar a dos
diferentes estrellas con esos nombres. Pero en ese caso no diramos que esa
identidad no es verdadera. Recurdese que estamos concernidos con el uso
que hacemos nosotros de las palabras. Ambos nombres del planeta Venus son
designadores rgidos; es decir, designan el mismo objeto en todos los mundos
posibles. Podra ocurrir que el nombre Hesperus no se refiriera a Venus,
porque no fuese ste el planeta que apareciera en el crepsculo de la tarde.
Pero an ste, insiste Kripke, no es un caso en el cual Hesperus no es
Phosphorus.
Ahora bien, esto parece muy extrao, porque de antemano estamos
inclinados a decir: la respuesta a la cuestin de si Hesperus es Phosphorus
podra haber resultado de otra manera. As no hay realmente dos mundos
posiblesuno en el cual Hesperus es Phosphorus y otro en el cual Hesperus
no es Phosphorus previamente a nuestro descubrimiento de que estos eran
lo mismo? Primero, hay un sentido en el cual las cosas podran resultar de una
u otra manera, un sentido en el que es claro que eso no implica que la manera
como resulta al final de cuentas no es necesaria. Por ejemplo, el teorema de
los cuatro colores podra haber resultado ser verdadero y podra haber
117
Citado por Kripke, El Nombrar y la Necesidad, p. 107.
118
Barcan Marcus, R. Modalities and Intensional Languages (Comments by W. V. Quine, plus Slvio Jos Mota P, 10/17/2015 2:08 PM
discusion) Boston Studies in the Philosophy of Science, Vol I, Reidel, Dordrecht, Holland, pp. 77-116. Con formato: Fuente: Cursiva
203
204
resultado ser falso. Podra haber resultado de una manera o de otra. Esto no
significa que la manera como resulta no sea necesaria. Obviamente, el podra
aqu es puramente epistmico -expresa nicamente nuestro estado presente
de ignorancia o de incertidumbre.119
Slvio Jos Mota P, 10/17/2015 2:12 PM
Supongamos que alguien hace complicados clculos, y descubre como Eliminado: .
204
205
205
206
120
It Aint Necessarily so, Journal of Philosophy, 59, no. 22, 1962, pp. 658-671. Slvio Jos Mota P, 10/17/2015 2:27 PM
121
El Nombrar y la Necesidad, pp. 128-9. Con formato: Fuente: Cursiva
206
207
gatos son de hecho animales, cualquier ser parecido al gato que no sea un
animal, en el mundo real o en un mundo contrafctico, no es un gato.122 De
Slvio Jos Mota P, 10/17/2015 2:29 PM
igual forma, si sabemos que el agua est compuesta de oxgeno, entones es Eliminado: .
4.7 Esencialismo
122
Kripke, S. Nombrar y la Necesidad, trad. Margarita Valds, 1995, UNAM, Mxico, Naming and
Necessity, 1981, p.132.
207
208
123
NN, p. 131.
208
209
124
Salmon, N, Reference and Essence, Princeton University Press, 1982, p. 206.
125
Kripke, S, Identity and Individuation, en Milton K. Munitz (dir.), Identity and Individuation, New Slvio Jos Mota P, 10/17/2015 2:32 PM
York University Press, 1971, pp. 135-164. Eliminado: ans
209
210
4.8 Conclusin
Slvio Jos Mota P, 10/17/2015 1:08 PM
Con formato: Fuente: Negrita
210
211
211
212
Captulo 5
DECTICOS
5.1 Introduccin
126
Estamos tomando la palabra aqu en un uso estrictamente dectico, es decir, un uso diferente del
anafrico como en En 1917 Rusia estaba en miseria y perdiendo la guerra. Aqu haba un ambiente
perfecto para una revolucin, o del uso demostrativo como cuando coloco el dedo sobre un mapa y digo
Maana yo estar aqu. Algunos autores no reconocen una diferencia esencial entre estos usos. (cfr.
Predelli, 2005).
127
dem: Estamos considerando un uso estrictamente dectico, y no uno anafrico de hoy, como en
Amaneci el da despus de la batalla de Waterloo y un soldado ingles dijo: hoy ya no se oyen los
caones.
212
213
213
214
en principio, para la totalidad del lenguaje, sino tambin por proporcionar una
teora del aspecto cognitivo del lenguaje, y de varios fenmenos ligados a
creencias asociados con tal aspecto cognitivo (por ejemplo, la no-
substitutividad salva veritate de trminos co-referenciales en contextos de
actitudes proposicionales). No obstante, el fenmeno de los decticos parece
representar un caso especial y merece un tratamiento a parte, debido a que su
semntica aparentemente no encaja en el esquema de sentido/referencia
propuesto por Frege.
Uno de los primeros en notar que los decticos podan constituir una
excepcin a su semntica fue justamente el mismo Frege. En su clsico
ensayo Der Gedanke,128 llama la atencin al hecho de que ciertas palabras
como esto y hoy no son, por si solas, suficientes para expresar un nico
sentido y tener una sola referencia (a diferencia de otras palabras como Pars
y Napolen). Segn Frege, en casos como estos algo ms es esencial para
que la palabra exprese un sentido determinado, a saber: hay que apelar a
elementos no-lingsticos (como un instante temporal, un agente, un gesto
demostrativo, etc.) que acompaan su uso. En otras palabras: es necesario
conocer informacin sobre el contexto en el que la palabra es usada.129 Por
ejemplo, para conocer el sentido de Hoy es mircoles, es necesario que
sepamos el da en el que la oracin fue usada. La palabra hoy por si sola no
expresa un sentido ni tiene una referencia, sino slo cuando es pronunciada en
un contexto (es decir, en un da determinado), pudiendo cambiar tanto de
sentido como de referencia en la medida en que el contexto se modifica.
Para comprender bien el fenmeno de los decticos es importante
contrastarlo con un fenmeno diferente (aunque semejante en algunos
aspectos): la ambigedad de algunas expresiones. Alguien podra estar tentado
128
Aqu falta la referencia p. 64.
129
Kripke (2008) defiende una visin diferente, ms literal, de la descripcin dada por Frege en un pasaje
de Der Gedanke. Segn Kripke, no es informacin sobre el da o el instante que son relevantes, pero s
el propio da (en el caso del dectico hoy, o el instante mismo en el caso del dectico ahora). Estos
objetos son elementos simblicos no expresados en el lenguaje que, sin embargo, son parte de la
expresin del pensamiento dectico completo. As, si usamos una oracin Est lloviendo hoy en el da
D, una expresin completa del pensamiento sera la que simboliza el par ordenado <L, D>, donde L es la
oracin Est lloviendo hoy, y D es el da. Obviamente <L, D> no es una oracin de ningn idioma
conocido, pero es una representacin del pensamiento en un lenguaje terico-abstracto. Esta
interpretacin difiere radicalmente de las exegesis ms frecuentes de Frege, y tiene varias consecuencias
incompatibles con otras tesis de Frege. La mencionamos aqu simplemente, pero no entraremos en la
discussion sobre su mrito como lectura correcta de la posicin fregeana.
214
215
215
216
216
217
130
Russell (1912) presenta una lista bastante restringida de objetos de nuestro conocimiento directo, la
cual incluye nicamente a datos sensoriales (sense-data), elementos de memoria, algunos universales y
posiblemente nuestro propio yo (self).
217
218
218
219
219
220
220
221
131
Kaplan, 1989a
132
Kaplan, 1989b
133
Como el Naming and Necessity de Kripke.
221
222
134
El mismo Kaplan oscila entre las dos.
222
223
135
En el caso de los trminos no-decticos, el carcter no incluye esa dependencia de contexto, y puede
ser equiparado al sentido fregeano.
136
O simplemente demostraciones, para permanecer en un plano ms abstracto pues, como vimos, no
siempre una demostracin requiere un gesto demostrativo, y algunas veces puede ocurrir sin que haya
ningn gesto.
223
224
137
A menos que est semnticamente incompleto, como en el caso en que alguien profiere
esto sin ninguna demostracin.,
224
225
138
Supongamos que los constituyentes de C pertenecen al mundo actual de tal manera que ste ltimo es
tambin uno de los constituyentes del contexto de preferencia de (1).
139
Estamos suponiendo que en todos estos mundos, el patrn que define quin cuenta como alto o bajo es
el mismo, es decir: la propiedad de ser alto no cambia; nicamente cambiara su extensin en cada
mundo.
225
226
W*, W** y W*** fungen ahora como circunstancias de evaluacin para P. Desde
el punto de vista lgico, tales circunstancias de evaluacin difieren del contexto
en que P se expresa como consecuencia de la preferencia de (1). El contexto
es relevante para determinar cul es la proposicin expresada; por otro lado, lo
relevante para la verdad o falsedad de P son sus respectivas circunstancias de
evaluacin. Por razones que no discutiremos en este captulo, Kaplan incluye
no slo mundos posibles, sino tambin instantes temporales como parte de las
circunstancias de evaluacin. Para simplificar nuestra discusin, tomaremos a
las circunstancias de evaluacin y los mundos posibles como una y la misma
cosa.
140
Comparada con la descripcin el nmero de lunas de Jpiter, la cual designa al nmero 4 en el
mundo actual, pero puede designar a otros nmeros en mundos posibles no-actuales.
226
227
141
Kripke 1980, p. 21.
142
Recordemos que Carnap denomina concepto individual a la intensin asociada a una descripcin
definida.
227
228
228
229
143
Segn Gareth Evans (1982), un caso intermedio correspondera a los que denomina nombres
descriptivosi.e., nombres cuyo referente se determina por medio de una nica descripcincomo
Julius entendido como refirindose al inventor del zper. Evans considera los nombres descriptivos
como rgidos, aunque indirectamente referenciales.
144
Kaplan presenta primero el argumento para los decticos puros, pero pensamos que es ms ilustrativo
seguir un orden inverso al de l, ya que el caso de los demostrativos es ms claro e intuitivo.
229
230
230
231
sealado por demostracin en cada uno de ellos. Sin embargo, eso va contra
nuestra intuicin de que P, expresada en C, es verdadera en los mundos en
que Frege es alemn, y falsa en los que Frege no es alemn; slo Frege y su
lugar de nacimiento son relevantes para la evaluacin de P respecto a su valor
de verdad, y no los dems individuos demostrados en otras circunstancias de
evaluacin. Obsrvese que la situacin es muy distinta en el caso de la
proferencia de la siguiente oracin:
231
232
La proposicin expresada por (4) dice algo acerca de Frege, i.e.: atribuye al a
l la accin de estar hablando ahora. Podemos imaginar una situacin donde
sera falsa; por ejemplo: una situacin donde no es Frege sino otra persona la
que est hablando. No obstante, si el carcter del yo consiste en su
contribucin para la proposicin expresada por una oracin en que ocurre, tal
proposicin no podra ser falsa en dicha situacin, porque otra persona distinta
de Frege es la que en esa situacin est hablando. En otras palabras, no hay
una circunstancia de evaluacin posibleexcepto, tal vez, donde no haya
hablantesen la cual (4) sea falsa. Pero, segn Kaplan, eso va contra nuestra
intuicin. Otro de sus ejemplos es el siguiente:
232
233
determinado por el carcter del aqu con otro lugar, y 3) es posible que, un
operador modal que afirma haber por lo menos un mundo posible en donde la
proposicin expresada por en Pakistn en cinco aos solamente aquellos que
actualmente estn aqu ahora sern envidiados es verdadera. Segn Kaplan,
cuando nos preguntamos por los contenidos del actualmente, aqu, y ahora
en (6), la respuesta es clara: el mundo, el lugar, y el instante asociados al
contexto de proferencia de (6), respectivamente. Eso significa, sin embargo,
que tales contenidos no son los descriptivos normalmente conectados con las
reglas lingsticas de esos decticos.
Este razonamiento puede parecer complejo a primera vista pero, como
en el caso de los demostrativos, no apela a ninguna consideracin terica
abstracta sobre los decticos puros, sino simplemente a las intuiciones de los
hablantes respecto de ciertos razonamientos contrafcticos involucrando
enunciados que contienen decticos. Segn Kaplan, normalmente tomamos el
contexto de proferencia como el que determina, junto con el carcter, los
contenidos semnticos de los decticos puros, los cuales figuran como
constituyentes de la proposicin expresada; sta ltima con esos
constituyentes fijos es la que se evala en diferentes circunstancias posibles
respecto a la verdad o falsedad. Esto significa que el uso de los decticos puros
en un contexto muestra que son no solamente designadores rgidos, sino
tambin expresiones directamente referenciales, pues solamente sureferente
aparece como constituyente semntico de la proposicin expresada por el
empleo de una oracin en que ocurren.
233
234
tambin los usos del esto.145 Si quisiramos explicar el uso de esto para
designar a ms de un objeto, tendramos que utilizar distintos trminos para
diferentes objetos, tales como esto1, esto2, etc., y el contexto debera
contener no uno, sino una secuencia ordenada de objetos sealados los cuales
corresponderan a sus respectivos demostrata. Tal teora tratara a los
demostrativos como casos particulares de los decticos puros. As, el peso
terico del contexto se vuelve muy grande, dado que tendran que incluir una
seleccin previa de los innumerables demostrata de los diferentes
demostrativos. Pese a que Kaplan reconoce la posibilidad de esta teora, la
rechaza en comparacin con su propia teora respecto a la epistemologa de
los decticos, en particular porque, en contraste con la suya, no lograra
resolver el llamado Enigma de Frege, como lo veremos ms adelante.
Por otro lado, el punto de vista exactamente opuesto tambin sera
posible, esto es: aqul que asimila todos los decticos a los demostrativos.146
Segn esa teora demostrativa de los decticos, cada uno de ellos tiene como
contenido semntico alguna demostracin o descripcin. Eso vale inclusive
para el yo. Frege defiende tal teora para el yo en un famoso pasaje de Der
Gedanke (1919):
Ahora bien, cada uno est dado a s mismo de una manera particular y
originaria en la que no est dado a ningn otro. As, cuando el Dr.
Lauben piensa que l ha sido herido lo est haciendo probablemente
tomando como base esa manera originaria en la que l se da a s mismo.
Y solamente el propio Dr. Lauben puede captar los pensamientos as
determinados. Pero ahora l quiere comunicarse con los dems. No
puede comunicar un pensamiento que slo l puede captar. Por
conseguiente, si l dice ahora Yo he sido herido tiene que usar el yo
en un sentido que pueda ser captado por los dems, ms o menos en el
sentido de: Aquel que en este momento les habla, con lo cual se sirve
de las circunstancias que acompaan a su emisin para la expresin del
pensamiento.147
145
El cual tendra como contenido semntico el objeto sealado en este contexto.
146
De hecho, tal perspectiva parece ser la de Frege en Der Gedanke.
147
Der Gedanke, p. 66.
234
235
aprehendido por ella misma. Otras personas pueden tener, por ejemplo,
pensamientos de tercera persona acerca del Dr. Lauben, como el que
corresponde a proferencias de El nico doctor de la ciudad fue herido, el
habitante de la calle tal con nmero tal ha sido herido, o aquel que en este
momento nos habla ha sido herido, pero ninguno de ellos es equivalente al
pensamiento a ocurrencias oracionales del yo proferidas por el mismo doctor.
Es claro que otras personas tambin pueden tener pensamientos expresados
por proferencias de yo he sido herido, pero cada una de ellas tendra un
pensamiento distinto y esencialmente privado. Como veremos ms adelante
cuando discutamos algunos ejemplos famosos propuestos por John Perry,148
se podra intentar generalizar la teora fregeana para otros decticos de la
siguiente manera. Se podra afirmar que slo en el momento t1 puede el sujeto
tener un pensamiento expresado por una proferencia de ahora es hora de salir,
donde ahora tendra un sentido s1 y un referente t1; slo en el momento t2
puede tener un pensamiento expresado por una proferencia de dicha oracin
donde ahora tiene un sentido s2 y un referente t2, etc. En t1 el sujeto no podra
tener el pensamiento que una proferencia de ahora es hora de salir expresa
en t2, ni tampoco en ese momento l podra tener pensamiento que una
proferencia de tal oracin expresa en t1. Esto significa que los pensamientos
son de acceso exclusivo a sus respectivos momentos. Algo semejante valdra
para pensamientos espaciales asociados, por ejemplo, a proferencias de est
lloviendo. Eso implicara, sin embargo, la existencia de una infinidad de
pensamientos exclusivos de tal persona, de tal momento, o de tal lugar. Ni
Kaplan ni tampoco Perry tienen un argumento decisivo contra la concepcin
fregeana; su objecin contra ella apelara a una inferencia a la mejor
explicacin: una teora como la que ellos proponen la cual no requiere postular
una infinidad de pensamientos exclusivos de personas, momentos y lugares
sera, en principio, preferible a la fregeana.
148
Perry 1979.
235
236
Por esta razn, Kaplan propone, para efectos tericos, al revs tratar a los
contenidos de las descripciones definidas como si fuesen demostraciones del
objeto descrito, a pesar de que son claramente entidades distintas: las
demostraciones son entidades no-lingsticas, mientras que los contenidos de
las descripciones definidas son por lo menos parcialmente lingsticos. El punto
importante es que, as como un demostrativo refiere rgida y directamente al
objeto demostrado, podramos tambin tener una expresin asociada a una
descripcin definida que se refiriese rgida y directamente al objeto descrito,
caso existiese. Tal expresin funcionaria como un rigidificador de descripciones
definidas. Una expresin como sta no existe en el lenguaje natural,149 pero es
clara la intuicin que la motiva, y Kaplan sugiere introducir una expresin
artificial que cumpla tal funcin, a saber: Dthat. El trmino indica la mezcla del
demostrativo that150 con una descripcin definida. Aplicado a una descripcin
, Dthat genera una expresin gramaticalmente correcta como, por ejemplo,
Dthat[the tallest man in the world],151 y funciona como una demostracin del
objeto referido por .152
149
Por lo menos no en el ingls.
150
Como es bien sabido, that tiene dos usos en el ingls: el primero como demostrativo, cuya traduccin
sera esto, este, por ejemplo,, en bring me that o I want that book, y el segundo como conjuncin,
cuya traduccin sera que, por ejemplo, en I know that Paris is the capital of France.
151
En realidad, Kaplan introduce Dthat de forma ms general, a saber: dicho operador debe poder
aplicarse a cualquier trmino singular (Kaplan 1989, p. 521). Pero los casos ms interesantes desde el
punto de vista filosfico son aquellos en que se aplica a descripciones definidas; aqu nos concentraremos
en esos casos.
152
Posteriormente en Afterthoughts Kaplan lamentar esta introduccin inicial de Dthat[], el cual
debera ser directamente referencial y que termina siendo una especie de descripcin rgida,
contrariamente a su intencin original. Regresaremos a este punto ms delante.
236
237
153
Desde un punto de vista lgico, ninguna investigacin emprica es necesaria para conocer su verdad,
sino slo la ley lgica de la identidad, aunque tal vez para alguien que nunca haya estudiado lgica o
metafsica este enunciado se encuentre lejos de ser trivial.
154
No es trivialmente verdadero nicamente apelando a las leyes lgicas de identidad, a pesar de que
pueda ser trivial en otro sentido de trivial. Un ejemplo de trivialidad en ese segundo sentido sera el de
algo muy bien conocido o fcilmente verificable, como lo expresado por el enunciado la copa que tengo
en las manos hoy es la copa que yo tena en las manos ayer.
155
En realidad, sta no es una caracterizacin precisa del problema porque, como sabemos, Frege era un
logicista, es decir: sostena que todas las verdades aritmticas son derivadas en el sentido ms estricto
posible de las leyes de la lgica ms definiciones. Eso significa que inclusive un enunciado de identidad
altamente complejo y no trivial de aritmtica se debe poder derivar de leyes lgicas.
156
As como en los casos de Hspero es Marte y el oro es el elemento con nmero atmico 80, se
requirieron muchos aos de teorizacin y observacin para mostrar que son falsos.
157
Kripke 1980, p. 29.
237
238
238
239
Y ella piensa
158
El ejemplo es parecido a uno presentado por Perry en Perry 1977.
239
240
159
Este argumento presupone una concepcin funcionalista sobre las actitudes proposiciones y sus
contenidos cognitivos, la cual no discutiremos aqu.
160
Kaplan 1989, p. 530.
161
Kaplan 1989, p. 527.
240
241
O ms bien el ya mencionado:
241
242
mismo individuo del otro lado de la calle. En (13), y son dos descripciones
definidas distintas del mismo objeto. Como se trata de un enunciado de
identidad que involucra trminos directamente referenciales, la proposicin que
expresa es una auto-identidad y, por lo tanto, una verdad necesaria. Sin
embargo, (12) es verdadero si y slo si
(16) N=
(17) Dthat [] =
242
243
243
244
162
En el sistema formal propuesto en Demonstratives, Dthat sin una descripcin definida es semntica
y sintcticamente incompleto.
163
Ntese que aqu estamos hablando de intencioneselementos psicolgicosy no de intensiones
entidades semnticas.
164
Perry (2009) retoma esta cuestin en una variedad de casos para concluir igualmente que no hay una
nica respuesta; en algunos casos el referente del demostrativo es el objeto de la primera intencin, pero
en otros casos tal referente es el objeto de la segunda intencin.
244
245
165
Perry 1979. El titulo ya sugiere la tesis a defender.
245
246
Segn Perry, una creencia con ese ltimo contenido es esencial para
una explicacin adecuada de su conducta en el super. Ahora bien, (20) expresa
el contenido de una creencia dectica, a saber: aquella cuyo contenido slo se
puede articular lingsticamente utilizando un dectico. La idea es que las
creencias no-decticas no son suficientes para explicar completamente la
conducta de las personas; en particular, no son suficientes para dar cuenta de
tal conducta desde la perspectiva del agente. En el caso en cuestin,
tendramos que aadir a la creencia de que Perry est ensuciando el piso
aquella cuyo contenido se expresara utilizando (20) para entender porqu hizo
lo que hizo.
Por otro lado, podra explorarse la ya mencionada sugerencia de Frege
en Der Gedanke, a saber: que la creencia con contenido expresado por (19),
en tanto involucra el yo, pondra a Perry en una relacin especial consigo
166
Supongamos que John consult un horscopo suyo donde se predeca que Perry ensuciara el piso
exactamente ese da y, no obstante, no es capaz de identificarse con el protagonista del horscopo.
246
247
mismo,167 de tal forma que su contenido slo puede ser aprehendido por l en
tanto sujeto-agente y nadie ms. Cada uno de nosotros, si creyramos algo
con el contenido expresado por (19) en un contexto semejante al de Perry,
tendra un pensamiento con contenido proposicional de acceso restringido;
nadie ms lo podra captar a no ser la persona misma, adems de que uno
captara as un contenido diferente de lo que podran captar los otros. Esta
proposicin especial, de acceso restringido, permitira explicar completamente
nuestras acciones.
Esta teora de inspiracin fregeana es coherente e inteligible, aunque
implica una ontologa de infinitas proposiciones de acceso restringido para
cada hablante. Para darle suficiente generalidad, habra que extenderla a los
dems decticos.168 Por ejemplo, debe haber una infinidad de proposiciones de
acceso restringido al momento donde se ubica el sujeto y que se expresan
utilizando enunciados donde ocurre ahora, y tambin una infinidad de
contenidos proposicionales de acceso restringido al lugar donde est el sujeto
y que se expresan empleando enunciados que contienen aqu. El precio a
pagar por adoptar una tal teora sera no solamente la inflacin ontolgicael
compromiso con una infinidad de entidades semnticas de acceso restringido
al sujeto, al momento en que se encuentra, al lugar donde se ubicaa ser
requerida, sino principalmente debido a que su carcter supuestamente
objetivo estara bajo sospecha.
Afortunadamente, hay una teora ms simple capaz de dar una
explicacin del ejemplo mencionado y de todos los casos que involucran la
explicacin de la accin en trminos de actitudes proposicionales cuyos
contenidos se expresan en trminos de enunciados que involucran decticos.
La propuso el mismo Perry y consiste en distinguir entre el contenido semntico
expresado por (19) y la manera a travs de la cual este contenido es expresado.
Perry llama esa manera de expresar el contenido rol; Kaplan la llam carcter.
As, la proposicin expresada por (19) coincide con la expresada por
167
Como vimos anteriormente, en virtud de que corresponde a un modo de presentacin de s mismo con
acceso restringido.
168
Ms adelante, cuando discutamos otras creencias decticas, se aclarar porqu.
247
248
169
Suponiendo, por ejemplo, que ve su imagen en un espejo, pero no se da cuenta de que tal imagen es la
suya.
248
249
Segn Perry, la creencia expresada por (23) la puede tener el sujeto antes,
durante y despus del medio da, sin que necesariamente acte en
consecuencia. Pero, si sale de su cubculo y corre a la sala de reuniones es
porqu adems tiene una de las creencias decticas con contenidos
respectivamente expresados por los enunciados:
249
250
5.16 Conclusin
Los ejemplos de Perry muestran que los decticos tienen un papel
cognitivo fundamental, en la medida en que contribuyen esencialmente para
170
Perry piensa que una diferencia fundamental entre nosotros y las mquinas es que stas pueden tener
una infinidad de creencias no-decticas, pero no pueden actuar motivadas por ellas porque, entre otras
cosas, no son capaces de concebirse como agentes, ni tienen nocin de su ubicacin espacial o temporal.
171
Eso ya haba sido enfatizado por Frege, al discutir el caso del Dr. Lauben.
250
251
172
Por ejemplo, un lenguaje matemtico o mismo un lenguaje fsico en el cual se mencionase lugares e
ubicaciones temporales nicamente a travs de nombres propios o descripciones.
251
252
Apndice
Slvio Jos Mota P, 12/6/2015 11:51 AM
Con formato: Fuente: (Predeterminado)
LA DEFINICIN DE VERDAD DE TARSKI Arial
Slvio Jos Mota P, 12/6/2015 11:52 AM
Con formato: Fuente: (Predeterminado)
Arial, Maysculas
Slvio Jos Mota P, 12/6/2015 11:52 AM
En una serie de artculos sucesivos, el primero datando de 1933, los dos Eliminado:
Slvio Jos Mota P, 12/6/2015 11:52 AM
siguientes de 1934 y 1936, Tarski provee un mtodo general para definir el Eliminado:
173
Tarski, 1933, p.152
174
Aristteles, Metafsica, 1011b.
252
253
denotacin) haban jugado un importante papel en discusiones tericas, Slvio Jos Mota P, 12/11/2015 9:28 AM
Con formato: Fuente: Sin Cursiva
haban sido tambin fuente de antinomias (por ejemplo, la del mentiroso o la de Slvio Jos Mota P, 12/11/2015 9:28 AM
Con formato: Fuente: Sin Cursiva
Richard). El mtodo de Tarski para definir verdad para cierta clase de lenguajes
Slvio Jos Mota P, 12/11/2015 9:28 AM
Con formato: Fuente: Sin Cursiva
253
254
evit estas dificultades y mostr que ese concepto poda ser utilizado y
estudiado cientficamente al menos para ciertos lenguajes.
Por otro lado que la definicin sea formalmente correcta significa que han sido
especificados los trminos a partir de los cuales la definicin puede ser dada y
las reglas formales a las cuales sta debe conformarse. De acuerdo a Tarski,
el problema de la definicin de la verdad obtiene un significado preciso y
puede ser resuelto en un modo riguroso slo para aquellos lenguajes cuya
estructura ha sido exactamente especificada 175 . Que la estructura de un
lenguaje tenga esta caracterstica significa que se han especificado sus reglas
de formacin de enunciados (normalmente en trminos puramente sintcticos)
de tal manera que pueda decidirse mecnicamente si una expresin es o no un
enunciado de ese lenguaje y que se ha determinado cules de estos
enunciados cuentan como axiomas (es decir, como verdades que se aceptan
sin prueba) y cules son la reglas que permiten derivar teoremas de estos
axiomas.
Si el lenguaje objeto contuviera slo un nmero finito de enunciados y cada una
Slvio Jos Mota P, 12/11/2015 9:29 AM
de las equivalencias T fuera expresable en el metalenguaje, entonces el Con formato: Fuente: Sin Cursiva
P->(Q->P)
(P->(Q->R))->((P->Q)->(P->R))
(noQ->noP)->(P->Q)
o de la forma Q y est precedido en la sucesin por enunciados P->Q y P. Slvio Jos Mota P, 12/11/2015 9:29 AM
Con formato: Fuente: Sin Cursiva
Slvio Jos Mota P, 12/11/2015 9:29 AM
175
Tarski, The Semantic Conception of Truth and the foundations of Semantics, p.347 Con formato: Fuente: Sin Cursiva
254
255
Pero, como se saba desde 1931, una definicin de este tipo no es siempre
posible. Tarski mostrar primeramente que ninguna definicin que satisfaga el
requisito de adecuacin material puede ser dada para el lenguaje ordinario
(que es su propio metalenguaje). Estas consideraciones son interesantes por
varias razones y una de ellas es que una paradoja pueda resultar de unas
cuantas trivialidades sintcticas y de suponer que el predicado a definir
satisface las equivalencias T. Reproducimos en seguida la forma en que Tarski
genera una antinomia que, aparentemente, es de la autora de J. Lukasiewicz:
255
256
Para solventar esta dificultad, Tarski propone otra versin del esquema T:
Desde luego, no puede leerse muy literalmente el esquema (3) pues, como
dijimos, p es slo una letra del alfabeto castellano, de la que se sugiere que
resultara verdadera para ciertas sustituciones de x en (3), lo que es absurdo.
Tarski propone que la expresin p sea considerada como representando una
funcin F los argumentos de la cual son enunciados y cuyos valores los
nombres de esos formados con el recurso del entrecomillado respectivo. Por
ejemplo, F aplicada al enunciado
256
257
La luna es amarilla
genera el nombre
la luna es amarilla
Dice Tarski que, aceptada la definicin (3) de verdad, (4) asevera su propia
falsedad.
257
258
no p).
enunciado tenga un nombre (2) sean expresables todas las equivalencias (T)
de ese lenguaje, (3) una premisa emprica como la que utilizamos en el
argumento sea expresable y aceptada como verdadera. Concluye que en el
lenguaje ordinario parece imposible tener una definicin satisfactoria de
enunciado verdadero.
258
259
Por ejemplo, sea L un lenguaje que contiene como smbolos una constante
Slvio Jos Mota P, 12/11/2015 9:42 AM
individual a, un smbolo de operacin unaria S, dos smbolos de operacin Con formato ... [15]
Definicin de trmino.
Slvio Jos Mota P, 12/11/2015 9:42 AM
Con formato: Fuente: Sin Cursiva
1) a es un trmino, si y son trminos tambin lo son
Slvio Jos Mota P, 12/11/2015 9:44 AM
Con formato ... [16]
2) s(),
Slvio Jos Mota P, 12/11/2015 9:44 AM
Con formato ... [17]
3) (+)
Slvio Jos Mota P, 12/11/2015 9:44 AM
Con formato ... [18]
(4) (X).
Slvio Jos Mota P, 12/11/2015 9:44 AM
Con formato ... [19]
Llamemos trmino cerrado a un trmino sin variables. A los trminos a, S(a),
Slvio Jos Mota P, 12/11/2015 9:43 AM
S(S(a)), ... etc. los llamaremos numerales. Abreviaremos S(S(S(a))), Con formato ... [20]
a) a denota al cero
Slvio Jos Mota P, 12/11/2015 9:43 AM
n Con formato ... [21]
b) S denota a n.
Slvio Jos Mota P, 12/11/2015 9:43 AM
Con formato ... [22]
b) Si y son trminos cerrados y denotan respectivamente a los nmeros n y
Slvio Jos Mota P, 12/11/2015 9:46 AM
m, entonces S() denota a n+1, (+) denota a la suma de n y m; y (X) Con formato ... [23]
259
260
Definicin de frmula.
Slvio Jos Mota P, 12/11/2015 9:46 AM
Con formato: Fuente: Sin Cursiva
a) una formula atmica es una frmula
Slvio Jos Mota P, 12/11/2015 9:46 AM
Con formato: Fuente: Sin Cursiva
b) si y son una frmula, una variable y una variable, tambin lo son
Slvio Jos Mota P, 12/11/2015 9:46 AM
frmulas: Con formato ... [25]
,
Slvio Jos Mota P, 12/11/2015 9:48 AM
Con formato ... [26]
(),
Slvio Jos Mota P, 12/11/2015 9:48 AM
Con formato ... [27]
Slvio Jos Mota P, 12/11/2015 9:48 AM
Con formato ... [28]
Definidas de la manera usual figuracin libre de variable en una formula y
Slvio Jos Mota P, 12/11/2015 9:48 AM
enunciado (como una formula sin figuraciones libres de variables), definimos Con formato: Fuente: Sin Cursiva
verdadero.
260
261
siguientes smbolos:
Slvio Jos Mota P, 12/11/2015 9:35 AM
Eliminado: simbolos
Vocabulario no-lgico:
Slvio Jos Mota P, 12/11/2015 9:35 AM
Nombres propios: a, b y c Con formato: Fuente: Sin Cursiva
Vocabulario lgico:
Slvio Jos Mota P, 12/11/2015 9:35 AM
Variables individuales: x1, x2, x3, Con formato: Fuente: Sin Cursiva
Conectiva unaria:
Conectiva binaria:
Cuantificador:
Parntesis: (, )
Supongamos tambin que la sintaxis de LR sea dada por las siguientes reglas:
Definicin recursiva de frmulas en LR:
Slvio Jos Mota P, 12/11/2015 9:34 AM
Con formato: Fuente: Sin Cursiva
261
262
Ahora bien, para dar una definicin de enunciado verdadero aqu tenemos la
dificultad de que la subfrmulas de un enunciado no necesariamente son
enunciados, algunas son frmulas abiertas. Para remediarlo Tarski define una
relacin semntica llamada satisfaccin que se da entre un individuo u objeto
del dominio de cuantificacin de las variables y una frmula con un sola
variable libre, o bien entre un par ordenado de individuos y una frmula con
exactamente dos variables libres, etc. La idea es que, por ejemplo, un objeto
satisface una frmula con una variable libre cuando el individuo en cuestin cae
bajo el concepto que esa frmula expresa (segn una especificacin previa) o
bien que un par ordenado de objetos satisface una frmula con dos variables
libres si el primero tiene con el segundo la relacin que esa frmula expresa
(de nuevo, segn una determinacin dada). Asi, por ejemplo, el par (4,5)
satisface la frmula de la forma xy en nuestro prmer lenguaje porque 45, lo
que supone, claro, que las variables han sido ordenadas de algn modo. Sin
embargo, sera tedioso definir la relacin de satisfaccinentre n objetos y una
frmula con n variables libres para cada n pertinente. Tarski recurre a la idea
de utilizar sucesiones infinitas de objetos del dominio. Para seguir con el
ejemplo anterior, supongamos que x, y y z son variables de nuestro primer
lenguaje y que son las tres primeras (en ese orden) en una lista de todas las
variables del lenguaje. Entonces diremos que (3,4,2,1,5,9) satisface la
frmula (xyyz) porque (3445). Ahora qu pasara si la frmula
contuviese una constante, por ejemplo, fuese (xzza). Entonces podemos
decir, por ejemplo, que (3,5,1,9, 6) stisface esa frmula porque (3550).
Esperemos que estos ejemplos aclaren la siguiente definicin:
:
262
263
Definicin de satisfaccin:
Sea Q la secuencia de objetos <o1, o2,..., oi, ..., oj, ...>
S1: Ci es satisfecho por Q si y solo si Ref(i, Q) es una ciudad;
S2: Pi es satisfecho por Q si y solo si Ref(i, Q) est contaminada;
S3: Nij es satisfecho por Q si y solo si Ref(i, Q) est al norte de
Ref(j, Q);
S4: Wij es satisfecho por si y solo si Ref(i, Q) est al oeste de
Ref(i, Q).
S5: Iij es satisfecho Q si y solo si Ref(i, Q) es idntica a Ref(i, Q)
L1: es una frmula satisfecha por Q si y solo si Q no satisface ;
L2: es una frmula satisfecha por Q si y solo si Q satisface y
satisface ;
L4: (i)es una frmula satisfecha por Q si y solo si es satisfecha
por toda secuencia Q que difiere de Q en a lo mximo la i-sima posicin.
1. Nij es satisfecho por la secuencia Q de objetos <o1, o2, ..., oi, ...,
oj, ...> si y solo si Ref(i, Q) est al norte de Ref(j, Q) (S3);
2. Para cualquier Q, Ref(b, Q): Ciudad de Mxico (R2);
3. Para cualquier Q, Ref(c, Q): So Paulo (R3);
4. Para cualquier Q, Nbc es satisfecho por Q si y solo si Ref(b, Q) est
al norte de Ref(c, Q);
5. Para cualquier Q, Nbc es satisfecho por por Q si y solo si la Ciudad
de Mxico est al norte de So Paulo;
263
264
264
265
265
266
BIBLIOGRAFA
Aristteles
Metafsica, trad, Toms Calvo Martnez, primera edicin, Gredos, (1994)
Barcan Marcus, R.
(1963) Modalities and Intensional Languages (Comments by W. V. Quine,
plus discusion) Boston Studies in the Philosophy of Science, Vol I, Reidel,
Dordrecht, Holland, pp. 77-116.
Carnap, R.
(1942) Introduction to Semantics, Harvard University Press, Cambridge, Mass.
Slvio Jos Mota P, 12/11/2015 9:16 AM
(1950) Empiricism, Semantics and Ontology, Revue Intern. de Phil. pp. 20-40. Con formato: Fuente: Sin Cursiva
Dummett, Michael
(1973) Frege: Philosophy of Language, Duckworth. Slvio Jos Mota P, 12/11/2015 9:16 AM
Con formato: Fuente: Sin Cursiva
266
267
Frege, G.
(1879) Conceptual Notation en Bynum y van Heijennort
(1884) The Foundations of Arithmetic, traducido por J, L. Austin, segunda
Slvio Jos Mota P, 12/11/2015 9:16 AM
edicin, Oxford, Blackwell, 1986. Con formato: Fuente: Sin Cursiva
Hylton, P.
Slvio Jos Mota P, 12/11/2015 9:16 AM
(1990) Russell, Idealism and the Emergence of Analytical Philosophy, Oxford Con formato: Fuente: Sin Cursiva
Clarendon Press.
(1905) Propositions, Functions and Analysis: Selected Essays on Russells
Philosophy, Oxford University Press.
Slvio Jos Mota P, 12/11/2015 9:16 AM
Kant, I. Con formato: Fuente: Sin Cursiva
(1787) Kritik der Reinen Vernunft, trad. Manuel Garca Morente, Tecnos, (2002)
267
268
Kaplan, D.
(1978) Transworld heir lines, en Michael Loux, The Possible and the Actual,
Readings in the Metaphysics of Modalitity, Cornell University Press, 1979.
(1978). Dthat, en Cole, P (ed.), Syntax and Semantics, vol. 9. New York:
Academic Press.
(1989a). Demonstratives, en Almog, J., Perry, J., Wettstein, H., Themes from
Kaplan, Oxford University Press, 189, pp. 481-564.
(1989b). Afterthoughts, en Almog et al., 1989, pp. 565-614.
Kneale, W.
(1962), Modality, de dicto, de re, en Ernest Nagel, Patrick Suppes y Alfred
Tarski, Logic, Methodology and Philosophy of Science: proceedings of the 1960
International Congress, Standford University Press, pp. 622-33.
Kripke, S.
(1959) A Completeness theorem in modal logic, Journal of Symbolic Logic, 24:
pp. 1-14.
(1963) Semantic Analysis of modal logic I, normal propositonal calculi,
Zeitschrift fr mathematischic Logik und Grundlagen der Mathematik 9, pp. 67-
96.
(1963b) Semantical Considerations on Modal Logic. Acta Philosophica
Fennica 16, pp. 83-94.
(1965) Semantic analysis of modal logic II, non-normal propositional calculi en
J. W. Addison, L. Henkin y A. Tarski (Eds,) The Theory of Models, Amsterdam,
North Holland, pp. 206-220.
(1971) Identity and Necessity, en Milton K. Munitz (dir.), Identity and
Individuation, New York University Press, 1971, pp. 135-164.
(1980) Naming and Necessity, Basil Blackwell. Traduccin por Margarita Valds,
Slvio Jos Mota P, 12/11/2015 9:21 AM
UNAM, 1995. Con formato: Fuente: Sin Cursiva
268
269
Linsky, L.
(1969) Referring, Routledge and Kegan Paul, Londres.
Makin, G.
(2000) The Metaphysicians of Meaning. Russell and frege on Sense and
Denotation, Routledge.
Marcus, R. B.
(1946) A functional calculus of firts order base don strict implication, Journal of
Symbolic Logic 11, pp. 1-16
(1992) Modalities, Nueva York, Oxford University Press.
Mill, John Stuart, (1882)
Slvio Jos Mota P, 12/11/2015 9:22 AM
A System of Logic, Ratiocinative and Inductive, Harper & Brothers Publisher. Con formato: Fuente: Sin Cursiva
269
270
de Rouilhan, P.
Slvio Jos Mota P, 12/11/2015 9:24 AM
(1998) Frege. Les Paradoxes de la Reprsentation, Les ditions de Minuit, Con formato: Fuente: Sin Cursiva
Slvio Jos Mota P, 12/11/2015 9:24 AM
Pars.
Con formato: Fuente: Sin Cursiva
(1996) Russell et le Cercle des Paradoxes, Press Universitaires de France, Slvio Jos Mota P, 12/11/2015 9:24 AM
Con formato: Fuente: Sin Cursiva
Pars. Slvio Jos Mota P, 12/11/2015 9:24 AM
Russell, B. Con formato: Fuente: Sin Cursiva
Slvio Jos Mota P, 12/11/2015 9:24 AM
(1903) The Principles of Mathematics, Londres, Allen and Unwin (segunda Con formato: Fuente: Sin Cursiva
270