positivismo lógico

El Círculo de Viena, liderado principalmente por Moritz Schlick , se reunía en torno a la Universidad de Viena y el Café Central . Un manifiesto escrito por Otto Neurath , Hans Hahn y Rudolf Carnap en 1929 resumía las posturas del Círculo de Viena. Schlick había mantenido inicialmente una posición neokantiana , pero posteriormente se convirtió, influenciado por el libro de Carnap de 1928, Der logische Aufbau der Welt ( La estructura lógica del mundo ). Los vieneses mantuvieron estrechos lazos de cooperación con el Círculo de Berlín , entre quienes Hans Reichenbach era preeminente. Carl Hempel , quien estudió con Reichenbach en Alemania, también resultó influyente en la historia posterior del movimiento. ^{[ 13 ]} Un crítico amistoso pero tenaz del movimiento fue Karl Popper , a quien Neurath apodó la «Oposición Oficial». ^{[ 14 ]}

Al principio del movimiento, Carnap, Hahn, Neurath y otros reconocieron que el criterio de verificabilidad era demasiado estricto, ya que rechazaba las afirmaciones universales , vitales para la hipótesis científica . ^{[ 15 ]} Del Círculo de Viena surgió un ala de izquierda radical , liderada por Neurath y Carnap, que propuso revisiones para debilitar el criterio, un programa al que se refirieron como la «liberalización del empirismo». Un ala de derecha conservadora , liderada por Schlick y Waismann , buscó en cambio clasificar las afirmaciones universales como verdades analíticas, para así reconciliarlas con el criterio existente. ^{[ 16 ]} Dentro del ala liberal, Carnap enfatizó el falibilismo , así como la pragmática , que consideraba integral al empirismo . Neurath propuso un cambio del fenomenalismo de Mach al fisicalismo , aunque Schlick se opondría a esto. A medida que Neurath y Carnap buscaban orientar la ciencia hacia la reforma social, la división en el Círculo de Viena también reflejó diferencias políticas. ^{[ 15 ]}

Tanto Schlick como Carnap habían sido influenciados por el positivismo lógico y trataron de definirlo frente al neokantismo de Ernst Cassirer , la figura principal contemporánea de la escuela de Marburgo , y en contra de la fenomenología de Edmund Husserl . Los positivistas lógicos se opusieron especialmente a la oscura metafísica de Martin Heidegger , la quintaesencia de lo que habían rechazado a través de sus doctrinas epistemológicas. A principios de la década de 1930, Carnap debatió con Heidegger sobre las "pseudosentencias metafísicas". ^{[ 17 ]}

Como primer emisario del movimiento al Nuevo Mundo , Moritz Schlick visitó la Universidad de Stanford en 1929, pero permaneció en Viena y fue asesinado en 1936 en la Universidad por un antiguo alumno, Johann Nelböck , quien, según se informó, estaba perturbado. ^{[ 17 ]} Ese mismo año, A. J. Ayer , un británico que asistía a varias reuniones del Círculo de Viena desde 1933, publicó Lenguaje, verdad y lógica , que introdujo el positivismo lógico en el mundo angloparlante . En 1933, el ascenso al poder del Partido Nazi en Alemania había provocado la huida de intelectuales, que se aceleró con la anexión de Austria por parte de Alemania en 1938. ^{[ 17 ]} Los positivistas lógicos, muchos de los cuales eran judíos , fueron perseguidos y continuaron huyendo durante todo el período de entreguerras. Su filosofía se convirtió así en la dominante en el mundo angloparlante . ^{[ 18 ]}

A finales de la década de 1930, muchos miembros del movimiento habían sustituido el fenomenalismo por el fisicalismo de Neurath , según el cual los objetos materiales no son reducibles a estímulos sensoriales , sino que existen como entidades públicamente observables en el mundo real . Neurath se estableció en Inglaterra, donde falleció en 1945. Carnap, Reichenbach y Hempel se establecieron definitivamente en Estados Unidos. ^{[ 17 ]}

