Introduccin

El verificacionismo es un mtodo para la postura filosfica que se denomina fisicalismo.

Dicho mtodo pretende buscar hechos que vengan a dar cuenta de la verdad o falsedad de
las proposiciones o hiptesis que se hayan propuesto. En su acepcin ms general, el
verificacionismo pretende, siempre que se encuentre un caso nuevo que verificar, poder
saber si las proposiciones dadas y la nueva evidencia sirven para saber si stas son
verdaderas o falsas. Los casos nuevos son dados por la observacin de distintos fenmenos
del mundo, pero resulta ser que la observacin pasa por un proceso un tanto complejo. No
obstante, el mtodo que se utiliza pretende, dados los hechos observables, poder corroborar
las proposiciones y sus hiptesis en tanto que se consolidan inductivamente. Con respecto
a la induccin del conocimiento, puede aceptarse que hay un problema epistmico muy
serio, el cual no se atender aqu. Aunque, por otra parte, lo mencionado anteriormente es
lo que se entiende por verificacionismo. El filsofo A. J. Ayer es quien brinda una nueva
forma de pensar al verificacionismo, pero para poder llegar a ello, analizar cules son sus
crticas y cul es el problema que stas presentan.
Para ello, me remitir a explicar en primer lugar qu es el coherentismo para Ayer y
qu problemas presenta al momento de vrselas con la verdad de una proposicin universal.
Asimismo, me remitir a los problemas ms generales que identifica nuestro autor al
momento de saber cul es la propuesta del verificacionismo en el coherentismo. En
segundo lugar, me dedicar a explicar cul es su postura respecto de lo que se entiende por
verificacin. Slo utilizar su texto sobre Verificacin y experiencia1.
Ahora bien, el propsito de atender este problema tiene que ver con plantear la
posibilidad de que la verificabilidad sea considerada como algo que se da de forma
espontnea en la experiencia. Estoy inclinado a pensar que los hechos del mundo son por s
mismos, y que guardan cierta independencia de nuestra mente. No obstante, el carcter
subjetivo con el que se da la verificacin, es lo que me ha ido generando cierta inquietud,
por lo tanto, se pretende, en mayor o menor medida, ampliar en perspectiva qu es lo que se
entiende por verificacionismo, evidenciando que lo que se conoce es slo un reduccionismo
y un determinado prejuicio. 2
Coherentismo y su problema con la verificabilidad.

1 En adelante VE.
1
En la exposicin que hace Ayer en su texto VE se entiende que la verificacin de las teoras
coherentistas tiene que ver con las proposiciones mismas y no con los hechos del mundo. O
sea, que el sistema mismo se puede autoverificar en sus proposiciones sin acudir a los
hechos dados; esto es, que puede saberse si es verdadero o falso, conforme a lo ya
establecido en el sistema mismo. Nuestro filsofo est convencido de que este proceso es
un poco ms sutil en la forma en la que dicha propuesta opera para poder saber cul es la
verdad o falsedad de una proposicin o hiptesis, no obstante, l no est del todo
convencido de las formulaciones que se dan a partir de los filsofos como Neurath y
Hempel.
Ayer comienza en su texto demostrando que los usos de las palabras hechos, realidad,
experiencia, correspondencia, concordancia y conformidad se usan de formas indistintas y
que slo tienen un uso pragmtico. Por esto mismo, l pretende hacer un anlisis ms a
fondo de lo que se est entendiendo por proposiciones empricas. Con eso en mente,
identifica que lo que se est entendiendo por proposiciones empricas es slo aquello que se
entiende por proposiciones que se pueden extraer de la experiencia. Cosa que resulta no ser
del todo cierta, pues bien, hay dos tipos de proposiciones: 1) las que tienen su verdad o
falsedad en otras proposiciones; y 2) aquellas cuyo valor de verdad puede ser determinado
por la observacin.
Para todas las proposiciones empricas de 1) se entiende que son todas aquellas que
son universales y su valor de verdad o falsedad puede constatarse, en tanto que por medio
de la deduccin de dicha proposicin se llega a una proposicin singular cuya verdad o
falsedad est en los hechos. No obstante, el problema que alcanza a identificar Ayer es que
nunca se tendr derecho a formular un juicio concluyentemente, o de aseverar su verdad o
falsedad por el problema de la falseacin3. Esto presentara un sistema lleno de asimetras

