Académique Documents
Professionnel Documents
Culture Documents
M. DUmlnett
All Souls College, Oxford
FREGEFUE EL FUNDADOR
tanto de la lgica contempornea
como de la contempornea filosofa del lenguaje. El uso de
esta ltima frase, en conexin con l, tiene un extrao sonido,
ya que l siempre expres desprecio por el lenguaje; lo hizo
as porque, para l, 'lenguaje' quera decir 'lenguaje natural',
y crea que los lenguajes naturales eran instrumentos muy
defectuosos para la expresin del pensamiento. En las oraciones del lenguaje natural, no solamente las apariencias
superficiales son groseramente engaosas, sino que adems,
segn Frege, los lenguajes naturales son incoherentes en el
sentido de que no se podra construir una explicacin sistemtica completa del uso de las oraciones de tales lenguajes.
En nuestro discurso cotidiano, no estamos meramente jugando a un juego cuyas reglas no hemos formulado por completo, sino a uno para el que no se podra extraer ningn
conjunto consistente de reglas. Tal bse~~aci6n difiere de lo
que otros filsofos ~ha"'Qicho acerca del lenguaje natural
solamente en su fuerza: Frege se diferenci de sus prede- ~'(.Mt'~
ceso res en el remedio metodolgico que adopt. Otros han
pensado
que lalingstico,
tarea del filsofo
es desnudar
pensamiento'~
de su vestido
introducirse
en todasellas
formas de
L. J
~~
--
---
---
--
..
150
Frege
151
Frege
.-
--
152
Frege
voy a hablar.
--
\
1
153
Frege
cin oracional son ~obles: IJor medio de operadores oracionales, que pueden ser unanos, "'"co,mola negacin, o binarios,
como las conectivas 'o' y 'si'; y!pbr medio de cuantificacin,
el dispositivo utilizado en el lenguaje formalizado para expresar generalidad. La cuantificacin, como generalmente se
considera hoy, tiene dos formas principales, universal ('para
todo x, .. o') y existencial ('para algn x, ...'): la oracin
cuantificada se forma asignndole uno u otro cuantificador
a un predicado complejo. Un predicado complejo es, esencialmente, el resultado de eliminar una o ms ocurrencias
de algn trmino singular de la oracin; la oracin cuantificada debe indicar dnde ocurren las lagunas resultantes en
el predicado complejo. La oracin de la que se form el
predicado complejo debe ser considerada como un constituyente de la oracin cuantificada; pero, ya que no podemos
determinar a partir de la oracin cuantificada ningn cons-
---
- -
--
--
- ---
154
Frege
tituyente nico, tomaremos como constituyente de una oracin cuantificada cualquier oracin a partir de la cual podra
haberse formado el predicado complejo, esto es, cualquier
oracin que resulte de poner uno y el mismo trmino singular
en las lagunas que ocurren en el predicado complejo. (Aqu
solamente he descrito la cuantificacin de primer orden; no
nos interesaremos por la cuantificacin de orden superior.)
Fue al planear esta sintaxis, tan familiar en lgica contempornea, y, en particular, al construir la notacin de los
cuantificado res, como se revel principalmente el genio de
Frege. U na vez que se tiene un lenguaje cuya sintaxis es
de esta forma, no es tan difcil continuar proporcionndole
una semntica. No pretendo que la semntica de Frege, conocida ahora como semntica clsica o bivalente, sea indisputable; por el contrario, algunos lgicos, por ejemplo los intuicionistas, la rechazan: slo que no es tan difcil concebida
una vez que se tiene la sintaxis. La primera idea fundamental
~~
de!~ ~:peIde
_de _()ra,-..' ...,.,11IIsola_men1:e.-de-slLC..Pmp<?sicin
--'--"""- a,. partir
~ ,-
- ----
.-
-.~-
..--
- -
155
Frege
.;~~'''''''.~-.".I;II'
.,-
~ea det~r-
...
'._'C'"
."
- ._f!OII'
-..,._~
~-_
..,.
--
"'=f:...
--
,,___
--
156
Frege
-<'.. '-
--
157
Frege
-,
._~.,.
--ioI..,,
'
~,;,;.~,;;..
101
...
,.&S.'IEJ:
..'
158
Frege
- ---
.~"
'C'
.;.,
'"
">'!'I'""~
..,.,.
~>
o"
-"
--
--
159
Frege
y
(u, v) sastiface 'x es mayor que
si y slo SI u es mayor
que v.
Cunta luz se aporta al anlisis del concepto de verdad
mediante tal definicin de 'verdadero' es algo que no nos
interesa; Davidson ha propuesto que, si la reformulamos
como teora axiomtica y no como definicin, podemos, tomando la definicin de verdad como ya dada, reinterpretarla
como constituyendo una teora del significado del lenguajeobjeto. Esto es, tanto si se les puede atribuir a los hablantes
reales del lenguaje un conocimiento de tal teora como si no,
----
-- -
---
--
--
160
Frege
DO
DIAGRAMA
(CI) X conoc
w.
(B2) X sabe qu es F.
(C2) X sabe
(C4) X sabe,
fiere a
(CS) X sabe
a b.
r.
:1
(B6) X sabe que b es F es verdadera.
(C6) X sabe
b' es ve
162
Frege
l'
I
l'
I
11
I
1
I
1;
I1
'.
I~
Ii
l'
il
l'
I
11
I
I
I
---
instancia de (B3) es una cuantificacin existencial de una instancia de (B4), y por tanto ser verdadera slo si alguna
instancia correspondiente de (B4) es verdadera: por ejemplo,
'La polica sabe, de Redmayne, que asesin a Bexley'. Tambin dir, de la instancia de (AS), que adscribe conocimiento
proposicional al sujeto, y, en particular, que le adscriben
conocimiento de la proposicin expresada por la oracin que
reemplaza a 'P'; anlogamente, dir que una instancia de
(B4) adscribe conocimiento predicativo al sujeto.
Interpolara aqu la observacin de que la igualacin de
(Cl) y (C2) ser estrictamente correcta slo cuando exista
una entidad que haga de referencia de la palabra en cuestin,
cosa que Frege pensaba que suceda siempre. Cuando, por
ejemplo, se reemplaza IW' por un trmino que se refiere a
un predicado unario, podemos, sin invocar la doctrina especial de Frege, decir solamente que alguien conoce la referencia del predicado cuando sabe de qu objetos es verdadero,
y este enunciado no es exactamente de la forma (B2); obtendramos una instancia de (B2) slo diciendo algo como
'sabe a qu concepto se refiere'. No obstante, aun cuando
no aceptemos la doctrina especial de Frege, las subsiguientes
observaciones pueden transplantarse a casos distintos de
aqul en que la palabra en cuestin es un trmino singular.
Necesitamos ahora saber bajo qu condiciones ser verdadera una adscripcin de conocimiento predicativo (B4).
Es natural aventurar que la verdad de una instancia de (BS)
entraar a veces la verdad de una instancia correspondiente
de (B4), dond~ la' y lb' se reemplazan por expresiones de la
misma referencia, a veces por la propia expresin misma.
Por ejemplo, podra suceder que la verdad de 'La polica
sabe, de RedmaYne, que asesin a Bexley' se sigue de la
verdad de 'La polica sabe que Redmayne asesin a Bexley'.
Cuando esto suceda, dir que la adscripcin de conocimiento
predicativo se basa en una adscripcin de conocimiento proposicionaI. As, pues, la verdad de determinadas instancias
de (BS) garantizar la verdad de la correspondiente instancia de (B3), y, en consecuencia, de (B2). Por supuesto, no
con toda instancia de (BS) suceder lo mismo: la polica
puede saber que el hombre que se ocult en el tejado asesin
---
--
Frege
163
164
"
\1
Frege
11I
I
,
11
- --
---
--
-- -
--
]65
Frege
- -
166
Frege
&
,.
1
----
--
--
--
--
J67
Frege
segn esta concepcin de los nombres propios, no es explicativa, dado que, para establecer una distincin entre (BS) y
(B6), tenemos que apelar a alguna nocin del uso de un
nombre, del modo en que el portador es distinguido por
medio de l. Para contrastar efectivamente la captacin del
uso de un nombre con la de un trmino singular complejo
tal como 'la ciudad sitiada por el Cid', el nico recurso
parece ser refugiarse en explicar una oracin de la forma (BS)
en trminos de una de la forma (B4), es decir, apelar una
vez ms a la nocin de conocimiento predicativo: y as la
explicacin se muerde su propia cola.
El nico modo de romper el crculo es admitir -cosa que
los miembros de la escuela davidsoniana son reacios a hacer- que discutir el significado solamente en trminos de
qu conoce el hablante cuando capta el uso de una palabra
es insatisfactorio. Una teora del significado, en el presente
sentido, da una representacin terica de una habilidad prctica; en trminos de Ryle, representa el conocimiento-cmo
mediante el conocimiento-que. En muchos contextos, no
surge ningn gran problema acerca de lo que est involucrado en el atribuirle a alguien una pieza de conocimiento
proposicional, puesto que puede suponerse que l conoce
algn lenguaje en el que pueda expresarse la proposicin, y
no habr ninguna diferencia substantiva entre su conocimiento de la proposicin y su conocimiento de la verdad de
la oracin; igualmente, pocas dificultades habr en representar una pieza de conocimiento prctico como conocimiento de
una proposicin, puesto que la transicin entre los dos ser
mediada por el dominio del lenguaje por parte del sujeto.
Pero, cuando el conocimiento del que nos ocupamos es
l mismo el requerido para el dominio de un lenguaje, estas
cuestiones ya no se cuidan de s mismas. Si representamos la comprensin de una palabra por parte de un hablante como su conocimiento de una cierta proposicin, nuestra
explicacin queda incompleta a no ser que expliquemos tambin en qu consiste un conocimiento implcito de esa proposicin, es decir, qu ha de contar como una manifestacin
de ese conocimiento.
----
----
---
--
168
jjl
Bi
11
1I111
d'
1
1..
,,IPI
I!
"
11
111
1 r
1
Frege
III!
lIi
i
l'
--
--
---
-~
- ---
Frege
--- -- -
---
]69
---
170
.--
-..--..
. .- - -- . - -- _.- -. - --
- -. --
Frege
l.
- - -
17i
Frege
-- - - - -
--
--
- -
11
!I
11
If
172
11
Frege
~~I
!I
~I
- -
- -
---
]73
Frege
- - - --
--
174
1I1
11;,
ii
IJi
Frege
na doctrina sobre los tipos de objetos que contiene el mundo): por tanto, el argumento original de Frege no depende
de la adopcin de una semntica clsica bivalente. Pero la
extensin del argumento a otras oraciones atmicas depende
de que asumamos que el valor semntico de un predicado es
su extensin, i.e. de que sea determinadamente verdadero
o falso para cada objeto del dominio; y esto es vlido slo
en la semntica clsica.
[II!
I
Y
1
,1:
.\1
II
11
11
11
11
11
11
11'
!I
I
1I
---
--_o
... .._
_ --
---
-.- -- -- ..-
175
Frege
---
--
176
Frege
177
Frege
cxponerla, y la consecuencia que sus proponentes han pretendido que tiene. La doctrina fundamental, en mi opinin,
es a lo sumo no ms que una verdad a medias; pero mucho
ms importante es el hecho de que, aun cuando fuese totalmente verdadera, no tiene ni puede tener las consecuencias
que se le atribuyen.
Imaginmonos que tenemos, para un lenguaje dado, una
teora del significado de la que podemos derivar las actuales
disposiciones lingsticas, condicionales e incondicionales, de
los hablantes. La teora proveer por tanto lo necesario para
que un hablante haga ciertos juicios en ciertas circunstancias; adems mostrar, a travs de las conexiones inferenciales encapsuladas en las disposiciones condicionales, cmo
el conjunto total de las disposiciones del hablante ser modificado por la subsecuente aceptacin o rechazo de cualesquiera oraciones dadas. De ah que, segn los principios de
la teora del significado que tenemos, no somos capaces
de determinar las disposiciones lingsticas efectivas de un
hablante en fechas futuras apelando a la teora del significado
solamente: slo podemos hacerlo tomndolo conjuntamente
con un acumulativo stock de juicios que l acepta.
Hasta ahora no hemos supuesto ni que la doctrina fundamental del holismo es vlida para este lenguaje, ni que no
lo es; pero supongamos ahora que lo es, es decir, que no
hay forma de discriminar, apelando a la conducta lingstica
de los hablantes en cualquier momento dado, entre cualquier
oracin generalmente aceptada como verdadera y cualquier
otra, en particular que no hay tal discriminacin entre ellas
correspondiente al tipo de razn que los hablantes tuvieron
originalmente para aceptarlas. Entonces habr algo arbitrario
en la representacin de las disposiciones lingstica s de los
hablantes por medio de la teora del significado constante
junto con el acumulativo stock de juicios: los detalles de la
representacin dependeran de dnde nos encontrsemos
eventualmente. Si hubisemos comenzado la empresa antes
o despus, el stock de juicios sera, respectivamente, mayor o
menor, y la teora del significado fijada sera diferente. De
ah que, aunque nuestra representacin no sea incorrecta,
podamos preferir una diferente que no sea arbitraria de esta
3
--
--
--
--
178
Frege
Frege
]79
---
180
111
1,
11]
li
111
,11
I
I
tll
:!.
11
:1
Frege
----
---
181
Frege
- --
- - -
11
182
'11
1"
:11
I
It
1111
"1Ii
I
I
I
l.
"Ii
I
I I
I I
I
l'
1.1
Frege
pretendera que son analticas. Ms an, los datos de Davidson incluyen informacin sobre las condiciones prevalentes cuando se hizo originalmente un juicio, de manera que,
aunque el propio Davidson es holista, toma como parte de
sus datos lo que, en el caso de una oracin sin rasgos indxicos que llega a ser generalmente aceptada, Quine declara
que es una irrelevante pieza de informacin histrica. La
tesis de Davidson es totalmente diferente de la que yo estoy
negando. Lo que yo estoy negando es que se puedan derivar,
del conocimiento de que un cierto conjunto de oraciones
-necesariamente sin rasgos indxicos- comprende todas las
aceptadas como verdaderas por todos los hablantes de un
lenguaje, sin ms informacin ulterior acerca de las cpndiciones que llevan a su aceptacin, las disposiciones lingsticas de los hablantes, o cualquier cosa que sea posible tomar
como una interpretacin del lenguaje. No digo que algn
holista haya jams propuesto explcitamente esta tesis; pero
es la tesis que tendra que sostener para que las doctrinas
fundamentales del holismo constituyesen un fundamento
para decir que podemos prescindir de la nocin de significado
o que esta nocin ha sido engullida por la de la teora de los
hablantes, y es patentemente falsa.
Por ejemplo, descendamos de las alturas y preguntemos
qu pasa, en el contexto de una visin holista del lenguaje,
con la concepcin del sentido de un nombre propio. Es
coriente que los holistas respondan a esto diciendo que,
puesto que ya no consideramos que ninguna oracin generalmente aceptada tenga un status privilegiado, para retener
la nocin de sentido debe interpretarse como dada por la
totalidad de todas las oraciones que contienen el nombre y
que son generalmente aceptadas como verdaderas; no puede
haber una seleccin, entre esas oraciones, de las que son
constitutivas del sentido del nombre, i.e. contribuyen a determinar su referencia, en cuanto opuestas a las que meramente registran lo que creemos que es verdadero de su
portador. Esto puede que parezca razonablemente plausible
de los nombres de objetos no o ya no accesibles a observacin, aunque implausible de otros nombres; pero no da el
sentido tal como ste tendra que ser presentado en una
..,
--
183
Frege
-- -
111I
184
1111:
1I1
1)1
Frege
--------
Frege
185
"
186
"
.,
111
Frege
Frege
187
--
------
---
.11
188
Frege
que ciertamente no hace es dar una explicacin del funcionamiento de los nombres propios en general. Estamos por
cierto especialmente interesados por los nombres propios
personales, lo cual es una razn por la que los filsofos que
discuten sobre nombres propios tienden a usar nombres de
personas en la mayora de sus ejemplos. Pero no debemos
olvidar que los nombres de personas tienen varios rasgos
peculiares suyos que no son compartidos por los nombres
propios de objetos de otros tipos, y que stos son muy diversos: nombres de lugares, nombres de meses y das de
la semana, nombres de carreras (como la 'Grand National'),
nombres de juegos, de salidas en ajedrez, de estrellas y
constelaciones, de teoremas matemticos, de poemas, tipos
de baile, religiones, vientos, enfermedades, escrituras y lenguajes, huracanes, exposiciones, guerras y tratados, remolinos, teoras cientficas. De muy pocos de stos es siquiera
inteligible decir que podran resultar desmentir los medios
que usaramos para explicar sus nombres a alguien que no
los conociese; y de muy pocos tipos de nombre es plausible
sostener que su referencia, tal como las usamos, depende
de para qu fue introducido originalmente el nombre. Creo
que sera un grave error suponer que, con la teora causal,
han sido descubiertos al final los mecanismos de referencia;
menos an que ha sido demostrado que la nocin del sentido
de un nombre es redundante.