La filosofa del positivismo lgico Publicado por Nino Guallart on Jun, 13 2011 | Last updated Jul, 03 2013 | 0 Dentro

de la filosofa analtica, una de las corrientes que ms auge tuvo en la primera mitad del siglo XX fue el positivismo lgico o neopositivismo. El Crculo de Viena y el Circulo de Berln En 1924 el filsofo Moritz Schlick funda en Viena lo que sera conocido como el Crculo de Viena, un grupo filosfico al cual perteneceran miembros tan destacados como Rudolf Carnap, Feigl, Neurath, Hempel, el ingls Ayer, e incluso fsicos y matemticos como Gdel o David Hilbert, entre otros muchos miembros ilustres. El propsito de este grupo, que deba mucho a la lectura de las tesis del Tractatus de Wittgenstein, era de carcter netamente antimetafsico, entendiendo como tal lo no emprico ni lgico. Influidos por las ideas de Hume y Kant, consideraban que mientras las tesis de las ciencias naturales eran verificables por la experiencia y las matemticas analticamente, las de la mayor parte de la filosofa eran inverificables, por lo que haba que reformular esta disciplina: de ser un cuerpo de enunciados que constituyesen un sistema de pensamiento, deba convertirse en un mtodo riguroso de verificacin de los enunciados cientficos, en particular mediante el anlisis tanto emprico como lgico de los mismos. Cualquier enunciado portador de un valor de verdad habra de versar sobre la realidad, algo externo al sujeto que profiere los enunciados sobre ella, y por tanto tambin concedieron gran importancia al anlisis del lenguaje para poder establecer un criterio de demarcacin entre enunciados que hablan del mundo y aquellos que no lo hacen. Si bien haba cierta variedad de planteamientos, algunos objetivos eran evidentes: Las rigurosas exigencias del pensamiento cientfico han de valer tambin para la filosofa [. . . ]. La metafsica [ha] de ser eliminada por completo (Kraft, V., El Crculo de Viena, pgs. 23-24), era el grito de guerra programtico neoemprico. Por tanto, este carcter antimetafsico va a ser uno de los rasgos distintivos del empirismo lgico. El problema de la verificabilidad Influidos por el primer Wittgenstein, los neopositivistas identificaron el criterio de demarcacin con un criterio de sentido: lo que tiene sentido es lo empricamente verificable, lo metafsico es lo que no lo es. El alcance de la verificacin emprica no era un tema trivial, puesto que no es lo mismo una verificacin en teora que el llevarla a la prctica. Igualmente podra diferenciarse entre verificabilidad a priori, la que es as solamente en virtud del significado de sus trminos, la propia de los enunciados analticos, y la verificabilidad a posteriori, es decir, verificable empricamente como se da en las ciencias naturales. Por tanto, el conocimiento habra de fundarse, para este grupo, en el conjunto de datos obtenidos a partir de los sentidos y en las inferencias lgicas, y consideraban que solamente puede hablarse

de la naturaleza del mundo en tanto se tiene conocimiento emprico de l. Toda oracin que no se ajustase a este criterio, es decir, inverificable, es una pseudoproposicin, carece de sentido, oponindose as a programas como los de Heidegger. El problema de la induccin La verificabilidad abocaba a una defensa del mtodo inductivo por parte de los neoempiristas, pero la induccin necesitaba una defensa cuidadosa que diese cuenta de s desde una postura no ingenua. De este modo se iniciaron varios proyectos para justificar, en diverso grado, la validez del conocimiento inductivo. Carnap inici un ambicioso programa de justificacin inductiva que estableciera diversos grados de confirmacin apoyndose en un programa de carcter lgicoepistemolgico. Otras posturas aceptaban la crtica humana a la induccin pero intentaban justificarla desde un criterio probabilista, como Reichenbach. En efecto, el problema es que los neopositivistas creyeron encontrar en una nueva justificacin de la induccin la base de la ciencia y a la vez el criterio de demarcacin de la misma. Sin embargo, la ciencia, como conjunto de afirmaciones generales, se enfrenta al problema de la induccin a planteado por Hume: cmo puede expresarse en afirmaciones de carcter universal si toda observacin es de tipo particular, es decir, ha de enfrentarse al problema de cul es el origen y el fundamento de sus leyes de carcter universal. Precisamente la tarea de justificar la induccin sin caer en una regresin infinita de justificaciones ni en apelar a proposiciones injustificables, es decir, metafsicas, sera uno de los grandes problemas del positivismo lgico. La solucin de Popper al problema de la induccin y al criterio de induccin tendra un acercamiento radicalmente distinto a la cuestin.

NEOPOSITIVISMO 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. 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).

