отношение включения класса в класс


отношение включения класса в класс
, см.: Множеств теория

Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. . 1997.

Смотреть что такое "отношение включения класса в класс" в других словарях:

  • КЛАСС — (в логике и математике) 1) понятие, присущее всем элементам некоторой совокупности объектов; 2) совокупность выделенных по некоторому признаку объектов, мыслимая как целое. Понятие К. (множества) обычно относят к числу простейших, неопределяемых… …   Философская энциклопедия

  • Класс (в логике) — Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие… …   Большая советская энциклопедия

  • Класс — I (от лат. classis разряд, группа)         (биологическое), одна из высших таксономических (систематических) категорий животных и растений. К. объединяет родственные Отряды (животных) или порядки (См. Порядок) (растений). Например, отряды… …   Большая советская энциклопедия

  • класс — 3.7 класс : Совокупность подобных предметов, построенная в соответствии с определенными правилами. Источник: ГОСТ Р 51079 2006: Технические средства реабилитации людей с ограничениями жизнедеятельности. Классификация …   Словарь-справочник терминов нормативно-технической документации

  • логика классов — раздел математической логики, соответствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. к. соответствует и силлогистике Аристотеля. Иногда Л. к. рассматривается как формализованная теория множеств, в… …   Словарь терминов логики

  • ИСЧИСЛЕНИЕ КЛАССОВ —         аксиоматич. (см. Аксиоматический метод) описание логики классов. И. к. рав нообъёмно исчислению одноместных предикатов (см. Логика предикатов): у этих исчислений совпадают классы как исходных формул, так и выводимых формул (теорем);… …   Философская энциклопедия

  • ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П …   Философская энциклопедия

  • ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… …   Философская энциклопедия

  • ФРЕГЕ — (Frege) Готлоб (1848 1925) нем. логик, математик и философ. Один из основоположников современной символической логики. Сформулированные Ф. новые идеи и подходы во многом предопределили развитие логики в 20 в. В работе «Исчисление понятий» (1879)… …   Философская энциклопедия

  • ФРЕГЕ (FREGE) Готлоб — (1848 1925) нем. логик, математик и философ. В 1879 1918 проф. ун та в Йене. Труды Ф. открыли новый этап в развитии логики, оказали большое влияние на разработку философских проблем математики и были одним из отправных пунктов в развитии… …   Современная западная философия. Энциклопедический словарь


Поделиться ссылкой на выделенное

Прямая ссылка:
Нажмите правой клавишей мыши и выберите «Копировать ссылку»

We are using cookies for the best presentation of our site. Continuing to use this site, you agree with this.