2 Espero que el lector pueda concederme que lo que se entiende por verificacionismo muchas veces
slo se reduce a que se puede hacer el contraste con los hechos y nada ms. No hay otra forma de
verificar. Por eso, pensamos que la refutacin de la experiencia posible es un argumento suficiente
para poder refutarlo, lo cual es cosa falsa.

3 Hay que recalcar la idea de que para Popper la falseacin es simplemente un problema de la induccin del
conocimiento, como metodologa para poder hacer inferencias. En su obra La lgica de la investigacin
cientfica nos dice que no existe nada que pueda llamarse induccin. Por lo tanto ser inadmisible la
inferencia de teoras a partir de enunciados singulares que estn verificados por la experiencia **Popper,
Karl. La lgica de la investigacin cientfica. Editorial Tecnos. Madrid 1980. p. 39.

2
lgicas donde las proposiciones singulares pueden tambalearse inductivamente por
cualquier cosa que demuestre lo contrario. En el caso del coherentismo es evidente, puesto
que si una proposicin singular no se sostiene, todo el edificio del conocimiento se cae, en
tanto que sistema coherente. Las asimetras lgicas se identifican por ser aquellas que
presentan una contrastacin aparente entre aquellas que son universales y singulares, sin
embargo, hay otra asimetra ms compleja que le corresponde al coherentismo, en tanto que
ste renuncia a la verificacin con los hechos.
Si bien es un error sostener desde Ayer que el coherentismo es un tipo de
verificacionismo con los hechos en sus proposiciones singulares, la exposicin sirve para
evidenciar que las proposiciones singulares deben de tener algo con que verificarse. Es ah
donde se presenta la segunda asimetra lgica. Dicha asimetra consiste en decir que hay
que verificar las proposiciones singulares con proposiciones protocolares u otras
proposiciones singulares, y as sucesivamente ad infinitum en caso de no poder ir a los
hechos. Pero esto resulta contraintuitivo porque permite denotar qu proposiciones son
verdaderas o falsas en el sistema coherente desde la subjetividad. Son proposiciones
relativas a algo material, pero que remiten a datos sensoriales, y stas, a su vez, remiten a
un nmero finito de sensaciones, las cuales, por si mismas, no pueden simplificarlas en
proposiciones singulares.
Ayer busca ahondar en el problema de las proposiciones bsicas, pero desde lo que
entienden Neurath y Hempel. Ellos, a pesar de que las denominan proposiciones
protocolares, nuestro autor las entienden de la misma forma 4. Para comenzar, l dice que
dichas proposiciones son aquellas que guardan los elementos de nombre o descripcin de
un observador (palabras relativas a un acto de observacin). De ah, se llega a que su
objetividad depende meramente de la intencionalidad de quien las hace, o sea, que lo
objetivo es un contrasentido, en tanto que no es objetivo sino subjetivo, dado que la
proposicin en su conjunto no puede, o ms bien, no sirve como una funcin de verdad de
las proposiciones. Todas ellas se derivan de la proposicin protocolar. Pero eso no es un
argumento suficiente, puesto que lo nico que se puede derivar de proposiciones
protocolares, son ms proposiciones protocolares. En ese sentido, sera intil estar tomando
su criterio protocolar como funcin de verdad. Si el hacedor de verdad ya son los hechos

4 Es indistinto su uso de protocolar o de singular.

