klãsių lògika, logikos sritis, tirianti klases. Gali būti laikoma teiginių logikos išplėtimu (kai teiginius sudarančios sąvokos laikomos objektų klasėmis, o teiginių logikos veiksmai – klasių logikos terminais), atskiru predikatų logikos atveju (kai vienviečiai predikatai, arba savybės, atitinka tas savybes turinčių objektų klases), būti tapati aibių algebrai (kai klasės traktuojamos kaip aibės). Klasių logikos abėcėlę sudaro elementų ir klasių, jų santykių ir veiksmų su jomis simboliai, taip pat teiginių logikos simboliai. Pirmoji klasių logika yra Aristotelio silogistika; klasių logiką plėtojo G. W. Leibnizas, G. Boole’is, E. Schröderis ir kiti.
314