El campo de la filosofa es el de la representacin de los objetos; sus objetos son los conceptos, proposiciones y teoras de la ciencia. Esta determinacin de la filosofa la realiz Wittgenstein por primera vez. (W. Kraft).

El neopositivismo o Crculo de Viena surgi en los primeros aos de la dcada de los veinte cuando el filsofo y fsico Moritz Schlick ocup, reclamado por Kiel, la Ctedra de Filosofa de las Ciencias Inductivas de la Universidad de Viena. Animado por un grupo de jvenes fsicos, matemticos, filsofos y tericos sociales que ya se reunan en un caf en Viena, y entre los que se encontraban Philipp Frank, Herbert Feigl, Hans Hahn, Otto Neurath, se cre con Schlick un grupo de discusin en torno a problemas epistemolgicos y cuya pretensin era seguir el camino abierto por el positivismo en muchos de cuyos puntos fundamentales estaban de acuerdo: la defensa del empirismo, el rechazo rotundo de la metafsica y una orientacin unificadora de la ciencia en sus lenguajes y en sus mtodos.

En torno a este grupo se unieron posteriormente otros estudiosos como Rudolf Carnap y Kurt Gdel y pronto surgieron nuevos grupos en Berln (Hans Reichembach, Carl Hempel, Olaf Helmer y Alexander Herzberg), ciudad en la que se cre la Sociedad para la Filosofa Cientfica" y en Inglaterra, grupo de entre cuyas figuras destaca Alfredo J. Ayer.

La sociedades de Berln y de Viena mantuvieron numerosos intereses compartidos y una rica colaboracin que fructific en la publicacin de la revista Erkenntnis, dirigida por Carnap. Otros grupos surgieron en Polonia, pero cuando los nacionalsocialistas subieron al poder y, tras el asesinato de Moritz Schlick a manos de un estudiante nazi, el grupo se disuelve emigrando muchos de sus miembros a Inglaterra y a Estados Unidos, lugar en el que fueron gratamente acogidos por los tericos del pragmatismo.

En 1939 saldr a la luz la Enciclopedia internacional de la ciencia unificada, a cargo de Neurath, Carnap y Morris, en la que se recogan y se hacan pblicos los trabajos e investigaciones de diferentes cientficos y epistemlogos.

Pues bien, a pesar de esta heterogeneidad de grupos, el neopositivismo, denominado tambin positivismo lgico o neoempirismo se vertebr en torno a ciertas ideas compartidas, como por ejemplo la asuncin de las principales tesis positivistas antes mencionadas y la aceptacin del empirismo. Sobre este ltimo, los neopositivistas aceptaron la distincin hecha por Hume entre las relaciones de ideas (a priori) y las cuestiones de hecho (a posteriori), distincin que sirvi de base a su epistemologa.

Entre otras fuentes cabe destacar la doctrina empiro-criticista de Ernst Mach que afirmaba que los hechos de la experiencia constituan el fundamento ltimo del conocimiento, invalidando toda distincin entre hechos, sobre todo la que diferenciaba entre lo fsico y lo psquico.

Influyeron tambin en sus ideas las tesis de Bertrand Russell y el primer Wittgenstein. De hecho, cuando fue publicado el Tractatus en 1921, se convirti en tema principal de discusin para los miembros del Crculo de Viena. Wittgenstein haba denunciado que la mayora de las cuestiones filosficas, sobre todo las referentes a la metafsica, carecan de sentido si se las examinaba a la luz de un anlisis lingstico. Este postulado fue completamente asumido por la mayora de los neopositivistas. Moritz Schlick, por ejemplo, acept identificar la metafsica con una perversin del lenguaje. Si se parte de la base de que todo conocimiento corresponde y ha de ser vertido en dos tipos de juicio, las cuestiones de hecho, que versan sobre acontecimientos existentes y que son conocidos a travs de la experiencia, y las cuestiones de sentido, que son reflexiones y anlisis sobre el sentido que damos a los hechos (es decir, se trata de cuestiones meramente lingsticas que se sustraen a la cuestin de la existencia y que nada pueden decidir sobre ella) habr que admitir que la metafsica da un paso ilcito al tratar las consideraciones de sentido o los objetos lgico lingsticos como si fueran cuestiones de hecho o realidades extramentales y extralingsticas.

