El Neopositivismo y el Crculo de Viena

EL CRCULO DE VIENA
Echeverra Javier (1989): Introduccin a la Metodologa de la
Ciencia. Barcelona: Barcanova. Pp. 6-21

1. Introduccin
El Crculo de Viena se constituy formalmente en 1922, en torno a la ctedra de
filosofa de las ciencias inductivas que haba pasado a ocupar Moritz Schlick. Al
principio era un centro de reunin y debate, pero a partir de 1929, tras la
publicacin de su primer manifiesto terico (obra de Carnap, Neurath y Hahn),
adquiri consistencia como una escuela con concepciones propias sobre la
filosofa de la ciencia.
Suele atribuirse al Crculo, si no la fundacin, el primer impulso a las
investigaciones y estudios sobre filosofa de la ciencia. Sin embargo, sus tesis
bsicas provienen de la combinacin en un programa articulado de posturas que
ya haban mantenido previamente otros autores, precedentes de lo que Blumberg
y Feigl llamaron en 1931 positivismo lgico. Aunque tenga a Hume y a Comte
como predecesores lejanos, el Crculo de Viena es una escuela netamente
alemana en su origen. Tras la crtica del materialismo mecanicista por parte del
neokantismo de Helmholtz y Hermann Cohen con su escuela de Marburgo, el
fisico Ernst Mach deriv hacia un neopositivismo que negaba todo tipo de
elementos a priori en las ciencias empricas. Paralelamente, la fsica terica iba a
dar un giro fundamental con la aparicin de la teora einsteiniana de la relatividad
y de la mecnica cuntica, cambios que tuvieron una influencia enorme en los
neopositivistas. La incidencia del convencionalismo de Poincar y Duhem
tambin se dej sentir en el Crculo de Viena, al igual que la creacin de la lgica
matemtica, perfectamente configurada a partir de la publicacin de los Principia
Mathematica por Russell y Whitehead en 1905.
Ya en 1907, el economista Neurath haba fundado un grupo de trabajo con el
matemtico Halin y el fsico Frank, que se ocupaba de filosofa de la ciencia,
trmino netamente opuesto en Alemania a la Naturphilosophie, en la medida en
que rechazaba la especulacin metafsica sobre las ciencias de la naturaleza, y
propugnaba el contacto directo de los filsofos con los cientficos. En este

sentido, la publicacin del Tractatus Logico-Philosophicus de Wingenstein[1] en

