Класс (в логике)

Класс (в логике)

Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким-либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие предметы говорят, что они являются элементами (данного) К. (отношение принадлежности элемента классу обозначается обычно знаком ?; запись а?А читается: «а есть элемент класса А»). Предполагается, что в связи с каждым свойством (понятием о свойстве) можно рассматривать К. предметов, имеющих это свойство (например, свойству быть чётным числом соответствует К. всех чётных чисел). К. соответствующий некоторому свойству, может состоять из любого конечного числа предметов (конечные К. часто задаются перечнем своих элементов — списком их названий); он может быть бесконечным (например, упомянутый К. всех чётных чисел) или пустым (т. е. вовсе не содержать элементов; пустой К. обычно обозначается ? или ?). К., состоящий только из одного элемента, называется единичным, или сингулярным (сингулярные и пустые К. Аристотель не вводил при построении своей силлогики; см. Силлогизм). Пустому К. противополагается универсальный К. (обозначается V), уточняющий круг исследуемых предметов и состоящий из всех объектов подлежащей рассмотрению предметной области. Геометрический К. изображаются обычно фигурами, ограниченными простыми замкнутыми кривыми (например, окружностями на плоскости). Рассматриваются операции над К. и отношения между К. Операции над К.: пересечение классов А и В — класс (обычное обозначение: А?В), состоящий из всех тех, и только тех элементов, которые содержатся в обоих классах А и В; объединение классов А и В — класс (A?В), состоящий из всех тех, и только тех элементов, которые содержатся хотя бы в одном из классов А или В; дополнение класса А — класс

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

  Лит.: Гильберт Д., Аккерман В., Основы теоретической логики, пер. с нем., М., 1947; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Яновская С. А., Логика классов, в кн.: Философская энциклопедия, т. 3, М., 1964; Кузичев А. С., Диаграммы Венна, М., 1968; Мендельсон Э., Введение в математическую логику, пер. с англ., М., 1971.

  А. С. Кузичев.