Tras la Segunda Guerra Mundial , el positivismo lógico —ahora denominado empirismo lógico por algunos— se volcó hacia objetivos menos radicales en la filosofía de la ciencia . Liderado por Carl Hempel , quien expuso el modelo de ley de cobertura de la explicación científica , el movimiento se convirtió en un pilar fundamental de la filosofía analítica en el mundo angloparlante ^{[ 19 ]} y su influencia se extendió más allá de la filosofía, llegando a las ciencias sociales . Al mismo tiempo, el movimiento fue objeto de un escrutinio cada vez mayor sobre sus problemas centrales ^{[ 20 ] [ 21 ]} y sus doctrinas fueron criticadas con creciente vehemencia, sobre todo por Willard Van Orman Quine , Norwood Hanson , Karl Popper , Thomas Kuhn y Carl Hempel . ^{[ 3 ]}

En las teorías de la justificación , las proposiciones a priori son aquellas que pueden conocerse independientemente de la observación , en contraste con las proposiciones a posteriori , que dependen de la observación. Las proposiciones también pueden clasificarse en analíticas y sintéticas : las proposiciones analíticas son verdaderas en virtud de su propio significado o su propia forma lógica ; por lo tanto, son tautologías que son verdaderas por necesidad , pero que no aportan información sobre el mundo. Las proposiciones sintéticas, en comparación, son proposiciones contingentes que se refieren a un estado de hechos relativo al mundo. ^{[ 31 ] [ 32 ]}

David Hume propuso una distinción inequívoca entre lo analítico y lo sintético, categorizando el conocimiento exclusivamente como "relaciones de ideas" (que son a priori , analíticas y abstractas ) o "asuntos de hecho y existencia real" ( a posteriori , sintéticos y concretos ), una clasificación conocida como la bifurcación de Hume . ^{[ 33 ] [ 34 ]} Immanuel Kant identificó una categoría adicional de conocimiento: enunciados sintéticos a priori , que son informativos sobre el mundo, pero conocidos sin observación. Este principio está encapsulado en el idealismo trascendental de Kant , que atribuye a la mente un papel constructivo en los fenómenos , por el cual las verdades intuitivas —incluidas las concepciones sintéticas a priori del espacio y el tiempo— funcionan como un filtro interpretativo para la experiencia del mundo de un observador. ^{[ 35 ]} Su tesis serviría para rescatar la ley de gravitación universal de Newton del problema de inducción de Hume al determinar que la uniformidad de la naturaleza pertenece a la categoría de conocimiento a priori . ^{[ 36 ]}

El Círculo de Viena rechazó la concepción kantiana del conocimiento sintético a priori debido a su incompatibilidad con el criterio de verificabilidad . ^{[ 37 ]} Sin embargo, adoptaron la postura kantiana de definir las matemáticas y la lógica —consideradas habitualmente verdades sintéticas— como a priori . ^{[ 38 ]} La solución de Carnap a esta discrepancia consistiría en reinterpretar las verdades lógicas como tautologías, redefiniendo la lógica como analítica, basándose en los fundamentos teóricos establecidos en el Tractatus de Wittgenstein . Las matemáticas, a su vez, se reducirían a la lógica mediante el enfoque logicista propuesto por Gottlob Frege . En efecto, la reconstrucción de la analiticidad por parte de Carnap expuso la bifurcación de Hume, afirmando su distinción analítico-sintética. Esto sería de vital importancia para lograr la compatibilidad del principio de verificación con las matemáticas y la lógica. ^{[ 39 ]}

Carnap dedicó gran parte de su carrera a la doctrina fundamental de la reconstrucción racional , mediante la cual las teorías científicas pueden formalizarse en lógica de predicados y los componentes de una teoría pueden clasificarse en términos de observación y términos teóricos . ^{[ 40 ]} Los términos de observación se especifican mediante la observación directa y, por lo tanto, se asume que tienen definiciones empíricas fijas, mientras que los términos teóricos se refieren a los aspectos no observables de una teoría, incluyendo conceptos abstractos como fórmulas matemáticas . Las dos categorías de términos primitivos estarían interconectadas en significado a través de un marco interpretativo deductivo , denominado reglas de correspondencia . ^{[ 41 ]}

Al principio de su investigación, Carnap postuló que las reglas de correspondencia podían usarse para definir términos teóricos a partir de términos de observación, sosteniendo que el conocimiento científico podía unificarse reduciendo las leyes teóricas a "protocolos" basados ​​en hechos observables. Pronto abandonaría este modelo de reconstrucción, sugiriendo en cambio que los términos teóricos podían definirse implícitamente mediante los axiomas de una teoría. Además, que los términos de observación podían, en algunos casos, obtener significado de los términos teóricos a través de reglas de correspondencia. ^{[ 42 ]} Aquí, se dice que la definición es "implícita" porque los axiomas sirven para excluir aquellas interpretaciones que refutan la teoría. Así, los axiomas definen los términos teóricos indirectamente al restringir el conjunto de posibles interpretaciones a aquellas que son verdaderas. ^{[ 41 ]}

