разрешения проблема (разрешимости проблема)


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

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


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





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

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



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

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






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

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







    Locations of visitors to this page



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