КЛАСС

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

• Гильберт Д., Аккерман В., Основы теоретич. логики, пер. с нем., М., 1947; Т a p с к и й А., Введение в логику и методологию дедуктивных наук, пер. е англ., М., 1948; Кузичев А. С., Диаграммы Венна, М., 1968; Мендельсон Э., Введение в математич. логику, пер. с англ., М., 1971.