Al reconstruir la semántica del lenguaje científico, la tesis de Carnap se basa en investigaciones previas sobre la reconstrucción de la sintaxis , haciendo referencia al atomismo lógico de Bertrand Russell : la visión de que las afirmaciones en lenguaje natural pueden convertirse en subunidades estandarizadas de significado ensambladas mediante una sintaxis lógica . ^{[ 43 ]} La reconstrucción racional se conoce a veces como la visión recibida o la visión sintáctica de las teorías en el contexto de trabajos posteriores de Carl Hempel , Ernest Nagel y Herbert Feigl . ^{[ 40 ]}

Al reducir las matemáticas a la lógica, Bertrand Russell buscó convertir las fórmulas matemáticas de la física en lógica simbólica . Gottlob Frege inició este programa de logicismo , continuándolo con Russell, pero finalmente perdió el interés. Russell lo continuó entonces con Alfred North Whitehead en su Principia Mathematica , inspirando a algunos de los positivistas lógico-matemáticos más destacados, como Hans Hahn y Rudolf Carnap . ^{[ 44 ]}

Los primeros trabajos antimetafísicos de Carnap emplearon la teoría de tipos de Russell . ^{[ 45 ]} Al igual que Russell, Carnap vislumbró un lenguaje universal que pudiera reconstruir las matemáticas y, por lo tanto, codificar la física. Sin embargo , el teorema de incompletitud de Kurt Gödel demostró que esto era imposible, excepto en casos triviales, y el teorema de indefinibilidad de Alfred Tarski finalmente socavó toda esperanza de reducir las matemáticas a la lógica. Así, un lenguaje universal no surgió de la obra de Carnap de 1934, Logische Syntax der Sprache ( Sintaxis lógica del lenguaje ). Aun así, algunos positivistas lógicos, incluido Carl Hempel , continuaron apoyando el logicismo. ^{[ 44 ]}

Carl Hempel fue prominente en el desarrollo del modelo deductivo-nomológico (DN), entonces el modelo de explicación científica más importante , defendido incluso entre críticos del neopositivismo como Popper . ^{[ 47 ]} Según el modelo DN, una explicación científica es válida solo si toma la forma de una inferencia deductiva desde un conjunto de premisas explicativas ( explanans ) a la observación o teoría que se va a explicar ( explanandum ). ^{[ 48 ]} El modelo estipula que las premisas deben referirse al menos a una ley , que define como una generalización no restringida de la forma condicional : "Si A , entonces B ". ^{[ 49 ]} Por lo tanto, las leyes difieren de las meras regularidades ("George siempre lleva solo billetes de $1 en su billetera"), que no necesariamente respaldan afirmaciones contrafactuales . ^{[ 50 ]} Además, las leyes deben ser empíricamente verificables de acuerdo con el principio de verificación. ^{[ 48 ]}

El modelo DN ignora los mecanismos causales más allá del principio de conjunción constante ("primer evento A y luego siempre evento B ") de acuerdo con el postulado empirista humeano de que, si bien las secuencias de eventos son observables, los principios causales subyacentes no lo son. ^{[ 47 ]} Hempel afirmó que las leyes naturales bien formuladas (regularidades confirmadas empíricamente) son satisfactorias para aproximar la explicación causal. ^{[ 48 ]}

Hempel propuso posteriormente un modelo probabilístico de explicación científica: el modelo inductivo-estadístico (IS). La derivación de leyes estadísticas a partir de otras leyes estadísticas se denominaría modelo deductivo-estadístico (DS). Los modelos DN e IS se conocen colectivamente como el «modelo de ley de cobertura» o «teoría de la subsunción», esta última en referencia a los objetivos declarados del movimiento de «reducción de la teoría». ^{[ 48 ] [ 51 ]}

Los positivistas lógicos estaban comprometidos con la visión de una ciencia unificada que abarcara todos los campos científicos (incluidas las ciencias especiales , como la biología , la antropología , la sociología y la economía , y la ciencia fundamental , o física fundamental ) que se sintetizaría en una entidad epistémica singular. ^{[ 52 ] [ 48 ]} La clave de este concepto era la doctrina de la reducción de la teoría , según la cual el modelo de ley general se utilizaría para interconectar las ciencias especiales y, por consiguiente, para reducir todas las leyes de las ciencias especiales a la física fundamental. ^{[ 53 ]}

