числення класів

ЧИСЛЕННЯ КЛАСІВ — розділ сучасної логіки, що за своїм змістом збігається з логікою класів, але відрізняється від неї за формою побудови. В системі логічних теорій Ч. к. утворюється як формальна алгебра тотожних перетворень за аналогією з булевою алгеброю (висловлювань), але як фрагмент теорії множин. Ч. к. охоплює аристотелеву силогістику, чого не можна досягти в численні висловлювань. Оскільки кожний клас можна подати через відповідний предикат, то числення класів перетворюється на фрагмент числення предикатів.