Класс

I (от лат. classis — разряд, группа)

        (биологическое), одна из высших таксономических (систематических) категорий животных и растений. К. объединяет родственные Отряды (животных) или порядки (См. Порядок) (растений). Например, отряды грызунов, насекомоядных, хищных и др. объединяют в К. млекопитающих. В свою очередь, К., представители которых сходны по общему плану строения и происходят от общих предков, объединяют в Типы (животных) или Отделы (растений). Например, К. рыб, земноводных, пресмыкающихся, млекопитающих и др. составляют тип хордовых животных; К. однодольных и двудольных растений — отдел покрытосеменных (цветковых) растений. Понятие «К.» введено в систематику французским ботаником Ж. Турнефором и впоследствии принято К. Линнеем в его «Системе природы» (1735).

II (в логике)

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

        

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

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

III

        общественный, см. Классы.