1921, con su clebre tesis segn la cual el mundo es la totalidad de los hechos,
no de las cosas, reforz notablemente las ideas neopositivistas, mxime por
cuanto Wingenstein ofreca un enlace perfectamente adecuado entre la tradicin
empirista y la nueva lgica matemtica: Schrder y Hilbert, junto con la Escuela
de Varsovia, que agrupaba a importantes lgicos polacos, pasaron a ser
referencias obligadas desde la misma constitucin del Crculo.
Sus miembros fueron en su mayor parte personas con formacin cientfica: Karl
Menger, Hans Hahn, Philipp Frank e incluso Kurt Gdel asistan regularmente a
las sesiones, junto con Schlick,, Carnap, Neurath, Feigl, Waismann y otros
muchos. Momento importante fue la publicacin en 1923 de Der Logische
Aufbau der Welt por Carnap, as como las explicaciones de ste a los miembros
del Crculo sobre el contenido de dicha obra a partir de 1925. La distincin de
Russell entre hechos atmicos y moleculares[2], con la paralela distincin entre
proposiciones atmicas y moleculares, permita aplicar el aparato de la lgica de
enunciados a las ciencias con contenido emprico. Por este motivo pas a ser
habitual la denominacin empirismo lgico o, incluso, atomismo lgico, junto
con otras como empirismo cientfico o empirismo consistente. En 1926 surge la
Sociedad de Ernst Mach, formada por este mismo grupo de pensadores, los
cuales a partir del Manifiesto de 1929 pasan a denominarse
definitivamente Crculo de Viena. Con ellos vino a confluir la Escuela de Berln,
formada en torno a Hans Reichenbach, y que cont con figuras como Richard
von
Mises
y
posteriormente
Carl
Hempel.
Tambin
el Conductismo norteamericano, por lo que se refiere a la psicologa, acab
coincidiendo con las posturas bsicas del Crculo, motivo por el cual en 1929 ya
estaba en condiciones de organizar su primer congreso internacional en Praga,
que tuvo continuidad en las reuniones de Knigsberg, Copenhague, otra vez
Praga, Pars y Cambridge.
En 1930 sali la revista Erkenntnis, bajo la direccin de Carnap y de
Reichenbach. Asimismo se publicaron una serie de monografas bajo el lema
Ciencia unificada, y se logr llegar a la fase de mxima actividad en la primera
mitad de la dcada de los treinta. Pero el ascenso del nazismo, junto a las
diversas vicisitudes personales de miembros relevantes del Crculo (Carnap y
Frank pasaron a ser catedrticos en Praga, Feigl se traslad a Iowa, y Halin muri
en 1934), sealaron el principio del fin del Circulo de Viena. La condicin de
judos de muchos de sus miembros contribuy en buena medida a que
comenzasen a pensar en salir de los pases de habla alemana, y as Carnap se
estableci en Chicago en 1936, y Neurath march a Holanda tras el asesinato de
Moritz Sclilick en 1938, a manos de un perturbado. Neurath trat de continuar la
publicacin de Erkenntnis en La Haya, bajo el ttulo de The Journal of Unified

Science, y Carnap sac a la luz en los Estados Unidos la International

Enciclopedy for the Unified Science. Finalmente, el propio Feig1 hubo de huir a
los EE.UU., y el nazismo disolvi los grupos de Berln y de Varsovia, con lo cual
el Crculo de Viena dej de existir como tal.
Esto no significa que su influencia decayera. Muy al contrario. La emigracin de
varios de sus miembros a los Estados Unidos y a otros pases, prestigiados por la
aureola de perseguidos por el nazismo, permiti una rpida internacionalizacin
de sus teoras, principalmente en los pases y universidades anglosajones. Ello
dio lugar, si se quiere, a una segunda fase del empirismo lgico. Aqu
adoptaremos el criterio de distinguir estas dos etapas, tanto por motivos
histricos como por las diferencias entre las posturas del Crculo de Viena
propiamente dicho y de lo que ms tarde se ha venido en llamar Concepcin
Heredada.
Para leer los principales escritos de los miembros del Crculo de Viena hay que
remitirse a las publicaciones ya sealadas: Erkenntnis,
Journal of Unified
Science, International Enciclopedy for the Unified Science. En lengua castellana
la recopilacin ms accesible es, sin duda, la de Ayer[3] aunque tambin
Kraft[4] y Weinberg[5]escribieron obras expositivas accesibles sobre las tesis y la
evolucin del Crculo. Tambin hay traducidas varias obras de Carnap, as como
algunas de Reichenbach y de Brigdman.
Entre los estudios sobre el positivismo lgico que no son traducciones, conviene
consultar el ensayo de Pascual Casa Muoz titulado Corrientes actuales de
filosofa de la ciencia: I. Positivismo lgico, aparecido en 1984.

2. La ciencia unificada
El proyecto institucional -y tambin terico- comn a casi todos los miembros
del Crculo de Viena es la elaboracin de la Enciclopedia para la Ciencia
Unificada. Dentro de la tradicin de Mach, Avenarius, etc., sus posturas son
netamente contrarias a la metafsica, y muy particularmente a las tendencias
como las de Hegel o Heidegger. Carnap escribi el clebre artculo La
superacin de la metafsica mediante el anlisis lgico del
lenguaje[6], afirmando que en el campo de la metafsica, el anlisis lgico ha
conducido al resultado negativo de que las pretendidas proposiciones de dicho
campo carecen totalmente de sentido[7]. Los textos metafsicos clsicos estn
constituidos por pseudoproposiciones, totalmente estriles desde el punto de vista
del conocimiento cientfico. Segn Carnap, en esas obras se encuentran dos tipos

