Умозаключение
Умозаключение – процедура непосредственного выведения некоторого высказывания из одного или нескольких высказываний. Высказывания, из которых делается вывод, называют посылками, а высказывание, которое выводится из посылок, – заключением. Умозаключение представляет собой познавательный прием, с помощью которого осуществляется преобразование содержащейся в посылках информации.
По степени обоснованности выведения заключения из посылок умозаключения принято делить на демонстративные и недемонстративные. В демонстративных умозаключениях одновременная истинность посылок обеспечивает получение истинного заключения, информация заключения составляет в них часть совокупной информации посылок. В недемонстративных умозаключениях, напротив, при переходе от посылок к заключению имеет место приращение информации, однако одновременная истинность посылок не гарантирует истинности заключения.
Наиболее важной и обширной разновидностью демонстративных умозаключений являются дедуктивные умозаключения. Между их посылками и заключением имеет место отношение , т.е. сама логическая форма этих умозаключений обеспечивает сохранение истинности при выведении заключения из посылок. Хорошо известны такие дедуктивные умозаключения, как однопосылочные выводы силлогистики (обращение, превращение и др.), двухпосылочные простые категорические силлогизмы, многопосылочные силлогистические выводы (сориты), ряд умозаключений, выделяемых в рамках логики высказываний (напр., modus ponens, позволяющий переходить от посылок вида «Если A, то B» и «A» к заключению «B», modus tollendo ponens с посылками вида «А или В» и «Неверно, что А» и заключением «В» и т.п.).
В демонстративных умозаключениях других типов (к ним относятся, напр., математическая индукция, полная индукция, строгая аналогия) достоверность вывода, получаемого из истинных посылок, обусловлена не только логической формой входящих в умозаключение высказываний, но и значениями содержащихся в них дескриптивных терминов, особенностями универсума рассуждения.
Среди недемонстративных наибольший интерес представляют так называемые правдоподобные умозаключения, к которым относятся, напр., обратная дедукция, неполная индукция, нестрогая аналогия, статистические выводы. Правдоподобные умозаключения характеризуются наличием отношения логического подтверждения между посылками и заключением. Наиболее распространена следующая трактовка данного отношения: посылки подтверждают заключение, если и только если логическая вероятность истинности заключения возрастает (но не становится равной единице) при условии одновременной истинности посылок.
Основной сферой применения дедуктивных умозаключений являются точные науки (прежде всего, математика и логика), где особые требования предъявляются к строгости доказательств. Правдоподобные умозаключения, главным образом, используются в эмпирических науках для выдвижения и верификации гипотез, получения законоподобных утверждений, относящихся к исследуемой предметной области.
Рекомендуемая литература
Бочаров В. А., Маркин В. И. Основы логики, М., 1994
Выходные данные:
- Просмотров: 1387
- Комментариев: 0
- Опубликовано: 11.10.2010
- Версий: 4 , текущая: 4
- Статус: экспертная
- Рейтинг: 100.0
Автор:
Маркин Владимир Ильич
- профессор; доктор философских наук
Ссылки отсюда
Персоны:
Бочаров Вячеслав Александрович; Маркин Владимир Ильич;
Произведения:Категории:Детализирующие понятия:Аналогия; Гипотеза; Дедукция; Индукция; Информация; Логическая форма; Логическое следование.
Ссылки сюда
Категории:Детализирующие понятия: