логіка класів

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

Джерело: Філософський енциклопедичний словник на Slovnyk.me