ЛОГИКА ПРЕДИКАТОВ

- раздел дедуктивной логики, в котором ведущую роль играет влияние внутренней структуры суждений на логический вывод. Поскольку здесь полностью сохраняется характер связей логики высказываний (см. "Логика высказываний"), то Л. п. можно рассматривать как расширение последней. Классический вариант Л. п. является непосредственным преемником аристотелевской силлогистики, но субъектно-предикативная структура суждений анализируется теперь с большей глубиной

Алфавит Л. п., помимо символов логики высказываний, содержит также символы предметов: предметные переменные (х1, х2, хЗ, ...) и предметные константы (а1, а2, аЗ, ...); символы свойств и отношений: предикатные буквы (P, Q, R ...); функциональные буквы (fl, f2, О, ...); кванторы: V - квантор общности ("для всех") и 3 - квантор существования ("существует").

Дадим определение терма Л. п.: a) всякая предметная переменная или константа есть терм; b) если f - функциональная буква и tl,...,tn - термы, то f(tl, ..., tn) есть терм; c) больше никаких термов, кроме указанных в а) и Ь), нет.

Элементарные формулы Фо получаются посредством применения предикатных букв к термам: P(tl, ..., tn). В зависимости от величины n определяется "местность" функциональных и предикатных букв. Например, P(t) - одноместный предикат (свойство), R(tl, t2) - двухместный предикат (бинарное отношение) и т. д.

Синтаксическая категория формул ? Л. п. определяется так же, как и в логике высказываний, но добавляется следующее положение:

- если А формула и ? - предметная переменная, тоУхАиЭхА - тоже формулы.

Т. о. силлогистика является теорией одноместных предикатов и четыре формы ее суждений приобретают следующий вид: А - V ? (S(x) -" Р(х)) или (-3 ? (S(x) & (^Р(х)))); E - V ? (S(x) -> (ШР(х))) или (-d x (S) & ?(?))); I - ? ? (S(x) & ?(?)) или (-iV ? (S(x) -> (^?(?)))); О - 3 ? (S(x) & (-.P(x))) или (-.V ? (S(x) -> ?(?))), где S(x) и Р(х) - одноместные предикаты, соответствующие субъекту и предикату суждений.

Л. п. невозможно представить в виде алгебраической системы, т. к. процедура определения истинности ее формул, содержащих кванторы, в общем случае заключается в подстановке всех возможных значений предметных переменных. Поскольку предметная область  может быть бесконечной, то и эта процедура может оказаться бесконечной. Л. п. организуется в виде исчисления предикатов, которое содержит аксиомы и правила вывода исчисления высказываний, дополняя их собственными; это исчисление непротиворечиво, полно, но неразрешимо.

А. Г. Кислов

Просмотров: 793
Категория: Словари и энциклопедии » Философия » В. Кемеров. Философская энциклопедия. - "Панпринт", 1998 г.




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

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



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

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






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

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







    Locations of visitors to this page



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