Wittgenstein y el neopositivismo Angel Luis Gonzlez (*) La figura ms relevante de la llamada filosofa del lenguaje es L. Wittgenstein (1889-1951). Su Tractatus logico philosophicus se configura como el punto del que parten todas las investigaciones neopositivistas, pues sealar el mbito en que debe moverse la filosofa: toda filosofa es crtica del lenguaje; el fin de esa obra es trazar unos lmites al pensamiento, delimitando lo que es pensable y lo que es impensable; y delimitar el campo del pensamiento es determinar el campo del lenguaje. El mundo est constituido por el conjunto de los hechos, y el conjunto de las proposiciones constituye el lenguaje. Es preciso delimitar el mbito de lo que se puede decir, el mbito del sentido, pues lo que no se puede decir no se puede pensar; y lo que no se puede decir o pensar, carece de sentido". La filosofa se va a convertir en clarificacin lgica [48], pues el lugar del sentido es el lenguaje, que est formado por el conjunto de todas las proposiciones. En esta doctrina de Wittgenstein, relativa al sentido de las proposiciones es donde nace el famoso principio de verificabilidad, que es uno de los principios fundamentales del neopositivismo: una proposicin est dotada de sentido cuando es verificable y slo cuando es verificable... y el sentido de una proposicin se identifica con el mtodo de su verificacin [49]. Pues bien, si se analiza el sentido de las proposiciones filosficas, segn Wittgenstein, es preciso calificarlas como sinsentidos, porque son supraempricas. Las proposiciones que versan sobre lo supraemprico no figuran nada, son sinsentidos. Las proposiciones de la metafsica son pseudoproposiciones. Slo se puede hablar de los hechos, y este nivel es cubierto por las ciencias empricas. La metafsica, en cambio, ha pretendido falsamente establecer un saber acerca de lo supraemprico, un lenguaje que supere el plano fctico.

Se pueden destacar tres periodos en la evolucin de la filosofa analtica: 1) Los representantes de la primera fase son G.E.Moore, B.Russell y L.Wittgenstein. Mientras Moore mantiene una concepcin pragmtica e informal del anlisis del lenguaje que concede una especial importancia a las expresiones vinculadas al sentido comn, Russell y Wittgenstein insistirn en la necesidad de recurrir a la lgica formal para desvelar la estructura de los enunciados o proposiciones y distinguir los que se hallan bien construidos de aquellos que contienen errores de construccin y deben ser rechazados. Los trabajos de estos tres autores son los inspiradores directos del Positivismo Lgico en todas sus manifestaciones. 2) La segunda fase tiene como protagonista al Crculo de Viena que agrupaba en los aos treinta a cientficos e intelectuales en torno al programa filosfico del Positivismo Lgico, por lo cual se les denomina tambin Neopositivistas, para distinguirlos de los fundadores del movimiento. Entre los neopositivistas destacaban M.Schlick, O.Neurath, R.Carnap y A.J.Ayer. Este programa sintetizaba el empirismo de Berkeley y Hume, la lgica de Russell y la filosofa del primer libro de Wittgenstein titulado Tractatus Logico-Philosophicus, que ser el principal inspirador de esta segunda fase.

Una de las principales aportaciones del Positivismo Lgico fue la formulacin del Principio de Verificacin, defendido por A.J.Ayer en su obra: Lenguaje, Verdad y Lgica. En su versin clsica este principio afirma que una proposicin tiene significado si se sabe cmo se puede comprobar su verdad o falsedad. Lo que iba a suponer una descalificacin de la metafsica al ver condenadas sus afirmaciones al sin sentido. La preeminencia de la verificacin emprica sobre la formalizacin lgica, y de la verificacin dbil sobre la verificacin fuerte, distancia a algunos positivistas, (entre los que se cuenta Ayer), de los maestros de la primera filosofa analtica (Moore, Wittgenstein y Russell) y de otras tendencias neopositivistas, situndolos en un programa inscrito dentro de la corriente neopositivista que se ha venido a llamar: Empirismo Lgico.

3) La tercera fase por la que pasa la Filosofa Analtica tiene como punto de referencia al denominado segundo Wittgenstein, es decir, al autor de las Investigaciones Filosficas, libro publicado en 1953 y que supuso una ruptura con el Positivismo Lgico y un abandono de las tesis sostenidas en el Tractatus. A pesar de la heterogeneidad de autores herederos de la segunda filosofa de Wittgenstein destacan por su influencia dos grupos: la escuela de Cambridge, que cuenta con nombres como J.Wisdom, y la escuela de Oxford, con autores como G.Ryle, J.L.Austin o P.F.Strawson.

