Академический Документы
Профессиональный Документы
Культура Документы
realidad
y significada
Thomas Moro Simpson
Prlogo de
Gregorio Kiimovsky
EUDEBA S.E.M .
Fundada por a Universidad de Buenos Aires
Derechos reservados
1964
EDITORIAL UNIVERSITARIA DE BUENOS AIRES
Sociedad de Economa Mixta
Rivadavia 1571/73
Hecho el depsito de ley
IMPRESO EN LA ARGENTINA - PRINTED IN ARGENTINA
A Clara
O TRAS OBRAS DEL A U T O R :
PR E FA C IO A LA SE G U N D A E D IC I N ................................................... X III
D E L P R L O G O A LA P R IM E R A E D IC I N ........................................ XV
I I . D E LAS F O R M A S R E L A C IO N A L E S A L O S H E C H O S
A T M IC O S .............................................................................................. 33
8. T rnsito a los hechos atm icos. Los requisitos de u n
lenguaje perfecto, 33; 9. Q u es u n hecho?, 35; 10. Los
hechos atmicos y la relacin conversa (c o n tin u ac i n ), 37; 11.
Bradley c ontra las relaciones: el argum ento de la regresin al
infinito, 41; 12. Relaciones y palabras de relacin, 4 7 ; 13.
L a solucin radical de W itigenstein. Algo m s sobre el lenguaje
perfecto, 49; 14. El concepto de id en tid ad de estructura, 53.
III. EL PR O B LE M A O N T O L G IC G : M E1NO NG Y R U S S E L L 57
15. El problem a m itolgico, 57; 16. L a solucin de
M einong: existencia y subsistencia, 61; 17. O bjeciones a este
tipo de solucin, 63; 18. L a teora de las descripciones de
Russell, 64; 19. Conexiones con la teora del conocim iento.
Forma lgica de la creencia, 68; 20. Las descripciones como
smbolos incom pletos, 75; 21. N om bres propios corrientes
y nombres propios en sentido lgico. Dos acepciones del verbo
denotar , 78; 22. C u atro problem as p a ra u n a teora del
significado, 82; 23. L as descripciones se caracterizan por
su form a? Algunos casos difciles, 87.
IV . U N A T E O R A A B S T R A C T A D E L S IG N IF IC A D O : F R E r
G E -C H U R C H ........................................................................................... 91
24. D enotacin y sentido. I.os nom bres propios como categora
fundam ental, 91; 25. Significado directo e indirecto. Las
IX
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
V. LA P A R A D O JA D E L A N L ISIS .................................................
31. D erivacin de la p arad o ja, 127; 32. Solucin de la
p a rad o ja en la doctrina de Frege-C hurch, 328; 33. R eap a
ricin de la p a rad o ja en la d octrina de Frege-C hurch, 131;
34. O tras formas de derivar la p aradoja, 134.
V I. LA C R T IC A D E ST R A W SO N A R U S S E L L ..........................
35. Exam en de la.s formas aristotlicas, 137; 36. Signifi
cado y valores veritativos, 141; 37. O racin, enunciado y
sentido, 142; 38. Presuposicin y asercin. R einterpretacin
de las reglas aristotlicas, 144; 39. El caso p a rticu la r de las
descripciones, 146; 40. Presuposicin y asercin en Frege.
C ul es la negacin de un enunciado?. 147; 41. U n pro
blem a en la teora de Straw son: las afirm aciones de existen
cia, 149.
V II. T E O R A D E LAS D E S C R IP C IO N E S Y P R IN C P O S
L O G IC O S ..................................................................................................
V III. LA B SQ U E D A D E U N C R IT E R IO D E "C O M P R O M IS O
O N T O L G C O 55 .......................................................... ..........................
51. L a respuesta de Q u in e : "S er es ser el valor de u n a
variable5, 173; 52. E l criterio de Q uine se aplica direc
tam ente a los enunciados?, 176; A. V ariables ligadas y e n u n
NDICE
A PN D ICE I
O R A C IO N E S, N O M B R E S P R O P IO S Y V A L O R E S V E R I-
T A T IV O S EN LA T E O R A D E F R E C E .............. ......................... 217
A PN D ICE II
SOBRE LA E L IM IN A C I N D E L O S C O N T E X T O S O B L I
C U O S ........................................................................................................... 221
A PN D ICE I I I
O R A C IO N E S . E N U N C IA D O S Y V A L O R E S V E R IT A T I-
VO S EN LA T E O R IA D E ST R A W SO N ................................... 231
A PN D ICE IV
A L G U N O S A S P E C T O S P R A G M T IC O S Y P S IC O L
G IC O S D E L R A Z O N A M IE N T O D E D U C T IV O ..................... 235
XI
PREFACIO A LA SEGUNDA EDICIN
T homas M. Simpson
Buenos Aires, enero de 1974,
XIII
DEL PRLOGO A LA PRIMERA EDICIN
XV
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
XVI
DEL PROLOGO A LA PRIMERA EDICION
XVII
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
XVIII
DEL PROLOGO A LA PRIMERA EDICION
G regorio K l im o v s k y
XIX
PALABRAS P R E L IM IN A R E S
B er t r a n d R u s s e i a
XXI
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
T. M. S.
S U JE T O S , PR O P IE D A D E S Y R E L A C IO N E S
1. P alabras y c o s a s : pr im e r a a pr o x im a c i n
f o r a s l g ic a s , r e a l id a d y s ig n if ic a d o
2 V ase el cap. I I I .
3 L a explicacin de este hecho reside e n que no puede h a b er m s sm
bolos lingsticos (ya sean simples, como 7, o complejos, como 5 + 3 ) que
nm eros naturales, lo que se expresa diciendo que el conjunto Je smbolos de
u n lenguaje es a lo sumo numerable. H ay, pues, tantos nom bres posibles como
nm eros naturales en la serie infinita 1, 2, 3 , . . . , n, n -|- 1 . . . Pero el m ate
m tico alem n George C an to r (1845-1918) logr dem ostrar que hay m s n
m eros reales qu.e naturales, y por lo tanto m s nm eros reales que nombres
posibles p a ra ellos. Esto no significa que exista algn nm ero determ inado que
sea innom brable, sino que es imposible construir u n a notacin com pleta con
nom bres p a ra todos los nm eros, aunque esta notacin perm ita form ar una lista
infin ita de nom bres. Pero, por supuesto, cad a nm ero e n p a rticu la r es nom-
brabie.
2
SUJETOS, PROPIEDADES Y RELACIONES
3
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
4
SUJETOS, PROPIEDADES Y RELACIONES
5
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
6
SUJETOS, PROPIEDADES Y RELACIONES
2. A n l is is t r a d ic io n a l : la s t r e s f u n c io n e s
DE LA C PU LA
7
FORMAS LGICAS. REALIDAD Y SIGNIFICADO
Juan es bueno
Juan ser bueno
Ju a n era bueno form a com n: S es P
Ju a n haba sido bueno
Ju a n habr sido bueno
8
SUJETOS, PROPIEDADES Y RELACIONES
18 Sobre este punto no existe unanim idad. D opp, por ejem plo, (L e fo n s
de heique forme,lie, Lovaina. Eclitinn de 'In stitu Suprieur de Philosophie,
1950, t. 1, pg. 33 ), sostiene el p rim er punto de vista, de m odo que J u a n era
bueno sera interpretado aproxim adam ente: J u a n (en u n tiem po a nterior al
presente) es bueno .
14 Cf. 62.
15 P ara una in te rn a n te sntesis histrica, vase el libro de A. N. Prior
Ttrne and M odalify, O xford, U niversity Press, 1957, Apndice A : Tiem pos y
verdad rn la historia de la lgica .
l Esta cuestin h a sido m ezclada indebidam ente con afirm aciones m e
tafsicas dudosas: segn D opp, el carcter supratem poral de la cpula se
funda en la naturaleza intrnsecam ente inm aterial del espritu (y p odra servir,
adems, para p ro b a rla ) . (Legons de logique formadle, t. 1, pg. 37 ).
9
FORMAS LGICAS, REALIDAD SIGNIFICADO
10
SUJETOS, PROPIEDADES Y RELACIONES
1 T odo S es P (A )
N ingn S es P (E )
S es P 1 A lgn S es P (I)
A lgn S no es P (O )
11
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
3 . L a p a r a d o ja d e l a p r e d ic a c i n
12
SUJETOS, PROPIEDADES Y RELACIONAS
deremos lo mismo para ambos. Por o cual se equivocan los que pred ican lo uno
de lo otro, pues si lo bueno es idntico al hom bre, y el correr al caballo, cm o
podremos tambin predicar lo bueno de la com ida y de la m edicina, y p o r otra
parle, }por Zeus!,, tam bin el correr del len y del perro? Y si son diversos no
es correcto decir que el hom bre es bueno y que el caballo corre
14
SUJETOS, PROPIEDADES Y RELACIONES
15
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
4 . U na a m pl ia c i n d el c a m po de la f o r m a :
GENERALIZACIN DEL CONCEPTO DE PREDICADO
30 I b i d ., pg. 37.
31 Cf. A. N. Prior, Formal Logic, pg. 139.
32 Vase 6.
16
SUJETOS, PROPIEDADES Y RELACIONES
17
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
18
SUJETOS, PROPIEDADES Y RELACIONES
5 . T ie n e a l g u n a u tilid a d .(l a d is t in c i n e n t r e
PROPOSICIONES RELACIONALES Y ATRIBUTIVAS?
19
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
mino que se elija como sujeto. Planteada de este modo, podramos re-
sumir la cuestin diciendo que los lgicos tradicionales "no reconocen
predicados simples de ms de un argumento, sino que los consideran
siempre como meras partes de predicados complejos de un solo argu
mento,83 si bien cada enunciado reiacional permite elegir entre dos
predicados y dos sujetos.
En concordancia con esta postura, sera posible sostener que la
mencionada arbitrariedad en la eleccin del sujeto, arbitrariedad que
pondra de relieve la existencia de una ambigedad referencial (61)
propia de toda oracin que contiene un verbo transitivo, se debe sim
plemente a la falta de precisin sintctica de los lenguajes naturales,
y que tal dificultad es subsanable mediante el uso sistemtico de pa
rntesis para distinguir entre a (R b ) y (a R ) b". De ello resulta
ra, adems, que los pares de oraciones del tipo a {R b ) y '{aR) b"
no son en realidad sinnimas (admitiendo que hablan sobre cosas dis
tintas. ya que difieren tanto en el sujeto como en el predicado). Den
tro de estos lmites, esta posible defensa del punto de vista clsico es
inobjetable, si se admite una ontolog con propiedades complejas (cf,
7, A; 7, G y 61) ; pero si se afirma adems que este anlisis equi
vale a una eliminacin metafsica de las relaciones, pretendiendo
probar mediante l que la realidad slo contiene sustancias y propie
dades, entonces la cuestin se vuelve extraordinariamente discutible,
Este aspecto del problema ser tratado en 7, A, por lo que pasare
mos a considerar una dificultad de carcter ms tcnico.
3) n aritmtica encontramos proposiciones como
(A) Si 8 > 5 y 5 > 3, entonces 8 > 3,
que es un caso particular de la ley de transitividad para la relacin
mayor que. Es interesante observar que el simbolismo aritmtico con
cuerda con la interpretacin relacion.nl moderna: en cada una de las
frmulas simples que integran la simbolizacin usual de la ley, el sig
no > se halla entre dos variables individuales (los individuos son
en este caso nmeros), de modo que puede considerarse un predicado
didico:
(B) Si x > y e y > z, entonces x > z.
Desde este punto de vista, la ley de transitividad presenta la forma
lgica del enunciado (A) como reiacional y no como atributiva. Pero
si deseamos simbolizar cada uno de sus componentes simples de acuerdo
con el esquema tradicional, tendremos dos predicados mondicos com
plejos: > 5 y > 3 ; finalmente, si representamos cada uno de
20
SUJETOS, PROPIEDADES Y RELACIONES
21
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
22
SUJETOS, PROPIEDADES RELACIONES
razonamiento "T odo hom bre es m o rta l; todo filsofo es hom bre; p o r lo tan to
todo filsofo es m ortal es vlido, porque el esquem a T odo H es M; todo F
es H; por lo tanto todo P es A l indica u n a form a vlid a: sean cuales fueren
loi tmtius que sustituyan a las variables Al y F , es imposible q u e
obtengamos una conclusin falsa si las prem isas resultan verdaderas. Q ueda,
naturalmente, un gravsimo in terrogante: Cmo _se sabe que un esquema re
presenta una forma vlida? L a respuesta exigira efectuar consideraciones que
exceden los lmites de esta nota. Pero vale la p ena consignar que, salvo en
lo sectores ms elem entales de la lgica (incluyendo el que corresponde al
silogismo clsico), no existe u n procedim iento m ecnico que p erm ita obtener
una respuesta para cualquier esquem a de razonam iento. Y n o slo n o existe
lino que su existencia es dem ostrablem ente imposible, segn lo establece un
importante teorema del lgico norteam ericano Alonzo C hurch. Este problem a es
mocido como el de hallar un m todo de decisin p a ra la validez, enten
dindose por mtodo de decisin cualquier procedim iento m ecnico que p e r
mita calcular, m ediante u n nm ero finito de pasos, cierto resultado. L a tabla
de multiplicar, por ejemplo, es u n m todo de decisin p a ra calcular el producto
de dos nmeros. Se sabe hoy, gracias al teorem a de A. C hurch, que n a d a se
mejante es posible en lgica, salvo en sus partes ms elem entales (en lo que
SO refiere al reducido sector del razonam iento silogstico, es interesante observar
que, aunque ya en el siglo pasado se conocan sencillos m todos grficos de d e
cisin, stos son curiosam ente ignorados en los textos tradicionales). En el
taso particular del razonam iento sobre crculos y figuras con que iniciam os este
23
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
24
SUJETOS, PROPIEDADES Y RELACIONES
de que este razonamiento posee ahora una forma vlida, exhibida por
el esquema: 38
25
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
26
SUJETOS, PROPIEDADES Y RELACIONES
7. M onadismo y m o n is m o
27
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
28
SUJETOS, PROPIEDADES Y RELACIONES
29
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
30
s o n a o s , p roeieades y relaciones
C. La tesis mvnistica
31
CAPTU LO II
8. T r n s i t o a l o s hechos a t m ic o s.
Los R E Q U IS I T O S DE U N L E N G U A J E P E R F E C T O
33
FORMAS LGICAS, REALIDAD Y SIGrlFCADO
34
DE LAS TOEMAS FlELACSaIA .ES A LOS HECHOS ATOMICOS
9. Q u es un h e c n o ?
35
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
tientes del hecho no son otra cosa que los significados de las palabras
que integran la oracin referida a l: Los componentes del hecho
son . . . los significados de los smbolos que debemos comprender para
comprender la proposicin (Atomism, pg. 196). En la perspectiva
empirista no hay en realidad un hecho como el que pretende indicar a) ;
decir que Juan mata a Pedro sera una forma lgicamente imper
fecta (aunque, breve y til) de indicar toda una clase de hechos si
multneos o sucesivos descriptibles en trminos de datos sensoriales: des
plazamientos de superficies coloreadas, sonidos violentos, manchas rojas
que producen a.1 tacto una sensacin de viscosidad (lo que llamaramos
sangre), etc. Escapa a nuestro tema decidir sobre los mritos ele esta
reduccin empirista, por lo cual nos referimos a ella incidentalmente,
para aclarar un uso algo inslito de la palabra hecho.
Pero este uso inslito no se revela solamente en relacin con las
ficciones lgicas del lenguaje cotidiano: se muestra tambin al exa
minar las proposiciones ms simples referidas a datos sensoriales. Con
sideremos las tres oraciones
a) Esto es coloreado
b!) Esto es rojo
c) Esto es rojo bermelln
37
FORMAS LOGICAS, REALIDAD Y SICAS11 1CADO
a R o res b conv-L a
38
DE LAS FORMAS RELACIONALES A LOS HECHOS ATOMICOS
39
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
3 Los hcgeanos siempre sostenan que no es com pletam ente cierto que
dos y des son cuatro, pero no queran decir con ello que dos y dos son 4,00001
o una cifra parecida. Lo que queran decir, aunque no es lo que decan, es
que el Absoluto puede encontrar cosas m ejores en que ocuparse que en hacer
sumas, pero no les gustaba expresar la idea en un lenguaje tan simple (B.
Russell, L a evolucin de mi pensamiento filosfico, pg. 60 ).
Los argum entes estn claram ente expuestos en el citado Ubre de Woll-
heim , F. H. B-adlcy (ver referencias en nota 47 de pg. 31).
10 F. P. Ramsey, T k e Foundations of M c tk e m a tic s, Londres, Rcutledge
and K egan Paul L id., 1954. pg. 146.
40
DE LAS FORMAS RELACIONALES .4 LOS HECHOS ATMICOS
41
FORMAS LGICAS, RLALIDAD F SIGNIFICADO
tiene que ver con ios [trminos], stos no estn relacionados en forma
alguna [. . .]. Pero si la relacin lia de ser algo para ellos, es evidente
que necesitaramos una nueva relacin que los uniera. Por lo tanto, la
relacin difcilmente podra ser un simple adjetivo de uno o ambos
de sus trminos; o, por lo menos, parece indefendible como tal.12 En
tonces, siendo algo en s misma, si no tiene relacin alguna con los
trminos, en qu forma inteligible llegar a ser algo para ellos? Pero
aqu nos vemos empujados de nuevo hacia el torbellino de un proceso
irremediable, pues estamos obligados a ir al encuentro de nuevas rela
ciones indefinidamente. Los eslabones estn unidas con otros, y ese
lazo de unin es, a su vez, un eslabn que tambin tiene dos extremos,
y cada uno de stos pide un nuevo eslabn que lo una con el primero,13
El problema consiste en encontrar la forma en que la relacin puede
vincular a los trminos, y este problema es insoluble {Appearance,
pg. 27). . i,
El razonamiento de Bradley posee en conjunto un innegable po
der de persuasin psicolgica, pero es en realidad poco claro preci
samente en les puntos decisivos y carece de validez. Como primera
aproximacin, adoptaremos la interpretacin rns favorable, en la cual
se presenta con mayor fuerza lgica. Lo esencial de su argumento po
dra resumirse entonces en el siguiente esquema;
I) Consideremos la afirmacin de que existe entre x e y tina re
lacin R. Entonces
II) tenemos al parecer tres entidades: x, y, R , la ltima de las
cuales, segn decirnos, relaciona las otras dos. Pero es imposible
que o e y estn relacionados por R , porque
III) para que x e y guarden entre s la relacin R es necesario
que i? est va vinculada de algn modo con x y con y, pues de lo con
trario (s R nada tiene que ver con ellos) x e y no estaran relacio
nados. Por lo tanto,
IV) se requiere una nueva relacin, H, que vincule a R con x y
con y, si ha de ser posible que x R y, (como hemos supuesto en I ) . Pero
si este razonamiento es correcto, entonces
42
DE LAS FORMAS RELACIONALES A LOS HECHOS ATOMICOS
43
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
partir de una relacin dada entre a y b. Vemos, pues, que esta posible
interpretacin del argumento de Bradley no tiene siquiera un valor
lgico aparente. Si suponemos, en cambio, como lo hemos hecho en
nuestro esquema, que la existencia de una relacin R entre a y b re
quiere la existencia previa de una relacin H entre a. b y R. la situacin
se hace ms difcil. Probana este supuesto, en el caso de que fuera
verdadero, la imposibilidad lgica de que a se halle relacionada con bl
La clave del problema se halla en las expresiones para que,
'requisito previo, anterior, etc., que hemos usado con insistencia en
esta formulacin del argumento de Bradley. En qu sentido debe ser
H anterior a i ? ?
Lo ms simple seria dar a estas expresiones una interpretacin tem
poral. Resultara entonces que la mencionada imposibilidad de que
exista una relacin R entre a y b se debera a una dificultad que tiene
cierta semejanza con la esgrimida por Zenn para mostrar la imposi
bilidad de atravesar una pista de carreras: antes de atravesarla por
completo es necesario atravesar la mitad, antes de atravesar la mitad
es necesario atravesar la cuarta parte, y as ad infinitumv Anloga
mente. antes de que exista una relacin R entre a y b debe existir una
relacin H entre a. R y b, etc.1516
Pero el supuesto sobre la referida precedencia, temporal es clara
mente arbitrario; aunque la verdad de "H (R. a. &) fuera una condi
cin necesaria para la verdad de R (a . b no por ello la primera
relacin tendra que darse antes: bien podra ser ciue la serie infinita
de relaciones se diese en forma simultnea. En tal raw, sin embargo,
rolo nos encontraramos frente a la inofensiva prp,if~*s*Hn de relacio
nes que consideramos antes, y que segn vimos no involucra nada que
pueda considerarse, strictu sensu. una regresin al infinito. La cuestin
puede aclararse con un ejemplo abstracto: para que una figura cerrada
sea un tringulo es condicin necesaria que sus ngulos internos su
men 180. pero sera absurdo exigir que antes de ser un tringulo
sus ngulos deban sumar 180.
Naturalmente, parece razonable suponer que Bradley no pensaba
en esta interpretacin temporal, sino en alguna dificultad de carcter
ms lgico vinculada con el concepto mismo de relacin. En efecto:
por qu dice Bradley que si la relacin ha de ser algo para los tr
15 Los argum entos de Zenn h a n sido exam inados m inuciosam ente por
Russell en M u n d o externo, cap. IV .
16 Obsrvese que este supuesto tam poco hace im posible la verdad de
"x R y; nos obliga a acep tar la existencia de u n a serie infinita que tiene
fin pero no comienzo, lo que no constituye u n a dificultad lgica, como lo mues
tra la serie de los enteros negativos, que term ina en -1. El mismo tipo de re
gresin estara involucrado en la form ulacin corriente del principio de cau
salidad, segn el cual todo hecho tiene u n a causa, que es a n terior a l.
44
DE LAS FORMAS RELACIONALES A LOS HECHOS ATOMICOS
45
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
relacin H que relaciona a R con x y con y3 pero niega que ello forme
parte ;u significado de ux R y ; en consecuencia, seria posibie saber
que dv-:. cosas estn relacionadas, aunque no recorriramos la serie in-
fxiiita."0 Pero el Russell empirista del periodo pojtcrior. Cambiando
radicairnenie el anlisis dei problema, neg tambin que la verdad de
"H (P^Xj-y) fuera en algn sentido una condicin necesaria para la
verdad de ''R ( x ,y ) >0; este nuevo enoque se apoya en consideraciones
que pasamos a examinar.
46
DE LAS FORMAS RELACIONALES A LOS HECHOS ATOMICOS
12. R e l a c io n e s y p a l a b r a s d e r e l a c i n
47
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
48
DE LAS FORMAS RELACIONALES A LOS HECHOS ATOMICOS
13. L a s o l u c i n r a d ic a l d e W i t t o e n s t e i n .
A lgo h a s sobre el lenguaje perfecto
23 L a bastardilla m e pertenece.
FORAAS LGICAS, REALIDAD Y SIGNIFICADO
50
DE LAS FORMAS RELACIONALES A LOS HECHOS ATOMICOS
24 S o b re e s t a c u e s ti n p u e d e n le e r s e c o n p r o v e c h o lo s c a p tu lo s 3 y 4
del lib ro d e S u s a n n e K . L a n g e r , Philosophy in a New K ey ( N u e v a Y o r k , H a r -
per a n d B r o th e r s P u b l., 1 9 5 4 ) , e s c r ito e n u n e s tilo n o ta b le m e n te a m e n o . T r a d .
e sp .: Nueva clave de la filosofa, B u e n o s A ir e s , e d . S u r , 1 9 5 8 .
51
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
52
DE LAS FORMAS RELACIONALES A LOS HECHOS ATMICOS
53
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
x ir y
Las flechas indican que a: tiene la relacin R con y, y x la relacin
R con y; las flechas dobles muestran la correspondencia biunvoca.
Se ve en el esquema que si se cumple x R y, se cumple tambin x R
y3 e inversamente; hay identidad de estructura cuando lo mismo ocu
rre para cualquier nmero de elementos relacionados en A o en B (sea
cual fuere el grado de la relacin).
Es importante recordar que los elementos de A pueden ser de una
naturaleza completamente distinta de los de B, y que las relaciones
R y R pueden ser distintas tambin, como ocurre a veces en la re
presentacin pictrica y en los mapas, donde la relacin encima de
es la correspondiente de la relacin al norte de entre dos puntos geo
grficos.
Si ahora consideramos la posible identidad de estructura entre
una oracin y un hecho, vemos, en primer lugar, que ambos deben
poseer el mismo nmero de elementos (para mayor simplicidad, su
pondremos que la oracin se ajusta a la notacin perfecta de Witt-
genstein), y que a una relacin entre los elementos del hecho corres
ponde una relacin entre los smbolos, e inversamente.20 Pero la
L a i d e a d e q u e d e b e e x is tir a l g u n a c o r r e s p o n d e n c ia d e e s te t i p o e n tr e
l e n g u a j e y r e a l i d a d ( o e n t r e l e n g u a je y p e n s a m ie n to , s e g n d n d e se p o n g a
e l n f a s is ) p a r e c e s e r l a r e s p u e s ta m s i n m e d i a t a a e s te c u r io s o i n t e r r o g a n t e :
c m o se e x p lic a q u e p o d a m o s c o m p r e n d e r u n a o r a c i n q u e n u n c a h e m o s es
c u c h a d o ? E l p r o b le m a f u e y a a d v e r t i d o p o r F r e g e , q u ie n lo f o rm u l c o n c la r i
d a d e j e m p l a r : E s s o r p r e n d e n te lo q u e p u e d e h a c e r e l le n g u a je . C o n u n a s
p o c a s s la b a s p u e d e e x p r e s a r u n n m e r o in c a lc u la b le d e p e n s a m ie n to s d e m o d o
q u e in c lu s iv e u n p e n s a m ie n to c a p t a d o p o r v e z p r i m e r a p o r u n se r h u m a n o p u e d e
s e r v o lc a d o e n u n a o r a c i n q u e s e r c o m p r e n d id a p o r a lg u ie n p a r a q u ie n ese
p e n s a m ie n to es e n t e r a m e n t e n u e v o . E s to s e r a im p o s ib le si n o f u r a m o s c a p a c e s
d e d is tin g u ir e n e l p e n s a m ie n to p a r t e s c o r r e s p o n d ie n te s a la s p a r te s d e la o ra c i n ,
d e m a n e r a q u e l a e s t r u c t u r a d e l a o r a c i n s irv e c o rn o u n a i m a g e n _ d e la es-
t r u c t u r a d e l p e n s a m ie n to 3 ( G . F r e g e , " L o g is th e U n t e r s u c h u n g e n . ^ D r t t e r T e i l.
G e d a n k e n g e g e ; t r a d . in g le s a d e R . H . S to o th o f f : G o m p o u n d F h o u g h ts , en
Mind, n 9 2 8 5 , e n e r o d e 1 9 6 3 ) . E l m is m o a r g u m e n t l e in v o c a d o p o r W ittg e n s -
t e i n c o m o u n a j u s tif ic a c i n d e s u t e o r a p i c t r ic a d e l s ig n if ic a d o : L a o ra
c i n e s u n a im a g e n p i c t r ic a (picture) d e l a r e a l i d a d , p u e s c o n o z c o e l e s ta
d o d e c o s a s p r e s e n ta d o p o r e lla si c o m p r e n d o l a o r a c i n . Y c o m p r e n d o
l a o r a c i n s in q u e se m e e x p liq u e s u s e n t id o ( Traciaus , 4 . 0 2 1 ) . S o b re
54
DE LAS FORMAS RELACIONALES A LOS HECHOS ATOMICOS
55
C A P IT U L O III
15. El problem a o n t o l g ic o
1 S e d e n o m in a a s i l a m x im a e n u n c i a d a p o r O c k a m : N o d e b e n m u l
tip licarse in n e c e s a r ia m e n te la s e n t i d a d e s .
57
formas lgicas , realidad y significado
58
EL PROBLEMA ONTOLOCICO: MEINONG Y RUSSELL
Esquema 1
(1) El rey de la Argentina es el sujeto gramatical de S;
(2) S e s significativa;
(3) Si se cumplen (1) y (2), entonces S es acerca de el rey de
la Argentina;
(4) Si es acerca de el rey de la Argentina, entonces el rey de la
Argentina existe;
(5) El rey de la Argentina existe.
Esquema 2
(1) El rey de la Argentina es el sujeto gramatical de K ;
(2) K es significativa;
(3) Si se cumplen (1) y (2), entonces K es acerca de el rey de la
Argentina;
(4) Si K es acerca de el rey de la Argentina, entonces el rey de
Argentina existe;
(5) Si el rey de la Argentina existe, entonces K es falsa;
(6) K es falsa.
Esquema 3
(1) S es (gramaticalmente) de la forma Sujeto-Predicado;
(2) El rey de la Argentina es el sujeto gramatical de S ;
(3) S e s significante;
(4) Si es significante, entonces S es verdadera o falsa ;
(5) Una oracin de la forma (gramatical) Sujeto-Predicado es
verdadera si, y slo si, existe un objeto, nombrado por el su
jeto gramatical, que posee el atributo simbolizado por el pre
59
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
60
EL PROBLEMA ORTOLGICO: MEINONG Y RUSSELL
16. L a s o l u c i n de M e i n o n g : e x is t e n c ia y s u b s is t e n c ia
61
FORfdAS LGICAS, REALIDAD Y SIGNIFICADO
62
EL PROBLEMA ORTOLGICO: MEINONG Y RUSSELL
1 7 . O b j e c io n e s a e s t e t ip o de s o l u c i n
63
FO R M A S LOGICAS, REALIDAD Y SIGNIFICADO
Esquema T
64
EL PROBLEMA ORTOLGICO: MEINONG Y RUSSELL
65
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
66
EL PROBLEMA ORTOLGICO: MEINONG Y RVSSELL
67
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
68
EL PROBLEMA ONTOLGICO: MEINONG Y RSSELL
69
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
70
EL PROBLEMA ORTOLGICO: MEINONG Y RUSSELL
71
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
nombra a Churchiil, y por lo tanto ste debiera ser uno de ellos (si
suponemos que Churchiil es el significado de la palabra Churchiil).
Pero Churchiil no es un dato sensible (no tendra sentido decir, al
menos sin rigurosas aclaraciones, que un dato sensible es un poltico
ingls). ni es un universa!, y stas son de acuerdo con Russell las
nicas cosas de las que es posible el conocimiento directo. Por lo tanto,
ni siquiera los amigos de Churchiil o conocen de manera directa, ya
que cuando conversan con l slo tienen conocimiento inmediato de
sonidos, formas y colores (oscurecidos por el humo del habano), que
en el mejor de los casos no constituyen ms que aspectos variables
de la totalidad de aspectos que pertenecen a Mr. Churchiil. Cmo se
explica entonces que comprendamos la oracin Churchiil es un pol
tico ingls ? La respuesta de Russell sera que Churchiil no es en
realidad un verdadero nombre propio, sino una descripcin abreviada
(por ejemplo: el sucesor de Charnberlain) , de modo que en el
anlisis correcto de esta, oracin slo tropezaremos con universales,
como en el caso de El rey de la Argentina es narigudo . En la
doctrina de Russell todo esto tiene la extraa consecuencia de que los
enunciados de intencin ms cotidiana y concreta, como Juana est
cocinando ravioles, slo hablaran de entidades abstractas (cf. 60),
De james sin contestar por el momento los dos interrogantes: a) qu
es un verdadero nombre propio?, y b) dnele se los encuentra?, que
consideraremos en el pargrafo siguiente, para prestar atencin a otro
problema.
Los elementos constitutivos de los juicios no sern ms bien los
misteriosos entes psicolgicos que denominamos usualmente ideas?
Por qu no decir, como parece obvio, que cuando juzgo que el rey
de la Argentina no existe debo incluir entre los elementos constitutivos
de mi creencia la. idea mental El rey de la Argentma?
E expediente de recurrir a las ideas, entendidas como entes psi
colgicos. tiene larga tradicin, y es responsable de algunas confusiones
en la doctrina, del concepto, que es presentado a veces como una enti
dad abstracta y a veces como un contenido psquico, sin que se sepa
siempre con claridad cul es la posicin adoptada, t a en Aristteles
leemos que los sonidos emitidos por la voz son los smbolos de los
estados del alma, y que los estados del alona son imgenes de las
cosas; 18 de este modo los significados de las palabras seran entes ps
quicos, que constituiran a su vez imgenes de los objetos a los que
pretendemos referirnos mediante el lenguaje. El vnculo entre las
palabras y las cosas no es directo, sino a travs de los estados del alma,
72
EL PROBLEMA ORTOLGICO: MEJNONG Y RUSSELL
73
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
74
EL PROBLEMA ONTOLGICO: MEINONG Y RVSSELL
20. L as d e s c r ip c io n e s c o m o s m b o l o s in c o m p l e t o s
75
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
76
EL PROBLEMA 0NT0L0G1C0: MEINONG Y RUSSELL
//
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
21. N o m b r e s p r o p io s c o r r ie n t e s y n o m b r e s p r o p io s
EN SENTIDO LGICO. D os ACEPCIONES DEL VERBO DENOTAR
N o c o n f u n d i r c o n s e r el a u t o r . W h i t e h e a d es a u t o r d e Principia
Mathematica , p e r o n o e s e l a u t o r , p u e s lo e s c rib i e n c o la b o r a c i n coa
R u s s e ll.
78
EL PROBLEMA ORTOLGICO: MEINONG Y RUSSELL
79
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
80
EL PROBLEMA ONTOLOGICO: MEINONG Y RUSSELL
28 A lg u n a s d e la s f o r m u la c io n e s a n te r io r e s ( p o r e j e m p lo : E l s ig n if ic a d o
de S c ra te s n o es e l fil s o fo S c r a te s e n p e r s o n a ) r e q u i e r e n u n a a c la r a c i n
algo b iz a n tin a : si S c r a te s es s lo u n sm b o lo in c o m p le to , y n o u n a u t n
tico n o m b re p r o p io , q u s e n tid o p u e d e t e n e r l a a f ir m a c i n
1) S c r a te s n o s ig n if ic a Scrates ?
L a r e s p u e s ta es f c il: la t e o r a d e R u s s e ll n o s p e r m ite t r a n s f o r m a r 1 ) e n
2 ) E x is te a l m e n o s u n x t a l q u e x es m a e s tr o d e P la t n , y to d o o b je to w
q u e s e a m a e s tr o d e P l a t n e s id n tic o a x, y x n o e s e l s ig n if ic a d o d e
S c r a te s ,
que es p e r f e c ta m e n te c la r a , a u n q u e p o c o m a n e ja b le . L a s a f ir m a c io n e s d e u n
p artid ario d e la t e o r a d e R u s s e ll d e b e n in t e r p r e t a r s e , n a t u r a l m e n t e , d e a c u e r d o
con su p r o p ia te o r a , P e r o su f o r m u la c i n e n e l l e n g u a je l g ic a m e n te p e r f e c to
sera poco e fic a z d e s d e el p u n t o d e v i s t a " p o l m ic o o d id c tic o . E n c u a n to a la
aparicin d e la p a l a b r a S c r a te s a l f in a l d e 2 ) , n o es e l im in a b le : r e s u lta
por d em s e v id e n te q u e e l a n lis is d e R u s s e ll n o p u e d e a p lic a r s e a la s d e s
cripciones q u e a p a r e c e n e n t r e c o m illa s . E n e s te c a s o S c r a te s s lo f ig u r a
corno p a rte d e S c r a te s , q u e p r e t e n d e s e r u n n o m b r e d e S c r a te s ( o s e a
de, la p a la b r a m i s m a ) , p e r o n o d e Scrates. L o q u e s e s e lim in a b le es
Scrates , p u e s n a d a i m p id e c o n s id e r a r lo t a m b i n u n a d e s c rip c i n a b r e
viada,
81
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
82
EL PROBLEMA ORTOLOGICO: MEINONG Y RUSSELI
83
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
27 N a tu r a l m e n t e , la d e s a p a r ic i n d e e l a u t o r d e W a v e r le y e n v ) no
im p lic a e n e s te c a s o q u e v ) n o h a b le a c e r c a d e l o b je to d e n o t a d o p o r el autor
d e W a v e r le y , p u e s v ) h a b l a a c e r c a d e S c o tt, y S c o tt = e l a u t o r d e W averley.
P e r o e n iv ) S c o tt f ig u r a d o s v e c e s c o m o e le m e n to c o n s titu y e n te d e l significado
d e la o r a c i n , m ie n tr a s q u e e n v ) f i g u r a u n a s o la v e z , p u e s e l a u to r de
W a v e r le y h a s id o e lim in a d o . L a d if e r e n c ia p u e d e a p r e c ia r s e c la r a m e n te com
p a r a n d o l a f o r m a l g ic a d e v ) [o s e a d e i i i ) ] c o n l a d e i v ) [ 28],
84
EL PROBLEMA ONTOLOGICO: MEINONG Y RUSSELL
28 N o e s tim o a c t u a l m e n t e ( m a y o d e 1 9 7 3 ) q u e e s te m o d o d e re s o lv e r
el p ro b le m a se a s a tis f a c to rio . R u s s e ll c r e a h a b e r d a d o c o n u n a s o lu c i n , y s u
creen cia f u e c o m p a r t i d a e n to n c e s y d e s p u s p o r o tro s fil so fo s y l g ic o s, e n tr e
ellos C a r n a p , q u ie n e n M e a n i n g a n d N e c e s s i t y ( 3 2 ) p r e s e n ta la s o lu c i n d e
Russell e n O ti D e n o t i n g c o m o in o b je ta b le . E l le c to r p u e d e c o n s u l ta r c o n p r o
vecho el a r tc u lo d e L . L in s k y S u s titu ib ilid a d y d e s c rip c io n e s , in c lu id o e n
T h o m a s M . S im p s o n ( c o m p . ) , S e m n t i c a f i l o s f i c a : p r o b l e m a s y d i s c u s i o n e s ,
B u e n o s A i r e s , S ig lo S X I A r g e n t i n a E d ., 1 9 7 3 , p g s . 3 0 3 -3 1 7 .
85
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
86
EL PROBLEMA ONTOLGICO: MEINONG Y RUSSELL
87
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
88
EL PROBLEMA ONTOLOGICO: MEINO'IG Y RUSSELL
89
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
31 Cf. 24.
90
C A P IT U L O IV
91
FORM AS LGICAS, REALIDAD K, SIGNIFICADO
92
UNA TEORA ABSTRACTA DEL SIGNIFICADO: FRECE - CHURCH
93
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
94
UNA TEORIA ABSTRACTA DEL SIGNIFICADO: FREGE - CUURCII
25. S ig n ific a d o d ir e c to e in d ir e c t o . L a s o r a c io n es
ASEVERATIVAS COMO NOMBRES PROPIOS
6 S u p o n ie n d o q u e se e f e c t u a r a n c u id a d o s a s m e d ic io n e s d e la s t r a y e c to
rias d e lo s r a y o s d e lu z y se c o m p r o b a s e q u e l a s u m a d e lo s n g u lo s d e lo s
tri n g u lo s lu m in o s o s n o es ig u a l a 1 8 0 9, e s te hecho n o b a s t a r a p a r a p r o b a r
que el e s a p c io fsic o no es e u c lid ia n o , p u e s p a r a e llo se r e q u ie r e l a h ip te s is fs ic a
adicio n al d e q u e n o h a y f u e rz a s u n iv e r s a le s q u e d e f o r m e n lo s r a y o s d e lu z y
las v a ra s d e m e d ic i n . P o r lo t a n t o , s o b r e l a b a s e d e e s te h e c h o p u e d e n
sostenerse d o s c o s a s :
a ) L a g e o m e tr a es e u c lid ia n a , p e r o h a y f u e r z a s u n iv e r s a le s q u e d e f o r m a n
los ray o s d e lu z y la s v a r a s d e m e d ic i n .
b ) L a g e o m e tr a n o es e u c lid ia n a , y n o h a y f u e rz a s u n iv e r s a le s q u e d e f o r
m en los ra y o s d e lu z y la s v a r a s d e m e d ic i n .
S i se c o m p r o b a r a , e n c a m b io , q u e l a s u m a d e lo s n g u lo s e s ig u a l a 1 8 0 ?,
tam poco p o d r a c o n c lu ir s e q u e e l e s p a c io fsic o es e u c lid ia n o , p u e s h a y ta m b i n
dos in te r p r e ta c io n e s p o s ib le s :
a ) L a g e o m e tr a e s e u c lid ia n a y n o h a y f u e rz a s u n iv e r s a le s .
b ) L a g e o m e tr a es n o e u c lid ia n a , p e r o h a y f u e rz a s u n iv e r s a le s q u e d e f o r
m an los ra y o s d e lu z y la s v a r a s d e m e d ic i n . ( V a s e H a n s R e ic h e n b a c h , The
rise o Scientific Phlosophy. T r a d . e s p . : La filosofa cientfica, M x ic o , F . C . E .,
1953, c a p . V I I I ) .
95
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
entonces que una sea verdadera y la otra falsa? Estamos otra ver
frente a la paradoja de la denotacin (22).
La respuesta de Frege es establecer una distincin entre el sig
nificado directo de un trmino y su significado indirecto, tanto en lo
que se refiere al sentido como a la denotacin.
a) Denotacin directa. La que tiene una palabra en el uso ordi
nario. El autor de Waverley, por ejemplo, denota normalmente a
Scott.
b) Denotacin indirecta. Se dice que un trmino tiene denotacin
indirecta cuando denota el sentido que normalmente expresa. Asi,
Frege sostiene que en la oracin George I V . . . la denotacin de
El autor de Waverley es indirecta, lo que significa que, en la posicin
que ocupa en esa f rase, El autor de Waverley no denota al individuo
Scott, sino al concepto expresado normalmente por El autor de Wa-
verley.
Las condiciones que determinan que un nombre tenga denotacin
indirecta no estn claramente especificadas por Frege, pero podemos
mencionar como seguros los nombres que aparecen en las oraciones
subordinadas de frases como Juan dijo que.. . , George IV quiso
saber si.. , Pedro cree que.. , donde la lnea de puntos est
ocupada por una oracin aseverativa; por ejemplo, Scott es el autor
de Waverley. Se hallan en el mismo caso los nombres que figuran
en oraciones modales: Es necesario q u e . . . , Es posible que.. .,
etctera.
c) Sentido directo. El que expresa una palabra que tiene deno
tacin directa.
d) Sentido indirecto. El expresado por una palabra cuando de
nota el sentido que normalmente expresa. La formulacin es clara,
pero no se ve fcilmente cul es el sentido que expresa El autor de
Waverley cuando denota el concepto El autor de Waverley. Frege
no lo dice. La cuestin es algo oscura, y por el momento la pasaremos
por alto.
Considerando el carcter problemtico de c ), nos concentraremos
en la denotacin indirecta. Hemos visto que los nombres tienen deno
tacin indirecta cuando figuran en oraciones subordinadas del tipo men
cionado. A qu se debe este cambio de la denotacin normal? La
respuesta hay que buscarla en la teora de Frege - Church acerca de
las oraciones aseverativas.
La caracterstica ms sorprendente de esta concepcin es que in
cluye las oraciones aseverativas entre los nombres propios.
Se comprender esto ms claramente si introducimos la distincin
entre el uso asertivo y el uso no asertivo de Una oracin ( 2 ) . Una
96
UNA T0R1A ABSTRACTA DEL SIGNIFICADO: FREGE - CHURCH
97
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
98
UNA TEORIA ABSTRACTA DEL SIGNIFICADO: FREtE - CHURCH
99
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
100
VNA TEORA ABSTRACTA DL SIGNIFICADO: FRECE - CHURCH
101
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
102
UNA TEORA ABSTRACTA DEL SIGNIFICADO: FREGE - CBVRCIl
103
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
104
UNA TEORIA ABSTRACTA DEL SFGNIFICADO: FREGE - CHURCH
105
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
106
UNA TEORA ABSTRACTA DEL SIGNIFICADO: FREGE - CHURCH
$ (F/)
s=w
4)
$ iS ),
107
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
Todo H es M
x es H
5)
.v es M ,
108
UNA TEORA ABSTRACTA DEL SIGNIFICADO: FREGE - CHVRCH
(x ) (x es perecedero)
8) ------------------------------------------
El rey de la Argentina es perecedero.
109
FORMAS LGICAS. REALIDAD Y SIGNIFICADO
29. O b j e c io n e s , d if ic u l t a d e s y e n ig m a s
Nom bres ni
Todo hom bre
es m o r t a i
jD
E n ti d a d e s 4
el
Valor v eritativ o La p r o p o s i c i n
de q u e t o d o
h o m b r e es m o r ta i
110
UNA TEORA ABSTRACTA DEL SIGNIFICADO: FREGE - CHURCH
111
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
112
UNA TEORA ABSTRACTA DEL SIGNIFICADO: FRECE - CmiR.CH
113
PORMAS LOGICAS, REALIDAD Y SIGNIFICADO
114
UNA TEORIA ABSTRACTA DEL SIGNIFICADO: FREGE.- CIIVRCB
115
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
116
UNA TEORIA ABSTRACTA DEL SIGNIFICADO: FREGE - CHU.RCH
reglas sintcticas menos irregulares y lgicam ente m s simples, sim ilar a uno
de los familiares sistemas logsticos que se usan hoy da,
11?
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
118
IJNA TEORIA ABSTRACTA DEL SIGNIFICADO: FREGE - CHURCH
81 T he
M odes of M eanine . en la com pilacin de Leonard T.insky
S em a n t'cs a n d P k i l o s o p h y o f Lanauage, U rb a n a, T h e U niversity of Illinois
th s
Press, 1952, pg. 242.
119
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
120
UNA TEORA ABSTRACTA DEL SIGNIFICADO: FRECE - CHUROS
30. L a p o s t u l a c i n de e n t id a d e s abstractas
121
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
122
UNA TEORIA ABSTRACTA DEL SIGNIFICADO: FREGE - CHURCH
123
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
124
UNA TEORIA ABSTRACTA DEL SIGNIFICADO: FREGE - CHURCH
125
FORMAS LGICAS, REALIDAD SIGNIFICADO
126
C A P IT U L O V
127
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
32. S o l u c i n de la pa r a d o ja e n la d o c tr in a
D e F re g e - C h u r c h
128
LA PARADOJA DEL ANALISIS
129
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
130
LA PARADOJA DEL ANALISIS
33. R e a pa r ic i n de la pa r a d o ja e n l a d o c tr in a de
F rege - C h u r c h
131
FORMAS LGICAS, REALIDAD i SIGNIFICADO
132
LA PARADOJA DEL ANALISIS
133
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
34. O t r a s f o r m a s d e d e r iv a r l a p a r a d o ja
134
LA PARADOJA DEL ANALISIS
135
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
b) A significa A.
La solucin final de Pap consiste aqu en rechazar la aplicabilidad
del principio de sustitutividad de los sinnimos a las oraciones de la
forma A significa B, as como en Semantics and Necessary Truth
propondr restringir el principio de sustitutividad de los idnticos.
136
C A PTU LO V I
LA C R T IC A D E S T R A W S O N A RU SSELL
35. Ex a m e n d e la s fo r m a s a r is t o t l ic a s
137
FO R M A S LO G IC A S, R E A LID A D Y SIGNIFICADO
138
LA CRITICA DE STRAWSON A RSSELL
8 Esto es lo que in ten ta, precisam ente, el propio Straw son (vase Intro~
duchan to Logieal T heory, L ondres, M ethuen a n d Co. L td ., 1952, cap. V I I ) .
El status sem ntico de las leyes generales es u n problem a difcil, y no lo tra ta
remos aqu. D ebe observarse, sin em bargo, que el problem a no desaparece si
se adopta la interpretacin m oderna, a pesar de la m encionada com patibilidad
intuitiva. Pues la inexistencia de cuerpos no som etidos a la accin de fuerzas
exteriores no basta p a ra asegurar la validez de esta ley fsica. D e lo contrario,
sera muy sim ple in v en tar leyes generales, com o por ejem plo: T o d o cuerpo
celeste dirigido p o r un dem onio describe u n a trayectoria, c u ad ra d a , etctera. Pa
ra una presentacin atra ctiv a del tem a vase H . R eichenbach, N om ological State-
ments and A dm isible O perations, A m sterdam , N orth -H o llan d Pub!. Co., 1954.
139
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
140
LA CRTICA DE STRAWSON A RUSSELL
tal interpretacin nos obliga a aceptar que la oracin Todos los hijos
de Prez duermen es verdadera cuando Prez no tiene hijos, consti
tuira simplemente un equvoco, pues las oraciones de la forma A son
ambiguas: qu significa exactamente Todos los hijos de Prez duer
men ? Si quien pronuncia esta oracin pretende informarnos que
existen objetos que son hijos de Prez y que todos ellos duermen,
no hay problema: esta afirmacin es fcilmente simbolizable, y es
falsa en el caso de que los presuntos hijos no existan; pero si la afir
macin existencial no forma parte de su significado, entonces la ine
xistencia de tales criaturas garantiza la verdad de la oracin. Se
gn este punto de vista, la misma frase estara encubriendo estruc
turas lgicas de diferente complejidad, y la presunta paradoja que
dara disuelta como un caso particular de la discrepancia entre foranas
lgicas y formas gramaticales.
Pero cada vez que oye algo semejante, el lgico y filsofo ingls
P. F. Strawson pone el grito en el cielo y asegura que hemos cado en
una gran confusin.
36. S ig n if ic a d o y v a lo r e s v e r it a t iv o s
141
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
37. O r a c i n , e n u n c ia d o y s e n t id o
142
LA CRITICA DE STRAWSON -4 RUSSELL
143
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
144
LA CRITICA DE STRAWSON A RUSSELL
sonas que son hijos de Prez . Pero quien asevera W no asevera al mis
mo tiempo que Prez tiene hijos, y por eso es errnea la simbolizacin
que hace explcito el llamado contenido existencial, si por ste se en
tiende una afirmacin implcita de existencia. La verdad o falsedad del
enunciado hecho mediante el uso de W (en forma ms breve: la ver
dad o falsedad de 1a, afirmacin o aseveracin de W ) presupone la ver
dad de una afirmacin existencial, pero la afirmacin de W no con
tiene como parte tal afirmacin, y sta es la diferencia entre presupo
sicin y asercin,8 Quien afirma W cree normalmente que Prez tiene
hijos, pero no afirma que Prez tiene hijos. Y si la presuposicin falla
entonces la afirmacin de W no es verdadera ni falsa.
Tomando, en general, dos enunciados arbitrarios S y S', la rela
cin de presuposicin se define del modo siguiente: S presupone S' si
si y slo si la verdad de S F es condicin necesaria para la verdad-o-fal-
sedad de S. Esta relacin se distingue de la imphcacin (entaihnent)
por el hecho de que si S implica lgicamente S', entonces la verdad de
$' es condicin necesaria de la verdad de S, y no meramente de su ver-
dad-o-falsedad. De la definicin de presuposicin surge claramente que
S' no es verdadera entonces S no es verdadera ni falsa.
Consideraciones anlogas podran aplicarse a los enunciados de
la forma I: quien afirma que algn hombre es mortal no dice que
insten hombres, si bien la verdad de su a fir m a c i n presupone la exis
tencia de bpedos implumes. Afirmar que algn hombre es mortal
equivale a decir que uno al menos entre los hombres (cuya existencia
se descuenta) es perecedero. Este criterio parece concordar con el es
pritu del uso corriente, pues nadie hace una afirmacin de la forma
Algn H es M sabiendo que no existen H ; y si sabe que existen,
slo por broma explicitara este supuesto. Es improbable, por ejemplo,
que en lugar de afirmar simplemente: Algunos argentinos descienden
del general Urquiza, nuestro interlocutor nos diga: Existen argen
tinos. y uno de ellos al menos desciende del general Urquiza . Algn
funciona de este modo como una especie de indicador ambiguo, y
cuando el sujeto carece de referencia la afirmacin de Algn H es
M no expresa algo que sea verdadero o falso.
Por lo tanto, el uso de una oracin considerada tradicionalmente
de la forma sujeto - predicado'dar lugar a un enunciado (verdadero
o falso) si, y slo si, existen cosas a las que pueda aplicarse el trmino
sujeto.S
*
145
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
39. E l caso p a r t ic u l a r d e l a s d e s c r ip c io n e s
146
LA CRTICA DE STRAWSON A RUSSELI
40. P r e s u p o s ic i n y a s e r c i n e n F r e g e . -C u l e s
LA N EG A C I N DE U N E N U N C IA D O ?
147
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
148
LA CRITICA DE STRAWSON A RSSELL
149
C A P IT U L O V I I
42. E l p r in c ip io de id e n t id a d y los ju ic io s a n a l t ic o s
151
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
43. E l p r in c ip io de id e n t id a d en l a t e o r a de R ussell
152
TEORIA DE LAS DESCRIPCIONES Y PRINCIPIOS LGICOS
153
FORMAS LOGICAS, REALIDAD y SIGNIFICADO
154
TEORA DE LAS DESCRIPCIONES Y PRINCIPIOS LGICOS
8 S e n se a n d R e f . , pg. 70.
* Tomado de A. N. Prior, Time and M odality, pg. 71. S e h a n h e c h o al-
5 simplificaciones y se o m iti l a l t i m a c o lu m n a , d e d i c a d a a L e s a ie w s k i,
i teoras no consideram os aqu.
155
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
Frege Frege
R u sssll (L enguaje (Lenguaje
n a tu ra l) artificial)
156
TEORA DE LAS DESCRIPCIONES Y PRINCIPIOS LOGICOS
157
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
en e lla : i resu lta ra ser falso que C ervantes perdi u n brazo en la batalla di
L ep a n te , entonces El m anco de L ep an to es m anco po d ra convertirse en una
falsedad, pues el sujeto gram atical seguira m encionando convencionalmente I
C ervantes, a la m anera de u n nom bre propio. E n este uso, El manco de I.e-
p a n t no es m anco trasm itira u n a inform acin v erdadera en lugar de set
u n a sim ple contradiccin. Interesantes observaciones sobre este asunto pueden
hallarse en el libro de A. J. Ayer, T h e problem of Knowledge (Londres. Pen*
guin Books, 1956, pg. 176. T ra d . esp.: E l problema del conocimiento- Buenos
Aires, E udeba, 1962), donde se vincula el anlisis de las frases descriptivas con
el problem a de la identidad personal.
12 V ase A. N . Prior, T im e and M o dality , pg. 59.
13 R egla que perm ite concluir u n a proposicin B a p a rtir de las premal
i y 4 3 .
158
TEORIA DE LAS DESCRIPCIONES Y PRINCIPIOS LOGICOS
45. E l p r in c ip io de ter c er o e x c l u id o e n la t e o r a de R u s s e l l .
A pa r ic io n e s pr im a r ia y seg u n d a r ia d e u n a d e s c r ip c i n
159
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
,
La negacin de un enunciado A es el enunciado que es verdadero
cuando A es falso y falso cuando A es verdadero,14 Esto representa, por
supuesto, una decisin terica: nada impide que se distingan varios ti
pos de negacin, como lo ha hecho von Wrigth desarrollando una
sugestin de Aristteles.15 Pero de acuerdo con la definicin dada, la
negacin de El rey de la Argentina es narigudo es claramente la pro
posicin expresada por I I ) , y como el principio de tercero excluido no es
ahora ms que un corolario de la definicin de negacin, el problema
se reduce a encontrar una interpretacin de El rey de la Argentina no
es narigudo que satisfaga esa definicin. Y esa interpretacin es, pre
cisamente, la expresada por I I ) .
Con el objeto de dar una formulacin ms precisa a este problema,
distinguiremos entre las apariciones primaria y secundaria de una
descripcin.
Esta distincin surge cuando el tal y tal figura en un enunciado
(por ejemplo, El tal y tal es B ) que a su vez forma parte de un enan-
ciado ms amplio: Juan cree que el tal y tal es f?. El enunciado Juan
cree que el rey de la Argentina es narigudo puede interpretarse de dos
maneras:
a) Existe un nico individuo que es rey de la Argentina, y Juan
cree que ese individuo es narigudo.
b) Juan cree que existe un nico individuo que es rey de la Ar
gentina y que ese individuo es narigudo.
161
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
47. E l p r in c ip io de co n tr a d ic c i n
162
TEORIA DE LAS DESCRIPCIONES Y PRINCIPIOS LGICOS
163
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
164
TEORA DE LAS DESCRIPCIONES Y PRINCIPIOS LGICOS
165
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
166
TEORIA DE LAS DESCRIPCIONES Y PRINCIPIOS LOGICOS
[(>')[ W ( y ) ZD }' = a )] ; finalm ente, aplicando la regla que perm ite in ferir
a partir de p .q llegamos a (E x ) [W (x ) . r-J W ( a )] .
21 Debemos m encionar aqu u n a seria dificultad. R ecurdese ( 4 4 ) que
una ley lgica fue caracterizada por la pro p ied ad de no ten e r casos d e susti
tucin falsos. T eniendo en c u en ta ta l definicin de ley lgica, resulta n a tu ra l
esta definicin de enunciado contradictorio, y, en general, d e form a contra-
167
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
49. U n a c o m p a r a c i n : A r is t t e l e s y R u s s e l l .
C o n e x io n e s c o n la l gica e sc o l st ic a
168
TEORIA DE LAS DESCRIPCIONES Y PRINCIPIOS LGICOS
169
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
170
TEORIA DE LAS DESCRIPCIONES Y PRINCIPIOS LGICOS
50. U n problem a en la t e o r a de R u s s e l l : H ay e je m p l o s
LGICAMENTE VERDADEROS D EL P R IN C IP IO DE ID EN TID A D ?
171
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
-I Recurdese que, segn Russell (pg. 145). del hecho de que tafia
proposicin de la forma x . es verdadera no podemos inferir, sin ms ni
m s, que el a u to r de W averley es el a u to r de W averley . Pero hay realmente
en la teora de Russell, proposiciones de la form a <* = *?
28 A. Pap, Semantics and Necessary T r u ik , pg. 266, nota 32. La bas
tard illa me pertenece.
22 Q uine, O sentido da Nova Lgica, tra d . esp-: El sentido de la nueva
lgica, Buenos Aires, ed. N ueva V isin, 1958, pg. 127.
172
CAPTULO V IH
LA BSQU ED A DE UN C R IT E R IO
DE CO M PRO M ISO O N T O L G I C O
DE U N A VARIABLE
173
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
174
LA BSQUEDA DE UN CRITERIO DE "COMPROMISO ONCOLGICO1
175
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
52. E l c r it e r io de Q u in e se a plic a d ir e c t a m e n t e
A LOS EN U N CIA D O S?
176
LA BSQUEDA DE UN CRITERIO DE "COMPROMISO ORTOLGICO
177
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
178
LA BUSQUEDA DE UN CRITERIO D "COMPROMISO ONTOLOGCO'
179
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
180
.4 BSQUEDA DE UN CRITERIO DE "COMPROMISO ONTOLGICO"
181
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
182
LA BSQUBDA DE UN CRITERIO DE COMPROMISO ONTOLOGICO
183
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
184
LA BSQUEDA DE UN CRITERIO DE "COMPROMISO ONTOLOGJCO'
185
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
56. E l im in a c i n de l o s n o m b r e s y s u p r e m a c a de los
186
LA BUSQUEDA DE UN CRITERIO DE COMPROMISO ORTOLGICO"
187
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
p a ra que est en condiciones de trasm itir todo lo que deseamos que tras
m ita debe depender necesariam ente de u n lenguaje paralelo con trm inos sin
gulares: . . . e s imposible en principio que el lenguaje de las parfrasis sea
in terp retad o como Q uine y los dem s lo interpretam os a menos que sea con
cebido como u n lenguaje de parfrasis, es decir, a menos que el lenguaje con
tenga tam bin trm inos singulares (pgs. 4 3 6 -37). El argum ento de Strawson
puede resum irse asi: no podram os com prender el significado de Existe un ob
jeto x que tiene la propiedad F, etc. de la m an era en que lo comprendemos
si no com prendiram os tam bin el significado de Esto tiene la propiedad F ,
donde el dem ostrativo "esto es un trm ino singular. O sea que Existe un ob
jeto x que tiene la p ropiedad F no puede ten e r el significado que tiene para
nosotros si el lenguaje no posee tam bin trm inos singulares adems de
variables, cuantificadores y predicados. E n sntesis, que la elim inacin absoluta
de los trm inos singulares (postulada en la interpretacin fuerte de la tesis
de Q u in e) sera u n sueo irrealizable.
31 E sta form ulacin es algo esquem tica, pues no tom a en c u en ta la posi
bilidad de que u n a descripcin tenga aparicin secundaria.
82 Las letras *, y, etc. . . . se llam arn pronom bres lgicos. Su ca
r cter pronom inal se to rn a evidente si observamos que . . . (>') (y y) puede
leerse en la form a T odo objeto es tal que l es idntico a l. M ientras el cuan-
tiicador (x ) corresponde a las palabras todo objeto es tal que, el pro
nom bre lgico x corresponde, en los lugares posteriores al cuantificador, al
pronom bre l. E n otros ejem plos el pronom bre puede ser !e en lugar de
l, pero siempre es u n pronom bre que se refiere a las palabras todo objeto
(E l sentido de la nueva lgica, pg. 5 8 ).
33 y 34 JfJ sentido de la nueva lgica, pg. 132.
188
LA BUSQUEDA DE UN CRITERIO DE "COMPROMISO ONTOLGItO"
57. T res c r t ic a s a Q u in e
L a p o s ic i n d e Q u in e h a d a d o l u g a r a u n a f r o n d o s a p o l m ic a ,
c o n c e n tr a d a f u n d a m e n ta l m e n t e e n el a n lis is d e la s c o n e x io n e s e n tr e
ei e u a n f i c a d o r (Ex) y los u so s d e l v e r b o e x is tir e n l a m a t e m
tic a y e n el le n g u a je c o tid ia n o .
H e m o s v is to y a q u e p a r a Q u in e el s e n tid o d e e x is te es i n d e p e n
d ie n te d e l c o n te x to , y q u e l a a c e p t a b ili d a d d e su c rite r io d e p e n d e d e
esta s u p o s ic i n . G o m o lo s p r o b le m a s p la n t e a d o s p o r el c o n c e p to d e
e x is te n c ia son d e m a sia d o v a sto s p a r a ser ex p u esto s e n d e ta lle , n o s li
m itarem os a o f r e c e r u n a sn te sis c r tic a d e tre s p u n to s d e v is ta o p u e sto s,
r e m itie n d o a la b ib lio g r a f a c o rr e s p o n d ie n te p a r a u n a n lis is m s
c irc u n sta n cia d o d e la c u e sti n .85
189
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
39 I b i d ., pg. 526.
190
LA BUSQUEDA DE UN CRITERIO DE COMPROMISO ORTOLGICO'
191
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
192
LA BSQUEDA DE N CRITERIO DE "COMPROMISO ORTOLGICO"
193
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
194
LA BUSQUEDA DE UN CRITERIO DE "COMPROMISO ORTOLOGICO"
197
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
3 A M o d e r n I n t r o d u c t i o n to L o g ic , pg. 142.
4 l b i d . , pg. 147.
198
ACERCA DE QUE HABLAN LAS PROPOSICIONES?
199
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
6 0 . U n t e s t e p is t e m o l g ic o . L a s p r o p o s ic io n e s
EMPRICAS SLO HABLAN DE ENTIDADES ABSTRACTAS ?
200
ACERCA DE QU HABLAN LAS PROPOSICIONES?
201
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
61. A mbigedad r e v e r e n c ia l . R et o r n o
A LOS HECHOS ATOMICOS
202
ACERCA DE QU HABLAN LAS PROPOSICIONES7
203
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
pies. Con este postulado volvemos otra vez a las concepciones del
atomismo lgico, que constituyen un mximo esfuerzo por establecer
una relacin segura y unvoca entre realidad y lenguaje: pero como
ya se ha observado ( 9), no se logra esta victoria sin convertir los
hechos mismos en entidades aspticas y quimricas, que guardan una
problemtica relacin con lo que llamaramos hecho en la vida
cotidiana.
204
ACERCA DE QU HABLAN LAS PROPOSICIONES?
205
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
es a f i r m a d a . D e s d e ta l p u n to d e v ista , lo n ic o q u e la s d istin g u e de
las p ro p o s ic io n e s c o n v e rb o s e n tie m p o p re s e n te es q u e se refieren a
cosas q u e tie n e n c o n n osotros re la c io n e s te m p o ra le s d is tin ta s ; p e ro
s ta n o es u n a d if e re n c ia l g ic a , sin o d e c o n te n id o , c o m o la q u e existe
e n tr e J u a n e s ta e n su c a s a y " J u a n e s t si dos m e tro s d e su c a s a .
P u e s , e n o p in i n d e Q u in e , m i e n u n c ia d o e n tie m p o p re s e n te com o
L lu e v e e n L o n d r e s n o es to d a v a , striciu sev.su, v e r d a d e r o o falso,
m ie n tr a s n o s e a c o m p le ta d o c o n u n a r e f e re n c ia te m p o r a l : L lu e v e en
L o n d r e s e l 10 d e a b ril o e id e o ) si ei: la le c h a in d ic a d a p ro n u n c io
la o r a c i n A y e r llo v i e n L o n d r e s , . ui s r i \ crd a d i ra si y s lo si es
v e r d a d e r a la o r a c i n : L lu e v e e n L u n d ir e el y d e abj.il d e 1 9 6 3 .12* A
veces p u e d e n u n a , -a u u ' i t : u .i m a s e d ib u .a u u : si digo-, sin d a r
d e ta lle s, L l o n u c u m on d res . y d ig o e sto e n u n in s ta n te t) m i a f ir m a
c i n ser v erd a d era si y s lo si es v er d a d e r a la o r a c i n : E x is te u n ins
ta n t e ti ta i q u e llu e v e e n L o n d res e n y q es a n terio r a t . S e lo g ra
c e e ste m o a o q u e ;a v e r d a d o la ls e d a d d e u n a o r a c i n se a in tem p o ra l,
p u e s , d e lo c o n tr a r o , L lu e v e e n L o n d r e s p o d r a s e r fa ls a h o y y
v e rd a d e ra m a a n a .
206
ACERCA DE QUE HABLAN LAS PROPOSICIONES?
es apto para tratar con las oraciones en que se da, mediante la eleccin
de un tiempo de verbo, una referencia temporal relativa al instante
en que se pronuncia la oracin. Este punto no carece de importancia .
Strawson ofrece ejemplos en que la traduccin simblica no refleja
las relaciones temporales expresadas en ios enunciados corrientes, pero
ya se ha observado que ello no es culpa del simbolismo. Una cuestin
muy distinta es la que se refiere a la aceptacin o el rechazo de la
concepcin espacio - temporal del universo como apoyo para una
cierta representacin de la forma lgica, y a la relacin entre (Ex)
y el criterio de compromiso ontolgico. Por otra parte, el desajuste
con el lenguaje cotidiano es inevitable, como lo hemos advertido en
otras ocasiones, pues ste carece de una estructura completamente defi
nida o cerrada.
Esto no significa, naturalmente, que el punto de vista de Quine
sea obligatorio; otros lgicos han intentado ofrecer una sistematizacin
terica distinta. En esta sistematizacin, un enunciado puede ser ver
dadero hoy y falso maana, hecho que no se atribuye a una falta de
explicitacin de su sentido.
El rechazo del esquema de Quine obliga a rechazar tambin la
interpretacin intemporal de (Ex) ; de acuerdo con la formulacin
propuesta por A. N. Prior en Time and Modality, es cierto que exista
Napolen y que gan la batalla de Austerlitz, pero es falso que existe,
de modo que no tengo derecho a inferir Existe un x tal que. . .x. , .
a partir del enunciado verdadero . .Napolen.. pues Napolen
no es el nombre de un objeto existente y por lo tanto de algo que puede
ser nombrado, hecho que exige reinterpretar las frases verdaderas que
aparentemente se refieren a Napolen. El punto de vista de Prior
obliga a definir de otro modo las condiciones veritativas de los enun
ciados: se dice, por ejemplo, que un enunciado como Periquita vendr
maana es verdadero ahora, si Periquita viene ser verdadero ma
ana. Esta regla semntica algo curiosa plantea una multitud de pro
blemas relacionados con el concepto de verdad y el determinismo, que
ya preocuparon a Aristteles ( 26, nota 14), y que no analizaremos
aqu. En cuanto a la funcin referencial de las variables ligadas, el
resultado es que pueden carecer de valores y figurar sin embargo en
proposiciones existenciales verdaderas; sirva de ejemplo cualquier enun
ciado verdadero de la forma Existir maana un objeto x con la
propiedad F, enunciado que no habla, como es obvio, acerca de
objetos con esa propiedad, pues tales objetos pueden no existir todava.14
207
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
208
ACERCA DE QU HABLAN LAS PROPOSICIONES?
209
FORMAS LGICAS, REALIDAD Y SIGNIFICADO -
210
ACERCA DE QVR HABLAN LAS PROPOSICIONES?
19 I b i d pg. 175.
20 Nelsou G oodm an, T h e S truc ture of A ppsarance, C am bridge (M assa-
chussetts), H a rv ard U niversity Press, 1951, pg. 33.
21 A. Pap, E lem ents of A n alytic P hilosophy, pg. 87.
211
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
212
ACERCA DE QUE HABLAN LAS PROPOSICIONES?
213
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
214
ACERCA DE QU HABLAN LAS PROPOSICIONES?
215
APNDICE I
217
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
218
ORACIONES, NOMBRES PROPOS Y VALORES VERTATVOS
219
A P N D IC E I I
Pero cmo es posible que (1) sea verdadero y (3) falso, si Scott
es el autor de Waverley, y por consiguiente toda propiedad poseda
por Scott es una propiedad poseda por el autor de Waverley? Al pa
recer, (1) atribuye al autor de Waverley la propiedad expresada por
el predicado mondico
(4) George IV ignoraba que Scott! . . . ,
donde los puntos suspensivos indican el lugar de los posibles argu
mentos; y es esa misma propiedad la que (3) atribuye a Scott, quien
no es otro que el autor de Waverley. Este resultado paradjico pone
en tela de juicio la validez del Principio de indiscernibilidad de los
idnticos, principio que se presenta a nuestras intuiciones como una
mera consecuencia analtica de la nocin de identidad: Si x = y, en
tonces toda propiedad de -t (o de y) es tambin una propiedad de y
(o de x ) . En smbolos:
5) 0 = y) m (F) ( F x ^ F y ) .
II. Es importante advertir que la paradoja puede generarse en for
ma especulativa, sin hacer uso de ejemplos referentes a hechos p a r tic u la
res, cuya verdad o falsedad es en principio d is c u tib e. Obsrvese que
existen infinitas descripciones slo satisfechas por Scott (por e je m p lo :
el individuo al que corresponden tales y tales coordenadas e sp a c ia le s
221
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
222
SOBRE LA ELIMINACIN DE LOS CONTEXTOS OBLICUOS
223
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
224
SOBRE LA ELIMINACION DE LOS CONTEXTOS OBLICUOS
225
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
226
SOBRE LA ELIMINACIN DE LOS CONTEXTOS OBLICUOS
227
FORMAS LOGICAS, REALIDAD Y SIGNIFICADO
una mera lista; y las combinaciones expresadas por Juan es mayor que
Pedro y Pedro es mayor que Juan constituyen proposiciones dife
rentes. Cul de las posibles combinaciones de los sentidos [hombre]i,
[ c ] i y [mortal]! denota ([hombre]! [ c ] i [mortaljx) ?
La respuesta consiste simplemente en dar un criterio efectivo que
permita pasar del nombre estructural a la oracin aseverativa que lo
expresa, y .recprocamente. Para ello basta estipular que los compo
nentes de la descripcin estructural deben estar ordenados del mismo
modo que los nombres correspondientes de la oracin original, lo cual
exige, segn, ya se ha dicho, que toda oracin del lenguaje formalizado
sea una combinacin de nombres y que las oraciones del lenguaje coti
diano sean interpretables de acuerdo con las reglas de formacin de
esa sintaxis (f. nota 9).
Este problema de univocidad notacional debe distinguirse de otro
an ms bsico, que llamaremos el problema de la unidad de la
proposicin, y que puede formularse as: Cul es la diferencia entre
una proposicin y una mera lista de sentidos? Para nuestros fines, no
necesitamos hallar una respuesta a esta pregunta; nos basta con que la
descripcin estructural denote unvocamente la proposicin expresada
por cierta oracin aseverativa. La cuestin de saber cmo se constituye
la unidad proposicional es independiente de nuestro tema.
VIL Finalmente, nos queda por examinar la siguiente objecin de
principio: Es imposible suprimir la oblicuidad, porque cualquier trmino
que coloquemos dentro de una expresin precedida, por operadores mo
dales o verbos de actitudes preposicionales tendr automticamente de
notacin oblicua. De acuerdo con esta objecin, los componentes de
[hombreji [c:]i [mortal]!) tienen tambin denotacin oblicua, por
ser (15) una oracin de creencia. Mostraremos ahora que esta objecin
es incompatible con los supuestos de los que hemos partido, o sea con
aquella parte de la doctrina de Frege-Church que hemos denominado
la parte del diagnstico.
Consideremos primero una situacin anloga que se da en el len
guaje cotidiano. Dijimos que el relativo Que permite formar el
nombre de una proposicin a partir del nombre de un valor verjtativo.
El lenguaje usual no posee otros medios para hablar acerca de inten
siones, y ste es el origen de la oblicuidad, pues los componentes del
nombre primitivo quedan intactos en la transformacin. En el caso de
(14) esta transformacin es necesaria debido a que el segundo miembro
de la relacin de creencia es una proposicin, y por lo tanto se requiere
un nombre para ella. Ese nombre es Que todo hombre es mortal ;
pero si admitiramos que tambin l tiene denotacin oblicua en (14),
deberamos concluir que es imposible expresar de la manera usual una
relacin de creencia. No podramos decir mediante (14) que Juan
cree cierta proposicin expresada por Todo hombre es mortal, pues
228
SOBRE LA ELIMINACION DE LOS CONTEXTOS OBLICUOS
229
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
230
APNDICE III
231
Po r m a s l g ic a s , r e a l id a d y s ig n if ic a d o
232
ORACIONES, ENUNCIADOS Y VALORES VERITAT1VOS
que ese objeto es -de cierto modo, pero de hecho no es as. Es claro que un
enunciado como El rey de Francia es c a lv o no es fabo en este sentido;
sta es la diferencia. Puede sostenerse, sin em b a rg o . que en ambos casos se
usa tina oracin tal que, si ele hecho h u b ie r a en el mundo (en el Espacio
y el Tiempo) cierto objeto particular [. . .1 con ciertas caractersticas si,
para decirlo en otros trminos, se dieran de hecho en el mundo [. . .] cier
tas circunstancias complejas entonces el enunciado sera verdadero
[. . .]. U n enunciado emprico falso es sim p le m e n te c u a lq u ie r e n u n c ia d o
emprico que no es v e r d a d e r o por razones /(cticas, es decir, en virtud de
que el mundo es como es v no ele otro modo fpg. 106), sta es fa
semejanza con el caso problemtico. De acuerdo con la suprente for
mulacin de S tr a w so n , quien pone de relieve la diferencia considera
que el tema de un enunciado emprico sin g u la r es ya un objeto parti
cular dado, y a o tro , y a veces n in g u n o en a b so lu to ; para su oponente,
en cambio, el tema de todo enunciado emprico es el mundo en
general.
Interesa observar que en su respuesta a Strawson (rf. nota 37 de
S 37) Russell lo haba acusado de creer que la palabra falso tiene
un significado inalterable v unvoco (T. M. S.)1 v que sera un pecado
considerarlo modificable. aunque, prudentemente, evite decirnos cul
es ese significado (pg. 92). Por mi parte agregaba Russell en
cuentro ms conveniente definir la palabra falso de modo tal que
toda oracin significat'vn sea verdadera o hha. Ea es una cuestin
puramente verbal; y aunque no puedo reclamar el anovo del uso comn,
pienso eme l tampoco p*.- -aup-lo' (loe. cH.: la bastardla es m a).
Los artculos en les que S*"* modifica su posicin va no se prestan
a la misma crtica: sin pr^b-u> podra, decirse v lo decimos! croe
Russell presenta la cuestin de un modo excesivamente convencionalista
para ser interesante.2 v que si bien Stravson coincide ahora, con Russell
en admitir la posibilidad de que un enunciado cuyo sujeto carece de
referencia sea considerarlo falso fen un sentido especial de falso ),
ofrece, razones que hacen plausible su nueva, posicin (que es la vieja
posicin de Russell). Para colmo, lo hace reclamando en cierto grado
y con justicia el npovo dri n~o comn. si moortooe me de
este ltimo no se desprende un veredicto claro (Ideniiymg reerenee
and truh-values . pg. 104).
El cambio de frente aue acabamos de describir no afecta, sesrn
Strawson. lo aue l considera su o b je c i n fu n d a m e n ta l a la teora
de Russell: la de que en el ceso de oraciones cuyo sujeto carece de3
233
FORMAS LGICAS, REALIDAD Y SIGNIFICADO
234
APNDICE IV
A L G U N O S A S P E C T O S P R A G M T IC O S . Y P S IC O L G IC O S
DE LA IN FEREN C IA
236
ALGUNOS ASPECTOS PRAGMATICOS Y PSICOLOGICOS DE LA INFERENCIA
237