Un juicio analítico es un juicio que no introduce ninguna información nueva sobre el objeto [1] . Lo opuesto al juicio analítico es el juicio sintético . La verdad de los juicios analíticos puede establecerse sin recurrir al mundo real [2] . Un ejemplo de un juicio analítico es la declaración "Todo soltero es soltero", ya que la palabra "soltero" y la expresión "no casado" tienen el mismo significado. Por lo tanto, este juicio no agrega ningún conocimiento nuevo.
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 todos los juicios analíticos son a priori [3] . Kant creía que los juicios analíticos, aunque no conllevan nuevos conocimientos, ayudan a comprender más claramente los conocimientos existentes [4] .
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 [3] .
| Lógicas | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofía • Semántica • Sintaxis • Historia | |||||||||
| Grupos lógicos |
| ||||||||
| Componentes |
| ||||||||
| Lista de símbolos booleanos | |||||||||