LENGUAJE, VERDAD Y LGICA La obra de Ayer cuyo ttulo encabeza este apartado constituye una exposicin de las tesis del Positivismo Lgico. No obstante, la peculiaridad del pensamiento de Ayer, radica en la vinculacin del pensamiento de los filsofos del Circulo de Viena con el anlisis del lenguaje practicado por los grupos de Oxford y Cambridge. De modo que Ayer desempea, en este cruce de tendencias de pensamiento afines, un papel sintetizador, sin abandonar las filas del Positivismo Lgico. Lo dicho se puede ilustrar con las propias palabras de Ayer, cuando, en su Autobiografa titulada Parte de mi vida habla, cuarenta aos ms tarde, de su primer libro: Excepto algn detalle, los pensamientos expresados no son originales. Constituan un precipitado del positivismo del Crculo de Viena, tambin adscrito en mi obra a Wittgenstein, el empirismo reduccionista heredado de Russell y Hume, la aproximacin analtica de Moore y sus discpulos, y unas gotitas del pragmatismo. Los puntos de vista de los que parte Ayer se derivan de la evolucin del empirismo desde Hume hasta el Positivismo. Al igual que Hume, sostiene Ayer la existencia de tan solo dos clases de proposiciones: 1) las que se refieren a ideas (proposiciones analticas o proposiciones a priori) y 2) las que se refieren a realidades (hiptesis empricas). 1) Las primeras son tautologas, no dicen nada del mundo emprico por lo cual carecen de sentido literal y de contenido factual, razn de que resulten siempre verdaderas. Las proposiciones analticas no pueden ser refutadas por la experiencia porque precisamente no hacen ninguna afirmacin acerca del mundo emprico. Simplemente, registran nuestra determinacin de usar las palabras de un modo determinado. No podemos negarlas sin infringir las convenciones lingsticas presupuestas por nuestro lenguaje y caer en la autocontradiccin. Y este es el nico fundamento de su necesidad y el motivo de su utilidad. Los principios de la lgica y de la matemtica son proposiciones analticas, es decir, universalmente verdaderas, porque nunca les permitimos ser otra cosa. Y la razn de esto es que no podemos abandonarlos sin contradecirnos a nosotros mismos y sin faltar a las normas que rgen el uso del lenguaje. Uno de los errores fundamentales de la filosofa tradicional ha sido el considerar que las proposiciones analticas hacan afirmaciones acerca del mundo de la experiencia emprica, es decir, el confundir proposiciones analticas con proposiciones sintticas. La aclaracin del estatuto tautolgico de las proposiciones analticas y a priori, elimina, segn Ayer, dicho error.

2) Las segundas son proposiciones experienciales que nos hablan del mundo emprico y son susceptibles de verificacin; pueden ser ms o menos probables pero nunca absolutamente verdaderas. Porque ninguna proposicin cuya validez est sujeta a la prueba de la experiencia real, es decir, a verificacin emprica, para lo cual ha de hablar precisamente del mundo emprico, puede ser nunca necesariamente verdadera. En el mejor de los casos ser una hiptesis probable, pero es, segn Ayer, nuestro nico vehculo de conocimiento.

Hay una tercera clase de proposiciones que no son ni proposiciones analticas ni hiptesis empricas, son las proposiciones metafsicas, que carecen de sentido literal, y adems son absurdas.

A) OBJETIVO Y MTODO DE LA FILOSOFA Para terminar con las tradicionales discusiones filosficas Ayer se propone establecer de modo incuestionable cules podran ser el objetivo y mtodo de la investigacin filosfica. No es posible deducir todos nuestros conocimientos de primeros principios y adoptar como premisas verdades a priori. Porque una verdad a priori es una tautologa, y de un conjunto de tautologas slo pueden deducirse vlidamente nuevas tautologas. No es pues la misin del filsofo, como se ha considerado hasta ahora, la de construir un sistema deductivo a partir de unos primeros principios. La funcin de la filosofa es enteramente crtica y esencialmente analtica: La funcin del filsofo es aclarar las proposiciones cientficas, con lo cual, se dedica a una actividad de anlisis del lenguaje, poniendo de manifiesto las relaciones lgicas entre las proposiciones y definiendo los smbolos que en ellas aparecen. Su objetivo es el de poder hablar con sentido y no ser presa de los errores lgicos y gramaticales que dan lugar a los absurdos sin sentido de la metafsica y las confusiones de la filosofa clsica. La filosofa, por tanto, como una autntica rama del conocimiento, debe ser distinguida de la metafsica y totalmente independizada de sta. Aqu resalta Ayer que la mayora de los grandes filsofos del pasado no eran principalmente metafsicos, sino que sus filosofas contenan valiosos anlisis de expresiones significantes. Menciona como ejemplos a Locke, Berkeley, Hume, Hobbes, Bentham y John Stuart Mill, es decir, a los principales autores del empirismo clsico ingls, al fin y al cabo una lnea de pensamiento de cuya evolucin procede el empirismo lgico de Ayer, pero tambin considera como pensadores analticos a Platn, Aristteles y Kant. El filsofo analtico no est interesado en las propiedades fsicas de las cosas, est interesado solamente por la forma como hablamos de ellas. Las proposiciones de la filosofa no son factuales sino de carcter lingstico y en este sentido puede considerarse la filosofa como una rama de la lgica. Al filsofo neopositivista concierne, sobre todo, la tarea de buscar definiciones correctas y clarificar las errneas. Est analizando hechos, nociones, e incluso cosas. Pero estos son simplemente modos de decir que est interesado en la definicin de las palabras correspondientes. La filosofa proporciona definiciones que nos permiten hablar con sentido y ese es, en resumen, su cometido.

