ЛОГИКА ПРЕДИКАТОВ, или Функциональная логика, теория квантификации, кванторная логика

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

В Л. п. - в дополнение к средствам логики высказываний -вводятся логические операторыо ("для всех") и ( ("для некоторых" или "существует"), называемые кванторами общности и существования соответственно. Для выявления субъектно-предикатной структуры высказываний вводится бесконечный перечень индивидных переменных: х, у, z, ..., х1, у1, zl, ..., представляющих различные объекты, и бесконечный перечень предикатных переменных: Р, Q, R, ..., Р1, Q1, Л1, ..., представляющих свойства и отношения объектов. Индивидные переменные принимают значения в произвольной (непустой) области; наряду с этими переменными могут вводиться индивидные константы, или имена собственные.

Запись (Зх)Р (х) означает "Всякий х обладает свойством Р"; ((х)Р(х) - "Некоторые х обладают свойством Р"; ($x)Q(xy) - "Существует х, находящийся в отношении Q с у" и т. п. Индивидная переменная, входящая в область действия квантора по этой переменной, называется связанной; переменная, не являющаяся связанной, называется свободной. Так, во всех трех приведенных формулах переменная х связана, в последней формуле переменная у свободна. Подлинной переменной является только свободная переменная: вместо нее можно подставить одно из ее значений и получить осмысленное выражение. Связанные переменные называются фиктивными.

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

Для Л. п. доказан ряд важных теорем, характеризующих ее основные свойства (см.: Непротиворечивость, Полнота, Разрешимость теории).

Просмотров: 1146
Категория: Словари и энциклопедии » Философия » А. Ивин, А. Никифорович. Словарь по логике, 1998 г.




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

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



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

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






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

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







    Locations of visitors to this page



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