Дедуктивные умозаключения

Дедуктивные умозаключения

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

Содержание

Разделительно-категорические умозаключения

Умозаключения, в которых одна из предпосылок является разделительным суждением, а вторая совпадает с одним из членов дизъюнктивного суждения (1) или отрицает все кроме одного (2). В заключении, соответственно, отрицаются все члены кроме указанного во второй предпосылке (1) или утверждается пропущенный член (2).

Формы правильных модусов разделительно-категорических заключений

  1. утверждающе-отрицающий модус (лат. modus ponendo-tollens): \frac{A \lor B \lor C ..., B}{\neg A, \neg C ...}
  2. отрицающе-утверждающий модус (лат. modus tollendo-ponens): \frac{A \lor B \lor C ..., \neg A \neg C ...}{B}

Условные умозаключения

Умозаключения, посылки и заключения которых — условные суждения.

  • контрапозиция: \frac{A \supset B}{\neg B \supset \neg A}
  • сложная контрапозиция: \frac{(A \land B) \supset C}{(A \land \neg C) \supset \neg B}
  • транзитивность: \frac{A \supset B, B \supset C}{A \supset C}

Дилеммы

Особый вид умозаключений из двух условных суждений и одного разделительного.

Виды правильных дилемм

  • конструктивные:
\frac{A \supset C, B \supset C, A \lor B}{C}
\frac{A \supset B, C \supset D, A \lor C}{B \lor D}(сложная)
  • деструктивные:
\frac{A \supset B, A \supset C, \neg B \lor \neg C}{\neg A}
\frac{A \supset B, C \supset D, \neg B \lor \neg D}{\neg A \lor \neg C}(сложная)


См. также


Wikimedia Foundation. 2010.

Смотреть что такое "Дедуктивные умозаключения" в других словарях:

  • ДОКАЗАТЕЛЬСТВО — рассуждение, устанавливающее истинность к. л. утверждения путем приведения др. утверждений, истинность которых уже установлена. В Д. различаются тезис утверждение, которое нужно доказать, и основание, или аргументы, те утверждения, с помощью… …   Философская энциклопедия

  • УМОЗАКЛЮЧЕНИЕ — мыслительный процесс, в ходе которого из одного или нескольких суждений, называемых посылками, выводится новое суждение, называемое заключением, или следствием. У. обычно подразделяют на дедуктивные и индуктивные. Заключения дедуктивных У., если… …   Философская энциклопедия

  • ДЕДУКЦИЯ — (от лат. deductio выведение) переход от посылок к заключению, опирающийся на логический закон, в силу чего заключение с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок… …   Философская энциклопедия

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

  • прогнозирование —         ПРОГНОЗИРОВАНИЕ (от греч. prognosis предузнавание) рассуждение, направляемое вопросом: «Какое событие (явление, ситуация, свойство, процесс) возможно, если имеет место ситуация q?».         Термин «П.» традиционно связывали с терминами… …   Энциклопедия эпистемологии и философии науки

  • ДЖЕВОНС — (Jevons) Уильям Стенли (род. 1 сент. 1835, Ливерпуль – ум. 13 авг. 1882, близ Хастингса, Суссекс) – англ, логик, экономист и философ, последователь Джорджа Буля. Джевонс – создатель системы логики, основанной на принципе замещения равных,… …   Философская энциклопедия

  • дискурсивное мышление — Этимология. Происходит от лат. discursus рассуждение. Категория. Форма мышления. Специфика. Происходит последовательных перебор различных вариантов решения задачи, чаще всего на основе связного логического рассуждения, где каждый последующий шаг… …   Большая психологическая энциклопедия

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

  • Бродский, Иосиф Нусимович — (19.11.1924 07.12.1994) спец. по логике; д р филос. наук, проф. Род. в Харькове. Окончил филос. ф т ЛГУ (1948). В том же году был принят в асп. по кафедре логики. Канд. дисс. "Отражение диалектики общего и отдельного в понятии и… …   Большая биографическая энциклопедия

  • Серебрянников, Олег Федорович — (04.08.1930 12.07.1991) спец. в обл. символической логики и ме тодол. науки; д р филос. наук, проф. Род. и умер в Ленинграде. В 1954 окончил филос. ф т ЛГУ, работал в библиотеке ун та и на филос. ф те. В 1959 окончил асп. Канд. дисс. по логике… …   Большая биографическая энциклопедия

Книги



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

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