Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 48 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 49 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 51 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 52 ЛОГИКА ПРЕДИКАТОВ



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

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

Алфавит Л. п., помимо символов логики высказываний, содержит также символы предметов: предметные переменные (х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) и Р(х) - одноместные предикаты, соответствующие субъекту и предикату суждений.

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

А. Г. Кислов

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




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

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



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

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






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

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







    Locations of visitors to this page



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