B) EL CRITERIO DE VERIFICABILIDAD. VERIFICABILIDAD EN PRINCIPIO Y VERIFICABILIDAD PRCTICA. VERIFICACIN CONCLUYENTE Y VERIFICACIN PARCIAL. El criterio de verificabilidad pretende ser una norma para distinguir las proposiciones con sentido (proposiciones experienciales) de las que no nos dicen nada (tautologas) o son, simplemente, absurdas (metafsicas). Una frase tiene sentido, es decir, es literalmente significante, si quien la enuncia es capaz de verificar su afirmacin: lo que quiere decir que ha de conocer las observaciones reales o posibles con las que aceptar la proposicin como verdadera o rechazarla como falsa. Aqu hay que precaverse contra las frases sin sentido pero emocionalmente significantes, como las proposiciones ticas, que se tienen por verdades pero tan slo expresan aprobacin o desaprobacin, sin ser susceptibles de verificacin. Las proposiciones metafsicas y poticas tambin pueden ser emocionalmente vinculantes, al estar unidas a una bella expresin y contener un valor esttico, pero un texto puede ser una obra de arte literario sin contener ninguna proposicin susceptible de determinar su verdad o falsedad. Ayer hace una primera distincin dentro del criterio de verificabilidad al diferenciar entre 1) verificabilidad prctica y 2) verificabilidad en principio. 1) Si de una proposicin pueden aportarse las observaciones reales que determinen su verdad o falsedad, decimos que esa proposicin es verificable en la prctica. Por ejmplo: Si alguien afirma que hay un ejemplar del Quijote en la Biblioteca Nacional de Madrid, se verifica sta afirmacin visitando sta biblioteca y viendo todo lo que hay en ella. 2) Si se sabe qu observaciones posibles decidiran sobre la verdad o falsedad de una proposicin dada, si alguna vez, como es tericamente concebible, se estuviese en condiciones de hacerlas, la proposicin es verificable en principio, ya que no en la prctica, y por tanto tambin es significante. Por ejemplo: Si alguien afirma que hay montaas en la cara oculta de la Luna, todava no se ha inventado un cohete que permita ir y mirar a la cara oculta de la Luna para hacer una observacin real, pero no es inconcebible que eso se llegue a realizar. Y por tanto, al considerarse posible la verificacin, decimos que dicha proposicin es verificable en principio. Una segunda distincin que Ayer propone dentro del criterio de verificabilidad es le diferenciacin entre 1) verificacin fuerte y 2) verificacin dbil. 1) Una proposicin es verificable en el sentido fuerte del trmino si su verdad puede ser concluyentemente establecida por la experiencia. Las proposiciones generales como las que enuncian leyes cientficas estn destinadas a abarcar un nmero infinito de casos, luego su verdad no puede ser establecida de manera definitiva por un nmero finito de observaciones. Este criterio fuerte es expuesto por Ayer pero inmediatamente abandonado al demostrarse imposible una verificacin concluyente y definitiva ni siquiera en principio. Ayer llega a la conclusin de que ninguna proposicin, excepto una tautologa, puede ser algo ms que una

hiptesis probable. Y puesto que las tautologas no aportan ningn conocimiento del mundo slo podemos anclar la ciencia en hiptesis altamente probables, nunca en verdades absolutas. 2) Decimos que una proposicin es verificable en el sentido dbil del trmino si es posible para la experiencia hacerla probable. La proposicin: El sol saldr maana tiene una altsima probabilidad basada en los clculos y observaciones astronmicas y en un gran nmero de casos en los que as ha sido observado, pero eso no nos legitima para considerar absolutamente necesario que contine sucediendo igualmente, sta proposicin no es una verdad absoluta sino una certeza fundada en una probabilidad muy alta. (Lo mismo sucede con las declaraciones histricas, esto es, las proposiciones acerca del pasado remoto, su verdad no puede nunca llegar a ser ms que altamente probable). Las leyes de la naturaleza, son as mismo hiptesis que pueden ser refutadas por la experiencia, es decir, la experiencia puede contradecirlas. Pero as como no es posible la verificacin concluyente (fuerte) de una proposicin, tampoco es posible una refutacin concluyente y definitiva de un enunciado, lo que significa que la refutacin (falsedad) es entendida en trminos de menor probabilidad, en la medida en que los hechos de la experiencia se ajustan menos a lo afirmado y viceversa; a medida que una proposicin adquiere una mayor confirmacin por la experiencia, la consideramos ms altamente probable y en este sentido, verdadera. La autoconsistencia de una proposicin depende por tanto de su xito en la prctica, de ah que para Ayer, ser racional implica ser guiado de un modo auto-coherente por la pasada experiencia. Lo que justifica un procedimiento cientfico, en la medida en que puede ser justificado, es el xito de las predicciones a que da origen: y esto slo puede determinarse por la experiencia. De ah que toda hiptesis emprica (proposicin sinttica) sea una norma para la anticipacin de la experiencia futura. Slo nos queda, por tanto, el sentido dbil de la verificacin. Ante una proposicin, la pregunta de la que se deriva la verificacin es la siguiente: seran determinadas observaciones adecuadas para decidir de su verdad o de su falsedad?. Y slo si la respuesta es negativa, es decir, si no pueden realizarse o concebirse las observaciones pertinentes para decidir si una proposicin es verdadera o falsa (y no es una tautologa), entonces concluimos que la declaracin en cuestin es absurda. Segn Ayer, todas las proposiciones que tienen un contenido factual (emprico) son hiptesis empricas, cuya funcin es, como ya se ha sealado, proporcionar una norma para la anticipacin de la experiencia. La hiptesis emprica concierne a una experiencia real o posible y es la nica susceptible de corresponder al principio de verificacin, es decir, de someterse a un criterio sobre las pretensiones de verdad de un enunciado. De donde resultar el grado de verdad de la hiptesis emprica en trminos de probabilidad (verificacin dbil). Una proposicin que no sea una hiptesis emprica o es una tautologa o un enunciado metafsico.

