ИСЧИСЛЕНИЕ КЛАССОВ

— формальная теория,  В которой описываются булевы соотношения (операции) между классами (множествами) объектов. Исчисление классов составляет часть более общей теории — множеств теории. К числу основных булевых операций относятся операции пересечения, объединения и взятия дополнения. Они обозначаются, соответственно, знаками « », « », « » и (на языке элементарной логики) определяются следующим образом: xeAnB=dfXeA&xeB, xeAuBS(jyXeAvxe B, хе А5=д.-,(хб А).

Остальные операции, напр. вычитание и симметрическая разность, определяются через основные. Кроме того, с помощью определений можно задать пустой класс: 0 s д. А п А и универсальный — l s д. А и А, а также ввести отношение включения класса в класс — АсВ=(уАпВ=А.

Исчисление классов является одной из конкретных реализации булевой алгебры (см. Алгебра логики). Последняя является непротиворечивой, полной и разрешимой теорией, в силу чего эти же свойства верны и для исчисления классов. В качестве модели исчисления классов обычно принимается множество всех подмножеств некоторого множества. Для наглядного представления операций над классами часто используют круги Эйлера или диаграммы Вечна. При рассмотрении двухэлементной булевой алгебры ее реализациями являются двухэлементная логика классов,  в которой имеются только универсальный и пустой классы, а также классическая факторалгебра высказываний и теория контактных сетей.

Исчисление классов эквивалентно одноместному исчислению предикатов (см. Логика предикатов), а также т. н. расширенной аристотелевской силлогистике.

В. А. Бочаров

Просмотров: 1034
Категория: Словари и энциклопедии » Философия » Новая философская энциклопедия, 2003 г.




Другие новости по теме:

  • «РАЗУМНЫЕ МЫСЛИ О БОГЕ, МИРЕ И ДУШЕ ЧЕЛОВЕКА, А ТАКЖЕ О ВСЕХ ВЕЩАХ ВООБЩЕ»
  • БОРЬБА КЛАССОВ
  • Включения классов операция
  • Динамическое исчисление
  • ИСЧИСЛЕНИЕ
  • ИСЧИСЛЕНИЕ
  • ИСЧИСЛЕНИЕ
  • Исчисление
  • ИСЧИСЛЕНИЕ БЕСКОНЕЧНО МАЛЫХ ВЕЛИЧИН
  • ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ
  • ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЯ (пропозициональное исчисление)
  • ИСЧИСЛЕНИЕ КЛАССОВ
  • ИСЧИСЛЕНИЕ ЛОГИЧЕСКОЕ
  • ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
  • ИСЧИСЛЕНИЕ ПРЕДИКАТОВ
  • ИСЧИСЛЕНИЕ СЕКВЕНЦИЙ
  • КЛАССОВ ИСЧИСЛЕНИЕ
  • КЛАССОВ СБЛИЖЕНИЕ
  • КОНКРЕТНЫХ ОПЕРАЦИЙ, СТАДИЯ (или УРОВЕНЬ, или ПЕРИОД)
  • ЛОГИКА ВЫСКАЗЫВАНИЙ, или ПРОПОЗИЦИОНАЛЬНАЯ ЛОГИКА
  • ЛОГИКА КЛАССОВ
  • ЛОГИКА КЛАССОВ
  • ЛОГИКА ПРЕДИКАТОВ
  • ЛОГИКА ПРЕДИКАТОВ
  • ЛОГИКА ПРЕДИКАТОВ, или Функциональная логика, теория квантификации, кванторная логика
  • ЛОГИЧЕСКОЕ ИСЧИСЛЕНИЕ
  • ОБЪЕДИНЕНИЕ (СЛОЖЕНИЕ) КЛАССОВ (МНОЖЕСТВ)
  • ПАРАДОКСЫ (логики и теории множеств)
  • ПЕРЕСЕЧЕНИЕ КЛАССОВ (МНОЖЕСТВ)
  • Универсальный класс



  • ---
    Разместите, пожалуйста, ссылку на эту страницу на своём веб-сайте:

    Код для вставки на сайт или в блог:       
    Код для вставки в форум (BBCode):       
    Прямая ссылка на эту публикацию:       






    Данный материал НЕ НАРУШАЕТ авторские права никаких физических или юридических лиц.
    Если это не так - свяжитесь с администрацией сайта.
    Материал будет немедленно удален.
    Электронная версия этой публикации предоставляется только в ознакомительных целях.
    Для дальнейшего её использования Вам необходимо будет
    приобрести бумажный (электронный, аудио) вариант у правообладателей.

    На сайте «Глубинная психология: учения и методики» представлены статьи, направления, методики по психологии, психоанализу, психотерапии, психодиагностике, судьбоанализу, психологическому консультированию; игры и упражнения для тренингов; биографии великих людей; притчи и сказки; пословицы и поговорки; а также словари и энциклопедии по психологии, медицине, философии, социологии, религии, педагогике. Все книги (аудиокниги), находящиеся на нашем сайте, Вы можете скачать бесплатно без всяких платных смс и даже без регистрации. Все словарные статьи и труды великих авторов можно читать онлайн.







    Locations of visitors to this page



          <НА ГЛАВНУЮ>      Обратная связь