Está claro que no viene de haber preguntado a cada soltero si es casado.
Al parecer, cuando se trata de proposiciones analíticas, nuestra justificación para creer en ellas es a priori.
Los argumentos ontológicos pretenden mostrar, sin recurrir a la experiencia, que Dios existe.
[cita requerida] Según Kant, los juicios sintéticos a priori no son posibles en la metafísica, pero sí en las matemáticas y en la parte racional de la física.
El propio Kant pone los siguientes ejemplos: «4 + 3 = 7», «la línea recta es la distancia más corta entre dos puntos», «la cantidad de materia del universo se mantiene invariable», «en todo movimiento, acción y reacción son siempre iguales».
[cita requerida] También los juicios sintéticos tienen que ver con la lógica; ejemplo: «suba para arriba», «salga para afuera».