C) LA ELIMINACIN DE LA METAFSICA Las expresiones metafsicas son errores lgicos, porque partiendo de premisas empricas, es decir, de hechos reales, no puede legitimamente inferirse a travs de ningn razonamiento vlido la existencia de algo supra-emprico o trascendente. El metafsico no pretende escribir absurdo, cae en ellos porque es burlado por la gramtica o porque comete errores de razonamiento. La afirmacin metafsica de realidades trascendentes no tiene significacin literal y queda relegada al contrasentido. Que es un absurdo nos lo revela la norma que determina la significacin literal del lenguaje: el metafsico produce frases que no logran ajustarse a las condiciones que una frase ha de satisfacer, necesariamente, para ser literalmente significante, de acuerdo con el criterio de verificacin (solo las tautologas y las hiptesis empricas son significantes).

Por ejemplo: Ante la proposicin como: el Absoluto forma parte de, pero es, en si mismo, incapaz de evolucin y progreso. No se puede realizar (v.prctica) ni concebir (v.principio) una observacin que nos permitiese determinar si el Absoluto forma o no forma parte de la evolucin y del progreso. Y mientras una persona no nos haga comprender cmo se verificara la proposicin que nos quiere expresar, no consigue comunicarnos nada. Y llegamos a la conclusin de que ha construido una proposicin que ni siquiera para l mismo tiene ninguna significacin literal.

Afirmar terminantemente que hay un mundo de valores no emprico, o que los hombres tienen almas inmortales, o que hay un Dios trascendente; no es sino llevar a cabo afirmaciones metafsicas, esto es, absurdas. Porque el criterio de verificacin nos demuestra que las declaraciones metafsicas son aparentemente proposiciones de hecho, pero que en realidad, resultan ser contrasentidos, ya que los metafsicos son incapaces de indicar qu observaciones reales o posibles podran sostener sus afirmaciones.

Las disputas clsicas entre los filsofos tradicionales se disuelven cuando el anlisis del lenguaje que emplean demuestra los errores lgico-gramaticales en los que incurren. La controversia entre monistas (que afirman la existencia de una sola substancia) y pluralistas (que afirman la existencia de muchas substancias) o entre realistas (que afirman el mundo emprico como real y el mundo ideal como su proyeccin o copia) e idealistas (que afirman que el mundo real es el ideal, que est ms all de los sentidos y el mundo emprico es una copia) no se puede resolver en su terreno (metafsico), porque sus proposiciones simplemente carecen de sentido.

Sus disputas no se resuelven sino que se disuelven y desaparecen al demostrarse que es imposible imaginar ninguna situacin emprica que fuese adecuada a la solucin de su disputa. Por tanto

tales disputas se desarrollaban en torno a problemas falsos o pseudoproblemas, que pueden, no obstante, ser transformados en autnticos problemas, si son tratados como una disputa relativa al anlisis de las proposiciones, implicando as un problema lgico.

Por ejemplo con el anlisis de las proposiciones existenciales descubrimos que la palabra Ser induce al error de considerar que la existencia es un atributo. Por eso, la semejanza entre la proposicin los perros son leales y la que dice que los unicornios son fabulosos nos induce a considerar el verbo ser como un atributo tanto de perros como de unicornios, lo que implicara su existencia; pero mientras los perros existen y se puede verificar la primera proposicin, la segunda es absurda. El error surge de la apariencia gramatical, que nos lleva a la supersticin de pensar que para toda palabra o frase en la que interviene la cpula ser ha de haber una entidad real correspondiente a esa cpula.

