Juicio sintético a priori
En filosofía, se denomina sintético a aquel juicio en el que el predicado no está incluido en la noción de sujeto, es decir, aquel juicio que tiene la capacidad de añadir algo al contenido semántico del sujeto. Estos juicios son informativos y extensivos, lo que quiere decir que posibilitan la ampliación de nuestro conocimiento sobre el mundo. A priori, en un sentido puro, son los juicios cuya verdad puede ser mantenida independiente de cualquier experiencia, por lo que concluimos que no procede de ella. (p.e., todo triángulo tiene tres lados), los juicios a priori son de carácter necesario y universal en un sentido estricto. Desde el punto de vista de la lógica moderna la noción de que el "predicado esté incluido en el sujeto" debe aclararse un poco. Un juicio sobre una entidad tiene la forma lógica P(x), donde x denota al "sujeto" o entidad de la que se afirma P( ) [la notación P(x) está tomada de las matemáticas ya que P( ) se puede concebir como una función matemática que a cada x le asigna la proposición P(x)]. Se entiende que el sujeto o ente x es un determinado tipo de entidad y que por tanto pertenece a un determinado conjunto formado por todos las entidades de cierto tipo. Entonces que el "predicado esté incluido en el sujeto" se refiere a que se cumpla lo siguiente:
El hecho de que x sea del tipo S implica que será cierto que P(x).
Según Hume de una parte hay juicios analíticos que son a priori, como relación de ideas; de otra parte están los juicios sintéticos que son a posteriori porque, en último término, remiten a la experiencia es decir depende de las impresiones como verdades de hecho. Por ejemplo:
El punto de vista de Kant es distinto. Al estudiar el enunciado "La recta es la distancia más corta entre dos puntos" advierte que:
Así, al contrario que Hume y a toda forma de empirismo, Kant admite la existencia de juicios sintéticos a priori.