АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД

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

Построение аналитической таблицы для некоторой формулы А начинается с предположения о ее ложности. Далее по правилам построения осуществляется сведение этого предположения к все более простым условиям ложности А в виде выражений ТВ («истинно В») и FB («ложно В»), называемых отмеченными формулами (далее «ТГ-формулы»), где В— формула соответствующей системы. В случае общезначимости А процесс редукции приводит к противоречию.

Правила построения аналитических таблиц специфичны для каждой системы, а также зависят от способа их построения. Имеются два таких способа: в виде дерева, или множества столбцов (когда ветви дерева рассматриваются как столбцы), и в виде последовательности семейств множеств ТУ-формул, называемых конфигурациями.

Просмотров: 1030
Категория: Словари и энциклопедии » Философия » Новая философская энциклопедия, 2003 г.




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

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



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

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






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

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







    Locations of visitors to this page



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