ДЕДУКЦИИ ТЕОРЕМА


ДЕДУКЦИИ ТЕОРЕМА
    ДЕДУКЦИИ ТЕОРЕМА — метатеоретическое утверждение о формальной логической теории (исчислении) Т, в соответствии с которым существование в исчислении Т вывода логического формулы В из называемых гипотезами формул Ai, Ai, ..., А„ (символически: ??. ??, ., АП^-В) означает, что в Т существует также вывод из посылок ??, ??, ..., An-f импликации Аа-*В (символически: Ai, Ai, .... y4„-i ь-Лп—5). Далее дедукции теорема может быть применена снова вплоть до получения утверждения ^-Ai-'-.Ai-*.. .->.Ап.-*.А^В. Теорема дедукции доказуема для исчислений классической логики, в языке которых используется материальная импликация. В общем случае она имеет силу для любых исчислений A—.B-^A и самодистрибутивности импликации (^-”.^-”O-^.A-^B-^.A-'C. Для исчислений, в которых закон утверждения консеквента, нередко объявляемый парадоксальным, не принимается (см. Релевантная логика), нахождение подходящей формулировки теоремы дедукции является проблемой (Сидоренко Е. А. Нормализованные выводы и обобщение теоремы дедукции.—В кн.; Логические исследования, вып. 5. M, 1998).
    В естественных рассуждениях теореме дедукции соответствует способ обоснования истинности условных высказываний вида “Если А, то В”, при котором такое высказывание считается истинным, когда удается установить выводимость В из А и некоторой совокупности предложений Г, истинность которых считается установленной.
    Е. А. Сидоренко

Новая философская энциклопедия: В 4 тт. М.: Мысль. . 2001.


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





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

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



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

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






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

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







    Locations of visitors to this page



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