de pseudoproposiciones: unas porque contienen palabras a las que con criterio

errneo se supone un significado, y otras que estn mal construidas
sintcticamente. Lo que luego ha llamado Hempel criterio empirista de
significado, as como la inadecuacin de la forma de las proposiciones filosficas
a las prescripciones de la lgica matemtica, permitieron al positivismo lgico
aplicar radicalmente la navaja de Ockham, descartando del pensamiento
cientfico numerosos conceptos y trabajos llevados a cabo por la filosofa
especulativa.
El proyecto del Circulo estriba en conformar una filosofa cientfica. Las
matemticas (y la lgica), as como la fsica, son los dos grandes modelos a los
que debe tender toda forma de discurso cientfico. El programa positivista de
Comte en el siglo XIX deba ser culminado, convirtiendo la biologa, la
psicologa y la sociologa en ciencias positivas. En la convocatoria de la
Preconferencia de Praga, en 1934, cuyo objeto era preparar el Primer Congreso
Internacional sobre Ciencia Unificada, este objetivo se seala como general para
todas, las ciencias:
Hay que tratar sobre los fundamentos lgicos de todos los mbitos cientficos, y
no slo de la matemtica y de la fisica.[8]
El tema del que iba a ocuparse inicialmente era Filosofia cientfica, pero se
modific: Congreso para la Unidad de las Ciencias. Se convocaba a cientficos
de diversas disciplinas para reflexionar sobre la unidad de la ciencia y sobre la
manera de lograrla: los problemas lgico-sintcticos, los de la induccin y la
probabilidad, las aplicaciones de la Lgica a otras disciplinas, la sociologa
cientfica y la historia de la ciencia eran sealados expresamente como mbitos
de trabajo del Congreso.
Pero, de hecho, la historia de la ciencia fue muy poco investigada por el Crculo
de Viena, que abund, en cambio, en trabajos sobre biologa, psicologa y
semitica, entendidas desde un punto de vista conductista.
Entre las distintas tendencias existentes dentro del Crculo en relacin con dicha
unificacin de la ciencia, acab imponindose el fisicalismo, formulado por Otto
Neurath, y acceptado finalmente por Carnap, cuyo estricto empirismo e
inductivismo le haba acercado en un principio al solipsismo. El fisicalismo se
interesa por los enunciados observacionales, que seran la la base de cada una de
las ciencias positivas. Al comparar la forma lgica de dichos enunciados (por
ejemplo, Karl observa y la mquina fotogrfica saca fotos) se comprueba que es
la misma: la unificacin de la ciencia debe llevarse a cabo reduciendo todas las
proposiciones observacionales a lenguaje fisicalista, con lo cual se mostrara que

existe un ncleo comn a todas las ciencias positivas. La reduccin a lenguaje

fisicalista es, pues, el medio de llevar a cabo el programa para la unificacin de la
ciencia, y para ello hay que partir siempre de enunciados empricos, y
preferentemente observacionales.

