L'empirismu lóxicu o racional, tamién llamáu neopositivismo o positivismu lóxicu, ye una corriente na filosofía de la ciencia que surdió mientres el primer terciu del sieglu XX, alredor del grupu de científicos y filósofos que formaron el célebre Círculu de Viena (Wiener Kreis n'alemán). Si'l positivismu defendía'l métodu científicu como única forma válida de conocencia, el neopositivismo va un pasu más allá, y llinda el métodu científicu a lo empíricu y verificable.

Magar los empiristas lóxicos intentaron ufiertar una visión xeneral de la ciencia que toma principalmente los sos aspeutos gnoseológicos y metodolóxicos, seique la so tesis más conocida ye la que sostién qu'un enunciáu ye cognitivamente significativu solu si tien un métodu de verificación empírica o ye analíticu, tesis conocida como "del significáu por verificación". Solo los enunciaos de la ciencia empírica cumplen col primer requisitu, y solo los enunciaos de la lóxica y les matemátiques cumplen col segundu. Los enunciaos típicamente filosóficos nun cumplen con nengún de los dos requisitos, asina que la filosofía, como tal, tien de pasar de ser un supuestu cuerpu de proposiciones a un métodu d'analís lóxicu de los enunciaos de la ciencia.

Les posiciones de los empiristas lóxicos respectu de delles temes claves de la filosofía de la ciencia (l'orixe del sentíu de los enunciaos, la puesta a prueba de les teoríes, el conceutu d'esplicación científica y la unidá de la ciencia, ente otros) conocer col nome coleutivu de "concepción heredada" (received view).

El Círculu de Viena

El grupu orixinal constituyó'l llamáu Círculu de Viena, un grupu de científicos y filósofos empecipiáu en 1924 por Moritz Schlick; darréu, Rudolf Carnap sería'l continuador y líder. La mayoría de los componentes del Círculu de Viena emigraron a otros países a partir de 1933, arriendes de la llegada al poder del nazismu.

Como antecedentes, nel Manifiestu del Círculu de Viena mentábense personalidaes como Locke y Hume, mientres otros como Karl Marx (pol so tratamientu científicu de la historia), Leibniz (poles sos matemátiques y la so lóxica) tamién se consideraben precursores, pero ensin cuntar cola so metafísica. El positivismu del sieglu XIX tamién ye consideráu una influencia, anque con matices. Hai que recordar que, pa los positivistes del sieglu XIX, "solo lo dao ye real" . Pa los empiristas lóxicos, esta proposición a cencielles escarez de sentíu .

Otres influencies poderoses fueron la metodoloxía empírica desenvuelta mientres y dempués de la metá del sieglu XIX, según la lóxica simbólica. Ente los desarrolladores de la primera, tán homes de ciencia como Helmholtz, Ernst Mach, Henri Poincaré, Pierre Duhem y Boltzmann. Ente los desarrolladores de la segunda tán, ente otros, Frege, Russell, Whitehead Giuseppe Peano y Tarski .

