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

ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ
ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ
    ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ — умозаключение, логическая форма которого гарантирует получение истинного заключения при условии одновременной истинности посылок. В дедуктивном умозаключении между посылками и заключением имеет место отношение следования логического; логическое содержание заключения (т. е. его информация без учета значений нелогических терминов) составляет часть совокупного логического содержания посылок.
    Впервые систематический анализ одной из разновидностей дедуктивных умозаключений — силлогистических умозаключений, посылками и заключениями которых являются атрибутивные высказывания,— был осуществлен Аристотелем в “Первой Аналитике” и существенным образом развит его античными и средневековыми последователями. Дедуктивные умозаключения, основанные на свойствах пропозициональных логических связок, исследовались в школе стоиков и—особенно подробно—в средневековой логике. Были выделены такие важные типы умозаключений, как условно-категорические (modus ponens, modus tollens), разделительно-категорические (modus tollendo ponens, modus ponendo tollens), условноразделительные (лемматические) и др.
    Однако в рамках традиционной логики описывалась лишь небольшая часть дедуктивных умозаключений и отсутствовали точные критерии логической корректности рассуждений. В современной символической логике, благодаря использованию методов формализации, построению логических исчислений и формальных семантик, аксиоматическому методу, исследование дедуктивных умозаключений было поднято на качественно иной, теоретический уровень.
    Средствами современной логической теории удается задать всю совокупность форм правильных дедуктивных умозаключений в рамках определенного формализованного языка. Если теория строится семантически, то переход от формул Ai, Ai, ..., An к формуле В объявляется формой корректного дедуктивного умозаключения при наличии логического следования В из Αι, Αι, „., An, данное отношение обычно определяется так: при любой допустимой в данной теории интерпретации нелогических символов, при которой Ai, Ai,..., An принимают выделенное значение (значение истины), формула В также принимает выделенное значение. В синтаксически построенных логических системах (исчислениях) критерием логической корректности перехода от А, Ai, .... An к В выступает существование формального вывода формулы В из формул Ai, Ai, .. An, осуществляемого в соответствии с правилами данной системы (см. Вывод логический).
    Выбор логической теории, адекватной для проверки дедуктивных умозаключений, обусловливается типом высказываний, входящих в его состав, и выразительными возможностями языка теории. Так, умозаключения, содержащие сложные высказывания, могут анализироваться средствами логики высказываний; при этом внутренняя структура простых высказываний в составе сложных игнорируется. Силлогистика исследует умозаключения из простых атрибутивных высказываний, основанные на объемных отношениях в сфере общих терминов. Средствами логики предикатов выделяются корректные дедуктивные умозаключения на основе учета внутренней структуры простых высказываний самых разнообразных видов. Умозаключения, содержащие модальные высказывания, рассматриваются в рамках систем модальной логики, те, которые содержат овременённые высказывания,—в рамках временной логики и т. д.
    В. И. Маркин

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


.

Игры ⚽ Поможем написать реферат

Полезное


Смотреть что такое "ДЕДУКТИВНОЕ УМОЗАКЛЮЧЕНИЕ" в других словарях:

  • Дедуктивное умозаключение — умозаключение, в котором рассуждение осуществляется в обратном порядке индукции, т.е. от общих фактов к единичному выводу …   Словарь-справочник по философии для студентов лечебного, педиатрического и стоматологического факультетов

  • Дедуктивное умозаключение — Дедукция (лат. deductio  выведение)  метод мышления, при котором частное положение логическим путем выводится из общего, вывод по правилам логики; цепь умозаключений (рассуждений), звенья которой (высказывания) связаны отношением… …   Википедия

  • УМОЗАКЛЮЧЕНИЕ — УМОЗАКЛЮЧЕНИЕ, умозаключения, ср. 1. Логический процесс выведения из двух суждений заключения, силлогизм (филос.). Дедуктивное умозаключение. 2. Заключение, вывод (книжн.). Сделать умозаключение. Правильное умозаключение. Толковый словарь Ушакова …   Толковый словарь Ушакова

  • умозаключение — одна из логических форм мышления (см. также понятие и суждение). У. характеризуется выводом на основе правил логики заключения или следствия из нескольких суждений (посылок). В логике разрабатываются классификации У. Психология …   Большая психологическая энциклопедия

  • умозаключение — я; ср. 1. к Умозаключить умозаключать. Сделать ошибку в умозаключении. Прервать своё у. 2. Лог. Логический вывод из двух или нескольких суждений. Дедуктивное у. // Книжн. Вывод, основанный на рассуждении, размышлении. Сделать одинаковые… …   Энциклопедический словарь

  • Умозаключение — – 1. логический вывод, составленный на основании предварительных суждений (посылок); 2. познавательный процесс, который приводит к такому выводу. * * * одна из логических форм мышления (см. также Понятие). Умозаключение характеризуется выводом на …   Энциклопедический словарь по психологии и педагогике

  • Умозаключение — форма мышления, при которой на основе нескольких суждений делается определенный вывод. Различают индуктивное, дедуктивное и У. по аналогии …   Психолого-педагогический словарь офицера воспитателя корабельного подразделения

  • умозаключение — я; ср. 1) к умозаключить умозаключать. Сделать ошибку в умозаключении. Прервать своё умозаключе/ние. 2) а) лог. Логический вывод из двух или нескольких суждений. Дедуктивное умозаключе/ние. б) …   Словарь многих выражений

  • Индуктивное умозаключение — У этого термина существуют и другие значения, см. Индукция. Индукция (лат. inductio  наведение)  процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки… …   Википедия

  • Индуктивная логика — Индукция (лат. inductio наведение) процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не столько через законы логики, а скорее через некоторые… …   Википедия


Поделиться ссылкой на выделенное

Прямая ссылка:
… Нажмите правой клавишей мыши и выберите «Копировать ссылку»