La metafsica ha de quedar circunscrita a la esfera de un pseudo-arte, imperfecto y torpe. Audazmente hizo gala Nietzsche de esta intuicin cuando escribi su obra As habl Zaratustra, escrito que por su gnero se asemeja ms a una creacin literaria y potica que a un ensayo pretendidamente filosfico.

Ahora bien, el desprecio de la metafsica sirvi para excluir de toda investigacin cientfica todo hecho extralingstico y para depurar a la filosofa de multitud de pseudoproblemas. Adems, esta cuestin entronca con una de las prioridades bsicas de los neopositivistas: la afirmacin de la necesidad de la unificacin de las ciencias, sean cuales fuere sus contenidos disciplinares. Para lograr esta unificacin se haca imprescindible analizar el significado de los enunciados utilizados por ella, as como delimitar y construir un lenguaje propio minuciosamente preciso que desalojara toda ambigedad y error. Por este motivo el Crculo de Viena hizo un anlisis lgico del lenguaje, es decir, de los conceptos y enunciados utilizados por las ciencias que desocultara su sintaxis lgica.

Los neopositivistas slo aceptan como dotadas de significado las proposiciones analticas (a priori), que no se refieren a nada real y son propias de la lgica y la matemtica, y la proposiciones sintticas (a posteriori) o verdades de hecho, siempre que stas sean verificables a partir de la observacin directa de lo real.

"Un lenguaje consta de un vocabulario y una sintaxis, es decir, de un conjunto de palabras que poseen significado y de reglas para la formacin de las proposiciones. Estas reglas indican cmo se pueden constituir proposiciones a partir de diversas especies de palabras. De acuerdo con esto, hay dos gneros de pseudoproposiciones: aqullas que contienen una palabra a la que errneamente se supuso un significado o aqullas cuyas palabras constitutivas poseen significado pero que, por haber sido reunidos de un modo antisintctico no constituyeron una proposicin con sentido". (La superacin de la metafsica mediante el anlisis lgico del lenguaje, de Rudolf Carnap, editado en la revista Erkenntnis, 1932).

Ahora bien, las proposiciones analticas se reducen siempre a una generalizacin sobre lo aportado por la experiencia, entendida como el nico criterio posible de verificacin de un enunciado o de un conjunto de enunciados, es decir, una teora. As, la proposicin "Dios existe" o "el fundamento de todo lo real son las pulsiones inconscientes" son proposiciones carentes de sentido y tan absurdas como lo puede ser la afirmacin "Csar es un nmero primo". Este tipo de proposicin no es verificable bajo ningn dato de la experiencia.

El problema de la verificabilidad se agudiza cuando se analizan las proposiciones universales, ya que stas no pueden nunca contrastarse totalmente con lo dado a la experiencia. Por ejemplo, puedo verificar que los mirlos de mi jardn son negros, pero no que todos los mirlos sean negros. La cuestin se vuelve todava ms compleja y abstrusa si lo que se pretende verificar es una hiptesis terica de la ciencia o una proposicin meramente subjetiva, como por ejemplo la afirmacin "me duelen las muelas" que, aunque tiene significado, sin embargo no es verificable intersubjetivamente.

Carnap intent solucionar esto sustituyendo la verificacin por la confirmacin (una validacin parcial y limitada que no anticipa todos los casos futuros) y la traducibilidad (dirigida a aquellas proposiciones cuyos trminos no sean observables, pero que han de ser traducibles a elementos s observables).

Es precisamente sobre estas cuestiones sobre las que surgir una crtica y un revisionismo de los postulados del neopositivismo, como por ejemplo la desarrollada por Karl Popper, que no admiti la fundamentacin emprica ni sus criterios de verificacin, reemplazados por l por un concepto negativo, el de la falsacin. Actualmente, el debate epistemolgico en torno a la verificabilidad de las ciencias y la delimitacin de su campo (el problema de demarcacin) sigue todava en plena discusin.Historia de la Ciencia.

Hace poco ms de 2500 aos comenz a desarrollarse el gnero de racionalidad retrospectiva e hipottica que ha fundado el pensamiento cientfico, su existencia acredita que es para la especie humana factible describir y explicar la naturaleza, los estados, el comportamiento y las conexiones de objetos que son propios de los diferentes campos de la realidad, constituyendo as el conocimiento de la ciencia.