3. El Lenguaje fisicalista
Carnap defendi en un primer momento la reduccin de los conceptos sociales,
culturales e histricos a los conceptos del psiquismo propio, mediante
reducciones sucesivas: tanto los conceptos ajenos como los propios deban ser
reducidos primero a conceptos fsicos, y luego a conceptos psquicos propios.
Los fenmenos del psiquismo individual, en la medida en que traducen hechos
fsicos, fundamentaran desde el punto de vista epistemolgico la reduccin del
conocimiento de las distintas ciencias a una misma ciencia unificada. Pero esta
posicin fenomenalista de Carnap encontr oposicin, por no garantizar
suficientemente la intersubjetividad del conocimiento cientfico. De ah que el
fisicalismo, que se basaba directamente en proposiciones expresadas en lenguaje
observacional, y con la misma forma lgica para todas las ciencias empricas,
acabara imponindose. Tal y como afirma el propio Carnap en 1932,
el lenguaje fisicalista es un lenguaje universal, esto es, un lenguaje al cual
puede traducirse cualquier proposicin[9].
Dicho lenguaje fisicalista tiene como elemento caracterstico y constitutivo
las proposiciones protocolares, las cuales fueron estudiadas por Otto Neurath en
su conocido artculo titulado, precisamente, Proposiciones protocolares.[10]
Segn Neurath, la ciencia unificada consta de proposiciones protocolares y de
proposiciones no protocolares; en todo caso, unas y otras son proposiciones
fcticas. Las primeras no son las proposiciones primarias (por ejemplo, para el
sujeto individual), como a veces tendi a pensar Carnap, sino que son
discernibles por su forma lingstica:
Por ejemplo, una proposicin protocolar completa podra decir:
Protocolo de Otto a las 3.17: {la forma lingstica del pensamiento de Otto a
las 3.16 era: (a las 3.15 haba en el cuarto una mesa percibida por Otto)}.[11]
Todava estamos, sin embargo, en un lenguaje fisicalista trivial. El lenguaje
fisicalista altamente cientfico, que estara completamente depurado de elementos

metafsicos, exigira que cada uno de los trminos presentes en dicha proposicin
(por ejemplo, 'Otto') fuese sustituido por un sistema de determinaciones
fisicalistas, por ejemplo definiendo la posicin del nombre 'Otto' en relacin a
otros nombres propios: 'Carlos', 'Enrique', etc. Pero en una proposicin protocolar
del lenguaje fisicalista trivial, es esencial que aparezca algn nombre propio, con
lo cual se trata de conservar el, carcter observacional de dicha proposicin.
Las leyes cientficas y, en general, los enunciados utilizados por los cientficos,
surgiran a partir de las proposiciones protocolares por va inductiva. Esta es otra
de las caractersticas principales, desde el punto de vista metodolgico, del
Crculo de Viena, as como de la Escuela de Berln: las ciencias empricas estn
basadas en la induccin. Por supuesto, las proposiciones protocolares no pueden
contradecirse; Neurath precisa que, en estos casos, tambin es posible eliminar
proposiciones protocolares, por su forma, del sistema cientfico. En este sentido,
las proposiciones protocolares requieren verificacin, y estn regidas por el
criterio empirista de significado.

4. El criterio empirista de significado

El Crculo de Viena distingui la ciencia de la metafsica basndose en un criterio
epistemolgico de significatividad cognoscitiva. Entre la multiplicidad de
enunciados posibles, hay dos tipos propiamente cientficos: las proposiciones
analticas o no contradictorias y las que pueden ser confirmadas por la
experiencia. Las primeras recogen los enunciados de las matemticas, de la
lgica y, en general, de las ciencias formales. El positivismo lgico considera
todas estas ciencias no empricas o, si se quiere, estrictamente sintcticas. En
cuanto a las ciencias que poseen un contenido emprico, todos y cada uno de sus
enunciados han de ser confirmables, al menos en principio, por la experiencia.
La verificabilidad pasa a ser, por tanto, el criterio para distinguir la ciencia de
otros tipos de saber. Pero, a su vez, este criterio de significacin emprica ha
sufrido algunas modificaciones. Tal y como afirma Hempel en su artculo
Problemas y cambios en el criterio empirista de significado, el Crculo de
Viena exiga al principio que dicha verificacin fuese completa y por medio de la
observacin:
Una oracin S tiene significado emprico si y slo si es posible indicar un
conjunto finito de oraciones de observacin 0 1, 02, ... , On, tales que, si son
verdaderas, S es necesariamente verdadera tambin.[12]