Pese a todo lo indicado, Ayer sostiene que la mayor parte de las expresiones producidas por los grandes poetas y filsofos tienen significacin literal. Esto lo afirma para defenderse de la acusacin de que segn su criterio, casi la totalidad del arte, la cultura y la filosofa seran meros absurdos.

D) TRES CRTICAS AL PENSAMIENTO DE AYER

1) Aunque Ayer sostenga que la mayor parte de las producciones culturales contienen proposiciones con significado literal, de aplicarse su criterio al menos la mitad de la Historia de la Filosofa (toda la que est ms alejada del empirismo) debera ser relegada al absurdo sin sentido. Su criterio de verificacin resulta as demasiado reduccionista y producto de un empirismo radical de inspiracin humiana que no acepta otras posibilidades de adquirir conocimiento salvo la precaria y semiescptica verificacin dbil, que resulta a todas luces insuficiente.

2) Se ha criticado el principio de verificacin al denunciar que este es una proposicin segn la cual slamente pueden tener significacin literal las hiptesis empricas, pero que no obstante, el enunciado mediante el cual se formula el principio no es un enunciado emprico. A sto han contestado los neopositivistas diciendo que, en efecto, no es un enunciado emprico -y tampoco una tautologa, ni un absurdo-, porque es simplemente una recomendacin de usar de cierto

modo el lenguaje. Pero una recomendacin les parece a los crticos del neopositivismo algo demasiado frgil como para fundamentar sobre ella la filosofa y la ciencia, porque tambin habra que aceptar que otros recomendasen usar el lenguaje de otras muy diversas maneras.

3) Acerca de la verdad emprica como vehculo principal y juez ltimo del conocimiento, su exacerbacin se produce porque se confunde la pertinencia de la Lgica con una defensa del idealismo. Una verdad lgica como Todos los hombres son mortales, no teniendo nada emprico y siendo lo que Kant llamaba un juicio analtico, no obstante, SI que aporta conocimiento. Es ms, el principio de no contradiccin no es una verdad emprica sino Lgica y resulta que esa verdad no es ya un absoluto cualquiera sino que sin ella no se puede pensar. El principio de no contradiccin es la condicin de posibilidad de que haya ms verdades, la condicin de posibilidad de la verdad. Todo sto se puede decir desde el ms rotundo materialismo y es en lo que consiste en el fondo la Filosofa, porque no hay nada ms prctico ni ms material que una buena Teora.

Todo conocimiento comienza con la experiencia, excepto el conocimiento mismo. Es decir: las reglas del pensar en general no son experiencias ni estn sacadas de la experiencia, sino que son las condiciones de toda experiencia. Por ejemplo: Kant llama esttica trascendental al anlisis del espacio y el tiempo como condiciones de la sensibilidad. Lo que quiere decir es que no podemos tener experiencias fuera del espacio y del tiempo, no podemos pensar nada fuera del espacio o del tiempo, que, lo que hoy denominaramos espacio-tiempo, son las coordenadas necesarias de la posibilidad de toda experiencia en general. Se puede poner como ejemplo el principio de no contradiccin, se trata de distinguir entre el contexto de descubrimiento (gnesis) y el contexto de justificacin (fundamentacin). Es el ltimo el que tiene que ver con la verdad, cuyo fundamento ms potente (si bien no absoluto) son los principios ms generales de la lgica, aquellos que garantizan la indagacin misma. Nadie dira que Euclides sac de la experiencia, por induccin, sus axiomas, por medio de ensayo y error, as opera la fsica no la filosofa, ni matemtica o la geometra, en la naturaleza no hay ningn tringulo que cumpla el que la suma de los ngulos de cualesquiera tringulo (en un espacio eucldeo) es de 180, no se obtuvo ese conocimiento midiendo figuras triangulares de las cosas corpreo-materiales. Todos sabemos que Galileo no pudo crear una cmara de vaco para verificar experimentalmente la cada de los graves, y sin embargo, descubri la ley antes de que pudiera comprobarse empricamente. De modo que las verdades fundamentales, por supuesto que revisables y perfeccionables como en los casos que se nos mencionaban anteriormente, no provienen de lo que usualmente entendemos por experiencia; sino de ese fenmeno (o si se quiere, experiencia peculiar) a la que llamaban los antiguos filosofa, y que consista en el ejercicio del pensar abstracto y general, detectando lo esencial.

Einstein haca experimentos mentales (Gedanken Experiment), precisamente esa fue su forma de actuar en sus grandes contribuciones a la Ciencia. Si alguien ve una foto de Einstein recopilando datos y mirando por un telescopio nos la tendr que ensear sin tardar, porque los dems solo le hemos visto con cuadernos. Desde el ya clasico que pasaria si yo me montara en un rayo de luz? (Notas autobiogrficas en Alianza editorial), pasando por el que propuso para deducir su famosa formula de la Energa, quiz ms rebuscado. Precisamente fue su carcter reduccionista el que le hizo ver la contradiccin entre la cinemtica galileana y la teora Electromagntica de Maxwell dando lugar a la Relatividad Especial, o el que le impulso a pronunciar su principio de equivalencia dando lugar a su teora alternativa a Newton, la Relatividad General, que a la postre explico ms hechos experimentales que los que explicaba su antecesor. De hecho, consumi los ltimos aos de su vida intentando elaborar una teora de campos unificada.

