Дедукция

  • Просмотров 5316
  • Скачиваний 539
  • Размер файла 12
    Кб

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

описываются в исчислениях математической логики. В узком смысле слова, принятом в традиционной логике, под термином “дедукция” понимают дедуктивное умозаключение, т. е. такое умозаключение, в результате которого получается новое знание о предмете или группе предметов на основании уже имеющегося некоторого знания об исследуемых предметах и применения к ним некоторого правила логики. Дедуктивное умозаключение, являющееся

предметом традиционной логики, применяется нами всякий раз, когда требуется рассмотреть какое - либо явление на основании уже известного нам общего положения и вывести в отношении этого явления необходимое заключение. Нам известен, например, следующий конкретный факт - “данная плоскость пересекает шар” и общее правило относительно всех плоскостей, пересекающих шар, -“всякое сечение шара плоскостью есть круг”. Применяя это

общее правило к конкретному факту, каждый правильно мыслящий человек необходимо придет к одному и тому же выводу: “значит данная плоскость есть круг”. Ход рассуждения при этом будет таков: если данная плоскость пересекает шар, а всякое сечение шара плоскостью есть круг, то, следовательно, и данная плоскость есть круг. В итоге данного умозаключения получено новое знание о данной плоскости, которого не содержится

непосредственно ни в первой мысли, ни во второй, взятых отдельно друг от друга. Вывод о том, что данная плоскость есть круг”, получен в результате сочетания этих мыслей в дедуктивном умозаключении. Структура дедуктивного умозаключения и принудительный характер его правил, заставляющих с необходимостью принять заключение, логически вытекающее из посылок, отобразили самое распространенные отношения между предметами