3
(nombres o descripciones), entonces no se necesitan ms proposiciones protocolares para
ser hacedores de verdad.
Por lo tanto, Ayer concluye que el coherentismo de Neurath y Hempel es insostenible,
dado que la compatibilidad o incompatibilidad de sus proposiciones protocolares con las
proposiciones universales sigue presentando una asimetra lgica5. El sistema se reduce al
absurdo en tanto que no puede aceptar proposiciones contrarias. Si acepta slo una, se
vuelve inconsistente, as como tambin si aceptar proposiciones que guardaran
contradiccin. El aceptarlas seria permitir probabilidades de error, lo cual es, como ya se
dijo, absurdo. Aqu no hay proposiciones que puedan justificar el criterio de su posibilidad
que sea independiente de toda evidencia, slo se puede, si se acepta esto, que la palabra
probabilidad slo sea un significado inusitado. Ayer concuerda que la palabra debe de
dejarse de lado si es que se quiere tener una nica explicacin donde ya no sea probable
otro sistema de proposiciones.
Pues bien, otra objecin que se le hace al coherentismo tiene que ver con la idea de
que pueden hacerse ms proposiciones protocolares; proposiciones que hagan sistemas
distintos a los de la ciencia. Para eliminar esa opcin, los coherentistas pretender renunciar
a determinadas nociones que de suyo, ya se encuentran en nuestro mundo. Sin embargo,
por todo lo anterior, la refutacin del coherentismo que es ms consistente es otra. No es
necesario llegar a las formulaciones ad hoc de la teora para poder refutarla. Basta con ver
las asimetras lgicas que hay para saber que lo que Ayer concluye no est del todo errado.
l nos dice que el intento de formular un criterio para determinar la verdad de las
proposiciones empricas que no contuvieran referencia alguna a los hechos, ni a la
realidad, ni a la experiencia, no ha tenido xito. 6 Y no lo ha tenido, precisamente por
las mismas inconsistencias que una teora coherentista no acepta del verificacionismo, por
los mltiples enunciados proposicionales que deben de verificarse con el sistema mismo,
etc.

5 Cfr. Ayer, A. J. Verificacin y experiencia en la antologa El positivismo lgico. Editorial,

Fondo de Cultura Econmica. Mxico D.F. 1978. p. 236.

6 Ibd. p. 239.
4
 Pasemos ahora a ver cul es la propuesta que Ayer da respecto del verificacionismo y
la experiencia, puesto que ya ha demostrado que hay inconsistencias y argumentos
insostenibles en el verificacionismo del sistema coherentista.

El verificacionismo para Ayer

La respuesta que da Ayer en su texto VE, respecto de lo que se entiende por verificacin en
general, es una crtica a la teora correspondentista. Teora que defiende la idea de las
proposiciones que deben de ser adecuacin del mundo al lenguaje. l dice que la postura
que trata de la correspondencia es igual de inconsistente de lo que propone el coherentismo,
pues bien, hasta la compara con aquella teora que pretende hacer que las proposiciones
bsicas sean consideradas como fotografas de la realidad 7. De forma anloga a la
fotografa, en el coherentismo es un mapa. No obstante, dicha teora, dice el autor, tiene su
error al pensarse como fotografa, porque la proposicin por s misma no dice ni representa
nada real en su complexin. Con respecto a esto, Ayer nos dice que:

Lo que se da por supuesto en las teoras que acabamos de examinar no es

