sodba, 1. logika:v stavku povezanost dveh pojmov (subjekta in predikata) z vezjo ‘je’. Pri vsaki sodbi razlikujemo tale kategorialni obseg: kvantiteta (splošne, delne, posamezne sodbe), kvaliteta (trdilne, nikalne sodbe), relacija (kategorične, hipotetične, disjunktivne sodbe) in modalnost (stopnja nujnosti: problemske, apodiktične in asertorične sodbe). Poleg tega je I. Kant vpeljal še razlikovanje med analitičnimi sodbami (pri katerih predikat zgolj pojasnjuje subjekt) in sintetičnimi sodbami (pri katerih predikat na novo opredeli subjekt).