El movimiento aspiraba a un lenguaje científico universal capaz de expresar enunciados con significado común , inteligibles para todos los campos científicos. Carnap buscó alcanzar este objetivo mediante la reducción sistemática de los términos lingüísticos de campos más especializados a los de campos más fundamentales. Se propusieron diversos métodos de reducción, que incluían el uso de la teoría de conjuntos para manipular conceptos lógicamente primitivos (como en * La estructura lógica del mundo* de Carnap , 1928) o mediante operaciones analíticas y deductivas a priori (como se describe en *La comprobabilidad y el significado* , 1936, 1937). Numerosas publicaciones a lo largo de treinta años intentaron dilucidar este concepto. ^{[ 54 ] [ 55 ]}

Karl Popper , graduado de la Universidad de Viena , fue un crítico acérrimo del movimiento positivista lógico desde sus inicios. En Logik der Forschung (1934, publicado en inglés en 1959 como The Logic of Scientific Discovery ) atacó directamente el verificacionismo , sosteniendo que el problema de la inducción hace imposible verificar de manera concluyente las hipótesis científicas y otras afirmaciones universales . Cualquier intento de hacerlo, argumentó, incurriría en la falacia de afirmar el consecuente , dado que la verificación no puede —en sí misma— excluir explicaciones válidas alternativas para un fenómeno o caso de observación específico. ^{[ 58 ]} Posteriormente afirmaría que el contenido del criterio de verificabilidad no puede verificarse empíricamente, por lo que carece de sentido por su propia proposición y, en última instancia, resulta contraproducente como principio. ^{[ 59 ]}

En el mismo libro, Popper propuso la falsabilidad , que presentó no como un criterio de significado cognitivo como el verificacionismo (como se suele malinterpretar), ^{[ 60 ]} sino como un criterio para distinguir las afirmaciones científicas de las no científicas, delimitando así los límites de la ciencia . Popper observó que, si bien las afirmaciones universales no pueden verificarse, sí pueden falsificarse, y que las teorías científicas más productivas eran aparentemente aquellas que conllevaban los mayores «riesgos predictivos» de ser falsificadas por la observación. ^{[ 61 ]} Concluiría que el método científico debería ser un modelo hipotético-deductivo , en el que las hipótesis científicas deben ser falsables (según su criterio), consideradas provisionalmente verdaderas hasta que se demuestre su falsedad mediante la observación, y corroboradas por evidencia que las respalde en lugar de verificadas o confirmadas. ^{[ 62 ]}

Al rechazar las concepciones neopositivistas del significado cognitivo, Popper consideró que la metafísica era rica en significado e importante para el origen de las teorías científicas y los sistemas de valores, y que estos últimos eran parte integral de la búsqueda de la verdad por parte de la ciencia. Al mismo tiempo, criticó la pseudociencia , refiriéndose a los sesgos de confirmación que fomentan el apoyo a conjeturas infalsificables (en particular, las de la psicología y el psicoanálisis ) y a los argumentos ad hoc utilizados para afianzar teorías predictivas que han sido demostradas de manera concluyente como falsas. ^{[ 61 ]}

En su influyente artículo de 1951 , Dos dogmas del empirismo , el filósofo y lógico estadounidense Willard Van Orman Quine cuestionó la distinción analítico-sintética . Específicamente, Quine examinó el concepto de analiticidad , determinando que todos los intentos de explicar la idea se reducen, en última instancia, a un razonamiento circular . Concluiría que, si la analiticidad es insostenible, también lo es la proposición neopositivista de redefinir sus límites. ^{[ 63 ]} Sin embargo, la reconstrucción de la analiticidad por parte de Carnap fue necesaria para que la lógica y las matemáticas se consideraran significativas bajo el verificacionismo. Los argumentos de Quine abarcaron numerosas críticas sobre este tema que había articulado a Carnap desde 1933. ^{[ 64 ]} Su trabajo declaró efectivamente insostenible el criterio de verificabilidad, amenazando con desarraigar el proyecto positivista lógico más amplio. ^{[ 65 ]}

