Дедуктивный метод | это... Что такое Дедуктивный метод? (original) (raw)

Дедуктивный метод

Дедуктивный метод

Дедукция (лат. 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 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.

Полезное

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