Библиотека    Новые поступления    Словарь    Карта сайтов    Ссылки




А Б В Г Д Е Ж З И Й К Л М Н О
П Р С Т У Ф Х Ц Ч Ш Э Ю Я

класс

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


Источники:

  1. Философский словарь / Под ред. И.Т. Фролова. - 4-е изд.-М.: Политиздат, 1981. - 445 с.





© Алексей Злыгостев, дизайн, подборка материалов, разработка ПО 2001–2017
Все права на тексты книг принадлежат их авторам!

При копировании страниц проекта обязательно ставить ссылку:
'Электронная библиотека по философии - http://filosof.historic.ru'
Сайт создан при помощи Богданова В.В. (ТТИ ЮФУ в г.Таганроге)