Filosofía Analítica

Período: ~1879–presente | Contexto: Crisis en los fundamentos de la matemática; reacción al Idealismo Absoluto hegeliano; auge de la lógica simbólica; debates sobre el método filosófico

Panorama

La filosofía analítica surgió a finales del siglo XIX como respuesta a la dominancia del Idealismo Británico (Bradley, Bosanquet) y al proyecto de fundamentar rigurosamente la matemática y el conocimiento. Se define menos por doctrinas que por un estilo: claridad conceptual, análisis lógico del lenguaje, atención a las distinciones.

I. Los orígenes: Frege y la revolución lógica

Gottlob Frege (1848–1925)

Matemático y lógico alemán, considerado el fundador de la lógica moderna y de la filosofía analítica del lenguaje.

Begriffsschrift (Ideografía, 1879): Primera formulación de un cálculo lógico de predicados — sistema de notación para la deducción formal que supera la lógica silogística aristotélica. Frege introduce cuantificadores, funciones y la distinción entre argumento y función.

Fundamentos de la Aritmética (Grundlagen der Arithmetik, 1884): El proyecto logicista — la aritmética es reducible a la lógica pura. Frege busca definir los números sin recurrir a la intuición espacial o temporal.

Distinción sentido/referencia (“Über Sinn und Bedeutung”, 1892): Uno de los resultados más influyentes de la filosofía del lenguaje. Frege distingue:

• Referencia (Bedeutung): el objeto al que el término se refiere
• Sentido (Sinn): el modo de presentación del objeto

Ejemplo: “El lucero del alba” y “el lucero de la tarde” tienen la misma referencia (Venus) pero sentidos diferentes — por eso la identidad “El lucero del alba es el lucero de la tarde” es informativa, no trivial.

Leyes Básicas de la Aritmética (Grundgesetze, 1893/1903): El proyecto logicista sufre un golpe fatal cuando Russell descubre la contradicción en el Axioma V de Frege (el conjunto de todos los conjuntos que no se contienen — la Paradoja de Russell).

II. Russell: Atomismo lógico y la teoría de las descripciones

Bertrand Russell (1872–1970)

Matemático y filósofo británico; junto con Moore, rompió con el Idealismo Británico y fundó la tradición analítica inglesa.

Teoría de las Descripciones Definidas (“On Denoting”, 1905): Russell analiza expresiones como “el actual rey de Francia” — que parecen referir pero no refieren a nada existente. El análisis lógico revela que la forma gramatical engaña: “El actual rey de Francia es calvo” no presupone la existencia del rey; es simplemente falsa cuando no existe tal rey. La forma lógica real es: Existe exactamente un x tal que x es el actual rey de Francia y x es calvo.

Principia Mathematica (con A.N. Whitehead, 1910–13): Monumental intento de reducir toda la matemática a la lógica formal. La Teoría de los Tipos fue desarrollada para evitar paradojas como la de Russell.

Atomismo Lógico (1918–19): El mundo está compuesto de hechos atómicos (combinaciones de objetos simples); las proposiciones verdaderas reflejan esos hechos; un lenguaje ideal debería ser isomórfico a la estructura de los hechos. La filosofía debe analizar las proposiciones complejas hasta sus componentes atómicos.

III. Wittgenstein I: El Tractatus

Ludwig Wittgenstein (1889–1951) — Primera fase

Tractatus Logico-Philosophicus (1921/22): Obra de extrema concisión y sistematicidad.

Teoría Pictórica del Lenguaje: Una proposición es una figura (Bild) de un estado de cosas posible. Las proposiciones elementales representan hechos atómicos al compartir la misma forma lógica.

Límites del Lenguaje: Lo que puede decirse son las proposiciones de la ciencia natural. Las cuestiones éticas, estéticas y metafísicas no pueden decirse — se muestran. La célebre sentencia final del Tractatus (7): “De lo que no se puede hablar, hay que callar.”

Tautologías y Contradicciones: Las proposiciones de la lógica son tautologías — verdaderas en todo estado de cosas posible; no dicen nada sobre el mundo, pero muestran la estructura lógica del lenguaje.

IV. El Círculo de Viena y el Positivismo Lógico

Reunido en Viena a partir de los años 1920 en torno a Moritz Schlick (1882–1936), el Círculo incluía a Rudolf Carnap (1891–1970), Otto Neurath (1882–1945) y, en la periferia, a A.J. Ayer (1910–1989) en el contexto británico.

Principio de Verificación: Una proposición es cognitivamente significativa si y solo si es analítica (verdadera por definición) o empíricamente verificable. Las afirmaciones metafísicas — “Dios existe”, “El Absoluto es eterno” — son sin sentido, no falsas.

Anti-Metafísica: Carnap en “La superación de la metafísica mediante el análisis lógico del lenguaje” (1932) argumenta que las proposiciones metafísicas violan la sintaxis lógica o son empíricamente incontrolables.

