Академический Документы
Профессиональный Документы
Культура Документы
ndice
[ocultar]
El Crculo de Viena[editar]
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, "solo 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, WhiteheadGiuseppe 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 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 (vase Lenguaje, verdad y lgica)
A priori
Hay 2 maneras en que una proposicin puede tener sentido: hablando acerca del mundo y
por tanto teniendo condiciones de verificacin emprica bien determinadas, o no hablando
acerca del mundo. Hemos visto que los enunciados acerca del mundo -sintticos-, para los
empiristas lgicos, solo podan ser a posteriori, es decir, solo comprobables
empricamente. Pero tambin hay otra manera de conocer algo: a priori.
S que 22 es 4, siempre, y no tengo -aunque puedo hacerlo, claro- que contar con mis
dedos o encerrarme en el laboratorio para saberlo: lo s solamente calculando. De la
misma manera, s que ningn soltero est casado, y sin necesidad de recurrir a un
experimento. Tambin s que, por modus ponens, puedo deducir la proposicin 'y' dadas
dos premisas: si 'x', entonces 'y', y es el caso que 'x'. Para esto tampoco necesito ninguna
experimentacin, no necesito recurrir al mundo. Conozco esto de manera a priori, sin
experiencia. Pero, como lo conozco sin necesidad de experiencia, entonces ni el modus
ponens, ni la multiplicacin de 2 por 2, ni la soltera de los no casados me dicen algo sobre
el mundo. Cmo iban a hacerlo, si puedo conocerlos sin experiencias empricas? Y como
no me dicen nada sobre el mundo, entonces son proposiciones analticas, que son
verdaderas solo en virtud del significado, y de las reglas estipuladas. "Todo soltero es no
casado" es verdadero porque ser soltero significa no estar casado. 22=4 es verdadero
por los usos estipulados que les damos a los signos '' e ' = ', adems de las reglas que
seguimos al darles ese uso, y los significados que les damos a los signos 2 y 4. [(P--
>Q)&P]-->Q es verdadero tambin porque as funciona nuestro lenguaje, y porque as
hemos dicho que funcionan los signos & y --> y las metavariables P y Q.
Por esto, todas las verdades a priori son, para los empiristas lgicos, analticas. Y como
son a priori deben ser necesarias. Recordemos que las proposiciones sintticas son
aqullas cuyo valor de verdad depende de los hechos en el mundo. Y por esto
son contingentes: pueden o podran no haber sucedido o no suceder. Yo podra no estar
redactando este artculo (pues podra estar estudiando para el examen), t podras no
estar leyendo esto, hoy puede llover, Scrates podra no haber nacido, es posible que
maana muera el presidente de la nacin. Ahora, hemos dicho que los analticos son
verdaderos no en funcin del mundo, sino en funcin del significado y las reglas. '21=1'
siempre va a ser verdadero, claro, siempre que haya tales significados y reglas. Pero si, en
otro lenguaje, 'chango' fuera lo que nosotros entendemos por '2'; 'perro' lo que nosotros
por '1'; 'corre' por '-'; y 'tira de materias' por ='; entonces 'chango corre perro tira de
materias perro' seguira siendo verdadero, puesto que no han variado las reglas de la
'operacin' sino un cambio (renombramiento) en las variables involucradas.
Esto nos dice por qu todos los enunciados que son analticos son a priori, y tambin
necesariamente verdaderos. Cuando a una proposicin o conjunto de proposiciones se
les hace una tabla de verdad, y resulta que tal proposicin es verdadera en todos los
casos, decimos que esa proposicin es tautolgica. Esto sucede con las proposiciones
analticas, y justo por eso decimos que son necesarias. Para los positivistas lgicos,
entonces (siguiendo al primer Wittgenstein), todos los enunciados analticos
son tautologas, es decir, que son siempre verdaderas. (Los enunciados que son siempre
falsos se llaman autocontradictorios)
Unificacin de la ciencia
Recordemos que un enunciado en el lenguaje fsico puede reducirse a otro en el lenguaje
sensorial: "ah hay una 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 implicaba- adems 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.
Induccin y falsabilidad
Un enorme problema que Hume hered es, bsicamente, cmo justificamos la induccin
(es decir, dicho vagamente, pasar de lo particular a lo general). Hume se dio cuenta de que
no es vlido pasar de lo que de hecho es y ha sido el caso, a lo que ser o debe ser el
caso, sin ninguna justificacin para ello.
Este problema pone en cuestin toda la ciencia natural, que se basa en razonamientos
inductivos. As, algunos miembros del Crculo de Viena (entre ellos Carnap y Reichenbach)
trataron de buscar una solucin. Claro que no hubo una definitiva.
Karl Popper es un personaje muy relacionado con el Crculo de Viena, pero que nunca se
confirm positivista. Sin embargo, su filosofa estuvo muy cercana a la del Crculo. Su
respuesta al problema de la induccin es que la ciencia no avanza confirmando teoras
observacionalmente, sino demostrando que no contradicen la experiencia. Esto es, a
grandes rasgos, el falsacionismo.
Popper critica severamente el inductivismo y lo desbanca de la filosofa de la ciencia
moderna mediante la lgica y las tesis del falibilismo. Es ms, demuestra que
el justificacionismo cientfico es incorrecto debido a que los enunciados observables
(empricos) no pueden ser probados, sino que simplemente pueden ser aceptados o
rechazados por convencin atendiendo a las teoras experimentales, instrumentos y
criterios racionales comnmente aceptados en el momento.
Segn el falsacionismo, una teora solo ser cientfica si junto a ella se declara qu hecho
o conjunto de hechos podran refutarla. Esto se conoce como el criterio de demarcacin.
Las hiptesis o teoras que no sean falsables de esta forma sern pseudocientficas,
mientras que las falsables sern cientficas y podrn ser refutadas o corroboradas
conforme se realicen experimentos, los cuales irn dirigidos a conseguir su refutacin. Por
otra parte, una teora cientfica se rechazara si es refutada, lo cual se consigue a travs de
un experimento que la contradiga. A este experimento se le suele llamar experimento
crucial.
sta es la propuesta del empirismo lgico: sin metafsica, psicologa o ramas normativas,
lo que queda es el anlisis lgico. La filosofa sera el anlisis de las proposiciones de la
ciencia, que seran purificadas de todo sinsentido y toda metafsica, y fundamentadas en la
teora del conocimiento (epistemologa).