Pocas distinciones han marcado tan profundamente la historia de la filosofía como la que separa lo que podemos saber con independencia de la experiencia de lo que solo podemos saber a través de ella. La distinción entre a priori y a posteriori atraviesa siglos de debate epistemológico — de los lógicos medievales a Leibniz, de Hume a Kant, de las críticas empiristas del siglo XIX a las conmociones de la filosofía analítica contemporánea. Comprenderla es comprender el problema mismo del conocimiento.
Este artículo recorre la trayectoria completa de esta distinción: sus orígenes terminológicos en la escolástica medieval, las formulaciones clásicas de Leibniz y Hume, la revolución copernicana de Kant y sus juicios sintéticos a priori, las objeciones empiristas de Mill y Quine, y la sorprendente disociación entre aprioridad y necesidad propuesta por Kripke.
1. Origen medieval de los términos
1.1 De la demostración aristotélica a la terminología escolástica
Los términos a priori y a posteriori no aparecen en Aristóteles, pero derivan de su lógica. En los Segundos Analíticos, Aristóteles distingue dos tipos de demostración: la que procede de las causas a los efectos (demostración propter quid — “por la razón de ser”) y la que procede de los efectos a las causas (demostración quia — “por el hecho de ser”).
Los escolásticos medievales — en particular Alberto Magno y Tomás de Aquino — tradujeron esta distinción a los términos latinos que hemos heredado. A priori significaba literalmente “a partir de lo anterior” — es decir, a partir de lo que es ontológicamente primero: las causas, los principios, las esencias. A posteriori significaba “a partir de lo posterior” — a partir de los efectos observados. Así, en su formulación medieval original, a priori y a posteriori eran términos del orden del ser (ontología), no del orden del conocer (epistemología).
1.2 La transición al sentido epistemológico
La transición del sentido ontológico al epistemológico se produjo gradualmente entre los siglos XVI y XVII. Filósofos como Gassendi y Leibniz comenzaron a emplear a priori para designar el conocimiento independiente de la experiencia sensible — verdades que la razón puede alcanzar por sí misma — y a posteriori para el conocimiento que depende de los datos de los sentidos. Esta reinterpretación reflejaba el nuevo escenario intelectual de la modernidad, en el que la cuestión central ya no era la estructura del ser, sino los fundamentos y límites del conocimiento humano.
2. Leibniz: verdades de razón y verdades de hecho
2.1 Las dos clases de verdad
Gottfried Wilhelm Leibniz (1646–1716) ofreció una de las formulaciones más nítidas de la distinción, aunque no empleara sistemáticamente los términos a priori y a posteriori en el sentido kantiano posterior. En la Monadología (1714, §§33–35), Leibniz distingue:
- Verdades de razón (vérités de raison): necesarias y cuyo opuesto es imposible. Fundadas en el principio de contradicción — negarlas implica contradicción lógica. Ejemplos: verdades matemáticas (“2 + 3 = 5”), definiciones, tautologías lógicas.
- Verdades de hecho (vérités de fait): contingentes y cuyo opuesto es posible. Fundadas en el principio de razón suficiente — tienen una razón para ser como son y no de otro modo, pero podrían, sin contradicción, haber sido diferentes. Ejemplos: “está lloviendo ahora”, “César cruzó el Rubicón”.
2.2 La tesis racionalista fuerte
Para Leibniz, las verdades de razón son cognoscibles a priori mediante el análisis puro de conceptos — basta descomponer el sujeto para encontrar el predicado contenido en él. Las verdades de hecho, en cambio, requieren recurrir a la experiencia. Sin embargo, Leibniz introdujo una tesis audaz: para un intelecto infinito (Dios), incluso las verdades de hecho serían, en último análisis, analíticas — el predicado estaría contenido en el concepto completo del sujeto. En los Nuevos Ensayos sobre el Entendimiento Humano (compuestos en 1703–1704, publicados póstumamente en 1765), Leibniz argumentó contra Locke que existen ideas innatas, aunque en estado latente, como vetas en el mármol que predisponen la estatua — una defensa inequívoca del conocimiento a priori.
3. Hume: relaciones de ideas y cuestiones de hecho
3.1 La horquilla de Hume
David Hume (1711–1776), en la Investigación sobre el Entendimiento Humano (1748, sección IV), formuló lo que ha llegado a conocerse como la horquilla de Hume (Hume’s Fork): todo objeto legítimo del entendimiento humano pertenece a una de dos clases, y solo a una:
- Relaciones de ideas (relations of ideas): proposiciones descubribles mediante la pura operación del pensamiento, sin recurrir a la experiencia. Son necesarias — negarlas implica contradicción. Incluyen las ciencias de la geometría, el álgebra y la aritmética. Ejemplo: “El cuadrado de la hipotenusa es igual a la suma de los cuadrados de los catetos.”
- Cuestiones de hecho (matters of fact): proposiciones que dependen de la experiencia para ser conocidas. Son contingentes — lo contrario es siempre concebible sin contradicción. Ejemplo: “El sol saldrá mañana” — por probable que sea, lo opuesto no es lógicamente imposible.
3.2 Consecuencias escépticas
La fuerza demoledora de la distinción de Hume reside en su consecuencia: todo conocimiento factual reposa, en última instancia, sobre la relación de causa y efecto, y esta relación no es una relación de ideas — no puede ser descubierta a priori. La causalidad, según Hume, es solo hábito de la mente ante conjunciones constantemente observadas. La experiencia pasada no garantiza lógicamente la experiencia futura (el problema de la inducción).
Si esto es así, las pretensiones de la metafísica racionalista — que aspiraba a conocer a priori la existencia de Dios, la naturaleza del alma y la estructura última de la realidad — quedan sin fundamento. Este era el desafío que Kant afrontaría.
4. Kant: la revolución copernicana y los juicios sintéticos a priori
4.1 El despertar del sueño dogmático
Immanuel Kant (1724–1804) reconoció que fue Hume quien lo “despertó de su sueño dogmático”. La Crítica de la Razón Pura (1781; 2ª ed. 1787) nace como intento de responder a la pregunta: ¿es posible el conocimiento sintético a priori? Si la respuesta es negativa, la ciencia (matemáticas, física) pierde su fundamento de necesidad y universalidad. Si es afirmativa, hay que mostrar cómo y dentro de qué límites.
4.2 Dos distinciones cruzadas
Kant sistematizó la cuestión mediante el cruce de dos distinciones independientes:
| Analítico | Sintético | |
|---|---|---|
| A priori | El predicado está contenido en el sujeto (explicativo). Ejemplo: “Todo soltero es no-casado.” | El predicado NO está contenido en el sujeto, pero el juicio es universal y necesario. Ejemplo: “7 + 5 = 12” |
| A posteriori | — (imposible: si el predicado ya está contenido en el concepto, no necesita de la experiencia) | El predicado no está contenido en el sujeto y depende de la experiencia. Ejemplo: “La mesa es marrón.” |
La celda decisiva es la de los juicios sintéticos a priori: juicios que amplían nuestro conocimiento (son sintéticos — el predicado añade algo nuevo al sujeto) y, al mismo tiempo, son universales y necesarios (son a priori — no dependen de experiencia particular). Kant argumentó que proposiciones como “todo cambio tiene una causa” y “la línea recta es la distancia más corta entre dos puntos” pertenecen a esta clase.
4.3 La revolución copernicana
La solución kantiana es una inversión radical: así como Copérnico explicó los movimientos celestes suponiendo que el observador se mueve (y no solo los astros), Kant propuso que los objetos de la experiencia se conforman a las condiciones a priori del sujeto cognoscente — y no al revés. No es la mente la que se adapta pasivamente a los objetos; son los objetos de la experiencia los que se estructuran según las formas que la mente impone.
4.4 Formas puras de la sensibilidad: espacio y tiempo
En la Estética Trascendental, Kant demuestra que el espacio y el tiempo no son propiedades de las cosas en sí, sino formas puras a priori de la sensibilidad — condiciones bajo las cuales cualquier objeto puede ser dado a la intuición. El espacio es la forma del sentido externo; el tiempo, la forma del sentido interno (e, indirectamente, de toda experiencia). La geometría es posible como ciencia sintética a priori porque se refiere a la estructura a priori del espacio; la aritmética, porque se funda en la sucesión temporal.
4.5 Categorías del entendimiento
En la Analítica Trascendental, Kant identifica doce categorías — conceptos puros del entendimiento, derivados de las formas lógicas del juicio. Las categorías (sustancia, causalidad, unidad, pluralidad, necesidad, etc.) son reglas a priori que el entendimiento aplica al material de la intuición sensible para constituir la experiencia objetiva. Sin categorías, los datos sensibles serían “ciegos”; sin intuición, los conceptos serían “vacíos”.
El punto decisivo: las categorías solo tienen uso legítimo cuando se aplican a fenómenos — objetos tal como aparecen en la experiencia, condicionados por espacio, tiempo y categorías. Cuando la razón intenta sobrepasar la experiencia y aplicar las categorías a las cosas en sí (Ding an sich), cae en ilusiones y antinomias — es lo que Kant expone en la Dialéctica Trascendental.
4.6 La síntesis kantiana
La posición de Kant supera tanto el racionalismo dogmático (que pretendía conocer a priori la realidad en sí) como el empirismo escéptico (que negaba todo conocimiento necesario sobre el mundo). La ciencia es posible porque el sujeto proporciona las formas universales de la experiencia; pero la metafísica especulativa es imposible porque esas formas solo valen para el ámbito de la experiencia, nunca para lo que está más allá de él.
5. Críticas empiristas: Mill y Quine
5.1 John Stuart Mill: la aritmética como generalización empírica
John Stuart Mill (1806–1873), en A System of Logic (1843), rechazó frontalmente la existencia de conocimiento a priori. Para Mill, incluso las verdades de la aritmética y la geometría son generalizaciones empíricas — derivan de la experiencia y están sujetas, en principio, a revisión. “2 + 3 = 5” no es una verdad necesaria de la razón, sino un resumen de incontables experiencias de agrupar objetos. Si viviéramos en un universo en el que agrupar dos objetos con tres resultase, de algún modo, en cuatro, aprenderíamos una aritmética diferente.
La objeción clásica a Mill — formulada por Frege en los Fundamentos de la Aritmética (1884) — es que confundir el origen psicológico de nuestras creencias (cómo aprendemos aritmética) con la justificación lógica de las mismas constituye la falacia del psicologismo. La verdad de “2 + 3 = 5” no depende de contar objetos físicos.
5.2 Quine: “Dos dogmas del empirismo”
W. V. O. Quine (1908–2000), en su célebre artículo “Two Dogmas of Empiricism” (1951), atacó dos pilares de la tradición: la distinción entre analítico y sintético y el reduccionismo (la idea de que cada enunciado significativo puede traducirse en términos de experiencia inmediata).
Contra la distinción analítico/sintético. Quine argumentó que no existe un criterio claro y no circular para separar enunciados analíticos (verdaderos “en virtud del significado”) de enunciados sintéticos. La noción de “sinonimia cognitiva” — que sustentaría la analiticidad — no puede definirse sin apelar a conceptos igualmente problemáticos (como “necesidad” o “definición”). La distinción, según Quine, es un “dogma” de la filosofía empirista que no resiste el examen.
Holismo epistemológico. En su lugar, Quine propuso una concepción holista: nuestro conocimiento forma un tejido o campo de fuerzas que encuentra la experiencia solo en sus bordes. Cuando la experiencia recalcitrante entra en conflicto con el sistema, cualquier enunciado — de la lógica a la física — puede, en principio, ser revisado para restaurar la coherencia. No hay enunciados absolutamente inmunes a la revisión; por tanto, no hay distinción de principio entre a priori y a posteriori.
El artículo de Quine provocó un terremoto en la filosofía analítica. Si tiene razón, toda la arquitectura kantiana — con su nítida separación de juicios analíticos y sintéticos, de a priori y a posteriori — pierde su fundamento.
6. Kripke: lo a priori contingente y lo a posteriori necesario
6.1 Disociación de aprioridad, necesidad y analiticidad
Saul Kripke (1940–2022), en Naming and Necessity (1972/1980), produjo una de las contribuciones más revolucionarias de la filosofía del siglo XX al mostrar que tres nociones tradicionalmente tratadas como equivalentes — aprioridad, necesidad y analiticidad — son, en realidad, conceptos distintos que pueden disociarse:
- A priori / a posteriori: distinción epistemológica — se refiere al modo en que conocemos (independiente de la experiencia o a través de ella).
- Necesario / contingente: distinción metafísica — se refiere al modo en que son las cosas (no podrían ser de otro modo o podrían).
- Analítico / sintético: distinción semántica — se refiere a la relación entre sujeto y predicado en el enunciado.
6.2 Lo a posteriori necesario
Kripke argumentó que existen verdades que son necesarias (no podrían ser de otro modo en ningún mundo posible) y, sin embargo, solo son cognoscibles a posteriori (mediante la investigación empírica):
- “El agua es H₂O.” Si el agua es, de hecho, H₂O, entonces lo es en todos los mundos posibles — es una verdad necesaria. Pero lo descubrimos empíricamente, mediante la investigación química, no por pura reflexión.
- “Héspero es Fósforo.” La estrella matutina y la estrella vespertina son el mismo astro (Venus). Esto es necesario (son idénticos en todos los mundos posibles), pero se descubrió por observación astronómica.
6.3 Lo a priori contingente
Inversamente, Kripke sugirió que existen verdades cognoscibles a priori que, no obstante, son contingentes (podrían haber sido de otro modo):
- Considérese la proposición: “El metro patrón de París tiene un metro de longitud.” Quien fijó la referencia del término “metro” mediante la barra de platino-iridio en Sèvres podía saber a priori que esa barra mide un metro — es verdadero por estipulación. Sin embargo, la barra podría haber tenido una longitud diferente (si se la hubiera calentado, por ejemplo); luego, la proposición es contingente.
6.4 Consecuencias filosóficas
La disociación kripkeana demolió la ecuación tradicional: a priori = necesario = analítico. Mostró que la epistemología (cómo sabemos) y la metafísica (cómo son las cosas) son dimensiones independientes. Esto abrió el camino a un esencialismo metafísico renovado — la idea de que las cosas tienen propiedades esenciales (como la composición química del agua) que son necesarias, pero no descubribles por análisis conceptual.
7. Panorama contemporáneo
La distinción a priori / a posteriori sigue en el centro del debate filosófico. Tras Kripke, coexisten varias posiciones:
- Racionalismo moderado: filósofos como Laurence BonJour defienden la existencia de genuino conocimiento a priori (intuición racional), irreducible a la experiencia.
- Empirismo naturalizado: herederos de Quine (como Philip Kitcher) sostienen que todo conocimiento es, en último análisis, empírico y revisable.
- Apriorismo deflacionario: Timothy Williamson y otros argumentan que la distinción a priori / a posteriori es menos nítida de lo que se supone — la mayoría de los procesos cognitivos mezcla elementos experienciales y no experienciales.
- Apriorismo kantiano renovado: filósofos como Robert Hanna buscan reconstruir la noción kantiana de juicios sintéticos a priori a la luz de la filosofía contemporánea.
Lo que ninguna de estas posiciones cuestiona es la importancia de la pregunta: ¿hay algo que podamos saber sobre el mundo sin que la experiencia nos lo enseñe? La respuesta a esa pregunta define el horizonte y los límites de toda investigación filosófica y científica.
Conclusión
De Aristóteles a los medievales, de Leibniz a Hume, de Kant a Quine y Kripke, la distinción entre a priori y a posteriori atraviesa la historia de la filosofía como un hilo conductor que conecta lógica, metafísica, epistemología y filosofía del lenguaje. Kant transformó la cuestión en el eje central de la filosofía moderna; Quine intentó disolverla; Kripke mostró que las piezas del rompecabezas se recombinan de modos inesperados. La distinción puede haber cambiado de forma — pero la pregunta que plantea sigue siendo, quizá, la más fundamental de la filosofía: ¿qué podemos saber y cómo lo sabemos?