Hoy se admite y comparte la crtica de origen hegeliano a la insuficiencia de la lgica formal, pero se le puede incorporar la crtica a las insuficiencias de la apelacin a la mera experiencia o simple recoleccin emprica de datos. Ambas crticas, no son contradictorias sino complementarias, dado que hoy la mayora de los investigadores admiten la necesidad de un momento emprico y otro teortico en el proceso de conocimiento. Por lo menos hay puntos en comn que no hacen los discursos lgicos y empricos inconmensurables ni irreconciliables, sino dos elementos de un proceso.

Desde luego no existen ideas con independencia de sus sustratos materiales previos. Pero sin entrar en el tema de la gnesis de las ideas ni en el de su inexistencia independiente, sino centrados en el problema de la verdad y del conocimiento, planteamos en ese aspecto la prioridad lgica de la gramtica sobre el habla: prioridad lgica pero posterioridad ontolgica, es decir, que en el plano de la existencia (diacrnico) las ideas son lo posterior y derivado, pero en el plano de consideracin de la esencia (sincrnico) las ideas o estructuras son lo previo. Por eso dentro de los dos polos del proceso de conocer: emprico y teortico, afirmamos que el segundo es el ms importante; ya que al menos una hiptesis terica es algo, pero una coleccin dispersa de datos empricos nada son sin una teora que los ordene.

Lo que es esencial (el filsofo es un buscador de esencias deca Platn) es lo nico que es independiente de lo contingente y de lo humano-subjetivo, y cualquier experimento emprico real es nico e irrepetible; lo que repetimos es un experimento ideal-real (la esencia de todo experimento de la misma clase), algo que no est en la multiplicidad de fenmenos que captamos por los sentidos sino en la unidad relacional que los rige y que se capta mediante la inteligencia o razn terica. Realmente ningn objeto ni fenmeno es visible con la inteligencia (contemplable tericamente) si no se le despoja de todo aquello que le rodea pero que no le pertenece como

propiedad esencial y constitutiva suya. Y esto no supone ningn idealismo ya que lo que el metafsico llama el ser no es ms que la materia abstrada y considerada como concepto.

VOCABULARIO DE A. J. AYER

Principio de verificabilidad: Es el que permite saber si un enunciado o proposicin tiene significado literal o no; esto es, cuando se conoce cmo verificar lo que la proposicin expresa y las observaciones que induciran a aceptar la proposicin como verdadera o rechazarla como falsa.

Hiptesis empricas (=proposiciones sintticas): Proposiciones que tienen un contenido fctico (emprico) y la funcin de proporcionar una norma para participar en la experiencia.

Metafsica: Disciplina filosfica que sostiene el conocimiento de una realidad que trasciende los lmites del mundo fenomnico y del sentido comn.

Para el Positivismo lgico los enunciados de la metafsica no son ni verdaderos ni falsos, puesto que no es posible decidir acerca de su verdad o falsedad; simplemente carecen de sentido.

Proposicin (= Enunciado = Declaracin): La proposicin se define como la forma lgica de expresar una frase cuyo significado es verdadero o falso.

En la Introduccin a Lenguaje, Verdad y Lgica escrita en 1946, Ayer aade el trmino tcnico declaracin para definir los enunciados, significativos o no, y propone reservar el trmino proposicin para consignar solamente las declaraciones significativas, es decir, verificables.

