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

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

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

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

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




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

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



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

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






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

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







    Locations of visitors to this page



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