Метод дедукции

Метод дедукции

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

Смотреть что такое "Метод дедукции" в других словарях:

  • метод дедукции — dedukcijos metodas statusas T sritis fizika atitikmenys: angl. deductive method vok. deduktive Methode, f rus. дедуктивный метод, m; метод дедукции, m pranc. méthode de déduction, f …   Fizikos terminų žodynas

  • Метод — специальный путь исследования какого либо предмета.Обыкновенно принимают два основных М. аналитический (разлагающийисследуемый предмет на простейшие части) и синтетический (соединяющийотдельные элементы в одно целое). Такое словоупотребление,… …   Энциклопедия Брокгауза и Ефрона

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

  • Метод — специальный путь исследования какого либо предмета. Обыкновенно принимают два основных М. аналитический (разлагающий исследуемый предмет на простейшие части) и синтетический (соединяющий отдельные элементы в одно целое). Такое словоупотребление,… …   Энциклопедический словарь Ф.А. Брокгауза и И.А. Ефрона

  • дедуктивный метод — dedukcijos metodas statusas T sritis fizika atitikmenys: angl. deductive method vok. deduktive Methode, f rus. дедуктивный метод, m; метод дедукции, m pranc. méthode de déduction, f …   Fizikos terminų žodynas

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

  • ГИПОТЕТИКО-ДЕДУКТИВНЫЙ МЕТОД — метод научного познания и рассуждения, основанный на выведении (дедукции) заключений из гипотез и др. посылок, истинностное значение которых неизвестно. Поскольку в дедуктивном рассуждении значение истинности переносится на заключение, а… …   Философская энциклопедия

  • аксиоматический метод — способ построения научной теории в виде системы аксиом (постулатов) и правил вывода (аксиоматики), позволяющих путём логической дедукции получать утверждения (теоремы) данной теории. * * * АКСИОМАТИЧЕСКИЙ МЕТОД АКСИОМАТИЧЕСКИЙ МЕТОД, способ… …   Энциклопедический словарь

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

  • АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД —     АНАЛИТИЧЕСКИХ ТАБЛИЦ МЕТОД разрешающий метод для проблемы общезначимости формул классической, интуиционистской и модальной (система S4) логики высказываний. В сочетании с некоторыми дополнительными приемами этот метод применим и для… …   Философская энциклопедия

Книги

Другие книги по запросу «Метод дедукции» >>


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

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