Al depender dicho criterio de las propiedades del condicional lgico, hubo que
matizarlo, dado que toda proposicin analtica sera inferible a partir de un
conjunto finito de oraciones cualesquiera; y asimismo oraciones observacionales
contradictorias entre s nos permitiran inferir correctamente cualquier
proposicin, que de esta manera tendra significacin emprica. Para evitar estas
consecuencias inadecuadas de la primera formulacin del criterio, hubo que
excluir de la significatividad emprica los enunciados analticos, as como exigir
que el conjunto de proposiciones observacionales On fuese consistente.
Esto produjo dos consecuencias importantes: por una parte, las ciencias formales
quedaron radicalmente escindidas de lo que Carnap llam Ciencias
reales(Realwissenschaften), y, por otra, las ciencias empricas deban satisfacer
determinados requisitos lgicos en sus inferencias, y en particular deban
adaptarse a las formalizaciones derivadas de la lgica. Matemtica entonces
vigente. El modelo de una ciencia ser aquel que ha podido ser axiomatizado,
total o parcialmente, y que funciona en su razonamiento en virtud de reglas de
derivacin adaptadas a los preceptos de la metalgica.
Pero, aun as, el criterio de significacin emprica segua presentando problemas.
El principal de ellos estribaba en que los enunciados universales en general, y
ms concretamente las leyes cientficas, quedaban excluidos del edificio de la
ciencia. Un enunciado del tipo todos los cisnes son blancos no puede ser
inferido necesariamente a partir de un nmero finito de observaciones. Surge
aqu el llamado problema de la induccin, ya sealado por Hume, pero que en el
siglo XX va a ser ampliamente discutido a partir de las argumentaciones de
Popper.
Aparte de otros problemas ligados a las peculiaridades de la tabla de valores de
verdad del condicional lgico, Hempel seal una nueva dificultad: de acuerdo
con el criterio empirista de significado, una oracin existencial (existe un cisne
blanco) es plenamente verificable desde el punto de vista observacional, pero su
negacin no, por ser universal: ello plantea una importante dificultad lgica, pues
algunos enunciados seran admisibles mientras que su negacin no, siendo as
que, desde tiempos de Aristteles, est plenamente admitido que si un enunciado
pertenece a un determinado dominio cientfico, su negacin tambin tiene sentido
en l, independientemente de que sea verdadera o no.
El debate que surgi en torno a estas cuestiones fue muy amplio, y no se trata
aqu de desarrollarlo[13]. Hempel, por ejemplo, consider que mientras nos
esforcemos por establecer un criterio de verificabilidad para las oraciones
individuales de un lenguaje natural, en trminos de sus relaciones lgicas con las
oraciones observacionales, el resultado ser demasiado restrictivo o demasiado

amplio, o ambas cosas[14]. Algunos autores, como Carnap, intentaron resolver

la cuestin tratando a fondo el problema de la induccin y, en particular, la lgica
probabilitaria[15]. Otros prefirieron distinguir en la estructura de una teora
aspectos distintos de los estrictamente lgicos, suscitando la cuestin de los
trminos tericos, los trminos observacionales y las reglas de correspondencia.
Sobre todo la crtica de Popper a la verificabilidad como criterio de significacin
emprica tuvo un impacto enorme, haciendo que estas posturas iniciales del
Circulo de Viena fueran consideradas como un empirismo excesivamente
ingenuo. Veremos todas estas cuestiones ms adelante.

