Apuntes sobre el problema de la analiticidad

1
La nocin de anlisis en filosofa fue introducida por primera vez en forma influyente por
Inmanuel Kant (1724-1!4" a trav#s de su distincin entre $uicios analticos y $uicios sint#ticos%
&ara Kant' los $uicios analticos son a(uellas donde el predicado est ya contenido en el concepto
del su$eto como una de sus notas caractersticas% )c' el concepto de anlisis es similar al
empleado en la (umica* tomamos un concepto' por e$emplo' el de un efecto' y encontramos (ue
est compuesto de los conceptos de ser un evento y el de tener una causa' lo mismo (ue
encontramos el a+ua compuesta de ,idr+eno y o-+eno% .ertrand /ussel (172-107!"
reintrodu$o el t#rmino de anlisis con implicaciones similares a las propuestas por Kant% /ussell y
sus cole+as se ,acan llamar atomistas lgicos y decan (ue su tarea era el anlisis de
proposiciones moleculares en sus constituyentes atmicos% 1e trata en am2os casos' en el de Kant
y en el de /ussell' de procedimientos anlo+os a los de la (umica% 3onde se diferencia2an no era
pues en su uso del t#rmino analtico sino en el o2$eto de sus anlisis' siendo para los atomistas
l+icos no t#rminos como 4efecto4 o 42ac,iller4' sino proposiciones tales como 45sto es un tomate4
o 45l espritu del tiempo es incansa2le4' considerados como compuestos de proposiciones
atmicas%
5sta idea' de (ue los sistemas conceptuales y los len+ua$es naturales (ue los materializan pueden
ser tratados como edificios donde todos nuestros conceptos son construidos a partir de un
con$unto de conceptos simples (o ideas simples" y su nocin ,i$a de (ue todas las proposiciones
e-presa2les en un len+ua$e sea l+icamente simple o reformula2le como un comple$o de tales
proposiciones simples muri ,ace tiempo' y con ello desapareci el sentido 4(umico4 asociado al
t#rmino anlisis% 5ntonces 6cmo es posi2le (ue se use todava el t#rmino filosofa analtica7
5n la actualidad' la filosofa analtica se dedica a tomar e-presiones y proposiciones empleadas
en el len+ua$e com8n para clarificarlos y ,acerlos ms inteli+i2les a partir del anlisis% 5n este
sentido' la filosofa analtica toma los conceptos y proposiciones en uso y los trata como datos a
ser e-aminados y clarificados' no como candidatos a ser criticados' pro2ados o rec,azados%
Lo (ue no se entiende muc,o es por (u# se toma la nocin de anlisis como ms o menos un
sinnimo de empirismo' siendo (ue lo (ue ,oy llamamos filosofa analtica se corresponde o es
consecuencia de los principios considerados como fundamentales por el llamado empirismo
lgico%
2
Los positivistas l+icos consideran (ue cual(uier enunciado (ue no se apoye en la e-periencia o
(ue no sea una tautolo+a es un enunciado carente de sentido% 1e ,an dedicado a la clarificacin
de las matemticas' la l+ica y la relacin de estas ciencias con el mundo de la e-periencia% 9no
de los principales principios (ue sostienen los positivistas l+icos es (ue las leyes o verdades de
la l+ica son tautolo+as' as (ue no tienen contenido factual% &ara e-presar esto' frecuentemente
los l+icos afirman (ue los enunciados (ue e-presan verdades l+icas son :analticos;' para
diferenciarlos de los enunciados sint#ticos' (ue son a(uellos cuya verdad es esta2lecida por las
ciencias fcticas o empricas% <o es poco com8n (ue se pase de esta afirmacin a la conclusin
de (ue la necesidad (ue se ale+a como ine-ora2le de las leyes de la l+ica es reduci2le de al+una
manera a convenciones lin+=sticas% 5sta tesis a veces se le denomina convencionalismo lgico%
&ara clarificar me$or los t#rminos en los (ue se plantea el pro2lema acerca de la naturaleza de las
verdades l+icas es necesario profundizar en el si+nificado de los t#rminos claves implicados*
:tautolo+a; y :necesidad;%
5n +eneral' por tautolo+a se entiende cual(uier proposicin (ue es verdadera 2a$o cual(uier
interpretacin de sus constituyentes atmicos% 5sta definicin coincide con la (ue da Lei2niz para
las verdades de razn* las (ue son verdaderas en todos los mundos posi2les%
5l prototipo simple de una tautolo+a es un enunciado de la forma :p o no p;' donde p representa
un enunciado' de manera (ue podramos reemplazar p por :ese ,om2re es un artista; y o2tener
:ese ,om2re es un artista' o no lo es;% >al enunciado es o2viamente una verdad' no importa si su
enunciado componente p es verdadero o falso' pues una disyuncin' es decir' un enunciado de la
forma :p o q;' es verdad siempre (ue al menos uno de sus componentes sea verdad%
?eneralizando a partir de este e$emplo' llamamos tautolo+a a cual(uier enunciado compuesto
(ue sea verdad independientemente de si sus enunciados componentes simples sean verdad o
falsedad%
>omemos' por e$emplo' las tesis o afirmaciones de un positivista l+ico* )lfred )yer en su o2ra
Lenguaje, Verdad y Lgica (107@"%
1e+8n )yer' la certidum2re de las proposiciones a priori depende del ,ec,o de (ue son
tautolo+as' en el sentido de (ue una proposicin es una tautolo+a si es analtica% 1ostiene
adems (ue una proposicin es analtica si es verdadera slo en virtud de la si+nificacin de sus
sm2olos constituyentes' as (ue no puede ser ni confirmada ni refutada por nin+8n ,ec,o de la
e-periencia% 9na proposicin analtica no descri2e entonces un ,ec,o en a2soluto%
3
Aomo ya ,emos seBalado' la nocin de proposicin analtica se remonta a Kant' (uien la define
como opuesta a las proposiciones sint#ticas% Kant adems distin+ue entre proposiciones a priori y
proposiciones a posteriori, y dice (ue las proposiciones a priori son a(uellas cuya verdad es
independiente de la e-periencia y (ue las proposiciones a posteriori son a(uellas cuya verdad se
funda en ,ec,os de la e-periencia% La nocin de proposicin a priori' es similar a la nocin de
verdades de razn desarrollada ori+inalmente por ?% Lei2niz%
Lei2niz esta2leci una diferencia entre las verdades de razn y las verdades de ,ec,o' ,aciendo
#nfasis en su carcter mutuamente e-clusivo y con$untamente e-,austivo% 5n su Monadologa,
Lei2niz' en 1714' dos aBos antes de su muerte' afirma*
CDay tam2i#n dos clases de verdad EdiceE' la del razonamiento y la de los hechos. Las
verdades del razonamiento son necesarias' y su contrario es imposi2le% Auando una
verdad es necesaria' su razn puede encontrarse mediante anlisis' resolvi#ndola en ideas
y verdades ms simples' ,asta lle+ar a las (ue poseen la primaca%%%C
)s' pues' las verdades de razn se 2asan' se+8n la formulacin de Lei2niz' en el Cprincipio
de no contradiccinC' el cual' se+8n Lei2niz' comprende los principios de identidad y de
tercero e-cluido% <o slo las tautolo+as 2anales' sino tam2i#n todos los a-iomas'
postulados' definiciones y teoremas de la matemtica son verdades de razn, o sea (ue son
"proposiciones idnticas; cuyos opuestos implican contradiccin e-presa%
&or otro lado' Lei2niz no slo crea con )ristteles (ue toda proposicin se de$a reducir
en 8ltima i ns t ancia a la forma su$eto-predicadoF tam2i#n crea (ue el su$eto
CcontieneC al predicado% 5sto ,a de cumplirse para todas las verdades de razn' (ue
son de la forma su$eto-predicado' y por consi+uiente' se+8n #l' para todas l as
verdades de razn en +eneral% 5n cul sentido de2a considerarse (ue una verdad de
,ec,o Edi+amos' la verdad de (ue mi 2ol+rafo es ne+roE tiene un su$eto (ue
contiene a su predicado' esto es muc,o menos claro% 5n efecto' con o2$eto de e-plicar
el si+nificado de su aseveracin en el sentido de (ue el su$eto de una verdad de
hecho contiene a su predicado' Lei2niz se ve o2li+ado a introducir las nociones de
3ios y de infinito% La reduccin de una proposicin contin+ente' (ue e-pondr su
predicado como contenido en su su$eto' slo es posi2le para 3ios% Lei2niz e-plica esto
diciendo (ue' lo mismo (ue en el caso de las razones de n8meros irracionales*
Cla reduccin implica un proceso infinito y se apro-ima' sin em2ar+o' a una
medida com8n' de modo (ue se o2tiene una serie definida pero intermina2le'
as re(uieren tam2i#n las verdades contin+entes un anlisis infinito (ue slo 3ios
puede efectuarC% (De cientia !niversali seu "alculo #hilosophico"
Gtra dificultad a propsito de las verdades de ,ec,o resulta del principio de razn
suficiente*
C(ue afirma (ue nada tiene lugar si n razn suficiente' lo (ue e(uivale a decir
(ue nada ocurre s i n (ue sea posi2le' para (uien conozca las cosas
suficientementeF dar una razn suficiente para decidir (ue las cosas sean como
son' y no de otro modoC%
5sto es para Lei2niz no solamente una e-,ortacin +eneral a 2uscar razones suficientes
se+8n nuestras m-imas posi2ilidades' sino (ue en al+una forma es tam2i#n' lo mismo
(ue el principio de contradiccin' un principio de inferencia y anlisis% 1in em2ar+o'
la manera en (ue #ste de2a aplicarse no se especifica claramente' y en muc,os casos'
si no en todos' solamente 3ios conoce l as cosas en +rado suficiente para ,acer posi2le
su aplicacin eficaz%
&ara Lei2niz' l as proposiciones matemticas y las proposiciones l+icas no son ci er t as
de nin+8n o2$eto eterno particular ni de o2$eto idealizado al+uno' producto de la
a2straccin' ni de ,ec,o' de al+una otra clase de o2$etos% 1on ciertas por(ue su
ne+acin sera l+icamente imposi2le' es decir' son verdades necesarias% La proposicin
matemtica y la proposicin l+ica son t a n t o Cproposicin deC un o2$eto o una clase
de o2$etos particulares' como la proposicin Csi al+o es una pl uma ; lo es de mi pluma
part i cul ar' de la clase de l as plumas' o de la cl as e de los o2$etos fsicos o de cual(uier
otra clase de o2$etos% &odramos decir (ue am2os tipos proposicin (la l+ica y la
matemtica" son necesariamente ciertas de todos los o2$etos o de todas las situaciones
posi2les o' sirvi#ndonos de la c#le2re frase de Lei2niz' en todos los mundos posi$les.
>odas estas formulaciones de2en entenderse en el sentido de (ue l as verdades
matemticas y l+icas son ci er t as por(ue su ne+acin seria l+icamente imposi2le%
>enemos pues (ue la proposicin analtica' (ue se remonta a Kant' tiene como antecedente la
nocin de verdad de razn de Lei2niz% Kant define las proposiciones analticas como a(uellas
donde el predicado est ya contenido en el concepto del su$eto como una de sus notas
caractersticas% 5n una proposicin sint#tica' en cam2io' el predicado aporta una informacin
acerca del su$eto (ue no se encuentra en el propio concepto del su$eto% 1e+8n Kant' la
proposicin :todos los cuerpos son e-tensos;' sera una proposicin analtica' ya (ue la el
concepto de e-tensin est ya contenido en el concepto de cuerpo' como una de las notas (ue
caracterizan este concepto% 5n cam2io' se+8n Kant' :todos los cuerpos son pesados; sera una
proposicin sint#tica' pues el concepto de peso no est incluido en el concepto de cuerpo%
Kant adems distin+ue entre proposiciones a priori y proposiciones a posteriori, y dice (ue las
proposiciones a priori son a(uellas cuya verdad es independiente de la e-periencia y (ue las
proposiciones a posteriori son a(uellas cuya verdad se funda en ,ec,os de la e-periencia% &ara
Kant' los enunciados de la matemtica son enunciados a priori' por(ue no dependen de
o2servaciones ni en ,ec,os de la e-periencia' pero contrario a lo (ue esta2lece la muy posterior
tradicin de la filosofa analtica' para Kant los enunciados matemticos no son analticos%
1e+8n Kant' la matemtica pura no es analtica' sino sint#tica a priori, toda vez (ue es del
tiempo y el espacio (los descri2e"% &or este motivo' para Kant la matemtica es una actividad
constructiva (ue presupone la actividad de la construccin' (ye no si+nifica postulacin*
CAonstruir un conceptoC es ir ms all de proponer o consi+nar su definicin* consiste en
proveerlo de un o2$eto a priori. &or e$emplo' el concepto de una esfera de (uince dimensiones
con+ruente por si misma no puede construirse' pese a (ue podamos (y de2amos" postular
o2$etos para ella s es (ue vamos a enunciar (ue en un CespacioC de cuando menos (uince
dimensiones Cse cumplenC cuando menos dos esferas sin nin+8n CpuntoC com8n% 5n cam2io
podemos construir' y no meramente postular' una esfera tridimensional' o un crculo (esfera
2idimensional"' en un espacio de tres dimensiones% 1u construccin resulta posi2le no slo por
la con+ruencia en si del concepto de :esfera tridimensional;' sino por ser el espacio
percepti2le lo (ue es% La construccin a priori de una esfera f si ca t r i di mensional no de2e
confundirse con la construccin de una esfera' di+amos' de madera o de metal% 1in
em2ar+o' la posi2ilidad de la construccin material se 2asa en la posi 2i l i da d de la
construccin a priori Ela esfera de metal en la posi2ilidad de una esfera en el espacioE'
e-actamente del mismo modo (ue la imposi2ilidad de la constituci n material de una
esfera de (uince dimensiones se 2asa en la imposi2ilidad de la correspondiente
construccin a priori.
La e-plicacin de Kant de las proposiciones de la a r i t m#tica pura es s i mi l a r a su
e-plicacin de la +eometra pura% La proposicin de (ue al aBadir 2 unidades a H uni dades
producimos I unidades descri2e E s i nt # t i c a me nt e y a priori% al+o construido en el
tiempo y el espacio' esto es' la sucesin de unidades y su reunin% Aonviene o2ser var (ue
no se nie+a la posi2ilidad l+ica de aritm#ticas alternativas% Lo (ue se afirma es (ue
estos sistemas no serian descripciones del espacio y el tiempo percepti2le%
5n resumen' para Kant' las proposiciones de la aritm#tica y la +eometra puras son
proposiciones necesarias% <o o2stante' son proposiciones si nt #t i cas a priori' no
analticas% 1on sint#ticas por(ue son acerca de la estructura del espacio y el tiempo
t al como lo revela lo (ue en #stos puede construirse% J son a priori, por(ue espacio y
tiempo son condiciones invariantes de toda percepcin de o2$etos materiales% Las
proposiciones de la matemtica aplicada' por su parte' son a posteriori en la medida de
(ue son acerca del material emprico de la percepcin' y son a priori en la medida en
(ue son acerca de espacio y tiempo% La matemtica pura tiene su o2$et o de estudio en
la estructura del espacio y el tiempo' li2re de material emprico% La matemtica
aplicada' en cam2io' tiene su o2$eto de estudio en la estructura del espacio y el
tiempo $untamente con el mat er i al (ue la llena%
4
)lfred )yer coincide con Kant cuando afirma (ue una proposicin es analtica si es verdadera
slo en virtud de la si+nificacin de sus sm2olos constituyentes' ya (ue' si aceptamos la
definicin de Kant' la verdad de una proposicin analtica depende de si en realidad el concepto
e-presado por su predicado forma parte de la si+nificacin del su$eto* no ,ay necesidad de
recurrir a o2servaciones ni a la e-periencia para verificar una proposicin analtica% &ero ,ay un
punto de diver+encia entre la concepcin de )yer y la de Kant* para )yer toda proposicin a
priori es necesariamente analtica' mientras (ue para Kant al+unas proposiciones a priori pueden
ser sint#ticas' como ocurre' se+8n #l' con las proposiciones de la matemtica% 3e ,ec,o' esta
circunstancia' (ue los enunciados de la matemtica son sint#ticos e-plica (ue en las matemticas
,aya descu2rimiento e invencin% 1e+8n )yer' al contrario' una proposicin slo es a priori
cuando es una tautolo+a 6Ku# entiende )yer por tautolo+a7 &ara )yer' ya lo ,emos dic,o' una
tautolo+a es una proposicin (ue es verdadera en virtud de la si+nificacin de sus sm2olos%
)yer sostiene (ue las verdades de los enunciados de las matemticas y de la l+ica son verdades
necesarias' una calificacin (ue se remonta a la filosofa de ?ottlo2 Lei2niz' (uien afirma2a la
e-istencia de verdades de razn o verdades necesarias' en el sentido de (ue su ne+acin
constituye una contradiccin o a2surdo% ) las verdades necesarias se oponen las verdades de
,ec,o' cuya verdad puede ser confirmada o refutada a partir de los ,ec,os de la e-periencia% &ara
los empiristas nin+una proposicin con contenido factual puede ser necesariamente verdadera'
entonces' para ellos' las verdades de la l+ica de las matemticas' (ue consideran como
necesarias' carecen de contenido fctico% 1iendo as' las verdades matemticas y l+icas de2en
fundarse en el si+nificado de los componentes de las proposiciones (ue las e-presanF por lo tanto'
se trata de proposiciones analticas%
5
5n un artculo de 10@2' ;>,e LaLs of Lo+ic;' )tr,ur &ap' i+ual (ue )yer afirma (ue las
tautolo+as son enunciados cuya verdad depende de los si+nificados' pero no de los conceptos
e-presados por el su$eto de un $uicio sino del si+nificado de las conectivas l+icas de la
proposicin' por lo tanto la verdad de las tautolo+a no depende de la e-periencia' son verdades
formales% 5n esto coincide con la tradicin analtica* al ser una verdades formales' los principios
o leyes l+icas son tautolo+as* su verdad depende del si+nificado de las constantes l+icas y no
del si+nificado de sus t#rminos descriptivos% &ero &ap sostiene adems (ue ,ay leyes l+icas o
verdades formales (ue no son tautolo+as* si 2ien toda tautolo+a es una verdad formal' ,ay
enunciados analticos o verdades formales (ue no son tautolo+as' incluso ,ay enunciados (ue
son sint#ticos a priori' es decir' independientes de la e-periencia% &ap cuestiona la tesis de (ue
todas las proposiciones necesarias son tautolo+as y sostiene (ue tanto en l+ica como en
matemticas e&iste descu$rimiento de verdades a travs de procesos estrictamente intelectuales'
como lo es el descu2rimiento de tautolo+as por la aplicacin de un procedimiento de decisin
mecnico como lo es el m#todo de las ta2las de verdad%
Kuine' en su li2ro Desde un punto de vista Lgico' en el captulo :3os do+mas del empirismo;'
presenta una crtica al empirismo l+ico al o2servar (ue tanto la distincin entre verdades
analticas y verdades sint#ticas como la creencia de (ue todo enunciado con sentido e(uivale a
al+una construccin l+ica 2asada en t#rminos (ue refieren a la e-periencia' son simples do+mas
de los (ue perfectamente se puede prescindir con el costo de derivar en una orientacin ,acia el
pra+matismo%
1e+8n Kuine' dado (ue la verdad en sentido +eneral depende a la vez del len+ua$e y del ,ec,o
lin+=stico' se cae en la tentacin de suponer (ue la verdad de un enunciado es al+o analiza2le en
un componente lin+=stico y en un componente fctico% 5ntonces' se considera (ue en los
enunciados analticos' el componente fctico es nulo% >odo esto puede ser muy razona2le a priori'
pero no ,ay lnea divisoria propiamente tal entre enunciados analticos y sint#ticosF si+ue siendo
un do+ma de los empiristas%
Wittgenstein
En su Tractatus logico-philosophicus, Ludwig Wittgenstein sostena que toda
proposicin genuina es una funcin de verdad de proposiciones elementales, as
como el mundo en su complejidad era el resultado de la acumulacin de hechos
simples. Una vez en posesin de proposiciones elementales conociendo la
forma general de la proposicin, se podra decir todo lo que el lenguaje
permitira e!presar"
La proposicin es la e!presin del acuerdo desacuerdo con la
posi#ilidad de verdad de las proposiciones elementales.
Tractatus. $roposicin %.%.
La proposicin es la e!presin de sus condiciones de verdad
Tractatus. $roposicin %.%&'
$ara Wittgenstein tenan especial importancia dos tipos de proposiciones" las
tautologas las contradicciones"
Entre los posi#les grupos de condiciones de verdad, ha dos casos
e!tremos.
En uno la proposicin es verdadera para todas las posi#ilidades de
verdad de las proposiciones elementales. (osotros decimos que las
condiciones de verdad son tautolgicas.
En el otro caso la proposicin es falsa para todas las posi#ilidades de
verdad" las condiciones de verdad son contradictorias.
Tractatus. $roposicin %.%)
La proposicin muestra aquello que dice* la tautologa la
contradiccin muestran que no dicen nada.
La tautologa no tiene condiciones de verdad, pues es incondicionalmente
verdadera* la contradiccin #ajo ninguna condicin es verdadera.
Tractatus. $roposicin %.%)'
Esa relacin de dependencia entre el valor de verdad de una proposicin el
valor o condiciones de verdad de su proposiciones elementales es lo que
llamamos concepcin veritativo+funcional de la verdad de las proposiciones"
La proposicin es una funcin de verdad de la proposicin elemental. ,La
proposicin elemental es una funcin de verdad de s misma-
Tractatus. $roposicin ..
Las proposiciones elementales son los argumentos de verdad de las
proposiciones.
Tractatus. $roposicin ../'