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

Процессы дедукции на строгом уровне описываются в исчислениях математической логики.

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

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

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

Структура дедуктивного умозаключения и принудительный характер его правил, заставляющих с необходимостью принять заключение, логически вытекающее из посылок, отобразили самое распространенные отношения между предметами материального мира: отношения рода, вида и особи, т. е. общего, частного и единичного. Сущность этих отношений заключается в следующем: то, что присуще всем видам данного рода, то присуще и любому виду; то, что присуще всем особям рода, то присуще и каждой особи. Например,что присуще всем видам данного рода, то присуще и любому виду; то, что присуще всем особям рода, то присуще и каждой особи. Например, что присуще всем нервным клеткам(например, способность передавать информацию),то присуще и каждой клетке, если она, конечно, не отмерла. Но это именно и отобразилось в дедуктивном умозаключении: единичное и частное подводится под общее. Миллиарды раз наблюдая в процессе практической деятельности отношения между видом, родом и особью в объективной действительности, человек выработал соответствующую логическую фигуру, приобретающую затем статус правила дедуктивного умозаключения.

Дедукция играет большую роль в нашем мышлении. Во всех случаях, когда конкретный факт мы подводим под общее правило и затем из общего правила выводим какое-то заключение в отношении этого конкретного факта, мы умозаключаем в форме дедукции. И если посылки истинны, то правильность вывода будет зависеть от того, насколько строго мы придерживались правил дедукции, в которых отобразились закономерности материального мира, объективные связи и отношения всеобщего и едентичного. Известную роль дедукция играет во всех случаях, когда требуется проверить правильность построения наших рассуждений. Так, чтобы удостовериться в том, что заключение действительно вытекает из посылок, которые иногда даже не все высказываются, а только подразумеваются, мы придаем дедуктивному рассуждению форму силлогизма: находим большую посылку, подводим под нее меньшую посылку и затем выводим заключение. При этом обращаем внимание на то ,насколько в умозаключении соблюдены правила силлогизма. Применение дедукции на основе формализации рассуждений облегчает нахождение логических ошибок и способствует более точному выражению мысли.

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

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

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

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

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

В дальнейшем развитии английской философии индукция все больше превозносилась за счет дедукции. Бэконовская логика выродилась в одностороннюю индуктивную, эмпирическую логику, главными представителями которой были В. Уэвель и Д. С. Милль. Они отбросили слова Бэкона о том, что философ не должен уподобляться эмпирику - муравью, но и не походить на паука - рационалиста, которой из собственного разума ткет хитрую философскую паутину. Они забыли, что, по Бэкену, философ должен быть подобен пчеле, которая собирает дань в полях и лугах и затем вырабатывает из нее мед.