En 1958, la obra de Norwood Hanson, * Patterns of Discovery*, caracterizó el concepto de carga teórica . Hanson y Thomas Kuhn sostenían que incluso las observaciones directas nunca son verdaderamente neutrales, ya que están cargadas de teoría , es decir, influenciadas por un sistema de presuposiciones teóricas que funcionan como un marco interpretativo para los sentidos . ^{[ 66 ]} En consecuencia, individuos suscritos a diferentes teorías podrían reportar observaciones radicalmente distintas incluso al investigar los mismos fenómenos. La tesis de Hanson atacó la distinción entre observación y teoría , que traza una línea divisoria entre el lenguaje observacional y el no observacional (teórico). En términos más generales, sus hallazgos desafiaron los principios centrales del empirismo al cuestionar la infalibilidad y la objetividad de la observación empírica. ^{[ 67 ]}

El libro fundamental de Thomas Kuhn de 1962, La estructura de las revoluciones científicas —que analizaba los cambios de paradigma en la física fundamental— socavó críticamente la confianza en el fundacionalismo científico . ^{[ 68 ]} Kuhn propuso en su lugar un modelo coherentista de la ciencia, según el cual el progreso científico gira en torno a núcleos de ideas establecidas y coherentes que periódicamente experimentan cambios revolucionarios abruptos. ^{[ 69 ]}

Aunque el fundacionalismo se consideraba a menudo una doctrina constitutiva del positivismo lógico (y la tesis de Kuhn una crítica epistemológica del movimiento), tales puntos de vista eran simplistas: ^{[ 70 ]} En la década de 1930, Neurath había defendido la adopción del coherentismo , comparando célebremente el progreso de la ciencia con la reconstrucción de un barco en el mar . ^{[ 71 ]} Carnap había considerado el fundacionalismo entre 1929 y 1930, pero él, Hans Hahn y otros se unirían más tarde a Neurath en la conversión a una filosofía coherentista. El ala conservadora del Círculo de Viena, bajo Moritz Schlick, se adhirió a una forma de fundacionalismo, pero sus principios se definieron de manera poco convencional o ambigua. ^{[ 72 ]}

En cierto sentido, el libro de Kuhn unificó la ciencia, pero a través de una evaluación histórica y social, en lugar de interconectar las especialidades científicas mediante modelos epistemológicos o lingüísticos . ^{[ 73 ]} Sus ideas fueron rápidamente adoptadas por académicos de disciplinas no científicas, como las ciencias sociales, donde predominaban los neopositivistas, ^{[ 46 ]} llevando a la academia hacia el postpositivismo o el postempirismo. ^{[ 73 ]}

En su crítica de la visión aceptada en 1962, Hilary Putnam atacó la distinción entre observación y teoría . ^{[ 74 ]} Putnam propuso que la división entre "términos de observación" y "términos teóricos" era insostenible, determinando que ambas categorías tienen el potencial de estar cargadas de teoría . En consecuencia, señaló que los informes de observación frecuentemente hacen referencia a términos teóricos en la práctica. ^{[ 75 ]} Ilustró casos en los que los términos de observación pueden aplicarse a entidades que Carnap clasificaría como inobservables . Por ejemplo, en la teoría corpuscular de la luz de Newton , los conceptos de observación pueden aplicarse al análisis de objetos tanto submicroscópicos como macroscópicos. ^{[ 76 ]}

Putnam defendió el realismo científico , según el cual la teoría científica describe un mundo real que existe independientemente de los sentidos. Rechazó el positivismo, al que consideró una forma de idealismo metafísico , ya que excluía cualquier posibilidad de adquirir conocimiento de los aspectos inobservables de la naturaleza. También despreció el instrumentalismo , según el cual una teoría científica se juzga no por si se corresponde con la realidad, sino por la medida en que permite predicciones empíricas o resuelve problemas conceptuales. ^{[ 17 ]}

• Ernst Mach – Físico, filósofo y profesor universitario austriaco (1838–1916) 
• Gottlob Frege – Filósofo, lógico y matemático alemán (1848–1925) 
• Friedrich Waismann – Matemático, físico y filósofo austriaco (1896–1959) 
• Gustav Bergmann – Filósofo estadounidense de origen austriaco (1906–1987) 
• Herbert Feigl – filósofo austríaco-estadounidense 
• Kurt Grelling – Lógico y filósofo alemán (1886–1942) 
• RB Braithwaite – Filósofo y especialista en ética inglés (1900–1990)