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


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

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


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





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

  • “О НЕОБХОДИМОСТИ И ВОЗМОЖНОСТИ НОВЫХ НАЧАЛ ДЛЯ ФИЛОСОФИИ”
  • “ФИЛОСОФИЯ ДЛЯ ДЕТЕЙ”
  • «ИСКУССТВО ДЛЯ ИСКУССТВА»
  • ГЁДЕЛЯ ТЕОРЕМА
  • гёделя теорема
  • Город для колесниц
  • дедукции теорема
  • ДЛЯ-МЕНЯ-БЫТИЕ
  • ДЛЯ-СЕБЯ-БЫТИЕ
  • Дорога для Рамы
  • жертвенник для курений
  • Загон для овец, овечий хлев
  • Квота для женщин
  • Комплекс испытаний для получения водительских прав (driver's license testing)
  • Кондаков И.М. Методика Для Изучения
  • Конференция Для Священнослужителей Разных Вероисповеданий
  • Кувшин Для Умывания
  • Опросник Для Диагностики Устойчивых Форм
  • полнота логических исчислений
  • ТЕОРЕМА
  • ТЕОРЕМА
  • ТЕОРЕМА ДЕДУКЦИИ
  • ТЕОРЕМА О ДЕДУКЦИИ
  • Теорема Томаса
  • Тесты для отбора кандидатов (selection tests)
  • ТРОН Некоторые астрологи, более склонные к преувеличению, чем к точному соответствию и ясности, говорят о планете на троне, если она находится в знаке, которым управляет. В более древнем и более логичном варианте это планета, расположенная в той част
  • ФИЛОСОФИЯ ДЛЯ ДЕТЕЙ
  • Центральная предельная теорема (central limit theorem)
  • ЧЕЛОВЕК ДЛЯ СЕБЯ. ИССЛЕДОВАНИЕ ПСИХОЛОГИЧЕСКИХ ПРОБЛЕМ ЭТИКИ
  • ЭЛИМИНАЦИОННАЯ ТЕОРЕМА



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

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






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

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







    Locations of visitors to this page



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