5. Verificacin
Las expresiones y frmulas de la lgica y de las matemticas no ha de
verificarse, por ser analticas. Pero el resto de los enunciados cientficos ha de ser
comprobable en la realidad, y a poder ser por observacin.
Wingenstein estableci en el Tractatus una dependencia lgica entre los
enunciados cientficos y las proposiciones elementales (cuyo equivalente en el
Crculo de Viena son las protocolares): La proposicin es una funcin de verdad
de la proposicin elemental.'
Pero este criterio se revel excesivamente estricto: no es posible inferir los
enunciados generales a partir de los atmicos. Y desde el punto de vista de la
metodologa de la ciencia, las leyes cientficas, que son proposiciones
cuantificadas universalmente, constituyen componentes fundamentales en una
teora cientfica.
El Crculo de Viena oscil entre la verificacin y la simple confirmacin de
dichos enunciados. En su primera poca, an crea en la posibilidad de una
verificacin concluyente de los enunciados cientficos, a partir de las
proposiciones elementales. Pero posteriormente fue derivando hacia tesis menos
estrictas, aun afirmando, como sucede con Schlick[16], que el ltimo paso de
verificacin ha de consistir en observaciones o en percepciones de los sentidos.
Los enunciados generales, las leyes cientficas y, muy en Particular las teoras,
no pueden ser verificadas directamente, confrontndolas con la empiria. Lo que s
puede hacerse es extraer las consecuencias lgicas concretas de una ley o de una
teora y comprobar que, efectivamente, la experiencia ratifica dichos resultados.
Este procedimiento de verificacin, que en realidad nunca es total respecto de la
ley o de la teora, ya que siempre hay otras consecuencias que todava no han

sido verificadas, reviste particular importancia en el caso de las predicciones.

Para el Crculo de Viena, y posteriormente para otros muchos filsofos de la
ciencia, lo esencial del saber cientfico es su capacidad de predecir exactamente
fenmenos fisiconaturales. Al ser verificada la correccin de una determinada
prediccin, las teoras y las leyes, si no verificadas, quedan al menos
confirmadas, aunque sea parcialmente. El astrnomo Leverrier, por ejemplo,
predijo la existencia de un octavo planeta en el sistema solar, Neptuno, como una
consecuencia que se derivaba lgicamente de la mecnica newtoniana. Aos
despus, el 23 de septiembre de 1846, otro astrnomo, J. G. Galle, comprob por
observacin que, efectivamente, el planeta predicho exista. Y otro tanto sucedi
ulteriormente con Plutn. Para el empirismo lgico, estos logros son
paradigmticos de lo que debera ser la metodologa cientfica. No puede decirse
que la teora haya quedado totalmente verificada, pero s tiene lugar una
confirmacin objetiva de dicha teora. Consecuentemente, una determinada ley
universal, o teora, ha de reducirse por la va de la inferencia lgica a sus
consecuencias empricas concretas y determinadas: una vez llevada a cabo esta
labor, propiamente deductiva (y comn a las ciencias formales), tiene lugar lo
ms propio de las ciencias empricas: la confrontacin de dichas predicciones con
la experiencia, que puede confirmar o no lo previsto. La verficabilidad
experimental de sus predicciones caracterizara a la ciencia frente a otros tipos de
saber humano.
Verificar, al decir de Kraft,[17] es comprobar la conformidad de un hecho
predicho con uno observado. Una teora cientfica posee contenido emprico
porque es capaz de predecir hechos concretos y perceptibles; es aceptable en la
medida en que sus predicciones hayan sido confirmadas empricamente.
Ahora bien, estudios ulteriores han mostrado que los procedimientos de
verificacin no son metodolgicamente tan inocuos como se supuso en el Crculo
de Viena. Sucede con frecuencia, por ejemplo, que los aparatos de observacin y
de medicin presupongan por su propia construccin algunas otras teoras
cientficas, e incluso la teora misma que se trata de verificar, con lo cual se
incurrira en cierto crculo vicioso, desde el punto de vista metodolgico, en los
procesos de verificacin emprica. Los trminos tericos (por ejemplo, masa,
electrn, etc.) slo son traducibles a trminos directamente observacionales por
medio de una serie de artilugios cientficos que genricamente suelen
denominarse reglas de correspondencia. Posteriormente habremos de ocuparnos
de esta cuestin, que desborda el marco epistemolgico del Crculo de Viena,
pero que supuso una fuerte objecin a sus postulados observacionales como
criterios de verificacin emprica.

