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 tietamente 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 LogicoPhilosophicus de Wingenstein1 en 1921, con su clebre tesis segn la cual el mundo es la
totalidad de los hechos, no de las cosas,1 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
1 L. Wittgenstein, Tractatus.... J. l, p. 35 de la traduccin castellana.

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,

2 B. Russell, La filosofa del atomismo lgico, p. 278 del volumen Lgica y conocimiento,
traduccin de J. Muguerza.

sin duda, la de Ayer3 aunque tambin Kraft4 y Weinberg5 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 particularmte 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
sentido7. 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 errneose 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
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

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 proposicin9.

8 Erkenntnis, 5 (1935), p. 1.
9 R. Carnap, Psicologa en lenguaje fisicalista, en A. J. Ayer, El positivismo lgico, p.
171.

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 sgnificado.
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.

10 En A. J. Ayer, El positivismo lgico, pp. 205-214.

11 En A. J. Ayer, El positivismo lgico, p. 208.

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 01, 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.

12 En A. J. Ayer, El positivismo lgico, pp. 11 S- 136. 14. Ibd., p. 118.

El debate que surgi en torno a estas cuestiones fue muy amplio, y no se trata aqu de
desarrollarlo13. 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 probabilitaria15. 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
Schlick16, que el ltimo paso de verificacin ha de consistir en observaciones o en
percepciones de los sentidos.

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. 337369.

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.
17 V. Kraft, El Crculo de Viena, p. 137.

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 cuestion 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 principio18. 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.
18 A. J. Ayer, Lenguaje, verdad y lgica (Barcelona, Martnez Roca, 197l).
19 A. Rivadulla, Filosofa actual de la ciencia, cap. III.

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 conceptode 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.

10