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

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

Философский словарь. Под ред. И.Т. Фролова. М., 1991, с. 192.