Aunque basndose en otras argumentaciones, ya en el propio Crculo de Viena

surgieron objeciones al criterio wittgensteiniano de verificacin concluyente (por
derivacin lgica a partir de proposiciones elementales) e incluso contra la propia
nocin de verificacin. Neurath y Hempel, por ejemplo, afirmaron que las
proposiciones slo pueden ser confrontadas con otras proposiciones y no con
hechos: de ah su insistencia en la delimitacin de los enunciados protocolares
como base emprica de una determinada teora.
La cuestin de la verificacin y la confirmacin, por otra parte, est ligada a un
tema fundamental para la filosofa de la lgica: la teora de la verdad. La
concepcin clsica de la verdad, presente ya en Parmnides, pero formulada de
manera explcita por Aristteles, la conceptuaba como una adecuacin entre el
decir y el ser: decir las cosas como son era sinnimo de discurso verdadero. El
empirismo lgico renunci a la categora de ser, as como a la de cosa, por
metafsicas, sustituyndolas por la de hechos; pero desde el punto de vista de la
concepcin de la verdad, sigui adherido al criterio clsico de la adequatio o
correspondencia entre proposiciones y hechos. Los enunciados cientficos pueden
ser verificados en la medida en que se correspondan a los hechos observados o, si
se prefiere, las observaciones empricas han de concordar con las predicciones
realizadas por los cientficos. El criterio de verificacin sufri, por tanto, nuevos
embates desde los defensores de otro tipo de teoras sobre la verdad cientfica,
como la teora de la coherencia o la concepcin pragmatista de la verdad. Todo lo
cual dio lugar a diversas modificaciones de dicha nocin de verificacin.
Una de las distinciones que, en etapas ulteriores, fue generalmente aceptada por
los miembros del Crculo es la que diferencia verificacin y verificabilidad. Una
proposicin es verificable cuando, al menos en principio, es posible llevar a cabo
experimentos y observaciones empricas concordes con lo dicho en la
proposicin. En cada momento, no todas las proposiciones empricas han sido
efectivamente verificadas, pero s lo han sido algunas, y las dems son
verificables en principio. Esta correccin, muy importante, matizaba el criterio de
cientificidad inicial.
Schlick habl de una comprobabilidad en principio, mientras que Carnap
prefera el trmino de verificabilidad en principio[18]. Asimismo Ayer introdujo
otro matiz, al distinguir entre verificabilidad en sentido fuerte, cuando una
proposicin puede quedar establecida concluyentemente por medio de la
experiencia, y verificabilidad en sentido dbil, cuando la experiencia slo
permite determinar que esa proposicin es probable en un grado lo
suficientemente elevado. Surge as un nuevo concepto de verificacin, cuyos
orgenes estn en Reichenbach y en el propio Carnap: el probabilstico, ligado a

las investigaciones que se llevaron a cabo en esa poca sobre lgica inductiva y
lgica probabilitaria.

