ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ

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

Впервые систематический анализ одной из разновидностей дедуктивных умозаключений — силлогистических умозаключений, посылками и заключениями которых являются атрибутивные высказывания,— был осуществлен Аристотелем в «Первой Аналитике» и существенным образом развит его античными и средневековыми последователями. Дедуктивные умозаключения, основанные на свойствах пропозициональных логических связок, исследовались в школе стоиков и—особенно подробно—в средневековой логике. Были выделены такие важные типы умозаключений, как условно-категорические (modus ponens, modus tollens), разделительно-категорические (modus tollendo ponens, modus ponendo tollens), условноразделительные (лемматические) и др.

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

Средствами современной логической теории удается задать всю совокупность форм правильных дедуктивных умозаключений в рамках определенного формализованного языка. Если теория строится семантически, то переход от формул Ai, Ai, ..., An к формуле В объявляется формой корректного дедуктивного умозаключения при наличии логического следования В из , , „., An, данное отношение обычно определяется так: при любой допустимой в данной теории интерпретации нелогических символов, при которой Ai, Ai,..., An принимают выделенное значение (значение истины), формула В также принимает выделенное значение. В синтаксически построенных логических системах (исчислениях) критерием логической корректности перехода от А, Ai, .... An к В выступает существование формального вывода формулы В из формул Ai, Ai, .. An, осуществляемого в соответствии с правилами данной системы (см. Вывод логический).

Выбор логической теории, адекватной для проверки дедуктивных умозаключений, обусловливается типом высказываний, входящих в его состав, и выразительными возможностями языка теории. Так, умозаключения, содержащие сложные высказывания, могут анализироваться средствами логики высказываний; при этом внутренняя структура простых высказываний в составе сложных игнорируется. Силлогистика исследует умозаключения из простых атрибутивных высказываний, основанные на объемных отношениях в сфере общих терминов. Средствами логики предикатов выделяются корректные дедуктивные умозаключения на основе учета внутренней структуры простых высказываний самых разнообразных видов. Умозаключения, содержащие модальные высказывания, рассматриваются в рамках систем модальной логики, те, которые содержат овременённые высказывания,—в рамках временной логики и т. д.

В. И. Маркин

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




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

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



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

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






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

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







    Locations of visitors to this page



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