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

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

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

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

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




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

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



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

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






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

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







    Locations of visitors to this page



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