TEMA VIII: LA VERDAD EN LAS MATEMTICAS Y EN LAS CIENCIAS

EMPRICAS (NATURALES Y SOCIALES)

1. Definicin y teoras de la verdad
Al tratar la cuestin de la verdad, suele sealarse la distincin existente entre las
acepciones hebrea y griega. La voz hebrea para designar verdad es e!eth, cuyo radical
"a!an# significa $sostener algo fir!e!ente para %ue no caiga$. &ntre los sinni!os %ue
aco!paan y sustituyen a e!eth, el principal es e!unah "fidelidad, afianza!iento, sitio
en donde se puede uno apoyar#. 'or su parte, el t(r!ino griego correspondiente a verdad
es al)theia %ue *!ediante su a privativa* indica la condicin de des*vela!iento, des*
cubri!iento o des*oculta!iento del ser. As, al)theia re!ite a una dualidad+ lo %ue
aparece ante nosotros y el funda!ento de lo %ue aparece o, en otros t(r!inos, la
aut(ntica verdad. De !odo %ue la nocin griega de verdad re!ite a lo per!anente,
!ientras %ue la hebrea refiere a un aspecto !,s bien din,!ico. 'or eso, para indicar la
verdad, el griego dice de algo %ue es, y el hebreo a!(n "as es#.
A lo largo de la historia de la filosofa, el t(r!ino verdad se ha usado en dos sentidos+
para referirse a una proposicin+ la proposicin es verdadera, a diferencia de falsa
para referirse a una realidad+ una realidad es verdadera, a diferencia de otra %ue es
aparente, ilusoria, etc.
Los filsofos griegos co!enzaron por buscar lo verdadero frente a la falsedad, la
ilusin, la apariencia, etc. La verdad era id(ntica a la realidad. &l griego concibe la
verdad co!o descubri!iento del ser, es decir, co!o la visin de la for!a o perfil de lo
%ue es verdadera!ente, pero %ue se halla oculto por el velo de la apariencia.
Los griegos se ocuparon ta!bi(n de la verdad co!o propiedad de ciertos enunciados, de
los cuales se dice %ue son verdaderos. As, para Aristteles, $decir de lo %ue es %ue no
es, o de lo %ue no es %ue es, es lo falso- decir de lo %ue es %ue es, y de lo %ue no es %ue
no es, es lo verdadero$ ".etafsica, /, 0, 1111b 23*4#. 'ara Aristteles no hay verdad
sin enunciado. 'ara %ue un enunciado sea verdadero es !enester %ue haya algo de lo
cual se afir!e %ue es verdadero "o %ue no haya algo de lo cual se afir!e %ue no es
verdad.
'ara los escol,sticos, la verdad es una propiedad trascendental del ente. La verdad co!o
verdad trascendental es definida co!o la confor!idad o conveniencia del ente con la
!ente. 'ero la verdad puede entenderse as !is!o co!o la confor!idad o conveniencia
de la !ente con la cosa, o adecuacin de la !ente con la cosa "verdad lgica#.
'ara los racionalistas y los e!piristas, las verdades son funda!ental!ente $verdades de
hecho$.
'ara 5ant, si el ob6eto del conoci!iento es la !ateria de la experiencia ordenada por las
categoras, la adecuacin entre el entendi!iento y la cosa se hallar, en la confor!idad
entre el entendi!iento y las categoras del entendi!iento. La verdad es entonces
pri!ordial!ente verdad del conoci!iento, coincidente con la verdad del ser conocido.
'ues si hay efectiva!ente cosas en s, (stas son inaccesibles y, por tanto, no puede
hablarse de otro conoci!iento verdadero %ue el conoci!iento de dicha verdad
trascendental.
7on respecto a la verdad se han !antenido diversas teoras, de las cuales las !,s
i!portantes son+ teora de la verdad co!o correspondencia, teora prag!,tica de la
verdad, teora de la coherencia, teora se!,ntica de la verdad y teora de la verdad co!o
redundancia.
1.1 8eora de la verdad co!o correspondencia
La concepcin de la verdad co!o correspondencia es la !,s extendida e i!portante de
las concepciones de la verdad- hasta el punto de %ue el resto de las concepciones parten
de ella o la presuponen, incluso cuando la critican. La for!ulacin cl,sica procede de
Aristteles+
Decir de lo %ue no es %ue es, o de lo %ue es %ue no es, es falso- y decir de lo %ue es %ue
es, y de lo %ue no es %ue no es, es verdadero- de suerte %ue el %ue dice %ue algo es o %ue
no es, dir, verdad o !entira ".etafsica, 9:, 0#
'uesto %ue ;...< se a6usta a la verdad el %ue piensa %ue lo separado est, separado, y %ue
lo 6unto est, 6unto, y yerra a%uel cuyo pensa!iento est, en contradiccin con las cosas,
=cu,ndo existe o no existe lo %ue lla!a!os verdad o falsedad> Debe!os, en efecto,
considerar %u( es lo %ue deci!os. 'ues t? no eres blanco por%ue nosotros pense!os
verdadera!ente %ue lo eres, sino %ue, por%ue t? eres blanco, nosotros, los %ue lo
afir!a!os, nos a6usta!os a la verdad ".etafsica, 9@, 11#
La verdad es, pues, el $a6uste$ del pensa!iento a la realidad. Ai pensa!os %ue las cosas
son co!o real!ente son, nuestros pensa!iento *y nuestro decir* es verdadero. &l
segundo texto explica a %u( clase de a6uste se referira Aristteles. Ai en la realidad a
una cosa le pertenece una propiedad, en el pensa!iento debe decirse eso !is!o. Bay,
pues, un paralelis!o+
realidad+ cosa*propiedad "relacin real de pertenencia#
pensa!iento+ su6eto*predicado "relacin lgica de predicacin#
De a%u deriva la fa!osa definicin !edieval co!o adecuacin+
Adecuacin del entendi!iento a la cosa, seg?n %ue el intelecto afir!a ser lo %ue es, y no
ser lo %ue no es "Ato. 8o!,s de A%uino, Au!a contra gentiles, 9, CD#
&sta teora de la verdad plantea !?ltiples proble!as. &l pri!ero de ellos es el siguiente+
=es (sta la concepcin originaria de la verdad, o deriva de otra a?n !,s originaria> La
respuesta de Beidegger es+
$Ena proposicin es verdadera$ significa+ descubre al ente en s !is!o. 'ropone,
!uestra, per!ite ver el ente en su $estado de descubierto$. &l $ser verdadero$ del a
proposicin ha de entenderse co!o un ser descubridora. La verdad no tiene, pues, en
absoluto la estructura de una concordancia entre el conocer y el ob6eto, en el sentido de
una adecuacin de un ente "su6eto# a otro "ob6eto# "Aer y tie!po, par,grafo CC#
&s decir, la nocin de verdad co!o correspondencia deriva de otra nocin !,s
pri!itiva, la de verdad co!o aletheia, co!o revelacin del ser de las cosas. &l !ostrarse
de la cosa es la verdad originaria, anterior al 6uicio, y, por tanto, anterior a la idea de
correspondencia. La verdad original!ente est, ligada al ser- la prioridad la tienen las
cosas, en las %ue esta!os ineludible!ente instalados y cuya verdad se nos hace presente
y nos interpela. 8odo otro sentido de la verdad est, referido a (ste.
Fo es este, no obstante, el ?nico proble!a, ni el !,s grave, de los %ue plantea esta
concepcin de la verdad. Aie!pre pode!os preguntar+ =%u( significa %ue hay
correspondencia o adecuacin> 'odra!os responder %ue convencional!ente se han
asignado unos signos deter!inados a unos ob6etos deter!inados, de !odo %ue, cuando
aparecen estos signos, nuestra !ente se representa este ob6eto. 'ero, =en %u( consiste
una representacin del ob6eto>
A?n !,s, en esta concepcin de la verdad hay subyacente otra teora filosfica %ue
ta!bi(n ha sido discutida+ el realis!o, el cual supone %ue existe una realidad
independiente de nuestra !ente y %ue esa realidad es b,sica!ente tal co!o se
representa en ella. La representacin consiste en la captacin de la $for!a$ de la
realidad.
'ara las teoras de la correspondencia, la verdad de una proposicin consiste, no en sus
relaciones con otras proposiciones, sino en su relacin con el !undo, en su
correspondencia con los hechos. &n este sentido, la definicin aristot(lica vista !,s
arriba se englobara dentro de una teora de la verdad co!o correspondencia, pues al
e!itir un 6uicio este ser, verdadero si a%uello %ue afir!a!os en el 6uicio se corresponde
con lo %ue existe en la realidad.
Ahora bien, =%u( es esta correspondencia con la realidad>. La relacin de
correspondencia se explica no en t(r!inos de un iso!orfis!o estructural entre
proposicin y hecho, sino en t(r!inos de relaciones pura!ente convencionales entre las
palabras y el !undo. La correspondencia se explica !ediante dos tipos de
$correlacin$+
$convenciones descriptivas$ %ue correlacionan palabras con tipos de situacin, y
$convenciones de!ostrativas$ %ue correlacionan palabras con situaciones especficas
La idea es %ue en el caso de un enunciado tal co!o $tengo prisa$, proferido por s en t,
las convenciones descriptivas correlacionan las palabras con situaciones en las cuales
alguien tiene prisa, y las convenciones de!ostrativas correlacionan las palabras con el
estado de s en t, y el enunciado es verdadero si la situacin especfica correlacionada
con las palabras por "ii# es del tipo correlacionado con las palabras por "i#.
Desde este punto de vista, Austin subraya el car,cter convencional de las correlaciones-
pues cual%uier palabra se podra correlacionar con cual%uier situacin- la correlacin no
depende en !odo alguno del iso!orfis!o entre palabras y !undo.
Austin localiza la verdad del enunciado de %ue $p$ no en su correspondencia con el
hecho de %ue $p$, sino !,s bien en %ue los hechos sean co!o dice $p$, o, seg?n lo
expresa Austin, en las convenciones de!ostrativas %ue correlacionan $p$ con una
situacin %ue es del tipo con el %ue las convenciones descriptivas lo correlacionan.
La idea de la verdad co!o correspondencia es una nocin realista pues distingue,
realista!ente, entre una teora y los hechos %ue describe, y hace posible decir %ue es
verdadera o falsa si concuerda o no concuerda con ellos.
1.1.1 La correspondencia co!o se!e6anza+ la teora russelliana de la verdad co!o
relacin !?ltiple
&n todos los actos cognitivos la !ente se halla en alguna relacin *dudar, creer, percibir,
etc.* con ob6etos distintos de ella !is!a. Ai la creencia fuera una relacin di,dica entre
la !ente y un ob6eto ?nico *lo 6uzgado o credo*, entonces tendra!os %ue aceptar %ue
cuando Gtelo cree %ue Desd(!ona a!a a 7asio o bien no cree nada o cree una falsedad
ob6etiva.
Lla!e!os a los ob6etos de los 6uicios y las creencias ob6etivos. Dado %ue Gtelo cree
falsa!ente %ue Desd(!ona a!a a 7asio, =cu,l es el ob6etivo del 6uicio Desd(!ona a!a
a 7asio> 8endre!os %ue ad!itir %ue hay falsedades ob6etivas. 'ero Hussell cree %ue
esto hace inexplicable la diferencia entre verdad y falsedad+
7uando 6uzga!os con verdad, ha de encontrarse fuera de nuestro 6uicio alguna entidad
%ue de alg?n !odo le $corresponda$- !ientras %ue cuando 6uzga!os con falsedad no
existe tal entidad correspondiente "&nsayos filosficos, p. 221#
Fo cabe la escapatoria de decir %ue los 6uicios verdaderos tienen ob6etivos !ientras %ue
los falsos carecen de ellos. La teora relacional nos obliga a ad!itir %ue, dado %ue hay
6uicios falsos y %ue una relacin re%uiere un relatu!, tanto los 6uicios verdaderos co!o
los falsos tienen ob6etivos.
La salida de la dificultad, seg?n Hussell, consiste en !antener %ue lo %ue cree!os o
6uzga!os no es una sola cosa. 7uando Gtelo cree %ue Desd(!ona a!a a 7asio, no
puede tener ante la !ente un ob6eto si!ple, la falsedad ob6etiva el a!or de Desd(!ona
por 7asio. 'or el contrario, el 6uicio o la creencia es una relacin entre un su6eto "la
!ente %ue 6uzga o cree# y varios ob6etos "los t(r!inos sobre los %ue se 6uzga o cree#. &l
su6eto y los ob6etos son las partes constitutivas del 6uicio o creencia. 7o!o toda
relacin, la de 6uzgar o creer, tiene una direccin. As la creencia anterior de Gtelo
difiere de su creencia de %ue 7asio a!a a Desd(!ona, a pesar de %ue consta de las
!is!as partes constituyentes. Eno de los ob6etos de la creencia ha de ser un ob6eto*
relacin %ue $entrete6a$ los otros ob6etos "la relacin a!or en nuestro caso#. 'ero esta
relacin no es la %ue crea la unidad del co!ple6o total for!ado por el su6eto y los
ob6etos. La relacin a!ar es uno de los ob6etos de la creencia, uno de los ladrillos del
co!ple6o total. &l ce!ento es la relacin creer. As, pode!os representar la creencia de
Gtelo de este !odo+
7reerIGteloIDesd(!ona,a!ar,7asioJJ.
Hussell define entonces la nocin de verdad+
Ai to!a!os una creencia co!o Gtelo cree %ue Desd(!ona a!a a 7asio, deno!inados
a Desd(!ona y 7asio los ob6etos*t(r!ino y a a!ar el ob6eto*relacin. Ai existe una
unidad co!ple6a co!o el a!or de Desd(!ona a 7asio, constituida por los ob6etos*
t(r!ino enlazados por el ob6eto*relacin, esta unidad co!ple6a se deno!ina el hecho
correspondiente a la creencia. As una creencia es verdadera cuando hay una hecho
correspondiente, y falsa cuando no hay un hecho correspondiente "Los proble!as de la
filosofa, p. 112#
La verdad se entiende entonces co!o una relacin de congruencia entre dos entidades
co!ple6as+ la secuencia de cuatro t(r!inos for!ada por Gtelo, Desd(!ona, a!ar y
7asio, en este orden, y la secuencia de tres t(r!inos for!ada por Desd(!ona, a!ar y
7asio, en este orden. Ai hay esa secuencia de tres t(r!inos enlazados por el ob6eto*
relacin en la direccin adecuada, entonces la creencia es verdadera. Ai no la hay o su
direccin no es la !is!a %ue se da en la secuencia de cuatro t(r!inos, entonces es falsa.
1.1.2 Austin+ la correspondencia co!o correlacin convencional
Austin distingue entre $oracin$ y $aseveracin$ o $6uicio$. La oracin es un con6unto
de signos %ue pertenece a un idio!a especfico, la aseveracin es un acto d(bala %ue
afir!a, 6uzga algo con una oracin. Distintas oraciones dichas por la !is!a persona
pueden aseverar lo !is!o. 8a!bi(n una !is!a oracin puede ser usada para hacer
aseveraciones distintas. 'or%ue la pretensin de verdad corresponde a lo aseverado en
un tie!po y ocasin deter!inados, por un su6eto deter!inado. KEna oracin est, hecha
de palabras, un enunciado se hace con palabras ;...< Los enunciados se hacen, las
palabras o las oraciones se usanL "Austin, $:erdad$, p. 121#. :erdad y falsedad se
refieren a las oraciones slo en la !edida en %ue son Kusadas por una persona en cierta
ocasinL para afir!ar un estado de cosas. Fo se aplican, pues, al significado de las
oraciones, sino a lo %ue se hace con ellas. K'ues nunca deci!os &l significado "o
sentido# de esta oracin "o de estas palabras# es verdaderoL "p. 121#.
'or lo tanto, $verdad$ y $falsedad$ no son nociones se!,nticas, corresponden a actos de
habla %ue cu!plen una funcin especfica+ designar una situacin en el !undo y
describirla. Fo todas las oraciones de un lengua6e cu!plen esa funcin y, por ende, no
todas pueden ser verdaderas o falsas.
Las aseveraciones enuncian algo sobre el !undo, pero su relacin con los hechos %ue
enuncian es pura!ente convencional. Bay convenciones descriptivas %ue relacionan las
oraciones usadas con situaciones distintas del !undo, y convenciones de!ostrativas %ue
refieren las palabras a esas situaciones.
En enunciado se dice %ue es verdadero cuando el estado de cosas histrico con el %ue
est, correlacionado por las convenciones de!ostrativas "a%uel al %ue se refiere# es de
un tipo con el %ue la oracin usada al hacerlo est, correlacionada por las convenciones
descriptivas "p. 12M#
&n esta definicin se !antiene la idea de la verdad co!o correspondencia- pero (sta no
consiste en alguna for!a de congruencia entre dos cosas, una lingNstica y otra real, sino
en reglas convencionales %ue rigen el uso de las oraciones para describir el !undo y
referirse a (l. Fo tiene sentido, entonces, representarse la correspondencia al !odo de
una figura, plano o es%ue!a de los hechos. 7ual%uier signo y relacin entre signos, en
un lengua6e, puede estar relacionado, por convenciones, con cual%uier situacin
ob6etiva- para establecer la relacin entre uno y otra slo precisa!os conocer las
convenciones lingNsticas.
La aseveracin, para ser verdadera, re%uiere referirse a algo existente fuera del lengua6e
!is!o. 7ondicin del a aseveracin, frente a la si!ple oracin, es la pretensin de %ue
lo aseverado existe efectiva!ente. Fo cabe, por lo tanto, supri!ir, por redundante, la
nocin de verdad. Oittgenstein y Ha!sey pretendieron %ue $p es verdadero$ no dice
nada !,s %ue $p$. La nocin de $verdad$, concluyeron, no aadira nada a la
proposicin afir!ativa. Austin rechaza ese an,lisis. Ai alguien pone en cuestin $p$, es
necesario afir!ar $p es verdadera$- con ello indica!os %ue no to!a!os $p$ en su puro
significado, sino %ue $p$ se refiere efectiva!ente a algo en el !undo y la usa!os para
hacer esa referencia. &n otras palabras+ decir %ue una aseveracin es verdadera no es
superfluo, por%ue dice 6usta!ente %ue la aseveracin tiene la pretensin de %ue lo
aseverado existe efectiva!ente en el !undo.
A%uello cuya existencia asevera!os es, sin duda, un hecho. 'ero, puesto %ue la relacin
de las aseveraciones con los hechos es convencional, los hechos no est,n ah en el
!undo con independencia del lengua6e, pues la !anera co!o son descritos depende de
nuestras convenciones lingNsticas. 'odra!os decir %ue si bien los hechos existen con
independencia del lengua6e, la !anera co!o son referidos y descritos depende del
lengua6e.
AtraPson critic la concepcin de la verdad de Austin en base a dos ob6eciones+
La aseveracin puede significar lo %ue digo o !i acto de decirlo. :erdadero o falso es lo
pri!ero, no el acto de habla. $Decir la verdad no es una !anera de decir, es decir algo
verdadero$. Fo es, pues, un aconteci!iento fechable, co!o parece indicar el an,lisis de
Austin, sino algo sin fecha, co!?n a !uchas oraciones, dichas en distintos !o!entos y
ocasiones- tene!os la !is!a aseveracin cuando aplica!os la !is!a descripcin al
!is!o referente. La $proposicin$ es el contenido co!?n aseverado en varias oraciones
cuando tienen el !is!o sentido. Lo aseverado seria entonces la proposicin, pero
considerada en su uso para referirnos a algo y describirlo.
AtraPson critica la idea de Austin de %ue el correlato de la aseveracin verdadera es un
hecho del !undo. Ad!ite %ue lo %ue hace verdadera una aseveracin es el hecho
aseverado, pero sostiene %ue $el hecho %ue asevera no es algo en el !undo$. AtraPson
piensa %ue el !undo est, co!puesto de cosas y de relaciones entre cosas, no de hechos.
Las aseveraciones verdaderas seran sobre ob6etos "cosas# %ue est,n en el !undo, pero
lo %ue asevera son hechos y el !undo no est, constituido por ellos.
AtraPson piensa %ue, dadas las dificultades de la nocin de verdad co!o
correspondencia, lo !e6or es abandonarla.
1.1.M Busserl+ verdad co!o cu!pli!iento
Fo puede haber $adecuacin$ entre intelecto y ob6eto !,s %ue en el seno de una previa
referencia del su6eto a la cosa y de una apertura de la cosa al su6eto. La feno!enologa
entiende esa referencia b,sica co!o $intencionalidad$. &n la $actitud natural$
concebi!os el su6eto co!o una cosa entre cosas, con un $interior$, y el !undo real
co!o $exterior$ a ese su6eto %ue, sin e!bargo, es una cosa !,s en (l. Qsa es la %ue
lla!a Busserl $tesis de realidad$. 7oncebir la verdad co!o una correlacin entre cosas
corresponde a esa actitud. 'ero, en la actitud feno!enolgica, suspende!os a%uella
tesis y ve!os, con evidencia, c!o la relacin entre el su6eto y sus ob6etos nos es dada,
antes de cual%uier supuesto, en una estructura abierta, sin un $dentro$ ni un $fuera$. &l
su6eto es el foco de un con6unto de actos dirigidos a ob6etos o situaciones ob6etivas-
(stos no son $externos$ a esos actos sino, 6usta!ente, sus correlatos. La intencionalidad
es la peculiaridad de los actos de conciencia de ser conciencia de algo, de estar referidos
a un ob6eto. &s ta!bi(n la caracterstica de los ob6etos de estar presentes, abiertos al
su6eto. As, el proble!a no consiste en saber c!o se ponen en relacin dos cosas
previa!ente separadas- en la intencionalidad se da, de hecho, ya esa relacin. &l 6uicio
verdadero supone, a la vez, la pretensin de existencia de la situacin ob6etiva 6uzgada,
es decir, la $posicin$ de la existencia del ob6eto por el su6eto, y la presencia del ob6eto
ante el su6eto, en el %ue se da por s !is!o. La relacin de $adecuacin$ slo tiene
sentido en la estructura de la intencionalidad. &n la adecuacin, la ob6etividad
significada y $puesta co!o existente$ "$aseverada$ en otra ter!inologa#, est, ella
!is!a presente, en el !is!o sentido en %ue est, significada. La verdad es una relacin
entre la intencin significativa %ue pone el ob6eto y el darse de (ste ante esa intencin.
Al darse el ob6eto se $cu!ple$ la intencin significativa. La verdad es el cu!pli!iento
en la intuicin de lo significado+ es una $sntesis de identificacin$ entre lo significado y
lo dado tal co!o es significado. Fo hay dos ob6etos, uno significado y otro dado- en la
verdad, el !is!o ob6eto o situacin ob6etiva %ue est, significado est, ta!bi(n dado. La
verdad no es pues una correlacin entre dos ob6etos o situaciones, sino el darse de un
!is!o ob6eto o situacin %ue es 6uzgado "aseverado#.
&sta interpretacin de la verdad i!plica la nocin del $darse por s !is!o$ del ob6eto.
La verdad reside en el 6uicio, pero hay %ue distinguir entre $6uicios !ediatos$, %ue
6ustifican su verdad en otros 6uicios y $6uicios in!ediatos$, cuya 6ustificacin consiste
en su cu!pli!iento en la intuicin. As, la verdad predicativa re!ite a una verdad $ante*
predicativa$, fundada en la evidencia. $&n la 6ustificacin verdadera, los 6uicios
de!uestras su exactitud, su acuerdo, es decir, el acuerdo de nuestro 6uicio con la cosa
6uzgada ella !is!a$. &l acto de 6uzgar es una pretensin de la existencia de un estado de
cosas. $&n la evidencia la cosa o el hecho no es sola!ente presunto sino est, presente (l
!is!o$. La nocin dela verdad co!o adecuacin entre lo significado en el 6uicio y lo
dado en la evidencia supone la nocin de verdad co!o presencia del ob6eto. &n un
sentido originario la verdad exige la patencia del ente.
1.2 8eoras prag!,ticas de la verdad
La teora prag!atista guarda afinidades tanto con la teora de la coherencia co!o con la
de la correspondencia, ad!itiendo %ue la verdad de una creencia deriva de su
correspondencia con la realidad, pero insistiendo ta!bi(n en %ue la verdad de una
creencia se !anifiesta por la supervivencia ante la prueba de la experiencia, su
coherencia con otras creencias.
De acuerdo con $la !,xi!a prag!,tica$, el significado de un concepto viene dado por
la referencia a las consecuencias $pr,cticas$ o $experi!entales$ de su aplicacin. As el
enfo%ue %ue los prag!atistas hacen de la verdad consiste en preguntar por la diferencia
%ue introduce el %ue una creencia sea verdadera.
1.2.1 &l prag!atis!o de 'eirce
'eirce concibe la verdad co!o el t(r!ino de la investigacin. Ena proposicin
verdadera es a%uella %ue sera ob6eto de acuerdo por parte de todos los %ue usan el
!(todo cientfico, si persistiesen en su investigacin durante bastante tie!po. 'eirce no
cree %ue ning?n !(todo, salvo el !(todo cientfico, pueda lograr alcanzar y sustentar
indefinida!ente un consenso de opinin. Los de!,s !(todos slo pueden alcanzar un
acuerdo te!poral. Ain e!bargo, una conclusin consensuada no es verdadera por%ue es
alcanzada por la experiencia y el !(todo cientfico. &s verdadera por ser ob6eto de
concordancia universal.
='or %u( 'eirce tiene tanta confianza en %ue todos los investigadores llegar,n a un
acuerdo y por %u( cree %ue el !(todo cientfico es tan apropiado para este fin> 'eirce
considera %ue la creencia es una disposicin a la accin y %ue la duda es una
interrupcin de esa disposicin debida a una experiencia recalcitrante. La investigacin
es propulsada por la duda, %ue es un estado desagradable %ue trata!os de ree!plazar
con una creencia fi6ada. Algunos !(todos de ad%uirir creencias *el !(todo de la
tenacidad, el !(todo de la autoridad, el !(todo a priori* son inherente!ente inestables,
pero el !(todo cientfico nos per!ite ad%uirir creencias estables. 'ues el !(todo
cientfico se basa en la experiencia de una realidad ob6etiva. La realidad es ob6etiva
por%ue no pode!os controlar nuestras percepciones. As la realidad ob6etiva nos acerca
progresiva!ente a conclusiones %ue refle6an correcta!ente esa realidad. La verdad es,
pues, correspondencia con la realidad, pero la verdad es ta!bi(n lo %ue es satisfactorio
creer, en el sentido de %ue es estable, libre de la perturbacin de la duda.
1.2.2 Ra!es
Ra!es acepta definir una creencia verdadera co!o a%uella %ue $concuerda con la
realidad$, pero insiste en %ue esta expresin es doble!ente a!bigua+ no nos dice %u( se
entiende por realidad ni nos dice %u( tipo de relacin es la concordancia. Ra!es cree
%ue la realidad, o al !enos la realidad con la %ue deben concordar las creencias
verdaderas, depende de la !ente. Fuestras !entes organizan y estructuran la
experiencia por !edio de categoras y conceptos. 'ero Ra!es no cree %ue estos
es%ue!as est(n incorporados innata!ente en nuestras !entes. Aon el descubri!iento
inductivo de nuestros antecesores. ='or %u( decidieron estructurar el !undo con estos
rasgos y no con otros> La respuesta de Ra!es es %ue encontraron !,s ?til organizar el
!undo de esta !anera.
Ra!es cree %ue una !anera en %ue una idea puede concordar con la realidad es
copiando las cosas sensibles. 'ero las ?nicas ideas %ue pueden copiar la realidad son las
ideas obtenidas por fa!iliaridad o trato directo intuitivo. La !ayora de las ideas, en
ca!bio, slo pueden concordar con la realidad en el sentido de resultar ?tiles a %uienes
las creen. &n otras for!ulaciones de su posicin, Ra!es hace e%uivaler lo verdadero con
la creencia cuya adopcin tiene $buenas$ consecuencias pr,cticas, o con a%uella %ue es
$eficaz$.
Lo verdadero, expres,ndolo !uy breve!ente, es slo lo eficaz en nuestro !odo de
pensar, al igual %ue lo correcto es slo lo eficaz en nuestro !odo de co!portarnos
1.2.M La teora consensual de Baber!as
La teora de la verdad de Baber!as es una versin de la teora consensual de 'eirce+ Kla
opinin %ue est, lla!ada a %ue se pongan de acuerdo en ella todos los %ue investigan, es
lo %ue entende!os por verdadL. La versin de Baber!as es+
puedo atribuir un predicado a un su6eto si y slo si cual%uier otro %ue pudiera entrar en
un di,logo con!igo atribuyera el !is!o predicado al !is!o ob6eto. 'ara distinguir los
enunciados verdaderos de los falsos hago referencia al 6uicio de otros *al 6uicio de todos
los otros con los %ue yo pudiera entrar en un di,logo "incluyendo a%u
contraf,ctica!ente a todos los oponentes %ue pudiera encontrar si !i vida fuera
coextensivas con la historia del !undo hu!ano#. La condicin de la verdad de los
enunciados es el asenti!iento potencial de todos los otros "$Oahrheitstheorien$, en
OirSlichSeit und Heflexion+ Testschrift fNr Oalter Achulz, 'fullingen, 1D0M, p. 21D#
Baber!as rechaza las teoras se!,nticas de la verdad, las cuales consideran co!o
propia!ente verdaderas o falsas las oraciones !,s bien %ue los enunciados o las
aserciones. La verdad y la falsedad se predican de los enunciados no en el sentido de
$eventos histricos$ o $episodios lingNsticos$ particulares "e!isiones#, sino en el
sentido de lo %ue es dicho en los actos de habla constatativos.
La verdad tiene %ue ser considerada en un contexto prag!,tico co!o una pretensin de
validez %ue vincula!os a los enunciados al afir!arlos- pretende!os %ue los enunciados
afir!ados son verdaderos. Lo %ue es !enester clarificar, pues, es el $significado de
verdad, i!plicado en la prag!,tica de las aserciones$. U con este fin es necesario
exa!inar no slo las condiciones ba6o las %ue los enunciados son verdaderos, sino las
condiciones ba6o las cuales est, 6ustificada nuestra pretensin de %ue los enunciados son
verdaderos. En enunciado %ue yo afir!o puede ser verdadero sin %ue yo sea capaz de
aducir ning?n argu!ento racional para sostener %ue es verdadero. &n este caso yo estoy
planteando una pretensin %ue no puedo 6ustificar- no soy capaz de !ostrar %ue !erece
ser reconocida por los de!,s. &n este sentido !i pretensin es in6ustificada, infundada,
carece de garanta.
Aeg?n Baber!as no tiene sentido separar los criterios de verdad de los criterios de
asercin garantizada de pretensiones de validez, pues las experiencias de certeza se
caracterizan por una $privacidad$ %ue contrasta con la intersub6etividad de las
pretensiones de validez.
Las pretensiones de validez se distinguen de las experiencias de certeza por su
intersub6etividad- no tiene sentido afir!ar %ue un enunciado es verdadero sola!ente
para un deter!inado individuo ;...< &n ca!bio, la certeza de una percepcin, paradig!a
de las certezas en general, es algo %ue slo se da para el su6eto perceptor y para nadie
!,s. 7ierta!ente %ue varios su6etos pueden co!partir la certeza de %ue han tenido una
deter!inada percepcin- pero entonces tienen %ue decirlo, esto es, hacer la !is!a
afir!acin. Ena pretensin de validez es algo %ue yo presento co!o
intersub6etiva!ente co!probable- una certeza slo puedo !anifestarla co!o algo
sub6etivo, aun%ue pueda ser ocasin para poner en cuestin pretensiones de validez
disonantes- una pretensin de validez es algo %ue planteo- la certeza es algo %ue tengo
"9bd., p. 22M#
La separacin de la verdad respecto del discurso terico podra ta!bi(n !antenerse
sobre la base de alguna de las versiones de la teora de la verdad co!o correspondencia.
&n este caso tendra sentido decir %ue p es verdadero "%ue p $concuerda$ con la
realidad# aun cuando fuera i!posible obtener un reconoci!iento intersub6etivo de su
verdad en la discusin crtica. 'ero, argu!enta Baber!as, las teoras de la verdad co!o
correspondencia est,n cargadas de dificultades insuperables+ tratan en vano de ro!per, y
de salirse de, la esfera del lengua6e. Los hechos con %ue los enunciados verdaderos se
corresponden no son cosas o sucesos en la faz del globo, presenciados u odos o vistos-
son lo %ue los enunciados "cuando son verdaderos# enuncian y co!o tales est,n ligados
a cl,usulas $%ue$. La $correspondencia$ de los enunciados con los hechos no es una
correspondencia entre enunciados lingNstica!ente estructurados y una realidad en s,
lingNstica!ente desnuda. 'or supuesto %ue un enunciado p es verdadero si es el caso
%ue p. A!bos t(r!inos de la relacin pertenecen a $la esfera del lengua6e$ *$el hecho de
%ue p$ tiene la !is!a estructura categorial %ue p. &sto no significa decir %ue los
enunciados versen "o tengan %ue versar# sobre el lengua6e. A%uello sobre %ue un
enunciado versa viene deter!inado por su co!ponente denotativo. De ah %ue los
enunciados versen "o puedan versar# sobre $cosas o sucesos en la faz del globo$. 'ero lo
%ue enuncian es $%ue$ la cosa o suceso al %ue se refieren posee las propiedades, rasgos
o relaciones %ue predicativa!ente se le adscriben. U las operaciones de predicacin, no
!enos %ue las de denotacin, son operaciones en el lengua6e. &sas operaciones tendr,n
(xito, en un nivel, si las convenciones %ue gobiernan el lengua6e en cuestin son
adecuada!ente observadas. U tendr,n (xito, en otro nivel, si el lengua6e resulta
apropiado o adecuado para el ,!bito ob6etual en cuestin. Las teoras de la verdad
co!o correspondencia no sola!ente son incapaces de su!inistrar un criterio de verdad
"=%u( enunciados corresponden a la realidad>#, independiente de la discusin crtica-
ta!poco son capaces de dar una explicacin coherente, ni de la $realidad en s$ con %ue
se dice %ue se corresponden los enunciados verdaderos ni de la relacin de
$correspondencia$ de %ue se habla.
'ara Baber!as no puede haber separacin entre los criterios de verdad y los criterios de
dese!peo argu!entativo de pretensiones de verdad. La cuestin, =ba6o %u(
condiciones es un enunciado verdadero> &s inseparable de la cuestin, =ba6o %u(
condiciones est, 6ustificada la asercin de ese enunciado>. La idea de verdad slo puede
desarrollarse por referencia al dese!peo discursivo de pretensiones de validez. De
acuerdo con esto, la lgica de la verdad de Baber!as adopta la for!a de una lgica del
discurso terico, esto es, de un exa!en de las condiciones "prag!,ticas# de posibilidad
de alcanzar un consenso racional !ediante argu!entacin.
A la teora consensual de la verdad se le puede ob6etar %ue parece basarse en una
$confusin categorial$, en una confusin entre el significado de $verdad$ y los !(todos
para llegar a enunciados verdaderos. &l significado de $es verdadero$, cuando se predica
de un enunciado, no parece ser id(ntico al significado de $existe "o puede existir# un
consenso racional "es decir, argu!entativa!ente fundado# acerca de %ue el enunciado es
verdadero$. Baber!as responde a esta crtica sealando %ue (l no est, ligando el
significado de la verdad a !(todos o estrategias particulares de obtencin de la verdad
sino a las $condiciones prag!,ticas universales$ del discurso en general. &l significado
de $es verdadero$ s es id(ntico al significado de $existe un consenso racional acerca de
%ue el enunciado es verdadero$. La razn es la siguiente+ desde un punto de vista
prag!,tico, el ob6eto de an,lisis es el t(r!ino $verdadero$ pero entendido no co!o un
predicado de los enunciados, sino co!o la pretensin %ue planteo cuando afir!o
enunciados. Lo %ue est, en cuestin, entonces, no es el significado se!,ntico de un
t(r!ino, sino el significado prag!,tico de un acto, del acto de plantear una pretensin
de verdad. U el significado de una pretensin tiene %ue ser analizado en t(r!inos del
!odo en %ue puede resolverse sobre ella, del !odo en %ue puede ser 6ustificada.
Gtra ob6ecin a las teoras consensuales es %ue la $verdad$ es un concepto nor!ativo y
por tanto no puede ligarse a la obtencin de un consenso de facto+ no cual%uier
consenso %ue se alcance puede servir co!o garanta de verdad. =7!o distinguir un
acuerdo alcanzado discursiva!ente, un acuerdo $racional$, de una !era apariencia de
racionalidad> =7u,les son los criterios de un consenso $verdadero$ por oposicin a uno
$falso$> Ai no existen criterios fiables para decidir esta cuestin, la teora del discurso
de Baber!as no habra hecho !,s %ue ca!biar de sitio el proble!a de la verdad, pero
sin contribuir sustancial!ente a su clarificacin. Ade!,s, si los criterios %ue sirven para
distinguir un consenso $fundado$ de un consenso ilusorio exigen una 6ustificacin
discursiva, nos esta!os !oviendo en un crculo- y si no hay crculo, es %ue he!os
trascendido el !arco del consenso al establecer ese !arco. La ?nica for!a de escapar a
este dile!a, seg?n Baber!as, es recurrir a una caracterizacin del consenso
$racional!ente !otivado$ *un consenso alcanzado slo en virtud de la $fuerza del !e6or
argu!ento$* entera!ente en t(r!inos de las $propiedades for!ales del discurso$. La
idea rectora es %ue un consenso est, $racional!ente !otivado$ o es un $consenso
fundado$ si slo se debe a la fuerza de los argu!entos e!pleados "y no, por e6e!plo, a
las coacciones externas e6ercidas sobre el discurso o a las coacciones $internas$
incrustadas en la propia estructura del discurso#.
1.M 8eoras de la coherencia
'ara las teoras de la coherencia, la verdad consiste en las relaciones de coherencia entre
un con6unto de creencias. &sta teora se aplica, ante todo, en las ciencias for!ales, y
suele lla!arse consistencia. 8a!bi(n se aplica en las ciencias e!pricas+ un enunciado
es aceptado co!o cientfico si puede integrarse en el cuerpo vigente de conoci!ientos
cientficos.
Aeg?n esta teora una proposicin no es verdadera por%ue se corresponda con la
realidad, sino por%ue es coherente "o consistente# con todas las de!,s proposiciones
%ue se consideran verdaderas. &s decir, el criterio de verdad es la coherencia del dato o
proposicin con el resto del saber ya aceptado, y dotado, a su vez, de coherencia interna.
La debilidad de la teora de la correspondencia es %ue intenta establecer la verdad sobre
datos seguros, fi6os, y bien probados %ue sirven de funda!ento, y, sin e!bargo, ese
!o!ento de funda!entacin sie!pre acaba !ostrando su fragilidad. 'or eso los
coherentistas proponen no acudir a bases supuesta!ente seguras, sino considerar
verdadera una proposicin cuando puede insertarse en un con6unto de proposiciones %ue
se tienen ya por verdaderas.
Ae trata, por tanto, de un criterio contextual, en virtud del cual nada es verdadero o falso
aislada!ente, sino %ue cada dato est, esencial!ente referido y conectado con el resto
del siste!a de saberes en %ue se integra. Alo as cobra sentido y valor de verdad. A este
respecto, dice Begel+
Lo verdadero es el todo- pero el todo es la esencia %ue se realiza a trav(s de su
desarrollo. &s preciso afir!ar %ue el Absoluto es esencial!ente resultado, %ue slo el
final es lo %ue es en verdad. &n esto precisa!ente consiste su naturaleza+ ser real, su6eto
al desarrollo de s !is!o "Teno!enologa del espritu#
8a!poco esta teora est, libre de proble!as+
&l hecho de %ue un con6unto de proposiciones no se contradigan y se apoyen solo
garantiza, co!o !,xi!o, %ue si una es verdadera, lo sean las de!,s. 'ero podra ser
falso todo el con6unto. La consistencia es, por tanto, un re%uisito necesario para %ue un
con6unto de proposiciones sea verdadero, pero no suficiente.
&n un siste!a axio!,tico la verdad de una proposicin depende de a verdad de los
axio!as- pero, =c!o saber %ue estos son verdaderos>
En siste!a for!al, ade!,s de consistente, ha de ser co!pleto- pero el teore!a de /Vdel
!uestra en los siste!as for!ales no se pueden satisfacer a la vez los re%uisitos de
consistencia y el de co!pletud.
La coherencia puede ser un buen criterio de verdad para los siste!as de creencias.
Lo %ue distingue una teora de la coherencia es si!ple!ente la idea de %ue nada puede
contar co!o una razn para sostener una creencia excepto otra creencia. &l defensor de
esta idea rechaza por ininteligible la de!anda de funda!entos o fuentes de 6ustificacin
de una especie distinta "Davidson, D., .ente, !undo y accin, 'aids, p. 0D#
La cuestin estriba en c!o saber %ue el con6unto de creencias es verdadero+
Bay una presuncin a favor de la veracidad general de las creencias de cual%uiera,
incluyendo las nuestras. 'or lo tanto, resulta vano %ue alguien exi6a una seguridad
adicional, pues ello no hara sino incre!entar el con6unto de sus creencias. 8odo lo %ue
se re%uiere es %ue la creencia sea verdica por su propia naturaleza ;...< 8odas las
creencias est,n 6ustificadas en el siguiente sentido+ est,n apoyadas por !uchas otras
creencias ;...< y la presuncin se incre!enta cuanto !,s a!plio e i!portante sea el
cuerpo de creencias con el %ue la creencia en cuestin es coherente "9bd., p. 40 y D3#
'ara Davidson, la coherencia no es una definicin de la verdad.
La verdad es correspondencia con el !odo co!o son las cosas. Ai una teora de la
coherencia acerca de la verdad es aceptable, ha de estar de acuerdo con una teora de la
correspondencia "9bd., p. 00#
'or eso, la coherencia es slo un criterio de aceptabilidad de una proposicin co!o
verdadera. Lo cual no i!plica %ue necesaria!ente lo sea.
1.M.1 La teora de Wrand Wlanshard
Ai la realidad fuera algo co!pleta!ente externo a la !ente, no tendra!os ning?n
conoci!iento, excepto por !era suerte, y nos vera!os obligados a aceptar el
escepticis!o general. 'ara evitar esto debe!os postular %ue los pensa!ientos de
nuestras !entes no son co!pleta!ente distintos de las cosas del !undo en %ue
pensa!os. 'ensar algo es tenerlo en alg?n grado en la !ente. As, con el supuesto
adicional de %ue el !undo es coherente, parece seguirse %ue nuestras creencias son
probable!ente verdaderas en la !edida en %ue sean ellas !is!as coherentes. La
coherencia de la creencia es evidencia de su verdad.
Aun%ue el t(r!ino coherencia es usado de diversas !aneras, pode!os decir %ue un
con6unto de creencias es coherente si, y slo si, "1# es un con6unto consistente, y "2#
cada !ie!bro del con6unto es i!plicado "deductiva o inductiva!ente# por todos los
de!,s en con6uncin o, seg?n algunas versiones, por cada uno de los de!,s
individual!ente. La verdad pura sera un con6unto de creencias plena!ente coherente,
entendiendo por tal un siste!a de creencias %ue satisficiera "1# y "2# en su versin !,s
fuerte. Aun%ue nunca lograre!os real!ente el ideal de !utuo entraa!iento entre
creencias individuales, a veces nos acerca!os a (l.
Bay una ob6ecin persistente a las teoras coherentistas+ puede existir un n?!ero
indeter!inado de siste!as de creencias o proposiciones %ue sean interna!ente
consistentes pero inco!patibles entre s. Al ser !utua!ente inco!patibles no podran
ser todos verdaderos. A fin de excluir la posibilidad de %ue hubiera dos siste!as as,
Wlanshard dice %ue sera verdadero a%u(l $en el %ue todo lo real y lo posible est(
incluido coherente!ente$. &s decir, el siste!a verdadero es a%u(l %ue nos da una
i!agen co!pleta del universo.
'uesto %ue Wlanshard no cree %ue se alcance 6a!,s la verdad pura, ofrece una teora de
los grados de verdad. KEn 6uicio dado es verdadero en el grado en el %ue su contenido
podra !antenerse a la luz de un siste!a co!pleto de conoci!iento, falso en el grado en
el %ue su aparicin all exigira transfor!acinL.
1.M.2 La teora de la coherencia de 7arnap y Feurath
Feurath y 7arnap no negaban la posibilidad de proposiciones verdaderas lgica!ente
independientes entre s, pero, convencidos de %ue no tena sentido co!parar
proposiciones con hechos, concluyeron %ue la verdad debe consistir en alguna relacin
%ue las proposiciones guardan entre s.
Feurath y 7arnap sostuvieron %ue, si las proposiciones b,sicas deban servir co!o los
funda!entos intersub6etivos de la ciencia, tendran %ue referirse, no a experiencias
privadas, inco!unicables, sino a ob6etos y eventos p?blicos, fsicos. Los enunciados %ue
a pri!era vista se refieren a fen!enos !entales deben ser reducibles a enunciados
sobre fen!enos fsicos. &sta es la tesis fisicista aplicada a la filosofa de la !ente. &l
criterio de Feurath y 7arnap despo6aba a los enunciados b,sicos de su posicin
privilegiada+ de6aban de ser incorregibles. 7o!o afir!a Feurath+
Fo hay for!a de to!ar oraciones protocolares concluyente!ente establecidas co!o
punto de partida de las ciencias. Fo hay una tabula rasa. Ao!os co!o navegantes %ue
tienen %ue transfor!ar su nave en pleno !ar, sin 6a!,s poder des!antelarla en un di%ue
de carena y reconstruirla con los !e6ores !ateriales "Feurath, G., $'roposiciones
protocolares$, en Ayer, A.R., &l positivis!o lgico, pp. 21X*21C, p. 213#
'ara Feurath y 7arnap era !etafsico hablar de co!parar los enunciados con los
hechos, o con la realidad, o con la experiencia. =Yu( podra ser dicha co!paracin sino
una relacin lgica> 'ero la ?nica cosa con la %ue un enunciado puede estar en una
relacin lgica es otro enunciado. La verdad debe consistir, pues, en alguna relacin
lgica entre las proposiciones+ independencia lgica, entraa!iento o inco!patibilidad.
7oncluyeron as %ue para %ue un enunciado sea verdadero es necesario y suficiente %ue
for!e parte de un siste!a consistente.
='ero c!o responder a la ob6ecin de %ue podra haber !,s de un siste!a de
proposiciones, todos interna!ente consistentes, pero todos inco!patibles entre s> U en
tal caso, =c!o saber cu,l es el verdadero>
Aeg?n 7arnap, el siste!a verdadero es el aceptado por los cientficos de nuestro !undo
civilizado. Lo %ue 7arnap %uiere decir no es %ue ese siste!a incluira la proposiciones
de %ue (l es el siste!a aceptado por los cientficos de nuestra civilizacin. 'ues cada
siste!a podra incluir sin contradiccin esa proposicin. Lo %ue 7arnap %uiere decir es
%ue sola!ente uno de esos siste!as sera aceptado de hecho por los cientficos. &n
realidad, la solucin de 7arnap era una desviacin hacia el prag!atis!o, pues las
teoras prag!,ticas de la verdad se caracterizan por definir la verdad en t(r!inos de
aceptacin.
1.C 8eora se!,ntica de la verdad
8arsSi propuso una concepcin de la verdad a la %ue deno!in $concepcin se!,ntica
de la verdad$. La lla! as por la verdad se define en la teora en t(r!inos de otros
conceptos se!,nticos, especial!ente el de satisfaccin. 8arsSi define la se!,ntica co!o
el estudio de ciertas relaciones %ue se dan entre las expresiones de un lengua6e y los
ob6etos a los %ue se refieren. Los conceptos se!,nticos, co!o los de designacin,
satisfaccin y el propio concepto de verdad, ponen en relacin expresiones y ob6etos.
8arsSi co!parta con !uchos de los positivistas lgicos el ideal del fisicis!o+ la
creencia en %ue todos los conceptos deban ser reducibles a conceptos de la lgica, la
!ate!,tica y la fsica. As su proyecto era definir todos los conceptos se!,nticos, salvo
el de satisfaccin, en t(r!inos del concepto de verdad, definir la verdad en t(r!inos de
satisfaccin y, por ?lti!o, definir satisfaccin en t(r!inos fsicos y lgico*!ate!,ticos.
8arsSi considera %ue una definicin satisfactoria de la verdad debe cu!plir dos
re%uisitos+ debe ser !aterial!ente adecuada y for!al!ente correcta. La pri!era
exigencia pone l!ites al contenido posible de cual%uier definicin satisfactoria- la
segunda pone l!ites a su for!a posible.
1.C.1 Adecuacin !aterial+ el es%ue!a :
8arsSi propone $captar el significado de una vie6a nocin$ %ue lla!a $la concepcin
aristot(lica cl,sica de la verdad$, tal co!o se expresa en la .etafsica de Aristteles+
Decir de lo %ue es %ue no es o de lo %ue no es %ue es, es falso, !ientras %ue decir de lo
%ue es %ue es o de lo %ue no es %ue no es, es verdadero "1111b23#
7o!o condicin de adecuacin !aterial propone %ue cual%uier definicin aceptable de
la verdad debe tener co!o consecuencia todas las e6e!plificaciones del es%ue!a+
":# o es verdadera si, y slo si, p,
donde p es ree!plazable por cual%uier oracin del lengua6e al %ue se refiere la palabra
verdadera y o es ree!plazable por un no!bre de esa oracin.
8arsSi subraya %ue ni el es%ue!a : *%ue no es una oracin sino slo un es%ue!a de
oracin* ni caso particular alguno del es%ue!a pueden considerarse una definicin de la
verdad. &l es%ue!a : sirve para fi6ar la extensin, no es significado o intencin, del
predicado $verdadera$. Act?a co!o un filtro, excluyendo cual%uier definicin %ue no
entrae todos los casos particulares del es%ue!a, todas las :*oraciones.
7ada e%uivalencia de la for!a : puede considerarse una definicin parcial de la verdad
y la con6uncin lgica de todas las e%uivalencias constituira una definicin general. Ain
e!bargo, tal definicin slo sera alcanzable en un lengua6e %ue contuviera un n?!ero
finito de oraciones. 'ero si tene!os infinitas oraciones, la definicin tendra %ue ser
infinita!ente larga, lo cual es i!posible. 8a!poco podra convertirse el es%ue!a : en
una definicin de la verdad por generalizacin universal. La expresin+
$p "p es verdadera sii p#
est, !al for!ada, ya %ue no pode!os cuantificar en el interior de co!illas.
La solucin %ue 8arsSi arbitra consiste en apelar a la t(cnica de la recursin.
Auponga!os %ue tuvi(ra!os un lengua6e con un n?!ero finito de oraciones "para
si!plificar la exposicin supondre!os slo dos oraciones#+
La nieve es blanca
La hierba es verde
Ena definicin de la verdad para este lengua6e sera una con6uncin de las dos :*
oraciones respectivas+
La nieve es blanca es verdadera sii la nieve es blanca
La hierba es verde es verdadera sii la hierba es verde.
Ai a este lengua6e si!ple le aadi!os las conectivas veritativo*funcionales no, y, o,
si ... entonces, tendre!os un n?!ero infinito de oraciones, dado %ue estas conectivas
pueden aplicarse reiterada!ente. La solucin es definir recursiva!ente la verdad,
aadiendo a las dos :*oraciones anteriores las cl,usulas+
Ai A es cual%uier oracin, no A es verdadera sii A no es verdadera
Ai A y W son cuales%uiera oraciones, A y W es verdadera sii A es verdadera y W es
verdadera
Ai A y W son cuales%uiera oraciones, A o W es verdadera sii A es verdadera o W es
verdadera
Ai A y W son cuales%uiera oraciones, si A, entonces W es verdadera sii A no es
verdadera o W es verdadera.
1.C.2 7orreccin for!al+ la parado6a del !entiroso
8arsSi considera %ue cual%uier definicin adecuada de verdad debe hacer frente a la
parado6a del !entiroso, y, ta!bi(n, %ue los conceptos se!,nticos incorporados al
lengua6e cotidiano se resisten a cual%uier intento de caracterizacin exacta y dan lugar a
parado6as. De ah la necesidad de especificar la estructura for!al y el vocabulario del
lengua6e en el %ue se den esos conceptos.
'ara describir algunas de las condiciones !,s especficas %ue deben satisfacer los
lengua6es en %ue "o para los %ue# se da la definicin de la verdad, 8arsSi expone la
parado6a del !entiroso en versin de LuSasiePicz+
"1# La oracin escrita en esta la lnea C de esta p,gina no es verdadera.
Ai abrevia!os esta oracin con el no!bre o, de acuerdo con el es%ue!a : tene!os+
"2# o es verdadera sii la oracin escrita en la lnea C de esta p,gina no es verdadera.
'ero teniendo en cuenta la abreviatura acordada, establece!os la siguiente identidad+
"M# o es id(ntica a la oracin i!presa en la lnea C de esta p,gina.
U por sustitutividad de los id(nticos, pode!os insertar, en virtud de "M#, o en el lugar de
su id(ntica en "2#, obteniendo la contradiccin
"C# o es verdadera sii o no es verdadera.
8arsSi seala %ue hay dos supuestos esenciales %ue conducen a la parado6a+
Yue el lengua6e es se!,ntica!ente cerrado, i.e., %ue el lengua6e usado contiene, ade!,s
de sus expresiones, los no!bres de estas expresiones, as co!o los t(r!inos se!,nticos
*co!o verdadero* referidos a las oraciones de este lengua6e- y %ue todas las oraciones
%ue deter!inan el uso adecuado de este t(r!ino pueden afir!arse en el lengua6e.
Yue en este lengua6e valen las leyes usuales de la lgica
8odo lengua6e %ue satisfaga "i# y "ii# es inconsistente. 8arsSi considera %ue no se debe
rechazar "ii# y, por tanto, afir!a %ue hay %ue rechazar "i#. &sto significa %ue he!os de
utilizar lengua6es distintos al tratar los proble!as se!,nticos y, en particular, al definir
la verdad+ el lengua6e*ob6eto a cuyas oraciones se aplica la definicin %ue busca!os y el
!etalengua6e en cuyos t(r!inos debe!os construir la definicin para a%u(l. As, la
definicin de la verdad ser, relativa a un lengua6e. La parado6a del !entiroso %ueda
neutralizada. La oracin !entirosa ser, ahora del tipo+
&sta oracin no es verdadera*en*el*lengua6e*ob6eto.
'ero esta ?lti!a oracin es una expresin del !etalengua6e. Ahora bien, las oraciones
del !etalengua6e no son verdaderas o falsas en el lengua6e ob6eto, por%ue no est,n en el
lengua6e ob6eto. As la oracin !entirosa no tiene la propiedad %ue afir!a tener. 'or
tanto, es falsa. &xacta!ente es falsa*en*el*!etalengua6e.
La definicin de la verdad y de todas las :*oraciones entraadas por ella han de
for!ularse en el !etalengua6e. &n ca!bio, el s!bolo p del es%ue!a : representa una
oracin cual%uiera del lengua6e*ob6eto. 8oda oracin %ue figure en el lengua6e*ob6eto
debe figurar ta!bi(n en el !etalengua6e, i.e., el !etalengua6e debe contener el lengua6e*
ob6eto co!o parte propia. &n el es%ue!a : el s!bolo o representa el no!bre de la
oracin representada por p. As el !etalengua6e debe ser lo suficiente!ente rico para
per!itir la construccin de un no!bre de cada una de las oraciones del lengua6e*ob6eto.
Ade!,s, el !etalengua6e debe contener t(r!inos lgicos, tales co!o sii. Tinal!ente,
es deseable %ue los t(r!inos se!,nticos se introduzcan en el !etalengua6e slo por
definicin.
1.C.M 'redicados y satisfaccin
.,s arriba se di6o %ue 8arsSi utilizaba, en su definicin de la verdad, t(cnicas
recursivas. =Yu( consigue con la recursin, aparte de la posibilidad de construir infinitas
oraciones con un n?!ero finito de ele!entos> Lo %ue se consigue por !edio de ella es
dar cuenta del !odo en %ue la estructura de las oraciones co!puestas repercute en sus
condiciones de verdad. 9ntente!os aplicar la recursin a la siguiente oracin+
Alguien fu!a y bebe
Qsta es una oracin co!puesta, pero no e%uivale a
Alguien fu!a y alguien bebe
La pri!era i!plica a la segunda, pero la segunda no i!plica a la pri!era. Lo %ue la
segunda o!ite y la pri!era asevera es %ue al !enos una !is!a persona re?ne a!bos
vicios. &sto !uestra %ue hay oraciones co!puestas cuyos co!ponentes no son ellos
!is!os oraciones. .,s bien ocurre %ue la oracin original se for!a a partir de
oraciones abiertas+
x fu!a
y
x bebe
%ue son unidas por con6uncin+
x fu!a y x bebe-
y luego el resultado es cuantificado existencial!ente+
'ara alg?n x, x fu!a y x bebe.
Ahora bien, las oraciones abiertas no son verdaderas ni falsas. La idea de 8arsSi fue
introducir un concepto se!,ntico !,s general %ue el de verdad, definirlo
recursiva!ente, y en t(r!inos de (l definir la verdad. &se es el concepto de satisfaccin.
Aatisfaccin es a oraciones abiertas lo %ue verdad es a oraciones cerradas. Lo %ue
satisface a una oracin abierta con una sola variable son ob6etos y lo %ue satisface a una
oracin abierta con n variables son n*tuplas de ob6etos. Dados %ue las fr!ulas pueden
contener cual%uier n?!ero de variables libres, y en el caso extre!o de las oraciones
cerradas no contienen variables libres, 8arsSi define la relacin de satisfaccin co!o
algo %ue se da, no entre ob6etos y fr!ulas o entre n*tuplas de ob6etos y fr!ulas, sino
entre secuencias infinitas de ob6etos y fr!ulas. Las secuencias difieren de los
con6untos en %ue son ordenadas. As el con6unto Ix,yJ es id(ntico al con6unto Iy,xJ,
pero la secuencia Ix,yJ no es id(ntica a la secuencia Iy,xJ. La razn de la ordenacin
es asegurar %ue haya una correspondencia uno*a*uno entre los !ie!bros de las
secuencias y las variables, %ue habr,n sido nu!eradas u ordenadas de alg?n !odo. &sto
no i!pide %ue el !is!o ob6eto aparezca varias veces en la !is!a secuencia. 'or otro
lado, de cada secuencia slo nos i!portan los pri!eros n ob6etos, donde n es el n?!ero
de variables distintas libres %ue aparecen en la fr!ula %ue esta!os considerando. &l
resto de los !ie!bros de la secuencia son ignorables.
1.C.C Definicin recursiva de satisfaccin y verdad
Aun%ue 8arsSi dio su definicin para un lengua6e !,s si!ple de teora de con6untos, se
pueden definir satisfaccin y verdad para un lengua6e de pri!er orden L1+
Aintaxis de L1
:ocabulario+
7onstantes individuales+ a, b, c, ...
:ariables individuales+ x1, x2, xM, ...
Letras predicativas+ T, /, B, ...
7onectivas+ Z, [.
7uantificadores+ $, \
Definicin de fr!ula
Ena letra predicativa de n lugares seguida de n constantes o variables individuales es
una fr!ula at!ica
Ai A es una fr!ula, ZA ta!bi(n lo es
Ai A y W son fr!ulas, A [ W es una fr!ula
Ai A es una fr!ula y vS es una variable, entonces \vSA y $vSA son fr!ulas
Definicin recursiva de verdad
Axio!as de referencia y denotacin
a se refiere a 7hurchill
b se refiere a Ruan 'ablo 99
................................. "hasta co!pletas todos los ob6etos de nuestro lengua6e#
T denota la propiedad de fu!ar
/ denota la propiedad de beber
B denota la propiedad de a!ar
................................. "hasta co!pletar todas las propiedades de nuestro lengua6e#
Definicin de satisfaccin y verdad
Ena secuencia A satisface Aa1... an "donde A es un predicado n*,dico seguido de n
constantes individuales# sii los ob6etos a los %ue se refieren a1,..., an est,n
relacionados en A.
Ena secuencia A satisface Av1 ... vn "donde A es un predicado n*,dico seguido de n
variables individuales# sii los !ie!bros de la secuencia s1 ... snest,n en la relacin A.
Ena secuencia A satisface ZA sii no satisface A.
Ena secuencia A satisface A [ W sii satisface A y satisface W
Ena secuencia A satisface \vSA sii A es satisfecha por al !enos una secuencia A %ue
difiere de A en a lo su!o el S*(si!o t(r!ino.
Ena secuencia A satisface $vSA sii A es satisfecha por toda secuencia A %ue difiere de
A en a lo su!o el S*(si!o t(r!ino.
Ena oracin es verdadera sii es satisfecha por todas las secuencias y falsa si no es
satisfecha por ninguna.
La cl,usula "1# se aplica a oraciones at!icas cerradas. Dado %ue no contienen
variables libres, estas oraciones son satisfechas por todas las secuencias o por ninguna.
La secuencia dada A es irrelevante- no i!porta cu,les sean sus !ie!bros ni cu,l sea su
orden. &n este caso, lo !is!o podra!os igualar la verdad a satisfaccin por todas las
secuencias %ue a satisfaccin por ninguna. La decisin adoptada est, deter!inada por
las cl,usulas siguientes y el deseo de !antener la unifor!idad. &n el caso !on,dico,
Ta es satisfecha por una "y por tanto por toda# secuencia cuando el ob6eto al %ue se
refiere el no!bre a tiene la propiedad denotada por T. "&n nuestro caso, cuando
7hurchill fu!a#.
La cl,usula "2# est, diseada para oraciones at!icas abiertas. A%u las variables libres
est,n en correlacin biunvoca con los ob6etos de la secuencia y por tanto nos i!porta
decisiva!ente (sta. As, Tx2 es satisfecha por IAsia, 7hurchill, el sol, 0,...J por%ue el
segundo !ie!bro de la secuencia fu!a, pero no es satisfecha por la secuencia IAsia,
Ruan 'ablo 99, el sol, 0,...J por%ue el segundo !ie!bro de la secuencia no fu!a. 7o!o
pode!os colocar cual%uier ob6eto en cual%uier lugar de las secuencias, una oracin
abierta slo podra ser satisfecha por todas las secuencias si todo ob6eto del !undo
tuviera la propiedad denotada por el predicado.
Las cl,usulas "M# y "C# son obvias. La cl,usula "X# se aplica a oraciones cerradas por
cuantificacin existencial. &l procedi!iento produce de nuevo condiciones de todo o
nada. Aea la oracin+
Alguien fu!a y bebe,
%ue pode!os traducir co!o+
\x1 "Tx1 [ /x1#.
U sea la secuencia A
I0, ]frica, Azorn, 8arsSi, ...J.
A satisface a%uella oracin ya %ue hay una secuencia A %ue difiere de A slo en el
pri!er lugar y %ue satisface Tx1 [ /x1, a saber+
I7hurchill, ]frica, Azorn, 8arsSi, ...J.
Lo %ue se exige es %ue A difiera de A en a lo su!o el pri!er lugar, pero no necesita
hacerlo, en cuyo caso A ^ A. Ahora bien, si A satisface la oracin, toda secuencia la
satisface. Gbs(rvese %ue nada depende del lugar %ue se le haya asignado a la variable en
el ordena!iento. Ai tuviese otro ndice, sie!pre habra una secuencia %ue tendra a
7hurchill en el lugar apropiado, ya %ue nada i!pide la repeticin de un ob6eto en la
secuencia.
La cl,usula "3# se aplica a oraciones cerradas por cuantificacin universal. Aea la
oracin+
8odos los fu!adores son bebedores,
%ue pode!os traducir as+
$x1 Z"Tx1 [ Z/x1#
haciendo uso de la e%uivalencia A _ W ^def Z"A [ ZW#. U sea la secuencia A+
I'latero, 8arsSi, 'ub 'ri!os, D, ...J.
Ahora se re%uiere %ue toda secuencia A %ue difiera de A en a lo su!o el pri!er lugar
satisfaga+
Z"Tx1 [ Z/x1#.
A lo su!o, es decir, incluso A debe satisfacer la anterior oracin abierta. 'ero A
satisface esa oracin abierta. 'or "1#, A no satisface Tx1+ el burro 'latero no es dado a
la bebida. As, por "C#, A no satisface Tx1 [ Z/x1. 'or tanto, por "M#, A satisface
Z"Tx1 [ Z /x1#. 'ero ahora no basta con %ue A satisfaga la anterior oracin abierta. Ae
precisa %ue toda secuencia %ue sea co!o A excepto en a lo su!o el pri!er lugar lo haga
ta!bi(n. 8o!e!os la secuencia A
IAdolfo Au,rez, 8arsSi, 'ub 'ri!os, D, ...J.
A no satisface la oracin abierta resultante de eli!inar el cuantificador. 'ues, por "2#, A
satisface Tx1, ya %ue Adolfo Au,rez fu!a. 'ero satisface [/x1 ya %ue al parecer no
bebe. As, por "C#, satisface la con6uncin Tx1 [ Z/x1. 'or tanto, por "M#, no satisface
Z"Tx1 [ Z/x1#. &sto es lo %ue cabra esperar, ya %ue la oracin es falsa en este caso.
As, puesto %ue A no satisface la oracin abierta resultante de eli!inar el cuantificador,
A no satisface la oracin cuantificada universal!ente.
&n esta teora, cada predicado debe ser dotado de su correspondiente axio!a de
denotacin, lo %ue %uiere decir %ue lengua6es con diferentes predicados tienen diferentes
definiciones de satisfaccin y por lo tanto de verdad. As, en 8arsSi no hay una
definicin sino !uchas. 8arsSi afir!a %ue esta li!itacin surge del hecho de %ue una
oracin puede ser verdadera en un lengua6e y carente de significado en otro. As, su
definicin no es estricta!ente del concepto de verdad, sino del concepto deverdad*en*L,
donde L es el lengua6e ob6eto %ue esta!os considerando.
='or %u(, seg?n "0#, se identifica la verdad con satisfaccin por todas las secuencias>
Dado %ue la verdad se predica de oraciones y las oraciones son cerradas y no contienen
variables libres, ser,n satisfechas por todas las secuencias o por ninguna. 'ues al no
contener variables libres el %ue una secuencia satisfaga a una oracin no depende de
cu,les sean los t(r!inos de la secuencia. Ai cual%uier secuencia satisface a la oracin,
todas lo har,n- y si una no la satisface, ninguna lo har,. 7on un e6e!plo. Aea la oracin+
Z$x1'x1
y sea A una secuencia cual%uiera. 'or "M#, A satisface esa oracin sii no satisface
$x1'x1,
y, por "3#, A no satisface :x1'x1 sii hay alguna secuencia A %ue difiere en A en a lo
su!o el pri!er lugar y %ue no satisface 'x1. 'ero, por "2#, A no satisface 'x1 sii el
pri!er t(r!ino de A no fu!a. Ahora bien, sie!pre podre!os tener una secuencia %ue
difiera de A slo en tener co!o pri!er t(r!ino un no fu!ador. 'or tanto, Z$x1'x1 es
satisfecha por cual%uier secuencia arbitraria de ob6etos.
1.X 8eoras deflacionarias
1.X.1 La teora de la redundancia
A la base de las teoras de este tipo se encuentra la lla!ada tesis de la e%uivalencia. Au
pri!era for!ulacin se encuentra en Leibniz+ KQstas coinciden+ la proposicin L y la
proposicin L es verdaderaL. &n $&l pensa!iento$ Trege la enuncia as+ K:ale la pena
advertir %ue la oracin Buelo el aro!a de violetas tiene 6usta!ente el !is!o contenido
%ue la oracin &s verdad %ue huelo el aro!a de violetas. As parece %ue nada se aade
al pensa!iento por%ue yo le adscriba la propiedad de la verdadL. La for!ulacin !,s
concisa se encuentra en las 9nvestigaciones filosficas de Oittgenstein+
p es verdadera ^ p
p es falsa ^ no p "`1M3#
La pri!era for!ulacin elaborada de la teora de la redundancia se debe a Ha!sey. Los
tericos de la redundancia no afir!an %ue el predicado es verdadera repite lo %ue ya ha
sido dicho en la oracin a la %ue se aplica. Lo %ue afir!a es %ue ese predicado es vacuo
por%ue no dice nada nuevo. Decir %ue una proposicin es verdadera e%uivale a aseverar
la proposicin !is!a. :erdad o verdadero no tiene un significado aseverativo
independiente. Las teoras tradicionales %ue conciben la verdad con una propiedad o una
relacin van desca!inadas. 7ual%uier cosa %ue pueda decirse con el predicado es
verdad puede decirse ta!bi(n sin (l. 'or ello es redundante. Ha!sey afir!a %ue las
palabras hecho y verdadero, en su uso pri!ario, son inseparables de las expresiones
adverbiales verdadera!ente, de hecho, es un hecho %ue y es verdadero %ue- y (stas
unidas a una oracin no dicen !,s %ue lo %ue dice esta oracin por s !is!a. As no
slo no hay falsedades sino %ue ta!poco hay verdades o hechos, de la !is!a !anera
%ue no hay una entidad lla!ada el caso asociada a la expresin sinni!a es el caso
%ue. &l efecto de las co!illas de cita y del predicado es verdadera se cancelan
!utua!ente. &l predicado veritativo tiene un efecto desentreco!illador.
'ero un terico de la redundancia tiene %ue ad!itir %ue el predicado verdad no es
sie!pre desentreco!illador en sentido literal, por%ue a veces adscribi!os la verdad
$ciega!ente$, i.e., sin citar o sin conocer la proposicin en cuestin. &ntre estos usos
ciegos tene!os, por e6e!plo, 8odo lo %ue el 'apa dice es verdadero. Ha!sey es
consciente del proble!a y analiza 8odo lo %ue el 'apa dice es verdadero as+
"1# 'ara todo a, H, b, si el 'apa asevera aHb, entonces aHb.
Ai ad!iti!os la cuantificacin de segundo orden sobre proposicin, pode!os reescribir
"1# co!o+
"2# $p "si el 'apa dice %ue p, entonces p#.
1.X.2 La teora prooracional
La teora de la redundancia tiene %ue hacer uso de la cuantificacin de segundo orden
sobre variables proposicionales. A este tipo de cuantificacin se han hecho dos tipos de
ob6eciones. La pri!era viene de %uienes, co!o Yuine, est,n en contra de la
cuantificacin de segundo orden en general por%ue creen %ue nos co!pro!ete
ontolgica!ente con entidades abstractas indeseables. En recurso para evitar la %ue6a de
Yuine es interpretar substitucional!ente los cuantificadores %ue to!an co!o ndices
oraciones. As, \p "Ruan cree %ue p# sera verdadera si, y slo si, hay al !enos una
oracin tal %ue cuando se eli!ina el prefi6o \p y se ree!plaza p por esa oracin, el
resultado es verdadero. De ese !odo, no hay co!pro!iso con proposiciones, entendidas
co!o entidades abstractas, co!o lo habra si interpret,ra!os ob6etual!ente el
cuantificador.
:olva!os a
"2# $p "si el 'apa dice %ue p, entonces p#
'ara !ostrar el segundo tipo de ob6ecin.
Ha!sey advierte %ue hay algo extrao en este an,lisis, pues tende!os a pensar %ue hace
falta un es verdadera final para convertir la p ?lti!a en una oracin aut(ntica. &ste
obst,culo %ueda superado, en su opinin, cuando adverti!os %ue p es ella !is!a una
oracin y ya contiene un verbo. 'ero el proble!a es real. Ai entende!os ob6etual!ente
el cuantificador de "2#, las pes son sint,ctica!ente co!o t(r!inos singulares y parece
%ue la p final tiene %ue ser entendida elptica!ente, co!o conteniendo i!plcita!ente
un predicado %ue la convierta en una oracin capaz de 6ugar el papel por consiguiente.
Algo as co!o+
"M# $p "si el 'apa dice %ue p, entonces p es verdadero#.
'ero si el an,lisis es (ste, entonces el predicado es verdadera no es redundante en
realidad.
Tue 'rior el pri!ero %ue se enfrent con esta dificultad. Aeg?n (l, el proble!a surge de
una deficiencia de los lengua6es naturales para leer los cuantificadores de segundo
orden. U el re!edio estara en a!pliar los lengua6es naturales por procedi!ientos
an,logos a los %ue ya encontra!os en ellos para for!ar cuantificadores colo%uiales a
partir de palabras %ue introducen preguntas. As, en espaol tene!os el cuantificador
no!inal %uien%uiera a partir de %uien y los no no!inales co!o%uiera y donde%uiera
a partir de c!o y dnde. 'ues bien, propone 'rior, podra!os for6ar los
cuantificadores cual%uiersi, todosi y alg?nsi, y traducir "2# por+
"C# Ai el 'apa dice cual%uiersi, entonces esi,
donde los cuantificadores acabados en si se for!an a partir de la partcula si usada
para introducir y describir preguntas sano.
/rover, 7a!p y Welnap concuerdan con 'rior en %ue la dificultad se debe a la falta de
recursos expresivos de los lengua6es naturales. &n ellos tene!os prono!bres %ue
pueden usarse anafrica!ente para referirse al !is!o ob6eto %ue su antecedente, co!o
sucede en Ruan a!a a .ara, pero ella detesta a Ruan- tene!os ta!bi(n proad6etivos,
co!o tal en La ciudad prodigiosa ya no era tal- y tene!os proverbos, co!o hacer en
Antes bail,ba!os, pero ya no lo hace!os. Aiguiendo una sugerencia de Wrentano,
/rover, 7a!p y Welnap indican %ue hay ta!bi(n prooraciones, co!o as en 'ienso
as. Las prooraciones son profor!as %ue pueden ocupar las posiciones %ue podran
ocupar las oraciones, de la !is!a !anera %ue los prono!bres pueden ocupar posiciones
ocupables por prono!bres, y cu!plen un papel anafrico si!ilar. &s !,s, afir!an %ue
&s verdadero y &so es verdadero, a pesar de su for!a superficial de su6eto*predicado,
son en realidad prooraciones. 'ara explicar el uso de &s verdadero trazan la analoga
con un lengua6e %ue fuera co!o el espaol salvo en %ue contuviese la prooracin
at!ica esso, %ue es sie!pre anafrica de alg?n antecedente. &sso puede funcionar de
an,fora de pereza, co!o en+
A+ Bay habitantes en .arte
W+ Ai esso, entonces tienen antenas.
'ero ta!bi(n tiene usos cuantificacionales. 'or e6e!plo, "2# se leera as+
"X# 'ara toda proposicin, si el 'apa dice esso, entonces esso.
&s verdadero y &so es verdadero funcionan en espaol co!o esso en ese lengua6e
i!aginario. 7ada una de esas expresiones debe considerarse holstica!ente co!o una
prooracin en la %ue las partes no tienen significado independiente.
As, las expresiones en las %ue aparece es verdadero con la apariencia de un predicado
separable tienen una for!a superficial desorientadora. 'or e6e!plo, la estructura
profunda de 8odo lo %ue el 'apa dice ser, verdadero es 'ara toda proposicin, si el
'apa dice %ue es verdadera, entonces ser,*verdadero*%ue*es*verdadera, donde de nuevo
es verdadera es una prooracin.
2. La verdad en las !ate!,ticas
&ntre las definiciones %ue se han dado de la !ate!,tica caben destacar cuatro+
La !ate!,tica co!o ciencia de la cantidad+ seg?n esta concepcin, la !ate!,tica
prescinde las cualidades sensibles, y se atiene a la abstraccin, li!it,ndose a considerar
?nica!ente la cantidad y la continuidad.
La !ate!,tica co!o ciencia de las relaciones+ en este sentido, la !ate!,tica ira
estrecha!ente vinculada a la lgica. &n esta tradicin se inscribe el logicis!o de
Hussell, %uien ve la coincidencia entre !ate!,tica y lgica en el ,!bito de la teora de
las relaciones- !ate!,tica y lgica coinciden en la $for!a de los enunciados$, es decir,
lo %ue per!anece invariable cuando un co!ponente de un enunciado es sustituido por
otro. 'ara el positivis!o del 7rculo de :iena, representado por 7arnap, los c,lculos
!ate!,ticos son un g(nero de los c,lculos lgicos. De esta for!a, se pretende construir
una lgica exacta !erced a dos cosas+ a# definir todos los conceptos de la !ate!,tica en
los t(r!inos de los conceptos de la lgica- b# deducir de estas definiciones "!ediante las
reglas lgicas, incluyendo los axio!as# todos los teore!as !ate!,ticos.
La !ate!,tica co!o la ciencia de lo posible+ seg?n el for!alis!o, la !ate!,tica no es
una parte de la lgica, y ni si%uiera la presupone. La !ate!,tica es un si!ple c,lculo,
%ue no exige ninguna interpretacin, por lo %ue resulta un siste!a axio!,tico, donde+ a#
todos los conceptos de base y todas las relaciones funda!entales est,n enu!erados y se
debe re!itir a ellos, !ediante las definiciones, para cual%uier concepto ulterior- b# se
enu!eran por co!pleto los axio!as y de ellos se deducen todos los de!,s enunciados,
atendiendo a las relaciones de base. De este !odo, la !ate!,tica es un siste!a
deductivo perfecta!ente autno!o. Aeg?n el for!alis!o, la de!ostracin !ate!,tica
sera un procedi!iento !era!ente !ec,nico de derivacin de fr!ulas. Ade!,s, se
aade a la !ate!,tica for!al una!eta!ate!,tica, constituida por razona!ientos
for!ales en torno a la !ate!,tica.
La !ate!,tica co!o ciencia de la posibilidad de la construccin+ est, originada en la
concepcin Santiana de la !ate!,tica co!o $construccin de conceptos$. &sta corriente
es deno!inada intuicionis!o. La !ate!,tica se identifica con la parte exacta del
pensa!iento hu!ano- no presupone ciencia alguna, ni si%uiera la lgica. 'ero s exige
una intuicin %ue per!ita apresar la evidencia de los conceptos y de las conclusiones.
Qstas no son derivadas en virtud de reglas fi6as nor!ales, sino %ue debe estar
directa!ente controlado por su propia evidencia.
2.1 &l for!alis!o !ate!,tico
'or lo general, se considera %ue de6ando de lado la lgica, la verdad y el razona!iento
!ate!,ticos est,n funda!entados sobre bases !,s seguras %ue las %ue sostienen la
verdad y el razona!iento en otras disciplinas. La aparente seguridad de la !ate!,tica y
el deseo de conseguir algo si!ilar en otras disciplinas es una de las principales razones
%ue hacen del an,lisis del pensa!iento !ate!,tico, y por lo tanto de la naturaleza de la
verdad y el razona!iento !ate!,ticos, una de las !,s antiguas tareas de la filosofa.
Ena de las causas de la especial esti!a de %ue goza la !ate!,tica, por enci!a de todas
las otras ciencias, es el hecho de %ue sus proposiciones son absoluta!ente ciertas e
indiscutibles, en tanto %ue las de todas las otras ciencias son, hasta cierto punto,
rebatibles y corren el riesgo constante de ser invalidadas por el descubri!iento de
nuevos hechos. =A %u( deben las !ate!,ticas este privilegio> A la razn de %ue, tanto
las !ate!,ticas co!o la lgica, no tratan en absoluto de la realidad, sino %ue sus
construcciones son construcciones total!ente a priori- es decir, total!ente
independientes de la experiencia. Ai no fuera por%ue la !ate!,tica es una ciencia
total!ente a priori no gozara de esta venta6a sobre el resto de las ciencias. 7o!o dice
&instein+ $&n la !edida en %ue se refieren a la realidad, las proposiciones de la
!ate!,tica no son seguras y, viceversa, en la !edida en %ue son seguras, no se refieren
a la realidad$. As pues, gran parte de la fuerza de la !ate!,tica radica en %ue la
!ate!,tica es una ciencia independiente de la realidad, lo !is!o %ue la lgica.
De este hecho se ha sacado la conclusin de %ue la !ate!,tica es una ra!a de la lgica
%ue utiliza el !is!o !(todo %ue esta+ el !(todo axio!,tico. &l pri!ero en llegar a esta
concepcin fue Trege. &n la 9ntroduccin a Las leyes funda!entales de la Arit!(tica
afir!a Trege+
&n !is Tunda!entos de la arit!(tica trat( de hacer plausible la idea de %ue la arit!(tica
es una ra!a de la lgica y %ue no necesita ser funda!entada ni en la experiencia ni en la
intuicin.
&sta concepcin fue confir!ada por Ohitehead y Hussell "a pesar de %ue ellos no
defendan el for!alis!o#, cuando se dieron a la tarea de su desarrollo siste!,tico. Ae
!ostr %ue todo concepto !ate!,tico puede derivarse de los conceptos funda!entales
de la lgica y %ue toda proposicin !ate!,tica puede derivarse de las proposiciones
funda!entales de la lgica. &n $Ato!is!o lgico$ afir!a Hussell+
7reo %ue nadie %ue la haya ledo "la obra de Hussell y Ohitehead 'rincipa
.athe!athica# pondr, en duda su principal afir!acin, a saber, %ue a partir de
deter!inadas ideas y axio!as de la lgica for!al, con el concurso de la lgica de
relaciones, es posible deducir la totalidad de la !ate!,tica pura, sin necesidad de
alguna idea nueva ni de proposiciones inde!ostradas.
=&n %u( consiste el !(todo axio!,tico>
2.1.1 &l !(todo axio!,tico
&l !(todo axio!,tico consiste en aceptar sin prueba ciertas proposiciones co!o
axio!as o postulados "por e6e!plo, el axio!a de %ue entre dos puntos slo puede
trazarse una lnea recta#, y en derivar luego de esos axio!as todas las de!,s
proposiciones del siste!a, en calidad ya de teore!as. Los axio!as constituyen los
$ci!ientos$ del siste!a- los teore!as son la $superestructura$, y se obtienen a partir de
los axio!as sirvi(ndose, exclusiva!ente, de los principios de la lgica. &ste !(todo
presenta la venta6a de %ue si puede de!ostrarse de alguna !anera la verdad de los
axio!as, %uedan auto!,tica!ente garantizadas tanto la verdad co!o la consistencia
!utua de todos los teore!as. 8odo siste!a axio!,tico debe cu!plir tres re%uisitos
b,sicos+ a saber, ha de ser co!pleto, ha de ser decidible y ha de serconsistente. En
siste!a for!al axio!,tico es consistente cuando dentro del propio siste!a no pueden
deducirse contradicciones- es decir, cuando a partir de los axio!as no pode!os deducir
teore!as %ue se contradigan entre s- un siste!a for!al es co!pleto cuando todas las
fr!ulas bien for!adas verdaderas %ue pode!os construir dentro del siste!a pueden
ser de!ostradas- y un siste!a for!al es decidible cuando no existe ninguna proposicin
bien for!ada dentro del siste!a %ue no sea de!ostrable.
La !ate!,tica, en sus dos grandes ra!as "arit!(tica y geo!etra# ha sido
esencial!ente una ciencia %ue se ha basado en el !(todo axio!,tico. Los axio!as de la
geo!etra ya fueron enunciados en la antigNedad griega por &uclides, !ientras %ue los
axio!as de la arit!(tica fueron for!ulados en el s. @9@ por el !ate!,tico italiano /.
'eano.
'ero, a pesar de estas for!ulaciones axio!,ticas de ra!as de la !ate!,tica, el !(todo
axio!,tico no alcanz pleno vigor hasta el s. @@ con la persona de D. Bilbert, el cual se
erigi en defensor y !,xi!o representante del for!alis!o.
Bilbert, en su obra Los funda!entos de la geo!etra estableci de !odo insuperable las
bases para la axio!,tica de todas las disciplinas !ate!,ticas y, en general, todas las
cientficas. Fo resultara exagerado decir %ue en sus p,ginas han aprendido a pensar
$axio!,tica!ente$ todos los !ate!,ticos !odernos.
'ara los for!alistas la !ate!,tica no puede ser reducida a lgica, pues abarca
proposiciones sint(ticas %ue son descripciones verdaderas de situaciones perceptibles
!uy si!ples. Los for!alistas dividen la !ate!,tica cl,sica en dos partes+ la !ate!,tica
$finitista$ y la !ate!,tica $infinitista$. La pri!era es en gran !edida id(ntica a la parte
de la !ate!,tica %ue los intuicionistas consideran con sentido. La !ate!,tica finitista
excluye, en particular, las totalidades infinitas, la ley del tercio excluso y otros
principios de ella dependientes. 8an slo ad!ite a%uellas proposiciones %ue describen
agregados finitos de distintos ob6etos concretos y las secuencias efectuadas sobre tal
tipo de agregados. Ain e!bargo, no se rechaza la !ate!,tica infinitista, acept,ndosela
en la !edida en %ue no ocasione contradicciones al ser incorporada a la !ate!,tica
finitista.
Aeg?n Bilbert, el ob6etivo del for!alis!o deba alcanzarse en dos etapas+ 1# la
$for!alizacin co!pleta$ de la !ate!,tica, y 2# la de!ostracin de %ue el siste!a
for!al resultante era $for!al!ente consistente$. Tor!alizar una teora e%uivale a hacer
explcitas todas sus afir!aciones y reglas de inferencia, considerando tan slo su for!a
al !argen de cual%uier contenido concreto. Las reglas de inferencia son convertidas en
reglas de inferencia for!ales, es decir, reglas %ue sirven para transfor!ar ciertos
!odelos en otros.
Ena teora se halla co!pleta!ente for!alizada s, y slo si cada axio!a o teore!a de la
!is!a corresponde sin a!bigNedad alguna a un axio!a o teore!a for!al de su r(plica
for!alizada y viceversa.
Bilbert pensaba %ue la !ate!,tica cl,sica *finitista e infinitista* poda ser
co!pleta!ente for!alizada, co!o lo est, la lgica proposicional ordinaria, y %ue se
poda de!ostrar %ue era for!al!ente consistente !ediante puro razona!iento finitista.
La for!alizacin reducira el con6unto de la !ate!,tica cl,sica a unas cadenas finitas
de s!bolos y a las operaciones sobre ellos efectuadas- por otro lado, la prueba de su
consistencia for!al no hara uso de ning?n presupuesto infinitista, ya %ue slo debera
referirse a cadenas de s!bolos y a las operaciones efectuadas sobre ellos. En
!ate!,tico puro %ue aparte de la consistencia for!al no plantease ninguna otra
exigencia lgica podra per!itirse con toda tran%uilidad dar libre curso a su i!aginacin
!ate!,tica sobre todo el do!inio de la !ate!,tica cl,sica, de6ando para los filsofos
cual%uier preocupacin acerca de los presupuestos infinitistas.
'ara el for!alista, $la exactitud de la !ate!,tica reside slo en el desarrollo de la
sucesin de relaciones y es independiente de la significacin %ue se podra %uerer dar a
estas relaciones o a las entidades %ue ellas !is!as vinculan$"WrouPer+ $9ntuicionis!
and Tor!alis!$, Wulletin of the A!erican .athe!atical Aociety, 21, 1DMM, pp. 41*D3#.
&l sueo for!alista tuvo un desgraciado y triste fin- este fin le vino dado por la
aparicin de lo %ue se conoce con el no!bre de 8eore!a de /Vdel, pero el teore!a de
/Vdel, %ue por cierto es una de las obras cu!bres de la !ate!,tica de todos los
tie!pos, no surgi de la nada, sino %ue se fue gestando lenta!ente sobre la base de los
proble!as subyacentes a la !is!a idea for!alista. &stos aparecen en las nociones clave
del siste!a for!alista y son el proble!a de la consistencia y el proble!a de la
co!pletud.
2.1.2 &l proble!a de la consistencia
&n el s. @9@, y co!o consecuencia del intento de des!ontar el %uinto axio!a de la
geo!etra de &uclides, se llega a una concepcin total!ente nueva de la !ate!,tica.
Aeg?n esta concepcin, la tarea propia del !ate!,tico puro es deducir teore!as a partir
de hiptesis postuladas. Al !ate!,tico, en cuanto tal, no le atae la cuestin de decidir
si los axio!as %ue acepta son real!ente verdaderos o no.
Aeg?n esto, la antigua concepcin de las !ate!,ticas co!o ciencia de la cantidad es
e%uivocada, ade!,s de engaosa. La !ate!,tica es si!ple!ente la disciplina por
excelencia %ue extrae las conclusiones lgica!ente i!plicadas en cual%uier con6unto
dado de axio!as o postulados. La validez de una deduccin !ate!,tica no depende en
absoluto de ning?n significado especial %ue pueda estar asociado con los t(r!inos o
expresiones contenidos en los postulados. Las !ate!,ticas son algo !ucho !,s
abstracto y for!al de lo %ue tradicional!ente se ha supuesto- !,s abstracto, por%ue las
afir!aciones !ate!,ticas pueden ser hechas en principio sobre cual%uier ob6eto sin
estar esencial!ente circunscritas a un deter!inado con6unto de ob6etos o de propiedades
de ob6eto, y !,s for!al, por%ue la validez de las de!ostraciones !ate!,ticas se asienta
en la estructura de las afir!aciones !,s %ue en la naturaleza especial de su contenido..
La ?nica cuestin con la %ue se enfrenta el !ate!,tico puro no es si los postulados de
%ue parte o las conclusiones %ue de ellos deduce son verdaderos, sino si las
conclusiones obtenidas son real!ente las consecuencias lgicas necesarias de las
hiptesis iniciales.
&s en este sentido en %ue !,s arriba se deca %ue la !ate!,tica es una ciencia si!ilar a
la lgica+ en el sentido de %ue tanto una co!o otra no tienen en cuenta los hechos sobre
los %ue tratan, slo tienen en cuenta las $proposiciones$. Fo sera cierto si se hubiera
pretendido afir!ar %ue para los for!alistas la !ate!,tica es reducible a lgica, ya %ue
estos sostenan la hiptesis contraria.
Aeg?n Bilbert, !ientras este!os interesados en la funda!ental labor !ate!,tica de
explicar las relaciones estricta!ente lgicas de dependencia entre afir!aciones
debe!os prescindir de las connotaciones fa!iliares de los t(r!inos pri!itivos, y los
?nicos $significados$ %ue se deben asociar con ellos son los %ue se hallan deter!inados
por los axio!as en %ue est,n contenidos. A esto es a lo %ue se refiere el fa!oso
epigra!a de Hussell+ la !ate!,tica pura es la ciencia en la %ue no sabe!os de %u(
esta!os hablando ni si lo %ue esta!os diciendo es verdadero.
La consecuencia !,s in!ediata del for!alis!o fue la creciente abstraccin de las
!ate!,ticas y esto dio lugar a un proble!a !ucho !,s serio *%ue a la postre sera el
detonante de la !uerte del for!alis!o*- el proble!a en cuestin es saber si un
deter!inado con6unto de postulados erigidos co!o bases de un siste!a es interna!ente
consistente de tal !odo %ue no puedan deducirse teore!as !utua!ente contradictorios
a partir de esos postulados. &s, en definitiva, el proble!a de la consistencia.
8odo siste!a for!al axio!,tico %ue pretenda tener unos !ni!os visos de validez ha
de ir aco!paado de una prueba de consistencia. =7!o se consigue una prueba de
consistencia>. La idea subyacente a toda prueba de consistencia de un siste!a for!al es
intentar encontrar un $!odelo$ para los postulados abstractos del siste!a, de tal !odo
%ue cada postulado se convierta en una afir!acin verdadera respecto del !odelo.
Ahora bien, esta for!a de de!ostrar la consistencia de un siste!a tiene un defecto+ este
defecto estriba en el hecho de %ue al encontrar la prueba de consistencia para un
!odelo, este !odelo ha de ser re!itido a otro !odelo, este nuevo !odelo a otro y as
sucesiva!ente hasta el infinito. Ahora bien, =no hay una for!a de parar de una vez en la
6erar%ua de !odelos y encontrar una prueba de consistencia absoluta para cual%uier
siste!a axio!,tico>. &l proble!a, por tanto, no radica en encontrar la prueba de
consistencia de un !odelo, sino en encontrar una prueba de consistencia absoluta. &sto
fue lo %ue trato de hacer Bilbert+ trat de construir pruebas de consistencia absolutas
con las %ue pudiera de!ostrarse la consistencia de los siste!as sin necesidad de dar por
supuesta la consistencia de ning?n otro siste!a.
&l pri!er paso para esto la co!pleta for!alizacin del siste!a deductivo, lo cual
i!plica la extraccin de todo significado de las expresiones existentes dentro del
siste!a considerando a (stas co!o signos vacos. La for!a en %ue se deben !anipular y
co!binar estos signos ha de ser plas!ada en un con6unto de reglas enunciadas con toda
precisin para as conseguir un siste!a de signos %ue no oculte nada y %ue sola!ente
contenga lo %ue se halle expuesto en (l. Los postulados y los teore!as del siste!a
co!pleta!ente for!alizado son $hileras$ de signos carentes de significado construidas
confor!e a las reglas establecidas para co!binar los signos ele!entales del siste!a
hasta for!ar !,s a!plios con6untos.
7uando un siste!a ha sido co!pleta!ente for!alizado, la derivacin de teore!as a
partir de los postulados se li!ita, si!ple!ente, a la transfor!acin de un con6unto de
$hileras$ en otro con6unto de $hileras$.
La venta6a %ue supone la for!alizacin es %ue cuando ha sido for!alizado un siste!a,
%uedan a la vista las relaciones lgicas existentes entre las proposiciones !ate!,ticas-
pueden verse los !dulos estructurales de las diversas $hileras$ de signos $carentes de
significado$, c!o per!anecen unidas, c!o se co!binan, c!o se alo6an una en otra,
etc.
Ena p,gina cubierta con signos carentes de significado no afir!a nada- sin e!bargo, es
posible hacer afir!aciones acerca de ella. 8ales afir!aciones $significativas$ acerca de
un siste!a for!al carente de significado constituyen lo %ue Bilbert deno!in
$!eta!ate!,tica$ "lengua6e %ue se for!ula acerca de las !ate!,ticas#. Las expresiones
!eta!ate!,ticas contienen los no!bres de las expresiones y s!bolos !ate!,ticos,
pero no los s!bolos o expresiones !ate!,ticos.
Bilbert bas su idea de encontrar una de!ostracin absoluta de consistencia en la
distincin por (l introducida entre !ate!,tica y !eta!ate!,tica- es decir, en la
distincin entre un c,lculo for!al y su descripcin.
Bilbert crea posible presentar cual%uier c,lculo !ate!,tico co!o una especie de
es%ue!a $geo!(trico$ de fr!ulas, en el %ue las fr!ulas se relacionaran !utua!ente
en un n?!ero finito de relaciones estructurales. &speraba de!ostrar, exa!inando
exhaustiva!ente estas propiedades estructurales de las expresiones encerradas en un
siste!a, %ue no pueden obtenerse fr!ulas for!al!ente contradictorias a partir de los
axio!as de c,lculos dados. He%uisito esencial de este progra!a era %ue las
de!ostraciones de consistencia i!plicaran ?nica!ente procedi!ientos %ue no hicieran
referencia ni a un n?!ero infinito de propiedades estructurales de fr!ulas ni a un
n?!ero infinito de operaciones con fr!ulas. 8ales procedi!ientos son deno!inados
$finitistas$, y una prueba de consistencia %ue se adecue a dicho re%uisito recibe el
no!bre de $absoluta$. Ena prueba $absoluta$ logra sus ob6etivos utilizando un !ni!o
de principios de deduccin y no presupone la consistencia de ning?n otro con6unto de
axio!as.
Ai una prueba tal pudiera construirse, tendra!os la !itad de los re%uisitos necesarios
para considerar un siste!a for!al co!o v,lido y, con ello, al for!alizar toda la
!ate!,tica podra!os haber de!ostrado %ue esta est, libre de contradicciones. 8al
prueba no puede conseguirse y esta es una de las li!itaciones del !(todo axio!,tico.
'ara %ue un siste!a for!al sea considerado co!o v,lido, ya se di6o %ue era necesario
%ue fuese, ade!,s de consistente, co!pleto- es decir, %ue todas las fr!ulas bien
for!adas, y verdaderas, %ue en (l puedan construirse, han de poderse de!ostrar dentro
de tal siste!a.
&n otras palabras, para %ue un siste!a for!al sea considerado co!o v,lido, ha de ser
co!pleto y consistente. 'ues bien, no existe un siste!a for!al tal y a%u radican los
l!ites de toda for!alizacin, tanto de la !ate!,tica co!o de la lgica.
&ste ?lti!o resultado fue establecido por el teore!a de /Vdel, el cual viene a decir %ue
todo siste!a for!al, tanto de la arit!(tica co!o de la lgica, %ue sea lo suficiente!ente
potente co!o para poder generar afir!aciones !eta!ate!,ticas acerca de s !is!o, si
es co!pleto no es consistente, y si es consistente no es co!pleto.
='or %u( es tan i!portante %ue un siste!a for!al sea co!pleto y, ade!,s, sea
consistente>. La i!portancia de la consistencia radica en el hecho de %ue si sabe!os
%ue un siste!a es consistente, por el !ero hecho de saberlo, sabe!os ta!bi(n %ue los
teore!as %ue de!ostre!os dentro de ese siste!a no se contradir,n entre s. La
i!portancia de la co!pletud radica en el hecho de %ue si sabe!os %ue un siste!a
for!al es co!pleto, por el !ero hecho de saberlo, ta!bi(n sabe!os %ue pode!os
de!ostrar todas las fr!ulas verdaderas %ue poda!os construir dentro de tal siste!a.
7uando /Vdel de!ostr %ue un siste!a co!o el de 'rincipa .athe!atica y, en general,
cual%uier siste!a axio!,tico, si es consistente es inco!pleto y si es co!pleto es
inconsistente lo %ue en realidad de!ostr es %ue hay fr!ulas !ate!,ticas %ue
pode!os saber %ue son verdaderas, pero %ue no son de!ostrables dentro del siste!a
!is!o. Aabe!os %ue son verdaderas recurriendo a un siste!a %ue sea !,s potente %ue
el siste!a en %ue esas fr!ulas, o teore!as, aparecen- pero, en este nuevo siste!a, nos
encontra!os nueva!ente con fr!ulas %ue sabe!os %ue son verdaderas, pero %ue no
pode!os de!ostrar dentro de (l, sino recurriendo, nueva!ente, a un siste!as !,s
potente- y as ad infinitu!.
&n la historia de la !ate!,tica ha habido teore!as de los %ue no se ha podido
de!ostrar ni su verdad ni su falsedad. Aeg?n el teore!a de /Vdel, de !uchos de estos
teore!as nunca podre!os saber %ue son verdaderos "utilizando sola!ente los !(todos
de la arit!(tica#. Eno de estos teore!as fa!osos es la con6etura de Bolbac. &l teore!a
de Bolbac dice %ue $todo n?!ero par es la su!a de dos n?!eros pri!os$. Basta ahora,
no se ha encontrado ning?n n?!ero par %ue no sea la su!a de dos n?!eros pri!os y, en
este sentido, no se ha de!ostrado %ue el teore!a sea falso. 'ero, ta!poco se ha logrado
de!ostrar %ue no pueda haber un n?!ero par %ue no sea la su!a de dos n?!eros
pri!os. Aon teore!as de este tipo los %ue /Vdel dice %ue no se pueden de!ostrar dentro
de la arit!(tica, lo %ue no %uiere decir %ue no puedan ser de!ostrados desde fuera.
'ero /Vdel logr de!ostrar otra cosa !ucho !,s interesante- esta es %ue si alguien
pudiese de!ostrar %ue la arit!(tica es consistente, utilizando sola!ente !(todos
arit!(ticos *cosa %ue hasta ahora nadie ha de!ostrado*- por el !ero hecho de hacerlo,
de!ostrara ta!bi(n %ue la arit!(tica es inconsistente o, dicho en otras palabras, si
logr,se!os de!ostrar %ue la !ate!,tica es verdadera, al !is!o tie!po habra!os
de!ostrado %ue la !ate!,tica es falsa. 'or tanto, la conclusin es %ue no se puede
de!ostrar %ue la arit!(tica es consistente ni, por tanto, verdadera. Ain e!bargo, el
!(todo axio!,tico de Bilbert re%uera una de!ostracin de consistencia- por tanto, hay
%ue concluir %ue el !(todo de Bilbert no es v,lido, encuentra li!itaciones incluso
dentro de sus pre!isas b,sicas.
8odo este proble!a surgi de la necesidad de buscar una de!ostracin de consistencia a
los siste!as for!ales. 'ero, =por %u( es necesaria una de!ostracin de consistencia> Al
principio se di6o %ue la !ate!,tica era una ciencia total!ente a priori, sus ele!entos no
versaban en absoluto acerca de la realidad- pero, no es !enos cierto %ue la !ate!,tica
es el soporte principal del resto de las ciencias %ue s versan acerca de la realidad y, en
este sentido, ta!bi(n la !ate!,tica habla "a su !anera# de la realidad- ahora bien, si no
pode!os estar seguros de %ue la !ate!,tica est, libre de contradicciones, =c!o
pode!os estar seguros de %ue lo %ue nos dicen las ciencias %ue tienen su base en la
!ate!,tica y %ue s hablan de la realidad es cierto>
A%u cobra todo su sentido la cita %ue de &instein haca!os !,s arriba y se de6a ver
clara!ente cual es una de las !,s i!portantes li!itaciones del siste!a for!alista, %ue
no sirve para hablar de la realidad, por%ue no sabe!os *no pode!os saber* si lo %ue
dice acerca de la realidad es verdadero o no. La !ate!,tica es !uy bonita co!o un
6uego intelectual *al estilo del a6edrez o las da!as* pero no puede ensearnos nada
acerca del !undo en %ue vivi!os.
&sto refuerza la hiptesis e!pirista de %ue para tener un verdadero conoci!iento acerca
del !undo en %ue vivi!os he!os de acudir a la experiencia, ya %ue los conoci!ientos a
priori no nos pueden su!inistrar ning?n tipo de certeza acerca del !undo exterior.
De todo lo dicho, se deduce %ue en !ate!,ticas "o en lgica# no se puede hablar de
verdad, en el sentido en el %ue habitual!ente se entiende esta palabra sino, co!o
!ucho, de validez o de coherencia.
2.2 &l intuicionis!o de WrouPer
WrouPer y sus seguidores sostienen %ue slo puede considerarse %ue un ente existe
!ate!,tica!ente si se logra construirlo, es decir, ?nica!ente a condicin de %ue
poda!os dar un e6e!plo de (l o indicar el procedi!iento %ue nos per!ite llegar a un
e6e!plo si!ilar, a trav(s de una cantidad finita de pasos. &sta concepcin prohbe apelar
al $infinito actual$. U si se habla de infinito, no se habla de (l co!o teora de los
con6untos, sino ?nica!ente en el sentido de %ue, por e6e!plo, en cada punto al %ue se
haya podido llegar, puede verse superado. &l infinito es algo potencial, nunca actual. &l
infinito actual es i!posible de construir.
La !ate!,tica constructiva tiene su funda!ento en la idea de %ue las conectivas lgicas
y el cuantificador existencial han de interpretarse co!o instrucciones sobre c!o
construir una prueba de la afir!acin en %ue est,n i!plicadas estas conectivas lgicas.
&specfica!ente, la interpretacin procede co!o sigue+
'ara probar p o % "p b%#, debe!os tener una prueba de p o una prueba de %.
'ara probar p y % "p [ %#, debe!os tener una prueba de p y una prueba de %.
Ena prueba de p i!plica % "p _ %# es un algorit!o %ue convierte una prueba de p en
una prueba de %.
'ara probar no es el caso %ue p "Zp#, debe!os !ostrar %ue p i!plica una
contradiccin.
'ara probar existe algo con la propiedad ' "\x'"x##, debe!os construir un ob6eto x y
probar %ue se cu!ple '"x#.
Ena prueba de todo tiene la propiedad ' "$x'"x## es un algorit!o %ue, aplicado a
cual%uier ob6eto x, prueba %ue se cu!ple '"x#.
2.M &l logicis!o de Hussell
&n Los principios de la !ate!,tica Hussell propuso de!ostrar+
%ue toda la !ate!,tica procede de la lgica si!blica
descubrir en la !edida de lo posible cu,les son los principios de la !is!a lgica
si!blica
Hussell considera, 6unto con Trege, %ue la !ate!,tica puede reducirse a una ra!a de la
lgica. La !ate!,tica pura es la clase de todas las proposiciones %ue to!a la for!a $p
_ %$. Fo existen conceptos tpicos o propios dela !ate!,tica %ue no puedan verse
reducidos a conceptos lgicos "de la lgica de clases#. U, con !ayor !otivo todava, no
existen dentro de la !ate!,tica procedi!ientos de c,lculo o de derivacin %ue no se
puedan transfor!ar en derivaciones de car,cter pura!ente for!al. &n los 'rincipia
.ate!,tica Hussell afir!a %ue !ate!,tica!ente un n?!ero no es !,s %ue una clase de
clases e%uipotentes. &staba convencido de %ue la !ate!,tica y la lgica son id(nticas, y
de %ue toda la !ate!,tica pura trata exclusiva!ente de conceptos definibles en
t(r!inos de un n?!ero pe%uesi!o de conceptos lgicos funda!entales.
2.C La filosofa de las !ate!,ticas de LaSatos
La filosofa de la ciencia del siglo @@ se ha inspirado, para funda!entar su
episte!ologa, en la fsica. La lgica y la !ate!,tica, co!o ciencias pura!ente
for!ales, est,n fuera del estricto saber cientfico, pues no tienen cabida en los diferentes
criterios de de!arcacin propuestos por ellos. As, las ciencias for!ales seran un
captulo aparte de la filosofa de la ciencia.
LaSatos se ha opuesto tenaz!ente a este !odo de hacer filosofa de la ciencia. Aeg?n
LaSatos las ciencias e!pricas no poseen un siste!a deductivo %ue sea v,lido para
sie!pre, sino %ue son con6eturas %ue deben ser continua!ente falsadas. 'ero !ientras
'opper afir!a %ue una vez %ue una teora ha sido falsada debe ser abandonada, LaSatos
defiende %ue en lugar de desecharla es necesario corregir la teora. Ae une a la
deno!inada tesis de Duhe!*Yuine+ bas,ndose en la lgica for!al estos autores afir!an
%ue una teora o una !era hiptesis, to!adas aislada!ente, no pueden ser so!etidas a
contrastacin, sino %ue necesitan incorporarse a otras teoras !,s generales.
Aeg?n LaSatos, histrica!ente se han dado tres grandes teoras !ate!,ticas+
8eoras eucldeas. A%u las proposiciones !,s altas, los axio!as, son verdaderos,
trans!itiendo su valor de verdad a todos los teore!as y proposiciones de for!a
$descendente$. La !ate!,tica slo tiene proposiciones verdaderas "tautologas#, pero
no con6eturas ni refutaciones. &l verdadero significado est,, pues, en la c?spide, siendo
todo lo de!,s terica!ente superfluo.
8eoras e!piristas. 'artiendo de las $proposiciones protocolares$ y observacionales $de
la base$, fluye su valor de verdad hacia arriba, !erced a $con6eturas y refutaciones$-
estas ser,n verdaderas o falsas en funcin del resultado de la confrontacin entre sus
consecuencias y los enunciados b,sicos. Ade!,s, cual%uier nuevo significado deber,
partir de la base. Aeg?n LaSatos este tipo de teoras es falsable, pero no verificable.
8eoras inductivistas. &s lo contrario %ue la eucldea- ahora la verdad !ate!,tica debe
fluir hacia arriba, !erced al principio de $retrans!isin de la verdad$. Aeg?n LaSatos,
'opper ha de!ostrado, con su crtica al inductivis!o, %ue esta teora no es posible.
LaSatos aade, a estas tres teoras, su propia propuesta+
8eoras cuasi*e!pricas. Funca son verificables, nunca ser,n acabada!ente verdaderas,
pues sie!pre son una con6etura "pese a estar corroboradas#. Trente a las teoras
eucldeas, estas teoras laSatianas ad!iten doscaracterizaciones+ una lgica y otra
histrica. Atendiendo a la lgica, $un siste!a es eucldeo si es la clausura deductiva de
a%uellos de sus enunciados %ue se asu!en co!o verdaderos. De otro !odo es un
siste!a cuasi*e!prico$.
Aeg?n LaSatos, una teora eucldea consta de tres etapas+
'recientfica o ingenua, de ensayo y error.
'eriodo fundacional+ reorganizacin de la disciplina, donde se establece la estructura
deductiva.
Hesolutiva de los proble!as en el interior del siste!a, con la construccin de con6eturas
y de $los bordes oscuros$.
'or el contrario, el desarrollo de la teora cuasi*e!prica es diferente. A%u se parte de
proble!as, seguidos de soluciones $arriesgadas$, y despu(s vienen las refutaciones o los
$tests severos$, as co!o la controversia entre diferentes teoras rivales. La atencin se
centra en los $bordes oscuros$, con una revolucin per!anente sin acu!ular $verdades
eternas$. De esta for!a la diferencia funda!ental entre estos dos ?lti!os tipos de
teoras es b,sica!ente heurstica. LaSatos sostiene %ue las teoras !ate!,ticas son
$cuasi*e!pricas, al igual %ue las teoras cientficas$. Los !ate!,ticos no parten de
axio!as, sino de proble!as, procediendo por !edio de con6eturas y pruebas, so!etidas
constante!ente a falsacin y an,lisis lgicos. La diferencia b,sica entre la !ate!,tica y
las teoras e!pricas radica en los $falsadores potenciales$ lgicos "reduccin al
absurdo, etc.#. =&xiste algo si!ilar en las teoras e!pricas> A, los falsadores
heursticos$, donde se aportan nuevos proble!as abandonando otros anteriores, por lo
%ue existe ta!bi(n una $refutacin heurstica$.
LaSatos se enfrente ala filosofa for!alista !ate!,tica. &l desacuerdo estriba en dos
puntos+
La identificacin de la teora !ate!,tica con su abstraccin for!alizada de for!a
axio!,tica, esto es, con los siste!as for!ales co!o los entiende Bilbert.
La reduccin de la filosofa de la !ate!,tica a $!eta!ate!,tica$.
LaSatos se enfrenta al for!alis!o !ate!,tico, pues (sta act?a co!o si la !ate!,tica
fuera ahistrica. 'ara LaSatos es necesario atender a los descubri!ientos !ate!,ticos
tal y co!o se produ6eron, por lo %ue el for!alis!o !ate!,tico es, en su opinin, una
for!a de dog!atis!o donde el saber se acu!ula en un !ontono au!ento de teore!as
establecidos indubitable!ente. LaSatos es partidario de insistir en estudiar la lgica del
descubri!iento en ciencias y !ate!,ticas, !,s %ue en lalgica de la 6ustificacin. De
este !odo, dice LaSatos, !ientras %ue 'opper !ostr %ue los %ue defienden %ue la
induccin es la lgica del descubri!iento cientfico caen en un error, (l por su parte
afir!a %ue $%uienes pretenden %ue la deduccin es la lgica del descubri!iento
!ate!,tico est,n ta!bi(n en un error$. &s decir, !ientras 'opper ha criticado el
inductivis!o, LaSatos critica el deductivis!o.
2.X =:erdad en !ate!,ticas>
&n el siglo @@ tres han sido las grandes corrientes !ate!,ticas, cada una con su
concepcin de las !ate!,ticas y de la vedad en la !is!as+ logicis!o, intuicionis!o,
for!alis!o. 'ara el logicis!o la !ate!,tica se reduce a lgica, y la verdad !ate!,tica
a verdad lgica, para el for!alis!o, la verdad !ate!,tica consiste en extraer las
consecuencias for!ales de unos axio!as y teore!as bas,ndonos en unas reglas de
c,lculo. 'ara el intuicionis!o la verdad !ate!,tica es construccin. =7u,l de los tres
tiene razn> Basta el !o!ento, ninguna de las tres posturas parece haberse i!puesto,
con lo cual parece bastante difcil decir en %u( consiste la verdad !ate!,tica. Ain
e!bargo, parece %ue actual!ente es el intuicionis!o %uien est, e!pezando a ganar la
batalla, !,s por de!(ritos de sus contrincantes %ue por !(ritos propios- en efecto,
!ientras %ue el sueo for!alista pareca definitiva!ente refutado con los teore!as de
inco!pletud de /Vdel, el logicis!o lleva apare6ado el !is!o descr(dito %ue
actual!ente tiene el platonis!o %ue le sirve de funda!ento. &l intuicionis!o, por el
contrario, gracias a los traba6os de 5ripSe en lgica !odal, y de Du!!ett en se!,ntica
parece %ue es la teora do!inante. =Lo ser, por !ucho tie!po>
M. La verdad en las ciencias e!pricas
Las ciencias e!pricas tratan de describirnos el !undo real- en este sentido, parece %ue
la nocin de verdad %ue !,s conviene a este tipo de ciencias es la de verdad co!o
correspondencia, pues si estas ciencias tratan de describirnos lo %ue hay en la realidad,
lo %ue ellas nos digan ser, verdadero si, efectiva!ente, lo %ue nos dicen %ue hay
efectiva!ente existe. Ahora bien, la realidad se puede dividir en diferentes ,!bitos-
tene!os, por un lado, el ,!bito correspondiente a los seres inani!ados, %ue son ob6eto
de estudio de las ciencias fsicas y %u!icas- por otro lado, tene!os el ,!bito
correspondiente a los seres vivos %ue son estudiados por la biologa y, final!ente,
tene!os el ,!bito correspondiente a los seres hu!anos "seres inteligentes#, %ue son
estudiados por las ciencias sociales "historia y sociologa#. &n esta divisin de la
realidad he!os ido de !ayor a !enor generalidad- =significa esto %ue la explicacin es
las ciencias fsicas ha de ser !,s o!niabarcante %ue la explicacin en las ciencias
sociales o significa, por el contrario, %ue al ser ,!bitos total!ente distintos, el tipo de
explicacin existente en ellos es ta!bi(n total!ente distinto y, por tanto, ta!bi(n es
distinto el concepto de verdad %ue se usa>
&n las ciencias e!pricas, el patrn explicativo lo for!an las leyes y las teoras. Las
leyes se aplican a los casos en %ue hay una invarianza. Ena ley afir!a %ue se conoce
una cuestin de hecho. Las teoras, por el contrario, proporcionan nor!as para realizar
las observaciones adecuadas, reunir las pruebas adecuadas, e!plear las t(cnicas
experi!entales adecuadas, realizar las inferencias inductivas adecuadas, dar la for!a
adecuada a las representaciones deductivas o for!ales de las relaciones entre los
hechos, hacer las hiptesis adecuadas, etc. Fo explican los procesos naturales ni las
cuestiones de hecho, pero explican por %u( debe uno ad!itir o aprobar las conclusiones
de la investigacin cientfica, y sirven de gua de conducta en cuanto a tales
investigaciones. 'roporcionan los criterios de lo %ue se considera co!o explicacin
adecuada. Las teoras explican en virtud de postular o afir!ar la existencia de unas
$entidades teor(ticas$ cuyas propiedades son tales %ue, a partir de ellas, se pueden
inferir sus leyes de actuacin- y conociendo %u( leyes son las %ue describen las
relaciones de invariancia entre unas propiedades o sucesos naturales, se puede construir
una entidad hipot(tica cuya existencia expli%ue las leyes. 'or una parte, las teoras
pueden concebirse co!o leyes de gran generalidad, de las %ue pueden deducirse leyes
de !enor generalidad por un !(todo de inferencia- por otro lado, pueden distinguirse
las teoras de las leyes en virtud de las aseveraciones existenciales de las pri!eras.
Ahora bien, tanto las leyes co!o las teoras hacen referencia "si es %ue son verdaderas#
a aspectos de la realidad- es decir, leyes y teoras pretenden explicarnos cosas %ue
real!ente existen- por tanto, una ley "o una teora# ser, verdadera si a%uello %ue dice
%ue existe, existe real!ente y falsa en caso contrario. &s decir, leyes y teoras est,n, en
principio, so!etidas al criterio de verdad aristot(lico, o criterio de verdad co!o
correspondencia.
'ero, =se expresan las leyes igual en todas las ciencias e!pricas>. Ai la respuesta a este
tipo de pregunta es afir!ativa, el criterio de verdad ser, el !is!o para todas las ciencias
e!pricas- por el contrario, si la respuesta es negativa, parece %ue habr, %ue introducir
ligeras variaciones en el criterio de verdad co!o adecuacin.
M.1 Las leyes fsicas
Ai considera!os la ciencia co!o una ciencia cuantitativa o !ate!,tica, cuyos
enunciados de observacin son enunciados de !edida, la for!a de las leyes nu!(ricas
nos dar, la for!a de las leyes fsicas, con la diferencia de %ue, en (stas, se considera %ue
los nu!erales representan propiedades nu!(ricas de !agnitudes fsicas tales co!o la
longitud, la carga, la !asa, el peso, etc., y, de hecho, lo %ue consigue la cuantificacin
de la ciencia fsica es precisa!ente esto, y se gana con ello %ue, con la corroboracin de
las leyes nu!(ricas !ediante las interpretaciones fsicas, o con la posibilidad de
for!alizar las relaciones fsicas en t(r!inos !ate!,ticos, el in!enso poder de la
inferencia for!al y del c,lculo !ate!,tico %ueda a disposicin del pensa!iento fsico,
pero el iso!orfis!o entre las leyes nu!(ricas y las relaciones nu!(ricas %ue se
descubran entre las !agnitudes fsicas, no est, asegurado a priori, sino %ue es cuestin
%ue la fsica ha de descubrir y co!probar constante!ente.
Ahora bien, supuesto %ue este iso!orfis!o se da, una ley fsica ser, verdadera en tanto
en cuanto expli%ue correcta!ente lo %ue sucede en la naturaleza- por tanto, de ello se
sigue %ue las leyes fsicas est,n so!etidas al criterio de verdad co!o correspondencia.
'or otro lado, si este iso!orfis!o no se da, nos encontrare!os con %ue el !aterial %ue
esta!os utilizando para explicar la naturaleza "las !ate!,ticas# no es un !aterial
adecuado, con lo %ue nos tendre!os %ue enfrentar al proble!a de encontrar otro
!aterial %ue s sea adecuado para explicar la naturaleza- pero el criterio de verdad co!o
correspondencia seguir, siendo inalterable.
M.2 Las leyes de la biologa y las ciencias hu!anas
&n la biologa y las ciencias hu!anas aparece un tipo distinto de ley %ue no adopta la
for!a de ley nu!(rica y, de hecho, en !uchos casos no est, claro %ue la explicacin
tenga lugar en for!a de $ley$ %ue co!prenda casos particulares.
Lo distintivo de las explicaciones biolgicas es %ue son con frecuencia funcionales, en
el sentido de %ue explican algo sobre la base de las funciones %ue dese!pee dentro de
un organis!o co!pleto. Las explicaciones biolgicas se apoyan en funciones %ue son
$con vistas a$ un fin, %ue, a su vez se relaciona con un fin !,s a!plio, y as
sucesiva!ente- explicacin %ue slo se obtiene ante el organis!o co!pleto, o %ue
prosigue para estudiar siste!as vivos o sociedades de organis!os. Ae!e6antes
explicaciones parecen contestar a la pregunta $='ara %u( sirve @>$, o, refiri(ndose a un
proceso, $='or %u( funciona as>$- pero el por %u( de las explicaciones biolgicas suele
ser un para %ue, y es por esto por lo %ue estas explicaciones han sido lla!adas
teleolgicas.
A%u parece %ue ya no es posible un criterio de verdad %ue se a6uste al patrn de verdad
co!o correspondencia con los hechos, pues los fines son algo %ue nos tene!os %ue
i!aginar, pero no algo %ue poda!os ver y, si lo no pode!os ver, =c!o aplicar el
criterio de la verdad co!o correspondencia>.
8a!poco parece aplicable a estas ciencias el criterio de verdad co!o coherencia, pues la
verdad co!o coherencia parece %ue es algo exclusivo de las ciencias for!ales- nos
%uedara, por tanto, co!o criterio !,s aceptable el criterio prag!,tico de verdad
M.M &l proble!a de la distincin entre ciencias naturales y ciencias sociales
8radicional!ente se entiende por ciencias naturales a%uellas %ue estudian alg?n aspecto
de la realidad natural no hu!ana, !ientras %ue por ciencias del ho!bre se entiende
a%uellas ciencias %ue estudian alg?n aspecto de la realidad hu!ana. 7uando se traba6a
con esta divisin se parte, general!ente de dos $pre6uicios$+ 1# las ciencias naturales
han alcanzado el status de ciencia, y cual%uier cosa %ue pretenda pasar por ciencia tiene,
de alguna !anera, %ue ase!e6arse a ellas- 2# el ho!bre es una realidad total!ente
distinta del resto de la naturaleza y, por tanto, su estudio re%uiere un !(todo distinto.
&sta divisin entre ciencias naturales y ciencias sociales "o hu!anas# %ueda refle6ada en
dos posturas !edotolgicas diferentes+
1# .onis!o !etodolgico. Ae desarroll especial!ente durante la pri!era !itad de este
siglo, dentro de la tradicin anglosa6ona. Los filsofos partidarios de esta postura
defendan la idea de %ue el estudio de las acciones hu!anas no es cualitativa!ente
diferente del estudio de los fen!enos naturales. Ae parta del supuesto de %ue el poder
de la razn y la reflexin crtica es suficiente para trascender nuestro contexto social y
nuestro horizonte histrico, y, en consecuencia, para conocer ob6etiva!ente el !undo.
De a%u el inter(s de dichos filsofos por codificar las reglas de $el$ !(todo %ue
supuesta!ente garantizaba la correcta pr,ctica cientfica y el aut(ntico conoci!iento. Ai
acepta!os el !onis!o !etodolgico, habre!os de usar el !is!o criterio de verdad
*cual%uiera %ue este sea* tanto en las ciencias hu!anas co!o en las ciencias naturales.
2# Dualis!o !etodolgico. Defienden la especificidad y autono!a de for!as de
reflexin %ue no tienen por %u( ser asi!ilables o reducibles a los c,nones de las ciencias
naturales para %ue se les pueda considerar co!o for!as legti!as de conoci!iento. Ain
e!bargo, los defensores de este dualis!o !etodolgico siguen aceptando co!o
correcta la i!agen tradicional de las ciencias naturales, y consideran %ue ellas est,n
libres de los proble!as propios de las ciencias hu!anas, los cuales obedecen al car,cter
peculiar de su ob6eto de estudio. Aeg?n los defensores del dualis!o !etodolgico, los
principales contrastes entre las ciencias hu!anas y las ciencias naturales son los
siguientes+
&n las ciencias naturales los datos son independientes de las teoras, no as en las
ciencias sociales donde lo %ue cuenta co!o dato se deter!ina a la luz de alguna
perspectiva terica, y donde los hechos !is!os tienen %ue ser reconstruidos con base en
alguna interpretacin. 'or tanto, las ciencias naturales, a diferencia de las sociales,
cuentan con una base e!prica terica!ente neutral, la cual per!ite a los cientficos
poner a prueba sus teoras y elegir, con total acuerdo, entre hiptesis alternativas. Aeg?n
esto, parece %ue en ciencias naturales s tiene sentido hablar de verdad "en tanto %ue (sta
es algo ob6etivo e independiente del investigador, algo %ue el investigador busca#- no
ocurrira as en las ciencias sociales.
&n las ciencias naturales las teoras explican los hechos siguiendo un es%ue!a
hipot(tico*deductivo, esto es- si la naturaleza fuera de tal y cual !anera, los datos de la
experiencia se daran co!o en efecto se nos presentan. &n ca!bio, en las ciencias
sociales, el criterio de lo %ue cuenta co!o una buena teora es laco!prensin %ue la
teora nos per!ite alcanzar tanto de las intenciones de los agentes co!o de los
significados de los fen!enos hu!anos.
&l lengua6e de las ciencias naturales, ade!,s de ser preciso y for!alizable, est,
constituido por t(r!inos %ue tienen un significado unvoco- se trata, por tanto, de un
lengua6e %ue debe interpretarse literal!ente. &n ca!bio, el lengua6e de las ciencias
hu!anas es inevitable!ente !ultvoco y !uchas veces !etafrico. Los significados, en
las ciencias naturales, son separables de los hechos, !ientras %ue en las ciencias
hu!anas los significados son un co!ponente constitutivo de los hechos. &sto se debe a
%ue los ob6etos de estudio de estas ?lti!as "acciones y conductas intencionales, reglas
sociales, docu!entos, inscripciones, artefactos hu!anos, etc.# son inseparables de su
significado para los agentes. De a%u %ue los significados, en las ciencias del ho!bre,
deban co!prenderse !ediante la coherencia terica y no por la correspondencia con los
hechos. &n otras palabras, para co!prender las acciones hu!anas y recuperar su
intencionalidad *su significado* se re%uiere de una interpretacin her!en(utica
adecuada, la cual es relativa a las distintas culturas e, incluso, a los distintos individuos.
Aeg?n esto, a las ciencias naturales les correspondera un concepto de verdad co!o
correspondencia, en el sentido %ue 8arsSi dio a esta expresin- por el contrario, los
!(todos de las ciencias sociales seran !(todos her!en(uticos, en donde lo i!portante
no es la verdad, sino entender lo %ue est, ocurriendo.
&n La estructura de las revoluciones cientficas 5uhn articul una nueva concepcin de
las ciencias naturales %ue entraa fuertes paralelis!os con la concepcin tradicional de
las ciencias sociales. Algunas de las tesis b,sicas del enfo%ue %ue e!erge de La
estructura..., y %ue hacen referencia a nuestro te!a, son+
Fo hay una ?nica !anera de organizar conceptual!ente a%uello %ue se nos da en la
experiencia. Ai bien la experiencia es, desde luego, un ingrediente funda!ental en la
ad%uisicin de conoci!iento, el desarrollo de la ciencia depende ta!bi(n de nuestra
capacidad para confor!ar los hechos de distintas !aneras. Los ob6etos y los hechos
naturales no son algo %ue est( dado de ante!ano, son !,s bien algo %ue se constituye o
reconstruye a partir de los insu!os de la experiencia, pues tanto su identificacin co!o
su descripcin dependen *en alguna !edida* de nuestros siste!as de conceptos. 'or
tanto, no hay un lengua6e neutral de observacin, independiente de las perspectivas
locales, %ue nos per!ita capturar as(ptica!ente los hechos y ob6etos de la experiencia.
Ahora bien, si no hay un lengua6e neutral de observacin, parece %ue no tiene sentido un
concepto de verdad del tipo $verdad co!o correspondencia$- las teoras cientficas
describen la realidad tal y co!o el cientfico la ve en el !o!ento de for!ular la teora,
lo %ue no %uiere decir %ue la realidad sea real!ente as.
Dada una cierta !anera de identificar y concebir los hechos de un do!inio de
investigacin, sie!pre es posible construir teoras alternativas %ue den cuenta de los
!is!os hechos y %ue, sin e!bargo, sean teoras inco!patibles. &sto significa %ue si
bien las teoras est,n constreidas por los hechos, ya %ue para ser aceptables deben ser
e!prica!ente adecuadas, los hechos, sin e!bargo, no bastan para elegir entre ellas. &n
otras palabras, las teoras est,n subdeter!inadas por la evidencia e!prica y, en
consecuencia, no tiene sentido un concepto de verdad al estilo tradicional.
&n el desarrollo de las diversas disciplinas se presentan situaciones de co!petencia
entre teoras alternativas, donde la aceptacin de una teora i!plica el rechazo de la otra.
&ste ca!bio de enfo%ue terico casi sie!pre trae consigo p(rdidas explicativas, lo cual
pone de relieve el car,cter no acu!ulativo y discontinuo del desarrollo cientfico. De
a%u %ue la idea de progreso co!o un acerca!iento a la verdad, es decir, co!o una
correspondencia cada vez !ayor entre nuestros siste!as de creencias y el !undo real,
carezca de adecuacin histrica y, por tanto, de 6ustificacin.
La eleccin de teoras es una actividad racional, pero en el sentido de ser una actividad
de argu!entacin y deliberacin, donde tienen cabida los desacuerdos, la cual no se
a6usta al !odelo de pruebas deductivas para las ciencias for!ales, ni ta!poco a los
!odelos de confir!acin o refutacin propuestos por los filsofos cl,sicos para las
ciencias e!pricas. &l !odelo de eleccin de teoras, en esta nueva concepcin, est,
!ucho !,s cerca de los !odelos %ue se han propuesto para explicar la accin en las
ciencias hu!anas, %ue de los !odelos %ue han pretendido dar cuenta del $genuino
conoci!iento$.
La ciencia no es una e!presa total!ente autno!a. Dado %ue las ciencias e!pricas no
cuentan con procedi!ientos algort!icos para !edir el (xito de sus teoras,
procedi!ientos %ue al co!parar teoras rivales pudieran dictar la !is!a eleccin a
todos los cientficos %ue desarrollan una especialidad, tene!os %ue el ca!bio de teoras
est, subdeter!inado por las razones disponibles en cada contexto. &sta situacin da
lugar a %ue factores de tipo $externo$ "ideolgicos, !etafsicos, psicolgicos, sociales,
etc.# puedan 6ugar un papel en el desarrollo cientfco.
M.C La verdad en las ciencias naturales+ 'opper y el 7rculo de :iena
&l principio funda!ental del e!piris!o !oderno es la idea de %ue todo conoci!iento
no analtico se basa en la experiencia. &l e!piris!o lgico conte!por,neo le ha
aadido la !,xi!a seg?n la cual una oracin constituye una afir!acin
cognoscitiva!ente significativa y puede, por tanto, decirse %ue es verdadera o falsa
?nica!ente si es, bien 1# analtica o contradictoria, o bien 2# capaz, por lo !enos en
principio, de ser confir!ada por la experiencia. De acuerdo con este criterio !uchas de
las for!ulaciones de la !etafsica tradicional y grandes partes de la episte!ologa
resultan carentes de significado cognoscitivo * independiente!ente de lo fructferas %ue
resulten algunas de ellas en sus connotaciones no cognoscitivas en virtud de su atractivo
e!ocional o de la inspiracin !oral %ue ofrecen. De igual !anera, ciertas teoras %ue en
un !o!ento u otro fueron for!uladas en la ciencia e!prica o sus disciplinas auxiliares,
est,n presentadas de tal for!a, %ue resulta i!posible verificarlas con cual%uier prueba
concebible- en consecuencia, son calificadas de seudohiptesis, %ue no afir!an nada y
%ue, por lo tanto, no tienen ninguna fuerza explicativa o predictiva.
&n los pri!eros tie!pos del 7rculo de :iena se deca %ue una oracin tena significado
e!prico si era susceptible, al !enos en principio, de verificacin co!pleta por !edio
de la observacin, es decir, si poda describirse una prueba observacional tal %ue, de
alcanzarse real!ente, establecera de !odo concluyente la verdad de la oracin. 7on
ayuda del concepto de oracin observacional, pode!os refor!ular este principio del
!odo siguiente+ Ena oracin A tiene significado e!prico si, y slo si, es posible indicar
un con6unto finito de oraciones de observacin G1, G2, ..., Gn, tales %ue, si son
verdaderas, entonces A es necesaria!ente verdadera ta!bi(n. 'ero, tal co!o se ha
presentado, esta condicin ta!bi(n se satisface si A es una oracin analtica o si las
oraciones observacionales dadas son lgica!ente inco!patibles entre s. 7on la
siguiente for!ulacin %uedan excluidos esos casos+
He%uisito de verificabilidad co!pleta en principio+ Ena oracin tiene significado
e!prico si, y slo si, no es analtica y se deduce lgica!ente de una clase finita y
lgica!ente consistente de oraciones observacionales.
Los defectos de este re%uisito son+
&xcluye todas las oraciones de for!a universal y, en consecuencia, todos los enunciados
%ue pretenden expresar leyes generales- ya %ue (stas no pueden ser verificadas
concluyente!ente por un con6unto finito de datos observacionales. De !anera si!ilar,
el criterio descalifica todas las oraciones %ue contienen tanto cuantificadores universales
co!o existenciales ya %ue oraciones de esta clase no pueden ser deducidas lgica!ente
de un con6unto finito de oraciones observacionales.
Auponga!os %ue A es una oracin %ue satisface el criterio propuesto, !ientras %ue F es
una oracin tal co!o $Lo absoluto es perfecto$, a la cual el criterio no atribuye
significado e!prico. &ntonces la disyuncin A b F satisface ta!bi(n el criterio. 'ero,
evidente!ente, el criterio e!prico de significado no est, destinado a probar oraciones
de este tipo
Aea $'$ un predicado observacional. &ntonces, la oracin pura!ente existencial $"\x#
'"x#$ "$&xiste por lo !enos una cosa %ue tiene la propiedad '$# es co!pleta!ente
verificable, por%ue se deduce de una oracin observacional %ue afir!a de alg?n ob6eto
particular %ue tiene la propiedad '. 'ero su negacin, al ser e%uivalente a la oracin
universal $"x# Z'"x#$ "$Fada tiene la propiedad '$# no es, evidente!ente, por co!pleto
verificable. De a%u %ue, ba6o este criterio las negaciones de ciertas oraciones e!pricas
* y, por lo tanto, cognoscitiva!ente * significativas, resultan carentes de significado
e!prico- y co!o no son ni analticas ni contradictorias, carecen cognoscitiva!ente de
significado. 'ero cual%uiera %ue sea la !anera en %ue deli!ite!os el do!inio del
lengua6e significativo, tendre!os %ue insistir en %ue si una oracin cae dentro de tal
do!inio, otro tanto tendr, %ue suceder con su negacin. 'ara decirlo !,s claro+ las
oraciones %ue han de ser calificadas de cognoscitiva!ente significantes son
precisa!ente a%uellas de las %ue puede decirse significativa!ente %ue son verdaderas o
falsas. 'ero entonces la adhesin al re%uisito de verificabilidad co!pleta en principio
engendrara un grave dile!a, co!o se ve por la consecuencia %ue acaba de
!encionarse. 8endra!os %ue renunciar, bien el principio lgico funda!ental de %ue si
una oracin es verdadera o falsa, su negacin es falsa o verdadera, respectiva!ente "y,
por lo tanto cognoscitiva!ente significativa#+ o bien tendre!os %ue negar, de un !odo
%ue recuerde la concepcin intuicionista de la lgica y de las !ate!,ticas %ue $"x#
Z'"x#$ es lgica!ente e%uivalente a la negacin de $"$x '"x#$. 7lara!ente, el criterio
no 6ustifica !edidas tan en(rgicas para su conservacin- por lo tanto, debe ser
abandonado. &n su lugar se propuso el siguienteJ
He%uisito de refutabilidad co!pleta en principio+ Ena oracin tiene significado
e!prico si, y slo si, su negacin no es analtica y se sigue lgica!ente de una clase
finita lgica!ente consistente de oraciones observacionales.
&ste criterio es inadecuado por las !is!as razones %ue el anterior+
&xcluye hiptesis pura!ente existenciales y todas las oraciones cuya for!ulacin
re%uiera cuantificacin !ixta, es decir, universal y existencial- por%ue ninguna de ellas
puede posible!ente ser refutada concluyente!ente por un n?!ero finito de oraciones
observacionales.
Ai una oracin A es co!pleta!ente refutable y F es una oracin %ue no lo es, entonces
su con6uncin A c F es co!pleta!ente refutable- por%ue si la negacin de A es
i!plicada por una clase de oraciones observacionales, entonces la negacin de A c F
est,, a fortiori, i!plicada por esa !is!a clase. As, el criterio concede significado
e!prico a !uchas oraciones %ue descartara un criterio e!prico adecuado ...
Ai $'$ es un predicado observacional, entonces la afir!acin de %ue todas las cosas
tienen la propiedad ' es calificada de significativa, pero su negacin, %ue es e%uivalente
a una hiptesis pura!ente existencial, es descalificada ...
&n su!a, pues, las interpretaciones del criterio de verificabilidad entendido co!o
verificabilidad co!pleta o refutabilidad co!pleta, son inadecuadas por%ue son
de!asiado restrictivas en una direccin y de!asiado a!plias en otras, y por%ue a!bas
re%uieren ca!bios definitivos en los principios funda!entales de la lgica.
Ayer propuso una versin !odificada del criterio de verificabilidad. La !odificacin
restringe, de hecho, las hiptesis subsidiarias a oraciones %ue bien sean analticas, bien
%ue pueda de!ostrarse independiente!ente %ue son verificables en el sentido del
criterio !odificado.
'ero puede de!ostrarse f,cil!ente %ue este criterio nuevo, co!o el re%uisito de
refutabilidad co!pleta, le concede significado e!prico a toda con6uncin A c F, en la
%ue A satisfaga el criterio de Ayer !ientras %ue F es una oracin tal co!o $Lo absoluto
es perfecto$, %ue confor!e a dicho criterio debe ser rechazada. &n realidad+
cuales%uiera %ue sean las consecuencias %ue puedan deducirse de A con la ayuda de
hiptesis subsidiarias per!isibles, podr,n ta!bi(n ser deducidas de A c F, por !edio
de las !is!as hiptesis subsidiarias, y co!o el nuevo criterio de Ayer est, for!ulado
esencial!ente en t(r!inos de cierto tipo de consecuencias %ue son deducibles de la
oracin dada, acepta tanto a A c F co!o a A.
La conclusin a la %ue llegaron los positivistas lgicos es %ue, en palabras de Be!pel+
.ientras nos esforce!os por establecer un criterio de verificabilidad para las oraciones
individuales de un lengua6e natural, en t(r!inos de sus relaciones lgicas con las
oraciones observacionales, el resultado ser, o de!asiado restrictivo o de!asiado
a!plio, o a!bas cosas
'or ello, propusieron el+
7riterio de traducibilidad para el significado cognoscitivo+ Ena oracin tiene significado
cognoscitivo si, y slo si, es traducible a un lengua6e e!pirista.
8odo lengua6e e!pirista puede caracterizarse ta!bi(n indicando su vocabulario y las
reglas %ue deter!inan su lgica- estas ?lti!as co!prenden las reglas sint,cticas de
acuerdo con las cuales pueden for!arse oraciones por !edio del vocabulario dado. &n
efecto, el criterio de traducibilidad propone %ue se caractericen las oraciones
cognoscitiva!ente significativas sealando cu,l es el vocabulario con el cual pueden
for!arse y %u( los principios sint,cticos %ue gobiernan su construccin. Yu( oraciones
se sealen co!o cognoscitiva!ente significativas depende, pues, de la eleccin del
vocabulario y de las reglas de construccin.
'ode!os calificar de e!pirista a un lengua6e L si satisface las condiciones siguientes+
&l vocabulario de L contiene+
Las locuciones habituales de lgica %ue se usan en la for!ulacin de oraciones,
incluyendo sobre todo las expresiones $no$, $y$, $o$, $si ... entonces ...$, $todo$,
$algunos$, $la clase de todas las cosas tales co!o ...$, $... es un ele!ento de la clase ...$-
7iertos predicados observacionales. Ae dir, %ue ellos constituyen el vocabulario
e!prico b,sico de L-
8oda expresin definible por !edio de las sealadas en 1# y 2#.
Las reglas para la for!acin de oraciones en L son las %ue se establecen en alg?n
siste!a lgico conte!por,neo tal co!o 'rincipia .athe!atica
&stas reglas estipulan de hecho %ue un lengua6e L es e!pirista si todas sus oraciones son
expresables, con la ayuda de las locuciones lgicas habituales, en t(r!inos de
caractersticas observables de ob6etos fsicos. Lla!e!os a cual%uier lengua6e de este
tipo lengua6e*cosa. &l vocabulario e!prico b,sico de un lengua6e e!pirista, puede
construirse de tal !anera %ue est( for!ado por t(r!inos feno!enistas, cada uno de los
cuales se refiere a alg?n aspecto del fen!eno perceptivo o sensitivo. Ai construi!os
los lengua6es e!piristas en el sentido del criterio de traducibilidad para el significado
cognoscitivo, entonces se evita todos los inconvenientes sealados en las pri!eras
for!as del criterio de verificabilidad, pues
La caracterizacin de los lengua6es e!piristas prev( explcita!ente la cuantificacin
universal y existencial- de a%u %ue en general ning?n tipo de enunciado cuantificado
sea excluido del ca!po del discurso cognoscitiva!ente significativo-
Graciones tales co!o $Lo absoluto es perfecto$ no pueden for!ularse en un lengua6e
e!pirista- y en consecuencia no existe el peligro de %ue sea calificada de
cognoscitiva!ente significativa, una con6uncin o una disyuncin %ue contengan una
oracin de esa clase co!o co!ponente-
&n un lengua6e L con reglas sint,cticas confor!e a 'rincipia .athe!atica, la negacin
de una oracin es sie!pre ta!bi(n una oracin de L. As, el criterio de traducibilidad no
lleva a la consecuencia de %ue las negaciones de ciertas oraciones significativas sean
no*significativas-
&l nuevo criterio no atribuye significado cognoscitivo a todas las oracionesL "pp. 12C*
12X#
Ain e!bargo, este criterio es a?n de!asiado restrictivo en un punto i!portante+ el
criterio de traducibilidad concede significado cognoscitivo a una oracin ?nica!ente si
sus t(r!inos e!pricos constitutivos son explcita!ente definibles por !edio de
predicados observacionales. 'ero !uchos t(r!inos, incluso de las ciencias fsicas, no
son definibles de esta !anera- de ah %ue el criterio nos obligue a rechazar, co!o vacas
de significado cognoscitivo, todas las hiptesis cientficas %ue contengan tales t(r!inos,
consecuencia definitiva!ente intolerable.
&l concepto de te!peratura es un caso %ue puede servirnos de e6e!plo. A pri!era vista,
parece %ue la frase $&l ob6eto x tiene una te!peratura de c grados centgrados$, o !,s
breve!ente $8"x# ^ c$ slo si se satisface la siguiente condicin+ si un ter!!etro est,
en contacto con x registrar,, entonces, c grados en su escala. De6ando a un lado las
sutilezas, puede concederse %ue el definiens ofrecido est, entera!ente for!ulado en
t(r!inos observacionales. Ain e!bargo, tiene un aspecto alta!ente discutible. &n
'rincipia .athe!atica y siste!as an,logos, la frase $si p, entonces %$ se considera
sinni!a a $no p o %$, y en esta interpretacin lla!ada !aterial del condicional, un
enunciado de la for!a $si p, entonces %$ es obvia!ente verdadero si "aun%ue no slo si#
la oracin %ue est, en lugar de $p$ es falsa. 'or lo tanto si el significado de $si d
entonces d$ en el definiens de "D# es interpretado en el sentido !aterial, entonces tal
definiens es verdadero si "aun%ue no slo si# x es un ob6eto %ue no est, en contacto con
un ter!!etro independiente!ente del valor nu!(rico %ue le otorgue!os a c. U co!o
el definiendu! sera verdadero en las !is!as circunstancias, la definicin "D#
calificara co!o verdadera la atribucin de cual%uier te!peratura a cual%uier ob6eto %ue
no est( en contacto con un ter!!etro.
Despu(s de todos estos fracasos, el criterio verificacionista fue abandonado incluso por
sus defensores- sobre todo a partir de la crtica %ue contra (l dirigiera 'opper.
Trente al verificacionis!o del positivis!o lgico, 'opper sostiene %ue la !etodologa
cientfica debe orientarse a la refutacin y no a la verificacin de teoras- en vez de
hablar de verdad, 'opper habla de verosi!ilitud o aproxi!acin asinttica a la verdad.
Fo existen teoras %ue poda!os considerar co!o definitiva!ente verdaderas. Lo %ue
hay son teoras %ue todava no han sido refutadas y, por ello, son consideradas co!o
provisional!ente verdaderas.
&l enfrenta!iento entre 'opper y el 7rculo de :iena no es radical, sino %ue se debe
!,s bien a cuestiones secundarias- a!bos hablan un lengua6e parecido y sus tesis
funda!entales coinciden. La crtica de 'opper se puede resu!ir en dos puntos+
'opper considera dog!,tica la divisin de las proposiciones en dos clases, la de las
proposiciones significantes o cientficas y la de las proposiciones no significantes o
!etafsicas, ya %ue esta divisin pretende fundarse en la naturaleza !is!a de las
proposiciones, identificable de una vez para sie!pre. 'ara 'opper se trata de sealar una
lnea de de!arcacin, esto es, de anticipar una proposicin o establecer una convencin
para la de!arcacin del propio do!inio de la ciencia.
Afir!a 'opper %ue la existencia hay %ue entenderla no co!o un !undo de datos, sino
co!o un !(todo de so!eter a prueba o control los distintos siste!as teor(ticos
lgica!ente posibles.
Aobre estas bases, 'opper propone e!plear co!o criterio de de!arcacin, no la
verificabilidad, sino la falsabilidad de las proposiciones+ es decir, considerar co!o
contrasea de un siste!a cientfico la posibilidad de ser rebatido por la experiencia. La
superioridad de este criterio se funda, para 'opper, en la asi!etra entre verificabilidad y
falsabilidad, ya %ue !ientras %ue las proposiciones universales nunca pueden derivarse
de las particulares, sin e!bargo pueden ser des!entidas por una sola de (stas+ no basta
haber co!probado %ue $este ho!bre es !ortal$ para afir!ar %ue $todos los ho!bres
son !ortales$- pero basta haber co!probado a%uella afir!acin para des!entir %ue
$todos los ho!bres son in!ortales$. Ena teora puede lla!arse e!prica o falsable si
divide sin a!bigNedad la clase de todas las proposiciones funda!entales en dos
subclases+ la de las proposiciones con las cuales es inco!patible y %ue constituyen los
falsadores potenciales de la teora, y la de las proposiciones %ue no la contradicen o %ue
ella per!ite. .,s breve!ente, $una teora es falsable si la clase de sus falsadores
potenciales no es vaca$.
'opper afir!a %ue es i!posible verificar una teora, pues no es posible co!probar todas
y cada una de sus posibilidades, pues al ser un enunciado universal, ninguna
observacin %ue parta de la induccin puede verificar todas las hiptesis posibles, pues
seran infinitas, por lo %ue nunca podra afir!arse %ue una teora est, probada siguiendo
este ca!ino. 'or esto propone realizar un ca!ino contrario+ intentar probar %ue la teora
es falsa, encontrando un solo hecho %ue refute la teora.
M.X La verdad en las ciencias sociales
Dilthey dividi las ciencias e!pricas en ciencias de la naturaleza y ciencias del
espritu- y afir!aba %ue cada una de estas ciencias depende de un tipo de racionalidad-
el funda!ento de las ciencias de la naturaleza es la razn instru!ental, !ientras %ue el
funda!ento de las ciencias del espritu es la razn histrica. &sta distincin fue recogida
por los !ie!bros de la &scuela de TranSfurt para afir!ar %ue el !(todo de
conoci!iento y, por tanto, las vas para llegar a la verdad son distintos en a!bos tipos
de ciencias- esta postura fue rechazada por los !ie!bros del $racionalis!o crtico$
encabezado por 5. H. 'opper, dando lugar a lo %ue se conoce co!o la $disputa del
positivis!o en la sociologa ale!ana$.
&sta disputa se inscribe en el !arco general del proble!a del !(todo cientfico de las
ciencias sociales, y hasta de la legiti!idad de la distincin entre ciencias de la
naturaleza y ciencias del espritu. Las ciencias de la naturaleza se basan
funda!ental!ente en el !(todo hipot(tico*deductivo, ci!entado en el criterio
neopositivista de explicacin, seg?n el cual explicar un hecho consiste en deducirlo de
una argu!entacin co!puesta por leyes y condicin iniciales- as, toda prediccin
cientfica sigue el !is!o !odelo deductivo. 'or el contrario, las ciencias sociales no
pueden atenerse a este !odelo no!olgico de explicacin y prediccin, ya %ue las
regularidades %ue se observan son *por naturaleza de la !ateria de %ue tratan*
difcil!ente predictibles. 8radicional!ente se adscribe a las ciencias de la naturaleza la
funcin de describir y explicar hechos, !ientras %ue se atribuye a las ciencias sociales la
funcin de aplicar valoraciones o valores.
Las $disputa del positivis!o$ se inici en el congreso de 8ubinga organizado por la
Aociedad Ale!ana de Aociologa en octubre de 1D31. &l congreso fue abierto con dos
ponencia+ la pri!era debida a 'opper y la segunda a Adorno. 'opper sostuvo la unidad
del !(todo cientfico, %ue puede ser aplicado tanto a las ciencias naturales co!o a las
ciencias sociales, sin %ue exista divisin !etodolgica*cientfica entre a!bos grupos de
disciplinas. &ste !(todo ?nico consiste en la experi!entacin de intentos de solucin de
sus proble!as, donde se proponen soluciones y se las critica. &sa prueba puede
conducir a la confir!acin "sie!pre provisional y nunca definitiva, seg?n 'opper# de la
teora %ue se co!prueba. &n a!bos grupos de ciencias aprende!os gracias a nuestros
errores. La ob6etividad de las teoras e%uivale a su controlabilidad o falsabilidad. Aeg?n
'opper, todas las ciencias deben atenerse al !is!o !(todo+ 1# proposicin de hiptesis-
2# contrastacin por los hechos "es decir, falsacin#. U las hiptesis %ue no superan la
prueba de los hechos han de ser desechadas co!o no cientficas.
Los dial(cticos de la &scuela de TranSfurt rechazan la i!posicin positivista a la
sociologa de los !(todos propios de las ciencias de la naturaleza. 'ara (stos la sociedad
no es un ob6eto de la naturaleza y tiene sus propias caractersticas+ es una totalidad, %ue
ha de captarse en su globalidad, puesto %ue es contradictoria en s !is!a, racional e
irracional a un tie!po- la reflexin %ue sobre ella se hace no tiende si!ple!ente a
conocerla, sino a transfor!arla, y toda teora social es ta!bi(n pr,ctica- de ella nos
interesa pri!aria!ente no lo %ue es verdadero o falso, sino lo %ue es bueno o 6usto.
Adorno entiende la lgica de la investigacin cientfica de una !anera !,s a!plia de
c!o la concibe 'opper. 'ara Adorno es el !odo concreto co!o debe proceder la
sociologa, !,s %ue un con6unto de nor!as generales de pensa!iento o de una
disciplina deductiva. La sociologa no posee, hasta el !o!ento, un siste!a de leyes tan
patentes y claras co!o las %ue tienen las ciencias naturales, por lo %ue es in?til pensar
%ue la unidad del !(todo entre las ciencias sociales y las ciencias de la naturaleza sirva
para re!ediar la separacin %ue de factoexiste entre a!bas ciencias. Las ciencias
naturales estudian un ob6eto definido, %ue puede ser abordado de for!a in!ediata, pero
la sociedad no es un ob6eto %ue est( ah, tal cual, para ser exa!inado, sino %ue ni es
neutral ni es coherente- la sociedad es contradictoria, y en ella coexiste lo racional y lo
irracional. 'or consiguiente, el !(todo de la sociologa debe tener esto en cuenta. Ai no
es as, por !or de un puris!o !etodolgico %ue repugne de lo contradictorio lo
dial(ctico entonces la sociologa se encontrar, en s !is!a con una contradiccin+ la%ue
existe entre su estructura for!al "el !(todo sociolgico# y la estructura de su ob6eto "la
sociedad#. As co!o sea el ob6eto, as ser, el !(todo, indica Adorno. Ade!,s, la
sociologa ser, ta!bi(n una crtica de la sociedad, una crtica social, versando el
aut(ntico conoci!iento sobre la totalidad social %ue entiende las partes co!o un todo
dial(ctico. La sociedad slo es $proble!a$ ?nica!ente para a%uella persona %ue pueda
pensar una sociedad distinta de la %ue existe. 'ero renunciar a una teora propia de la
sociedad "co!o hace 'opper, seg?n Adorno# es una actitud conservadora y de
resignacin+ no se atreve a pensar el todo social por%ue no cree poder transfor!arlo.
Fo existe, pues, una ciencia pura!ente ob6etivista de la sociedad, ya %ue la sociologa
e!prica es una investigacin ob6etiva de opiniones sub6etivas- la sociologa "si tuviera
razn 'opper# estudia lo %ue la gente piensa, cree y hace, pero no se preguntara por %u(
las personas piensan, creen y hacen eso estricta!ente, por lo %ue lo b,sico de la crtica
al positivis!o sociolgico es, seg?n Adorno, la consideracin seg?n la cual (ste veda la
experiencia de la totalidad ciega!ente do!inante. 'ero la totalidad es necesaria!ente
dial(ctica, y (sta es una teora %ue describe las contradicciones ob6etivas y reales de una
sociedad. Ai %uere!os evitar caer en la razn instru!ental, entonces la totalidad debe
ser una conciencia de la ciencia, en cuanto conciencia de los infinitos !odos %ue revista
una sociedad. La totalidad es asi!is!o una categora crtica, un ata%ue a la prohibicin
positivista en tanto %ue (sta i!posibilita la fantasa, el pensar lo nuevo. &l positivis!o,
final!ente, al estudiar la sociedad co!o un ob6eto si!ilar al fsico*csico olvida %ue
existen !ultitud de intereses creados %ue hacen %ue una sociedad se configure de una
deter!inada for!a- pero si no se recurre al !(todo dial(ctico y a la separacin entre
ciencias sociales y ciencias naturales, entonces estos intereses no ser,n percibidos.
'opper considera %ue el !(todo dial(ctico defendido por los franSfurtianos es una
nefasta interpretacin del !(todo estricta!ente cientfico. &n (ste, contra lo %ue
defienden los franSfurtianos, no existe una necesidad de la sntesis, as co!o ta!poco
est, clara la posicin ni de la tesis ni de la anttesis. &l !(todo dial(ctico es irrelevante
cientfica!ente y no explica nada, pues o es !era!ente tautolgico o es tan
o!niexplicativo %ue no explica nada, pues no est, su6eto a la fuerza probatoria de la
experiencia, ya %ue no es falsable.
'opper defiende %ue existe una b,sica unidad entre la !etodologa de las ciencias
sociales y las ciencias naturales. La ingeniera social es gradualista y $refor!ista$. 'ero
seg?n los defensores del historicis!o dial(ctico, los franSfurtianos, las ciencias sociales
deben per!itir la evolucin histrica hu!ana de tal for!a %ue pode!os prever sus
consiguientes avances. 'ero 'opper cree %ue esto se ase!e6a a la profeca, pero %ue no
es ciencia, pues el historicis!o ignora lo siguiente+
La ciencia se desenvuelve por desarrollos no sie!pre previsibles.
&l historicis!o confunde las leyes cientficas con si!ples tendencias "(stas, en realidad,
deben ser explicadas por leyes#.
La historia del ho!bre no tiene un sentido concreto- el ?nico sentido %ue posee es el %ue
el ho!bre le d(.
La historia 6uzga al ho!bre, pero no nos 6ustifica.
La $totalidad$ es la concepcin %ue pretende captar la co!pletud de un ob6eto o de un
aconteci!iento o de una sociedad. 'ero 'opper considera %ue es un la!entable error
!etodolgico afir!ar %ue el ho!bre puede co!prender la $totalidad$- !,s bien las
teoras lo ?nico %ue pueden entender son aspectos concretos y deli!itados de la
realidad, y esos aspectos son infinitos. De esta for!a el holis!o se desvanece en un
peligro utopis!o o se convierte en un la!entable totalitaris!o.
&l $racionalis!o crtico$ popperiano, al rechazar la idea de una verdad absoluta, rechaza
ta!bi(n la idea de funda!entacin. &ste rechazo ha sido resu!ido por Bans Albert en
lo %ue (l deno!ina tril!ea de .Nnchhausen, %ue dice as+ $Ai exigi!os para todo una
funda!entacin, debe!os exigirla ta!bi(n para a%uellos conoci!ientos a los %ue
he!os reconducido a la proposicin %ue trab,ba!os de funda!entar. &sto lleva a una
situacin con tres alternativas, %ue son igual!ente inaceptables- por tanto, a un trile!a
%ue, por la analoga entre nuestro proble!a y el del fa!oso barn, propongo lla!ar
trile!a de .Nnchhausen. 'ues slo pode!os elegir entre tres alternativas$+
En regresu! ad infinitu!, %ue viene dado por la necesidad de ir cada vez !,s atr,s en
la b?s%ueda de funda!entos, pero %ue no puede llevarse a cabo en la pr,ctica, por lo
%ue no nos proporciona ninguna base segura en el conoci!iento.
Ena circularidad lgica en la deduccin, %ue surge cuando en el proceso de
funda!entacin se recurre a enunciados %ue previa!ente haba aparecido co!o
necesitados de funda!entacin, crculo %ue, al ser lgica!ente incorrecto, no conduce a
ning?n funda!ento seguro.
Ena interrupcin del procedi!iento en alg?n !o!ento concreto, %ue es, cierta!ente,
realizable en principio, pero %ue lleva consigo la suspensin arbitraria del principio de
funda!entacin suficiente.
&l crtico !,s reciente del $racionalis!o crtico$ y defensor, a su vez, de las teoras de
la &scuela de TranSfurt, es Baber!as. Baber!as defiende %ue el desenvolvi!iento de
las ciencias sociales acerca a (stas al idea de la ciencia positivista, por lo %ue pueden
ase!e6arse a las ciencias naturales- en ella pri!a un inter(s cognoscitivo !,s %ue el
!era!ente t(cnico. 'ero si esto es as, entonces las ciencias sociales no podr,n ofrecer
criterios valorativos en orden a su orientacin pr,ctica, sino %ue ahora la ciencia es !era
ciencia de los !edios, pero no de los fines. La razn terica no puede funda!entar los
fines. Ae trata, seg?n Baber!as, de una $razn desinfectada$, %ue no posee voluntad de
ilustracin, por lo %ue slo cabra basarse en el capricho, %ue se esconde en el
calificativo de $decisin$.
Baber!as afir!a %ue la ciencia se co!pone de 6uicios cientficos, siendo propio de los
6uicios de valoracin los basados en la decisin. &xiste una dualidad entre los hechos y
las decisiones- esta divisin est, basada en la separacin episte!olgica entre conocer y
valorar. La ciencia no soluciona el sentido de las nor!as pr,cticas, pues los 6uicios
donde entran en 6uego valoraciones nunca pueden asu!ir legti!a!ente la for!a de
aserciones tericas. &sta separacin entre los hechos y las decisiones obliga a
circunscribir el conoci!iento estricto a las lla!adas ciencias en general. &xiste, en
definitiva, una contraposicin entre el positivis!o del conoci!iento y el decisionis!o
de las elecciones en el ca!po de la praxis. &l decisionis!o podr, optar libre!ente por
los fines !,s elevados, pero (stos no pueden 6ustificarse desde la ciencia. La t(cnica
podr, ser cada vez !,s racionalizada, pero el reino de los fines corresponde al ,!bito
de lo !tico.
Baber!as sostiene %ue este es el estado de cosas, pero (l se ha !arcado co!o ob6etivo
funda!entar ob6etiva!ente la accin pr,ctica del ho!bre, defendiendo %ue la historia
tiene un sentido dial(ctico- (l propone una filosofa $de la historia orientada
pr,ctica!ente$. 'ero esta funda!entacin no puede darla al ho!bre la sociologa.
Baber!as defiende las nor!as sociales no se basan en una apelacin a lo $natural$. &l
filsofo franSfurtiano considera %ue el $positivis!o$ de las ciencias naturales
representado por 'opper cae necesaria!ente en una tra!pa !itolgica, !ientras %ue
una concepcin dial(ctica de la historia puede eli!inar la dicoto!a irreductible entre
los hechos y las decisiones. 'ara solucionar los proble!as pr,cticos no basta realizar
una decisin racional de unos !edios %ue sean axiolgica!ente neutros para alcanzar
un fin, sino %ue los proble!as pr,cticos exigen una intencionalidad terica- es preciso
contar con progra!as, y no ?nica!ente con !eros pronsticos.
C. Wibliografa
Aristteles+ .etafsica, /redos, .adrid
Austin, R.L., + $:erdad$, en Austin, R.L., &nsayos filosficos, Alianza, .adrid, 1D4D, pp.
11D*1M2
Ayer, A.R.+ &l positivis!o lgico, T7&, .adrid, 1D41
** Lengua6e, verdad y lgica, Grbis, Warcelona
WroPn, B.9.+ La nueva filosofa de la ciencia, .adrid, 8ecnos
Wunge, .., La ciencia, su !(todo y su filosofa, Wuenos Aires, Aiglo @@, 1D41
Davidson, D., .ente, !undo y accin, Warcelona, 'aids
&cheverra, R., Tilosofa de la ciencia, .adrid, ASal, 1DDX
**, 9ntroduccin a la !etodologa de la ciencia en el siglo @@, .adrid, 7,tedra, 1DDD
&instein, A.+ 7ontribuciones a la ciencia y otros ensayos, Grbis, Warcelona
Trege, /.+ &studios sobre se!,ntica, Ariel, Warcelona
/arca Au,rez, A., .odos de significar, .adrid, 8ecnos, 1DD0
/uz!,n, L. de., &l proble!a de la verdad, Warcelona, Berder, 1D3C
Baber!as, 8., $8eoras de la verdad$, en Ficol,s, R.A., y Tr,polli, ..R., 8eoras de la
verdad en el siglo @@, pp. XCM*XDX
Beidegger, .., De la esencia de la verdad, Wuenos Aires, 7uadernos de Tilosofa, 1DC4
Be!pel, 7. /., .ate!,tica, verdad, realidad, Warcelona, /ri6albo, 1DC4
5uhn, 8.A., La estructura de las revoluciones cientficas, .(xico, T7&, 1D01
**, $Las ciencias naturales y hu!anas$, Acta Aociologica, 1D "1DD0#, pp. X*1D
5Vrner, A.+ =Yu( es filosofa>, Ariel, Warcelona
LaSatos, 9., .ate!,ticas, ciencia y episte!ologa, .adrid, Alianza, 1D41
**, 'ruebas y refutaciones. La lgica del descubri!iento !ate!,tico, .adrid, Alianza,
1D04
.ardones, R..., Tilosofa de las ciencias hu!anas y sociales, Warcelona, Anthropos,
1DD1
.c7arthy, 8., La teora crtica de RNrgen Baber!as, .adrid, 8ecnos, C1DD4
.oulines, 7.E. "ed.#, La ciencia. &structura y desarrollo, .adrid, 8rotta, 1DDM
.oulines, 7.E. y Dez, R.A., Tunda!entos de filosofa de la ciencia, Warcelona, Ariel,
1DD0
Fagel, &. y FeP!an, R.H.+ &l teore!a de /Vdel, 8ecnos, .adrid
Ficol,s, R.A. y Tr,polli, ..R. "eds.#+ 8eoras de la verdad en el siglo @@, .adrid,
8ecnos, 1DD0
'alacios, R...+ &l idealis!o trascendental+ teora de la verdad, /redos, .adrid, 1DXD
'(rez Hansanz, A.H., $5uhn frente al dualis!o !etodolgico$, Acta Aociologica, 1D
"1DD0#, pp. 21*MX
'opper, 5.H., &l desarrollo del conoci!iento cientfico, con6eturas y refutaciones,
Wuenos Aires, 'aids, 1D3D
**, Los dos proble!as funda!entales de la episte!ologa, .adrid, 8ecnos, 1DD4
**, La lgica de la investigacin cientfica, .adrid, 8ecnos, 1D32
**, La !iseria del historicis!o, .adrid, Alianza, 1D0M
H,bade, A., :erdad, conoci!iento y ser, .adrid, /redos, 1D0C
Hussell, W.+ Aignificado y verdad, Ariel, Warcelona, 1D4M
**, &nsayos filosficos, .adrid, Alianza, 1DD1
**, La evolucin de !i pensa!iento filosfico, Alianza, .adrid, 1D42
**, Los proble!as de la filosofa, Warcelona, Labor, 1D01
Ai!on, R., La verdad co!o libertad. &l desarrollo del proble!a de la verdad en la
filosofa !oderna, Aala!anca, Ague!e, 1D4M
8arsSi, A., $Der Oahrheitsbegriff in der for!alisierten Aprachen$, Atudia 'hilosophica 1
"1DMX#, 231*C1X. 8raduccin no publicada de Rai!e Aarabia.
**, La concepcin se!,ntica de la verdad y los funda!entos de la se!,ntica, Wuenos
Aires, Fueva :sisin, 1D02
:illoro, L., $:erdad$, en :illoro, L. "ed.#+ &l conoci!iento, .adrid, 8rottaa7A97, 1DDD,
pp. 21M*2M2
OartofsSy, .arx O.+ 9ntroduccin a la filosofa de la ciencia, .adrid, Alianza