La historia de la ciencia est ntimamente ligada a la actividad paradgmica del que hacer humano, es decir del paradigma universal, de manera que tiende a generar paradigmas emergentes en sus inicios, dominantes en ciertas etapas de su desarrollo y decadentes en otras etapas.

Convencionalisno

El convencionalismo es una corriente de filosofa del lenguaje que defiende la arbitrariedad de las palabras. En trminos lingsticos, defiende la independencia del significante del significado y su arbitrariedad. La lingstica moderna es, desde Ferdinand de Saussure, convencionalista.

En propiedad, hablamos de convencionalistas para referirnos a los gramticos griegos que defendan que las lenguas se han originado como una mera convencin entre los hombres, oponindose a los naturalistas. Sostienen que no existe vnculo necesario entre la palabra, el pensamiento y el mundo.

Logica Matematica

La lgica matemtica es un subcampo de la lgica y las matemticas. Consiste en el estudio matemtico de la lgica y en la aplicacin de este estudio a otras reas de las matemticas. La lgica matemtica guarda estrechas conexiones con la ciencias de la computacin y la lgica filosfica.

La lgica matemtica estudia los sistemas formales en relacin con el modo en el que codifican conceptos intuitivos de objetos matemticos como conjuntos, nmeros, demostraciones y computacin.

La lgica matemtica suele dividirse en cuatro subcampos: teora de modelos, teora de la demostracin, teora de conjuntos y teora de la recursin. La investigacin en lgica matemtica ha jugado un papel fundamental en el estudio de los fundamentos de las matemticas.

La lgica matemtica fue tambin llamada lgica simblica. El primer trmino todava se utiliza como sinnimo suyo, pero el segundo se refiere ahora a ciertos aspectos de la teora de la demostracin.

La lgica matemtica no es la "lgica de las matemticas" sino la "matemtica de la lgica". Incluye aquellas partes de la lgica que pueden ser modeladas y estudiadas matemticamente.

ContinuacionEl llamado Crculo de Viena

El Crculo de Viena se considera heredero del Positivismo Lgico creado por Comte.

Este grupo de cientficos defienden que la observacin se realiza a travs de los sentidos para captar hechos y realidades. Estas observaciones se pueden registrar en vdeos, o cualquier otro soporte.

El objetivo del Crculo de Viena es unificar el conocimiento que se consigue a partir de la reduccin de todas las disciplinas del conocimiento cientfico a frmulas lgico-matemticas y por ello debemos crear un metalenguajemediante el cual se puedan entender entre ellas.

Los enunciados pueden ser de dos tipos: observacionales (se obtienen a travs de la observacin neutral e inmediata de la realidad) y universales.

Los enunciados observacionales se convertirn en los segundos gracias a la induccin (forma de razonamiento).

El criterio empirista de significado se basa en la demostracin de que las cosas que observamos son como son. Por ejemplo: yo veo un automvil chocado de color rojo. Yo estoy seguro de lo que veo y si lo que veo coincide con lo que ve el resto de personas es lo que le da el significado a lo que yo veo. Es decir, la repeticin de una misma experiencia por mucha gente es la evidencia de que estos hechos que yo observo son como son.

Los enunciados observacionales son leyes o teoras. Por ejemplo: "El agua hierve a 100C".

Principio de Induccin: Chalmers dice que "Si en una amplia variedad de condiciones se observa una gran cantidad de A y si todos los A observados tienen la propiedad B, entonces todos los A tienen la propiedad B".

Para que un razonamiento lgico sea aceptado debe cumplir las siguientes condiciones:

1. Debe haber un nmero grande de enunciados singulares u observacionales;2. Cuando varen las condiciones contextuales o ambientales en las que se observanlos enunciados observacionales, no haya variaciones de su esencia. Por ejemplo: en el enunciado de "El agua hierve a 100C" no puede variar la variable del tipo deagua. El enunciado debe cumplirse con todas las aguas analizadas.3. No debe haber ningn enunciado singular que lo contradiga.

Virtudes de esta forma de Investigar

Con esta forma de trabajar se perfeccionan estas teoras.

*Permite mejorar los instrumentos del conocimiento cientfico, es decir, las tcnicas universales por las cuales se observa la realidad;

