Judecata sintetică este o judecată care extinde și adaugă informații despre un obiect [1] . Opusul unei propoziții sintetice este o propoziție analitică . Adevărul judecăților sintetice poate fi stabilit „numai în procesul de comparare a acestora cu realitatea despre care vorbesc” [2] . Un exemplu de propoziție sintetică este afirmația „Toate lebedele sunt albe” (cu condiția ca cuvântul lebădă să nu implice culoarea albă a păsării), deoarece generalizează și oferă informații noi despre un astfel de obiect precum o lebădă.
Pentru prima dată, împărțirea judecăților în analitice și sintetice a fost propusă de filozoful german I. Kant în lucrarea sa „ Critica rațiunii pure ”. Kant a susținut că atât judecățile sintetice a priori (independente de experiență) cât și a posteriori (derivate din experiență) sunt posibile [3] . Întrebarea cu privire la cât de adevărate sunt posibile judecățile sintetice a priori este centrală pentru filosofia transcendentală a lui Kant .
Împărțirea judecăților în filozofia europeană agitată analitică și sintetică, totuși, adepții lui Kant nu i-au acordat prea multă importanță, considerând această împărțire condiționată. În secolul al XX-lea , sub influența lucrării Cercului de la Viena , problema sintezei propozițiilor matematice a fost larg discutată . Spre deosebire de Kant, membrii cercului și adepții lor ( pozitiviștii logici și cei apropiați lor) considerau propozițiile matematicii ca fiind analitice și tautologice [4] .
| Logici | |||||||||
|---|---|---|---|---|---|---|---|---|---|
| Filosofie • Semantică • Sintaxă • Istorie | |||||||||
| Grupuri logice |
| ||||||||
| Componente |
| ||||||||
| Lista simbolurilor booleene | |||||||||