Proposiciones analticas (=tautologas) y sintticas (=hiptesis empricas): Una proposicin es analtica cuando su validez depende solamente de las definiciones de los smbolos que contiene, y sinttica cuando su validez es determinada por los hechos de la experiencia (LVL,cap.4,pg.88). Una proposicin del tipo: O es de noche o no es de noche, es una proposicin analtica, porque no facilita informacin acerca de ninguna realidad, ya que carece de contenido factual, ninguna experiencia puede refutarla y resulta siempre verdadera. Los enunciados de la lgica y la matemtica son todos proposiciones analticas, son proposiciones formales que no ofrecen informacin alguna acerca de hechos del mundo, por tanto su verdad no depende en absoluto de los hechos, sino de los smbolos que contiene. Se trata de tautologas, con las que desvelamos las implicaciones de un determinado uso lingstico. La proposicin hay hormigas que han establecido un sistema de esclavitud, es sinttica. Porque no podemos decir si es verdadera o falsa simplemente teniendo en cuenta las definiciones de los smbolos que las constituyen. Tendremos que acudir al recurso de la observacin real del comportamiento de las hormigas para verificar la proposicin. Por eso todas las proposiciones sintticas son hiptesis empricas. En cambio la proposicin o algunas hormigas son parsitos o ninguna lo es, es una proposicin analtica. Porque no se necesita recurrir a la observacin para determinar que -hay o no hay hormigas que son parsitos-, esto es indudablemente cierto. Lo que nos llama la atencin sobre la cuestin lgico-lingstica de que toda proposicin de la forma O 'p' es verdadera o 'p' no es verdadera es analtica, es decir, vlida independientemente de la experiencia. Proposiciones a priori: Son proposiciones analticas y por eso son necesarias y verdaderas (tautologas). No pueden ser refutadas por la experiencia porque no dicen nada acerca del mundo emprico. El error de los racionalistas ha consistido, entre otras cosas, en considerar que de estas proposiciones podan deducir un sistema de explicacin de la realidad, cuando no tienen conexin ninguna con el mundo de la realidad emprica y no nos pueden aportar ningn conocimiento de dicha realidad. Proposicin experiencial: Una proposicin que registra una observacin real o posible. Significado (sentido) literal: Es el significado que tienen las proposiciones cuyo contenido est sujeto al principio de verificabilidad. Una proposicin tiene sentido literal cuando es empricamente verificable. Significado Emotivo: Es el significado que tienen las proposiciones ticas y estticas, que no son objeto de ningn criterio de verdad o falsedad, sino que sirven para expresar y provocar sentimientos. Trascendente: Uno de los significados de trascender es el espacial, o fundado en una imagen de carcter espacial. Segn ello, trascender significa -ir de un lugar a otro, atravesando o traspasando cierto lmite-. La realidad que se encuentra al otro lado del lmite es llamada trascendente y el hecho de estar ms all de un lmite dado, es la trascendencia. Trascendente alude a algo ms all del mundo y su antnimo lo conforma la palabra inmanente, como lo que

permanece dentro del mundo. Por ejemplo: Dios y el cielo son trascendentes al hombre y la tierra, o el mundo de las ideas de Platn es trascendente al mundo de las cosas. El empirismo de Ayer que le hace fundar su filosofa en los datos que provienen de la experiencia sensorial, es una filosofa de la inmanencia y no admite realidades trascendentes, que traspasen la experiencia sensorial. De ah que afirme que la metafsica, al pretender hablar de cosas trascendentes, incurra en enunciados sin sentido, carentes de verificacin real o posible y por tanto sin significacin alguna. Tiene sentido decir 'el Koala es perezoso', porque hay un objeto material (Koala) con el que podemos verificar nuestro enunciado; pero no tiene sentido decir 'lo Absoluto es eterno', al no ser posible ningn tipo de verificacin. Tautologa: En lgica son tautologas las proposiciones que cuando son probadas resultan siempre verdaderas. Ayer considera que mientras una proposicin verificable experimentalmente nos comunica algo acerca del mundo real y no puede ser concluyentemente verdadera sino tan solo probable; las tautologas no dicen nada de la experiencia, aunque lgicamente sean verdaderas, por carecer de un contenido factual (emprico). La tautologa carece de sentido, pero no es absurda. Para el Positivismo Lgico de Ayer todas las proposiciones de la lgica y de la matemtica son tautologas, y las proposiciones analticas y a priori, tambin lo son, verdaderas y necesarias, es decir, que no pueden ser de otro modo, pero que no dicen nada acerca de la realidad, aunque son tiles al ilustrarnos acerca de cmo usamos el lenguaje y precavernos para no incurrir en contradicciones. Por ejemplo las proposiciones 2+2=4, y o llueve o no llueve, son siempre verdaderas, son tautologas. Pero no nos aportan nada relativo a los hechos de la realidad emprica. Verificacin: Se dice comnmente que verificar una cosa es comprobar que es verdadera. Lo que se comprueba, sin embargo, no es una cosa, sino algo que se dice acerca de ella, esto es, un enunciado o proposicin. La verificacin es la accin y efecto de comprobar si un enunciado es verdadero o falso. Ms especialmente se entiende por verificacin el procedimiento adoptado mediante el cual se comprueba la verdad o falsedad de algn enunciado. Verificacin fuerte: Se dice que una proposicin es verificable en el sentido fuerte del trmino, cuando su verdad puede ser concluyentemente establecida por la experiencia. Verificacin dbil: Se dice de una proposicin que es verificable en el sentido dbil del trmino, si es posible para la experiencia hacerla probable. Verificabilidad prctica: Aquella que se puede llevar a cabo porque se dispone de medios y se conocen las observaciones pertinentes. Verificabilidad en principio: Aquella que no se puede llevar a cabo porque si bien se sabe cuales son las observaciones que podran decidir la verdad o falsedad de una afirmacin no se dispone de medios para realizarla. Las propias leyes de la ciencia son slo verificables en principio, es decir, susceptibles de ser confirmadas por la observacin desde el momento en el que se disponga de los medios para ello.