6. Induccin y probabilidad
Tal y como ha mostrado Rivadulla,[19] las tesis de Carnap fueron
evolucionando, desde sus posiciones verificacionistas iniciales hacia una
afirmacin de la confirmacin progresiva, e incluso de un grado de confirmacin
de los enunciados empricos. En 1936 ya admita la confirmabilidad como
criterio, y a partir de 1949 va a desarrollar su teora del grado de confirmacin,
que enlazar, el empirismo inicial del Crculo de Viena con la lgica
probabilitaria.
La confirmacin de un enunciado, segn Carnap, es estrictamente lgica: los
datos observacionales han de ser confrontados lgicamente con las consecuencias
que se derivan de una determinada ley o teora. Si en un momento dado
disponemos de una serie de datos, oi, obtenidos por observacin, y de una serie
de hiptesis explicativas de esos datos, hj, hemos de determinar la probabilidad
de cada una de las hiptesis hj con respecto a las observaciones con que se cuenta
en un momento dado. La comparacin entre las probabilidades respectivas, que
definen el grado de confirmacin de cada hiptesis, nos permite elegir como
hiptesis confirmada aquella que, para unos determinados datos observados,
posee mayor grado de probabilidad.
Surge as el concepto de grado de confirmacin de un enunciado cientfico, que
conlleva la previa cuantificacin de la nocin de confirmacin: lo cual es posible
apelando a la teora de la probabilidad. Una hiptesis posee una probabilidad
inductiva, que va aumentando o disminuyendo segn las nuevas observaciones
confirmen o no dicha hiptesis. El valor de una hiptesis va ligado al mayor o
menor nmero de datos empricos conformes a dicha hiptesis.
Consiguientemente, el cientfico admite unas u otras hiptesis en funcin del
aumento de su grado de confirmacin. Hay una lgica inductiva, de base
netamente probabilista, subyacente a las teoras empricas. Lejos ya del
criterio wittgensteiniano de la verificacin concluyente, por va deductiva a partir
de unas proposiciones elementales cuya verdad ha sido slidamente establecida
por la va de la observacin, en los ltimos desarrollos del Crculo de Viena se
acaba apelando a una lgica inductiva, que a su vez Carnap intent axiomatizar
en forma de clculo lgico. En la obra ya mencionada de Rivadulla pueden
seguirse las sucesivas tentativas de Carnap en este sentido.

En cualquier caso, el empirismo lgico acab confluyendo en una afirmacin de

la induccin como el mtodo principal de las ciencias empricas. La lgica
inductiva permitira fundamentar el criterio de significacin emprica,
inicialmente basado en la verificabilidad observacional, y finalmente en el grado
probabilstico de confirmacin de una determinada hiptesis. Entretanto, y desde
otras posturas, se hacan crticas de principio a las tesis del Crculo de Viena y de
sus epgonos. As sucedi, en particular, con Popper, quien va a orientar la
metodologa cientfica en un sentido muy distinto.

[1] L. Wittgenstein, Tractatus.... J. l, p. 35 de la traduccin castellana.

[2] B. Russell, La filosofa del atomismo lgico, p. 278 del volumen Lgica y
conocimiento, traduccin de J. Muguerza.
[3] A. J. Ayer (comp.), El positivismo lgico (Mxico, FCE, 1965).
[4] V. Kraft, El Crculo de Viena (Madrid, Taurus, 1966).
[5] J. R. Weinberg, Examen del positivismo lgico (Madrid, Aguilar, 1959).
[6] R. Carnap, en A. J. Ayer, El positivismo lgico, pp. 66-87. 7. Id., ibd., p. 66.
[7] Id., Ibd., p. 66
[8] Erkenntnis, 5 (1935), p. 1.
[9] R. Carnap, Psicologa en lenguaje fisicalista, en A. J. Ayer, El positivismo
lgico, p. 171.
[10] En A. J. Ayer, El positivismo lgico, pp. 205-214.
[11] En A. J. Ayer, El positivismo lgico, p. 208.
[12] En A. J. Ayer, El positivismo lgico, pp. 11 S- 136. 14. Ibd., p. 118.
[13] Vase por ejemplo A. Rivadulla, Filosofa actual de la ciencia (Madrid,
Editora Nacional, 1984), donde se estudian detalladamente estas cuestiones.
[14] A. J. Ayer, El positivismo lgico, p. 123.

[15] Vase, ms adelante, seccin 6.

[16] M. Schlick, Meaning and Verification, en Philosophical Review, 45
(1936), pp. 337-369.
[17] V. Kraft, El Crculo de Viena, p. 137.
[18] A. J. Ayer, Lenguaje, verdad y lgica (Barcelona, Martnez Roca, 197l).
[19] A. Rivadulla, Filosofa actual de la ciencia, cap. III.