логика классов


логика классов
раздел математической логики, соответствующий узкому исчислению одноместных предикатов, которые заменяются объемами, классами. Л. к. соответствует и силлогистике Аристотеля. Иногда Л. к. рассматривается как формализованная теория множеств, в других случаях - как расширение логики высказываний. Если в логике высказываний отвлекаются от связей между субъектом и предикатом высказывания, то в Л. к. эти связи учитываются. В число классов в Л. к. включается и пустой класс (0), содержащий нулевое множество элементов, и универсальный класс (1), включающий все объекты рассматриваемой области. С классами можно производить операции пересечения, объединения и дополнения. К алфавиту логики высказываний в Л.к. добавляются переменные а, b, с, ... для классов; знаки, обозначающие операции с классами; постоянные термы 0 и 1 и знаки для обозначения отношений между классами. Далее дается индуктивное определение терма и класса. Вводятся отношение включения класса в класс (аb) (а включается в класс b), отношение равенства двух классов (а=b). Оба эти отношения могут быть определены через отношение принадлежности элемента классу (аIb).
Элементарные формулы в Л. к. имеют вид: иIv, u=v, где и и v - термы. Если формула Р является истинной, то это означает, что она истинна для любых классов области, являющихся значениями переменных, входящих в формулу Р. Если она истинна в любых областях, то она тождественно-истинна. Так, формула (a C b I a) гласит, что всякий элемент, содержащийся в обоих классах а и b, содержится и в классе а. Эта формула истинна не только для любых классов а и b данной области D, но и для всяких классов любой области D.
Таблицы истинности, соответствующие возможным значениям для термов (u C v), (U E V), U', (и E v), (u= v), будут совпадать соответственно с таблицами конъюнкции, дизъюнкции, отрицания, импликации, эквивалентности. Четыре Аристотелевы формы элементарных высказываний - общеутвердительного А, частноутвердительного I, общеотрицательного Е, частноотрицательного О (см.: Суждение) - могут быть соответственно выражены так: и I v ("Все и суть v"); логика классов(и I v') ("Некоторые и суть v", т. е. "Неверно, что все и суть не-v"); (иIv') ("Никакое и не есть v", т. е. "Всякое и есть не -v"); логика классов(иEv) (Некоторые и не суть v", т. е. "Неверно, что все и суть v").

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


Просмотров: 1183
Категория: Словари и энциклопедии » Философия » Словарь логики





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

  • «ИСКУССТВО ДЛЯ ИСКУССТВА»
  • «ЧТО ТАКОЕ ДРУЗЬЯ НАРОДА И КАК ОНИ ВОЮЮТ ПРОТИВ СОЦИАЛДЕМОКРАТОВ»
  • БОРЬБА КЛАССОВ
  • ДЛЯ-МЕНЯ-БЫТИЕ
  • ДЛЯ-СЕБЯ-БЫТИЕ
  • Дорога для Рамы
  • жертвенник для курений
  • ИСЧИСЛЕНИЕ КЛАССОВ
  • Квота для женщин
  • КЛАСС "В СЕБЕ" И КЛАСС "ДЛЯ СЕБЯ"
  • КЛАСС «В СЕБЕ» И КЛАСС «ДЛЯ СЕБЯ»
  • Класс, Множество (В Логике И Математике)
  • КЛАССОВ ИСЧИСЛЕНИЕ
  • классов объединение
  • классов пересечение
  • классов сложение
  • Кувшин Для Умывания
  • логика высказываний
  • ЛОГИКА ВЫСКАЗЫВАНИЙ
  • логика высказываний
  • ЛОГИКА КЛАССОВ
  • Объединение (Сложение) Классов (Множеств)
  • один суть все
  • отношение включения класса в класс
  • Отношение Принадлежности Элемента Классу (МноженСтву)
  • отношение принадлежности элемента классу (множеству)
  • Пересечение Классов (Множеств)
  • Такие подростки, как правило, зависимы от своих родителей и для них характерны социальная и психологическая незрелость и социальная изоляция.
  • ТРОН Некоторые астрологи, более склонные к преувеличению, чем к точному соответствию и ясности, говорят о планете на троне, если она находится в знаке, которым управляет. В более древнем и более логичном варианте это планета, расположенная в той част
  • Что значит быть летучей мышью?



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

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






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

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







    Locations of visitors to this page



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