РАЗРЕШЕНИЯ ПРОБЛЕМА, или: Разрешимости проблема

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

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

Невозможность найти для теории общий разрешающий метод не исключает поиска процедуры разрешения для отдельных классов ее

утверждений.

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




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

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



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

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






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

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







    Locations of visitors to this page



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