- отношение включения класса в класс
- , см.: Множеств теория
Словарь по логике. — М.: Туманит, изд. центр ВЛАДОС. А.А.Ивин, А.Л.Никифоров. 1997.
отношение включения класса в класс
Смотреть что такое "отношение включения класса в класс" в других словарях:
КЛАСС — (в логике и математике) 1) понятие, присущее всем элементам некоторой совокупности объектов; 2) совокупность выделенных по некоторому признаку объектов, мыслимая как целое. Понятие К. (множества) обычно относят к числу простейших, неопределяемых… … Философская энциклопедия
Класс (в логике) — Класс (в логике), понятие, выражающее совокупность (множество) предметов, удовлетворяющих каким либо условиям или признакам (иногда различают понятия «К.» и «множество», что бывает связано со специальными вопросами множеств теории); про такие… … Большая советская энциклопедия
Класс — I (от лат. classis разряд, группа) (биологическое), одна из высших таксономических (систематических) категорий животных и растений. К. объединяет родственные Отряды (животных) или порядки (См. Порядок) (растений). Например, отряды… … Большая советская энциклопедия
класс — 3.7 класс : Совокупность подобных предметов, построенная в соответствии с определенными правилами. Источник: ГОСТ Р 51079 2006: Технические средства реабилитации людей с ограничениями жизнедеятельности. Классификация … Словарь-справочник терминов нормативно-технической документации
логика классов — раздел математической логики, соответствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. к. соответствует и силлогистике Аристотеля. Иногда Л. к. рассматривается как формализованная теория множеств, в… … Словарь терминов логики
ИСЧИСЛЕНИЕ КЛАССОВ — аксиоматич. (см. Аксиоматический метод) описание логики классов. И. к. рав нообъёмно исчислению одноместных предикатов (см. Логика предикатов): у этих исчислений совпадают классы как исходных формул, так и выводимых формул (теорем);… … Философская энциклопедия
ПОНЯТИЕ — общее имя с относительно ясным содержанием и сравнительно четко очерченным объемом. П. являются, напр., «химический элемент», «закон», «сила тяготения», «астрономия», «поэзия» и т.п. Отчетливой границы между теми именами, которые можно назвать П … Философская энциклопедия
ЛОГИКА ПРЕДИКАТОВ — центральный раздел логики, в котором изучается субъектно предикатная структура высказывании и истинностные взаимосвязи между ними. Л.п. представляет собой содержательное расширение логики высказываний. В рамках данного раздела любое высказывание… … Философская энциклопедия
ФРЕГЕ — (Frege) Готлоб (1848 1925) нем. логик, математик и философ. Один из основоположников современной символической логики. Сформулированные Ф. новые идеи и подходы во многом предопределили развитие логики в 20 в. В работе «Исчисление понятий» (1879)… … Философская энциклопедия
ФРЕГЕ (FREGE) Готлоб — (1848 1925) нем. логик, математик и философ. В 1879 1918 проф. ун та в Йене. Труды Ф. открыли новый этап в развитии логики, оказали большое влияние на разработку философских проблем математики и были одним из отправных пунктов в развитии… … Современная западная философия. Энциклопедический словарь