Fisicalismo y Unidad de la Ciencia: Neurath propone que todo lenguaje científico sea reducible al lenguaje físico observacional — un protocolo de observación.

Colapso del Programa: El propio principio de verificación no es empíricamente verificable ni analítico — dificultad reconocida por los propios miembros. Quine, en la generación siguiente, formularía una crítica más fundamental.

V. Filosofía del Lenguaje Ordinario

Tras la Segunda Guerra Mundial, el centro de la filosofía analítica se desplazó a Oxford y Cambridge. El foco cambió: en lugar de construir lenguajes ideales, el objetivo pasó a ser analizar el uso real del lenguaje ordinario.

Gilbert Ryle (1900–1976)

El concepto de lo mental (The Concept of Mind, 1949): Ryle critica el dualismo cartesiano como un “error de categoría” — tratar a la mente como una entidad espectral dentro del cuerpo (el “fantasma en la máquina”). Los conceptos mentales describen disposiciones a comportamientos, no estados internos ocultos.

J.L. Austin (1911–1960)

Teoría de los Actos de Habla: Desarrollada en conferencias publicadas póstumamente en How to Do Things with Words (1962). Distinción fundamental:

• Acto locucionario: el acto de proferir palabras con sentido y referencia
• Acto ilocucionario: lo que se hace al proferir (prometer, ordenar, afirmar, preguntar)
• Acto perlocucionario: el efecto producido en el oyente Austin había distinguido antes enunciados constativos (describen hechos, verdaderos o falsos) de performativos (realizan acciones — “Prometo”, “Bautizo”), pero reconoció después que todo enunciado tiene dimensión ilocucionaria.

Peter Strawson (1919–2006)

Critica la teoría de las descripciones de Russell — en “On Referring” (1950) argumenta que cuando el rey de Francia no existe, la pregunta no es si la proposición es verdadera o falsa, sino que el enunciado carece de aplicación (presuposición vs. aserción).

VI. Quine y la crítica al empirismo lógico

W.V.O. Quine (1908–2000)

El artículo “Dos dogmas del empirismo” (1951, Philosophical Review; reimpreso en From a Logical Point of View, 1953) derriba dos presupuestos centrales del positivismo:

Dogma 1 — Distinción Analítico/Sintético: No hay frontera clara entre verdades analíticas (verdaderas por significado, como “todo soltero es no casado”) y sintéticas (verdaderas por hecho). La noción de “verdad por significado” presupone la de “sinonimia”, que a su vez presupone la de “analiticidad” — circularidad.

Dogma 2 — Reduccionismo: La idea de que cada proposición tiene un contenido empírico aislado. Quine propone el holismo: las creencias se enfrentan al tribunal de la experiencia no individualmente sino colectivamente (tesis Duhem-Quine). Ante la recalcitrancia empírica, podemos revisar cualquier creencia — incluidas las leyes lógicas.

Palabra y Objeto (1960): La indeterminación de la traducción — no hay ningún hecho que determine cuál de múltiples manuales de traducción es el correcto. Traducir “gavagai” por “conejo” es solo una de las alternativas incompatibles pero igualmente adecuadas empíricamente.

Epistemología Naturalizada (“Epistemology Naturalized”, 1969): La epistemología no es el fundamento de la ciencia sino un capítulo de ella. La pregunta es cómo los seres humanos llegan de hecho a la ciencia a partir de los estímulos sensoriales — una cuestión empírica, no trascendental.

VII. Davidson, Kripke y desarrollos posteriores

Donald Davidson (1917–2003)

Semántica de las condiciones de verdad: La semántica de un lenguaje viene dada por una teoría de tipo tarskiano que especifica las condiciones de verdad de las oraciones. Monismo Anómalo (“Mental Events”, 1970): Los eventos mentales son físicos (monismo), pero las propiedades mentales no se reducen a propiedades físicas mediante leyes (anomalismo) — dependencia sin reducción. Esquema Conceptual (“On the Very Idea of a Conceptual Scheme”, 1974): Critica el relativismo conceptual — la idea de esquemas conceptuales radicalmente distintos presupone una base de traducción, incompatible con la inconmensurabilidad radical.

Saul Kripke (1940–2022)

El nombrar y la necesidad (conferencias 1970; publicado 1980): Contra la teoría de las descripciones de Russell y Frege: los nombres propios son designadores rígidos — refieren al mismo objeto en todos los mundos posibles. “Aristóteles” no es abreviación de una descripción; nombra directamente. Necesidad a posteriori: “El agua es H₂O” es necesariamente verdad (el agua no podría ser otra cosa en su esencia) pero se descubre empíricamente — lo que refuta la equivalencia kantiana entre necesidad y aprioridad.

VIII. Principales debates contemporáneos

Véase también

• Filosofía del Siglo XX
• Filosofía de la Mente
• Racionalismo y Empirismo