Nel Círculu de Viena atopábense, ente otros: Rudolf Carnap (mayu 18, 1891 - setiembre 14, 1970), quien proclamaba la superación de la metafísica por aciu l'analís lóxicu del llinguaxe (vease La superación de la metafísica por aciu l'analís lóxicu del llinguaxe); Kurt Gödel (28 d'abril de 1906 - 14 de xineru de 1978) que nunca llegó a compartir les tesis positivistes del Círculu, como finalmente demostraría al formular el so famosu teorema de incompletitud, incompatible con ciertes tesis de la filosofía de les matemátiques sosteníes por dalgunos d'ellos; David Hilbert (23 de xineru de 1862 - 14 de febreru de 1943) el famosu redactor de Los problemes futuros de la Matemática; 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. N'Inglaterra, Sir Alfred Jules Ayeri (ochobre 29, 1910 - xunu 27, 1989) foi'l más importante representante d'esta corriente (vease Llinguaxe, verdá y lóxica)

A priori, a posteriori, analíticu y sintéticu

Na Crítica de la razón pura, Immanuel Kant propunxo que los enunciaos son de dos clases: analíticos y sintéticos. La diferencia ente estos dos enunciaos finca na forma como se-yos predica verdá: pa los analíticos, namái en función del significáu de los sos términos; pa los sintéticos, en función de cómo ye'l mundu. Los analíticos, entós, nun nos dicen nada sobre'l mundu: son pures tautoloxíes. Los sintéticos sí falen sobre'l mundu. Exemplos d'enunciaos analíticos: "Tolos solteros son non casaos"; "el color negru ye escuru". Exemplos d'enunciaos sintéticos: "Hai un automóvil allá fuera"; "Ta lloviendo".

Agora bien, tamién hai una diferencia ente cómo se conocen los enunciaos: dalgunos son cognoscibles a priori y otros a posteriori. Los a priori son cognoscibles por un puru exerciciu de la razón, ensin necesidá de recurrir al mundu. Los a posteriori precisen, pa ser conocíos, que'l suxetu recurra al mundu. Lo a priori ye necesariu (nun puede nun asoceder) y lo a posteriori ye contingente (puede nun asoceder).

Kant había dichu qu'esisten dellos enunciaos sintéticos a priori, esto ye, dellos enunciaos que nos dicen coses sobre'l mundu y que pueden ser conocíos ensin recurrir a la observación empírica; y que, como son a priori, entós son necesarios. Pa Kant, un sintéticu a priori seríen les matemátiques, o la metafísica de los costumes. Los empiristas lóxicos acepten les distinciones de Kant, pero nieguen que pueda haber un sintéticu a priori: si hai, entós hai enunciaos que falen sobre'l mundu pero que nun precisen de verificación empírica. Pero los empiristas quieren alloñar d'esti camín. La seición siguiente va esplicar por qué.

El sentíu d'una proposición, les pseudoproposiciones y los pseudoproblemas

¿Cómo sabemos qu'un enunciáu como "Güei ta lloviendo" ye verdaderu? Oyemos l'agua,o vemos l'agua cayer y golemos la tierra moyada: asina sabemos que güei, ello ye que ta lloviendo. Entós l'enunciáu "Güei ta lloviendo" tien sentíu, porque podemos saber si ye verdaderu o ye falsu. Agora, ¿Cómo sabemos qu'un enunciáu como "El Ser ye inmóvil" ye verdaderu? Obviamente nunca vimos tal cosa como "el Ser", y tampoco lo vimos movese, permanecer quietu, o sonrir. ¿Entós cómo sabemos si esi enunciáu ye verdaderu? Los metafísicos respondieren: de xacíu non al traviés de la evidencia empírica, pos esa clase d'evidencia nun nos llevó a falar del Ser. Son enunciaos que son demostraos pola pura razón, a priori. Pero recuérdese que los empiristas lóxicos negaron que podamos falar del mundu enunciaos sintéticos- ensin esperiencia d'él -a priori-.

Los empiristas lóxicos dicen: solo podemos falar de cómo ye'l mundu si tenemos esperiencia sensorial d'él. Si falamos del mundu, ye porque lo percibimos por aciu los sentíos. ¿Hai dalguna otra manera de conocer el mundu, amás de los sentíos? Sí, por aciu el razonamientu lóxicu-deductivu, esto ye, lo a priori, como les matemátiques, la lóxica y los significaos conceptuales.

El sentíu d'una proposición determinar, creyeron el primer Wittgenstein, Russell y los empiristas lóxicos, poles esperiencies sensoriales que pueden dicinos si esa proposición ye verdadera o falsa. Si nun hai esperiencies sensoriales que puedan dicinos si "El Ser ye inmóvil" ye verdaderu o falsu, entós "El Ser ye inmóvil" escarez de sentíu.

Puede aducise que 'el Ser ye inmóvil' ye un enunciáu dafechu bien estructurado, gramaticalmente falando; pero los empiristas lóxicos establecen que solo se pueden calificar como proposiciones aquelles que son productu de la lóxica, de la matemática o que pueden ser empíricamente comprobaes -o, pa Popper, susceptibles a la falsacion. Toa otra oración ye una pseudoproposición.

Enunciaos como "el Ser ye inmóvil" o "la Nada nadea" paecen tar bien estructurados nuna forma suxetu-predicáu: "el Ser" y "la Nada" seríen los suxetos de los dos frases; "ye inmóvil" y "nadea" los sos respeutivos predicaos. Sicasí, 'Ser' y 'Nada' nun son suxetos: unu ye un verbu y l'otru ye un cuantificador. Cometemos la falacia de reificación al creer que son suxetos. N'otres pseudoproposiciones tales como 'Dios tien infinitos atributos' o 'Tengo llibre voluntá', el problema ye que nun hai manera de comprobar esto empíricamente: naide puede ver a Dios y reconocelo nos sos infinitos atributos.

Los problemes de la metafísica, entós, dicen los empiristas lóxicos, son pseudoproblemas: nun pueden resolvese, sinón que tienen d'eslleise por aciu un analís del llinguaxe, con ayuda de la lóxica. Tal analís va probanos que nun referíamos a cuestiones ello ye que sinón que tábamos usando mal el llinguaxe. Esti mal usu ye denomináu por Carnap "llinguaxe de pseudo-oxetu", porque paez referise a oxetos o fechos nel mundu, pero nun ye asina. El "llinguaxe-oxetu" real ye'l llinguaxe de les ciencies, como proposiciones como "La Lluna ye redonda" o "L'agua ye H2O", que sí se refieren al mundu.

Por esto mesmu, la metafísica sería borrada del mapa a cencielles analizando y atopando los errores que xacíen nella. Daqué bien paecíu asocedería cola ética y la estética. La ética dir de la filosofía porque enunciaos como "odiar ye malu" nun son en realidá enunciaos declarativos -nun falen de cuestiones de fechu-, sinón imperativos: dicen daqué que tien de faese. Sicasí, estos imperativos cometen la falacia naturalista al derivar lo que tien de ser el casu, de lo que de fechu ye'l casu. Por esto la ética mover de la filosofía al campu de la psicoloxía, que nos diría porqué de fechu creemos que ciertes coses son bones y otres males. Lo mesmo, coles apropiaes sustituciones, asocedería cola estética. Los elementos metafísicos de los dos materies seríen, poques gracies, esaniciaos.

Reduccionismu, enunciaos protocolares, fundamentos de la conocencia y epistemoloxía

Entós: el sentíu d'una proposición determinar empíricamente. Si esto ye asina, entós pa toa proposición con sentíu nel llinguaxe físicu (como "La Lluna ye redonda"), hai una proposición nel llinguaxe sensorial que-y correspuende. (Una proposición en llinguaxe sensorial ye la que reporta darréu los datos recibíos polos cinco sentíos humanos, amestándo-y cuantificadores, coneutives y coordenaes espaciotemporales pa faela significativa: "Hai un colloráu blandu y ácidu equí, nesti momentu"; o: "a les 7 de la mañana del xueves, vi un redondu blancu en tal y tal llugar").

Esto ye, la oración "La Lluna ye redonda" puede amenorgase a enunciaos como "Hai un oxetu blanco y redondo nesti momentu tal que lu llamamos Lluna". Carnap y dalgunos otros, como Schlick, creíen qu'estos enunciaos yeren el fundamentu de la nuesa conocencia. Ellos llamaron a estos enunciaos nel llinguaxe sensorial enunciaos protocolares. Esto ye, que pa saber si tábamos xustificaos pa dicir que sabemos tal o cual proposición, tenemos d'apelar a estos enunciaos (recordemos que'l sentíu d'una proposición son les sos condiciones de verificación empírica). Pa otru miembru del Círculu de Viena, Otto Neurath, el fundamentu de la conocencia nun son estes proposiciones, y de fechu la conocencia nun tien fundamentu: la conocencia dase solo ente sistemes coherentes de proposiciones, y la xustificación nun ye asimétrica (esto ye, nun hai más xustificación nuna proposición que n'otra), sinón que s'otorga mutuamente ente proposiciones. Moritz Schlick aldericó con él y, ello ye qu'este mesmu alderique duraría -inda cuando l'empirismu lóxicu yá fuera refugáu- nel centru de la epistemoloxía por cuasi tol sieglu XX: l'alderique fundacionalismo/coherentismo.

A priori

Hai 2 maneres en qu'una proposición puede tener sentíu: falando avera del mundu y por tanto teniendo condiciones de verificación empírica bien determinaes, o nun falando avera del mundu. Vimos que los enunciaos avera del mundu sintéticos-, pa los empiristas lóxicos, solo podíen ser a posteriori, esto ye, solo comprobables empíricamente. Pero tamién hai otra manera de conocer daqué: a priori.