Empirismo lgico

El empirismo lgico o racional, tambin llamado neopositivismo o positivismo lgico, es una

corriente en la filosofa de la ciencia que surgi durante el primer tercio del siglo XX, alrededor del
grupo de cientficos y filsofos que formaron el clebre Crculo de Viena (Wiener Kreis en alemn).
Si bien los empiristas lgicos intentaron ofrecer una visin general de la ciencia que abarcaba
principalmente sus aspectos gnoseolgicos y metodolgicos, tal vez su tesis ms conocida es la que
sostiene que un enunciado es cognitivamente significativo slo si posee un mtodo de verificacin
emprica o es analtico, tesis conocida como "del significado por verificacin". Slo los enunciados
de la ciencia emprica cumplen con el primer requisito, y slo los enunciados de la lgica y
las matemticas cumplen con el segundo. Los enunciados tpicamente filosficos no cumplen con
ninguno de los dos requisitos, as que la filosofa, como tal, debe pasar de ser un supuesto cuerpo
de proposiciones a un mtodo de anlisis lgico de los enunciados de la ciencia.
Las posiciones de los empiristas lgicos respecto de algunos temas claves de la filosofa de la
ciencia (el origen del sentido de los enunciados, la puesta a prueba de las teoras, el concepto
deexplicacin cientfica y la unidad de la ciencia, entre otros) se conocen con el nombre colectivo de
"concepcin heredada"

El Crculo de Viena
El grupo original constituy el llamado Crculo de Viena, un grupo de cientficos y filsofos iniciado
.
en 1924 por Moritz Schlick; posteriormente, Rudolf Carnap sera el continuador y lder. La mayora de los
componentes del Crculo de Viena emigraron a otros pases a partir de 1933, a raz de la llegada al poder
del nazismo.
Como antecedentes, en el Manifiesto del Crculo de Viena se mencionaban personalidades
como Locke y Hume, mientras otros como Karl Marx (por su tratamiento cientfico de
la historia),Leibniz (por sus matemticas y su lgica) tambin se consideraban precursores, pero sin
contar con su metafsica. El positivismo del siglo XIX tambin es considerado una influencia, aunque con
matices. Hay que recordar que, para los positivistas del siglo XIX, "slo lo dado es real". Para los
empiristas lgicos, esta proposicin simplemente carece de sentido.
Otras influencias poderosas fueron la metodologa emprica desarrollada durante y despus de la mitad
del siglo XIX, as como la lgica simblica. Entre los desarrolladores de la primera, estn hombres de
ciencia como Helmholtz, Ernst Mach, Henri Poincar, Pierre Duhem y Boltzmann. Entre los
desarrolladores de la segunda estn, entre otros, Frege, Russell, Whitehead Giuseppe Peano y Tarski .
En el Crculo de Viena se encontraban, entre otros: Rudolf Carnap (Mayo 18, 1891 - Septiembre 14,
1970), quien proclamaba la superacin de la metafsica mediante el anlisis lgico del lenguaje (vase La
superacin de la metafsica mediante el anlisis lgico del lenguaje); Kurt Gdel (28 de de abril de 1906 14 de enero de 1978) que nunca lleg a compartir las tesis positivistas del Crculo, como finalmente
demostrara al formular su famoso teorema de incompletitud, incompatible con ciertas tesis de la filosofa
de las matemticas sostenidas por algunos de ellos; David Hilbert (23 de enero de 1862 - 14 de febrero
de 1943) el famoso redactor de Los problemas futuros de la Matemtica; y otros como Herbert

Feigl, Philipp Frank, Hans Hahn, Carl Gustav Hempel, Karl Menger, Richard Von Mises, Otto
Neurath, Hans Reichenbach, Moritz Schlick y Friedrich Waismann. En Inglaterra, Sir Alfred Jules
Ayer (Octubre 29, 1910 - Junio 27, 1989) fue el ms importante representante de esta corriente

Unificacin de la ciencia
Recordemos que un enunciado en el lenguaje fsico puede reducirse a otro en el lenguaje sensorial: "ah
hay un mesa" puede reducirse a algo as como "en tal lugar y en tal momento, percibo color caf, forma
rectangular...", etctera. Y estos enunciados seran la base de nuestro conocimiento.
Siendo esto as, entonces el proyecto empirista pareca posible: reducir toda la ciencia natural a
enunciados protocolares. Carnap introduce -poco despus y frente a los problemas que esto implicabaadems de experiencia sensorial, lgica y teora de conjuntos.
Russel y Whitehead ya haban iniciado la tarea de la reduccin de la matemtica a la lgica. Si podamos
hacer esta reduccin, los grandes teoremas y las enormes demostraciones resultaran ms claras, pues
conoceramos los fundamentos. De igual manera, las teoras en las ciencias naturales seran ms claras y
ms seguras conociendo en qu estaban fundadas: en qu enunciados protocolares.
Y como toda iba a ser reducido a enunciados protocolares, entonces la ciencia natural sera vista como un
extenso conjunto de tales enunciados.

Kazimierz Ajdukiewicz (12 de diciembre de 1890, Ternopil, Galitzia 12 de abril

de 1963, Varsovia, Polonia) fue un filsofo y lgico polaco, parte de la Escuela de Lepolis-Varsovia.
Desarroll numerosas ideas novedosas en semitica, incluido el concepto de "gramtica de categora"
utilizado por muchos lingistas formales. Los mbitos de investigacin de Ajdukiewicz abarcaban la
metodologa cientfica y la teora lgica de la ciencia.

Kurt Gdel ([kutgdl]) (28 de abril de 1906 Brnn, Imperio austrohngaro, actual Repblica Checa 14
de enero de 1978, Princeton, Estados Unidos) fue un lgico, matemtico y filsofo austriaco1
estadounidense.
Reconocido como uno de los ms importantes lgicos de todos los tiempos, el trabajo de Gdel ha tenido
un impacto inmenso en el pensamiento cientfico y filosfico del siglo XX. Gdel, al igual que otros
pensadores como Gottlob Frege, Bertrand Russell, A. N. Whitehead y David Hilbertintent emplear la
lgica y la teora de conjuntos para comprender los fundamentos de la matemtica. A Gdel se le conoce
mejor por sus dosteoremas de la incompletitud, publicados en 1931 a los 25 aos de edad, un ao
despus de finalizar su doctorado en la Universidad de Viena.

Jan ukasiewicz (21 de diciembre de 1878 - 13 de febrero de 1956) fue

un matemtico, lgico y filsofo polaco que naci en Lepolis, Galitzia (actualUcrania). Su trabajo se

centr en la lgica. l pens innovar en la tradicional lgica proposicional, el principio de no contradiccin

y el principio del tercero excluido.
ukasiewicz trabaj en lgica polivalente, incluyendo su propio clculo de tres valores de verdad, la
primera lgica de clculo no clsica. Tambin se dedic a otras reas de la filosofa, aproximndose a los
aspectos humanos de la creacin de la teora cientfica con ideas similares a las de Karl Popper.
Es autor, entre otras obras, de Elementos de lgica matemtica, La silogstica de Aristteles desde el
punto de vista de la lgica formal moderna, Sobre la teora intuicionista de la deduccin, Un sistema de
lgica modal, y El principio de individuacin.