Большая советская энциклопедия - класс

I (биол.) Класс (от лат. classis — разряд, группа) (биологическое), одна из высших таксономических (систематических) категорий животных и растений. К. объединяет родственные отряды (животных) или порядки (растений). Например, отряды грызунов, насекомоядных, хищных и др. объединяют в К. млекопитающих. В свою очередь, К., представители которых сходны по общему плану строения и происходят от общих предков, объединяют в типы (животных) или отделы (растений). Например, К. рыб, земноводных, пресмыкающихся, млекопитающих и др. составляют тип хордовых животных; К. однодольных и двудольных растений — отдел покрытосеменных (цветковых) растений. Понятие «К.» введено в систематику французским ботаником Ж. Турнефором и впоследствии принято К. Линнеем в его «Системе природы» (1735). II (в логике) Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким-либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие предметы говорят, что они являются элементами (данного) К. (отношение принадлежности элемента классу обозначается обычно знаком I; запись аIА читается: «а есть элемент класса А»). Предполагается, что в связи с каждым свойством (понятием о свойстве) можно рассматривать К. предметов, имеющих это свойство (например, свойству быть четным числом соответствует К. всех четных чисел). К. соответствующий некоторому свойству, может состоять из любого конечного числа предметов (конечные К. часто задаются перечнем своих элементов — списком их названий); он может быть бесконечным (например, упомянутый К. всех четных чисел) или пустым (т. е. вовсе не содержать элементов; пустой К. обычно обозначается I или ?). К., состоящий только из одного элемента, называется единичным, или сингулярным (сингулярные и пустые К. Аристотель не вводил при построении своей силлогики; см. Силлогизм). Пустому К. противополагается универсальный К. (обозначается V), уточняющий круг исследуемых предметов и состоящий из всех объектов подлежащей рассмотрению предметной области. Геометрический К. изображаются обычно фигурами, ограниченными простыми замкнутыми кривыми (например, окружностями на плоскости). Рассматриваются операции над К. и отношения между К. Операции над К.: пересечение классов А и В — класс (обычное обозначение: АCВ), состоящий из всех тех, и только тех элементов, которые содержатся в обоих классах А и В; объединение классов А и В — класс (AEВ), состоящий из всех тех, и только тех элементов, которые содержатся хотя бы в одном из классов А или В; дополнение класса А — класс , состоящий из всех тех, и только тех предметов универсального К., которые не входят в класс А. Отношения между (двумя произвольными) К.: тождественности (совпадения); включения — один К. является частью (подклассом) другого; частичного совпадения (когда К. имеют хотя бы один общий элемент) и исключения (когда они не имеют общих элементов). Изучение свойств операций над К. и отношений между К. проводится в логике классов. Лит.: Гильберт Д., Аккерман В., Основы теоретической логики, пер. с нем., М., 1947; Тарский А., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Яновская С. А., Логика классов, в кн.: Философская энциклопедия, т. 3, М., 1964; Кузичев А. С., Диаграммы Венна, М., 1968; Мендельсон Э., Введение в математическую логику, пер. с англ., М., 1971. А. С. Кузичев. III (обществ.) Класс общественный, см. Классы.