El juicio sintético es un juicio que amplía y añade información sobre un objeto [1] . Lo contrario de una proposición sintética es una proposición analítica . La verdad de los juicios sintéticos puede establecerse "sólo en el proceso de compararlos con la realidad de la que hablan" [2] . Un ejemplo de una proposición sintética es la declaración "Todos los cisnes son blancos" (siempre que la palabra cisne no implique el color blanco del pájaro), porque generaliza y brinda nueva información sobre un objeto como un cisne.
Por primera vez, la división de los juicios en analíticos y sintéticos fue propuesta por el filósofo alemán I. Kant en su obra “ Crítica de la razón pura ”. Kant argumentó que tanto los juicios sintéticos a priori (independientes de la experiencia) como a posteriori (derivados de la experiencia) son posibles [3] . La cuestión de cómo son posibles los juicios sintéticos a priori verdaderos es fundamental para la filosofía trascendental de Kant .
La división de los juicios en analíticos y sintéticos agitó la filosofía europea, sin embargo, los seguidores de Kant no le dieron mucha importancia, considerando esta división condicional. En el siglo XX , bajo la influencia del trabajo del Círculo de Viena , se discutió ampliamente el problema de la síntesis de proposiciones matemáticas . A diferencia de Kant, los miembros del círculo y sus seguidores ( positivistas lógicos y sus allegados) consideraban que las proposiciones de las matemáticas eran analíticas y tautológicas [4] .
| Lógicas | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofía • Semántica • Sintaxis • Historia | |||||||||
| Grupos lógicos |
| ||||||||
| Componentes |
| ||||||||
| Lista de símbolos booleanos | |||||||||