логіка класів
ЛОГІКА КЛАСІВ — розділ математичної логіки, в якому елементарні висловлювання (див. логіка висловлювань) розглядаються з боку їхньої суб'єктно-предикативної структури. Кожні суб'єкт і предикат, що входять до елементарного висловлювання, ототожнюються з їхнім обсягом, тобто класом (звідси — назва об'єктів, яким вони відповідають).
Джерело:
Філософський енциклопедичний словник
на Slovnyk.me