КЛАСС

(от лат. classis - разряд, группа) в логике, понятие, выражающее совокупность (множество) предметов, удовлетворяющих к.-л. условию (условиям) или свойству (свойствам, признакам) (иногда различают понятия «К.» и «множество», что бывает связано со спец. вопросами теории множеств); про такие предметы говорят, что они являются элементами данного К. Предполагается, что в связи с каждым свойством можно рассматривать К. предметов, им обладающих (напр.,свойству «быть чётным числом» соответствует К. всех чётных чисел). К., соответствующий некоторому свойству, может состоять из любого конечного числа предметов; он может быть бесконечным (напр., упомянутый К. всех чётных чисел) или пустым (т. е. вовсе не содержать элементов). К., состоящий только из одного элемента, наз. единичным, или сингулярным. Пустому К. противополагается универс. К., уточняющий круг исследуемых предметов и состоящий из всех объектов подлежащей рассмотрению предметной области. Изучение свойств операций над К. и отношений между К. производится в логике классов.