*El conocimiento cientfico avanza por la acumulacin de conocimientos.

Hechos adquiridos por la observacin

Induccin +

Leyes/Teoras +

Deduccin +

Predicciones/Explicaciones

La fuente de la verdad del conocimiento cientfico se corresponde con la parte izquierda de la induccin, sin embargo, Popper se decanta por la segunda parte (deduccin).

La induccin es ms propia de la visin empirista (basada en la observacin) y la deduccin es ms propia de la visin racionalista (basada en la razn).

Es aqu donde comienza todo el problema de las ciencias sociales el conocimiento verdadero se obtiene mediante la experiencia o la razn?

Hay enunciados que tienen validez lgica pero no emprica. Veamos algunos ejemplos:

1 Todos los automviles tienen motor. Yo tengo un automvil: Ergo: Mi automvil tiene motor.

Este enunciado es lgicamente vlido y emprico.

2 Todos los automvil tienen motor; Yo tengo un automvil.Mi remolque es de color rojo.

Este enunciado es empricamente vlido, pero no tiene validez lgica.

El problema de la induccin

Los inductivistas piensan que un razonamiento sin validez emprica no puede ser un razonamiento cientfico.

Esta visin inductivista choca con el "problema de la induccin".

El propio creador del principio de la induccin detect una deficiencia: "cuntos enunciados singulares se necesitan para formular un enunciado universal?"

Desde el punto de vista cientfico este salto se hace sin legitimidad terica. Quien garantiza que este enunciado universal ser vlido siempre, ao tras ao?

Los crticos dicen que no se puede razonar la induccin. Como ha funcionado en determinados casos, pues funcionar en el resto.

Para corroborar esto debemos utilizar otra forma de razonamiento porque este no es vlido.

Las crticas al inductivismo son ms importantes a partir del primer tercio del siglo XXy ms an cuando empieza a actuar Popper. Estas crticas se centran en los fundamentos de la induccin. Estos son algunos:

-Criterio empirista de significado;-Observacin directa de la realidad: no se puede hablar de observacin directa porque es una observacin predeterminada por un contexto cultural, el aprendizaje y los instrumentos que utilizamos para observar la realidad.

La observacin que hacemos est culturalmente predeterminada.

Karl Popper desarrolla su trabajo en los aos `30 pero hasta 1950 no adquiere popularidad entre las comunidades cientficas. Al contrario, recibi bastantes crticas:

*Se habl de que Popper era el culpable del irracionalismo que existe ahora (cuestionar todo, dudar de todo).

*Se enfrent a los relativistas y la escuela de Francfurt (Adorno y Horkeimer).

Popper tambin reconstruy el conocimiento cientfico utilizando ejemplos conocidos de la historia de la ciencia, aunque no se le puede considerar un historiador cientfico.

Su investigacin parte de una profunda crtica al Positivismo Lgico que tiene dos fundamentos:

1. La ciencia no empieza en la observacin directa sino en las teoras. La observacinservir para comprobar cosas.

2. La observacin de la realidad no sirve para verificar leyes o teoras para convertirlasen verdaderas. l piensa que la verdad es imposible de conseguir.

Convertir las teoras, los conceptos, las conjeturas o hiptesis en el centro del conocimiento cientfico, para los inductivistas eran los enunciados singulares.

Del segundo punto deriva su teora falsacionista: "las observaciones no sirven para verificar teoras sino para negar, falsar teoras".

El trabajo del cientfico se desarrolla con la crtica, no con la observacin. Primero se aplica el principio de induccin, es decir, se acumulan enunciados singulares y, en el momento que aparezca un enunciado que contradiga al resto de enunciados ya no se puede formular la teora universal.

Hay que formular hiptesis nuevas que desplacen a las viejas a travs de la falsacin.

El hecho de que se pueda falsar es lo que hace que un hecho sea cientfico.

Tambin podemos encontrarnos con enunciados que no son falsables como es el caso de "Las motocicletas son as" o "El automvil es as". En este caso son enunciados infinitos y no se pueden desmentir.

Popper dice que la ciencia siempre est cerca de la realidad pero que nunca llegan a juntarse.

Esto es lo que hace absurda la verificacin de la ciencia. No se ha de verificar, lo que debemos hacer es formular nuevas teoras cada vez ms perfectas.