tanto que no sea posible la verificacin de una proposicin, como que dicha
proposicin, o, para hablar con mayor exactitud, la oracin que expresa, no
puede tener sentido a menos que sea una fotografa o un mapa.
Pero, precisamente no puede tener sentido porque no es necesario en absoluto que las
palabras semejen de modo alguno el estado del mundo que describen. No hay una relacin
de semejanza, ya sea por su estructura o por su contenido, dado que puede ser o bien
verdadera o bien hipottica.
Ayer trata de dar cuenta de que las proposiciones bsicas presentan un tipo de
verificacionismo muy distinto de lo que se ha planteado anteriormente. l las identifica por
ser producto de la causalidad, en tanto que hay formulaciones de proposiciones ms
concretas que se relacionan con el hecho concreto. Por ejemplo: Ayer pone por caso
cuando una persona S dice algo del dolor. l nos dice que S puede notar que cuando dice
tengo un dolor, lo que se est diciendo es verdadero. Resulta ser interesante, porque es
verdadero, en tanto que es el hecho de que S tiene un dolor y S dice tengo dolor porque
est sintiendo dolor. El que hecho es el que antecede a la proposicin. La proposicin es

7 Cfr. Ibd. p. 245.

5
causada por el hecho, algo as como decir si P, entonces P. Este tipo de proposiciones
bsicas, que encuentran su origen en los hechos, parecieran ser incorregibles. Ayer nos dice
que:

Desde luego, en este sentido ms bien inusitado, yo estara de acuerdo en que

las proposiciones bsicas son incorregibles [] Lo que ahora acepto es la
proposicin esto es rojo; lo que puedo dudar o negar dentro de treinta
segundos es la proposicin hace treinta segundos estaba viendo algo rojo.
Pero en este sentido, toda proposicin que contenga un demostrativo es
incorregible.
Al momento de proponer a la experiencia y la causalidad como forma de verificabilidad,
Ayer deja de lado los problemas que le suscitan a las teoras coherentistas o
correspondentistas con respecto a la verificacin. Pues bien, ellas presentan una
incorregibilidad con respecto a su causa en cuanto que son enunciados demostrativos.
Nuestro autor defiende la idea de que no nos podemos equivocar de ellas como lo hacemos
de otras proposiciones empricas ms generales. Al igual que Moore, al final de su texto,
Ayer concuerda que si algo es, es con respecto a un hecho relativo al lenguaje. Las
consecuencias inmediatas que se alcanzan a distinguir tienen que ver con el dudar de las
palabras con los que se designa una cosa, pero no propiamente de la proposicin. Un
ejemplo de ello es que S duda de que P sea una proposicin es verdadera por s misma,
sin embargo, P puede ser verosmil, pero eso no cambia su sentido. Por lo tanto, la
verificacin para Ayer, es la experiencia misma y, por decirlo de forma muy concreta, en la
espontaneidad de las proposiciones denotativas.

Conclusin.

A lo largo de ste pequeo trabajo se ha ido exponiendo qu es lo que considera Ayer

respecto del coherentismo y el verificacionismo; cmo es que se juntan dichas posturas; y,
cmo es que al final debi de tomar otra alternativa, dado que presentan inconsistencias.
Recapitulando lo ms general, se dice del coherentismo que ste se tiene que ver como un
sistema de proposiciones que se consideran nicas y que pueden verificarse unas con otras
dentro del sistema. Ayer demuestra que su supuesta renuncia de los hechos de una teora
coherentista, hace una inconsistencia y un vicio a la verificacin, porque, tanto el
verificacionismo hacia los hechos como a las proposiciones, jams presenta la posibilidad
6
de una afirmacin concluyente. Ahora bien, dicho esto, Ayer pretende que la solucin al
problema del verificacionismo como vicio, en tanto que no puede ser solucionado por los
sistemas coherentistas o por sistemas correspondentistas, llegue a la aceptacin de la idea
de que la verificacin slo es posible de forma concluyente en proposiciones bsicas, o,
como las denomin hace un momento, denotativas. Pues bien, no hay otra forma de dar
cuenta de que la verificacin sea posibles sin los vicios de las teoras mencionadas, al no
ser que sea de forma inmediata la verificabilidad. O sea, considerarla como algo que se da
de forma espontnea en la experiencia gracias a la causalidad de las proposiciones. Por
esto, la verificacin y la experiencia en su empirismo de Ayer estn juntos. La verificacin
est dada en la experiencia misma.