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

Шерлок Холмс сделался очень популярным персонажем. Появились даже анекдоты о нем и о его создателе.

К примеру, в Риме Конан Дойл берет извозчика, и тот говорит: «А, господин Доил, приветствую вас после вашего путешествия в Константинополь и в Милан!» «Как мог ты узнать, откуда я приехал?» – удивился шерлокхолмсовской проницательности Конан Доил. «По наклейкам на вашем чемодане», – хитро улыбнулся кучер.

Это еще одна дедукция, очень сокращенная и простая. […]

В зависимости от того, насколько широко используется дедуктивная аргументация, все науки принято делить на дедуктивные и индуктивные. Во-первых, используется по преимуществу или даже единственно дедуктивная аргументация. Во-вторых, такая аргументация играет лишь заведомо вспомогательную роль, а на первом месте стоит эмпирическая аргументация, имеющая индуктивный, вероятностный характер. Типично дедуктивной наукой считается математика, образцом индуктивных наук являются естественные науки. Однако деление наук на дедуктивные и индуктивные, широко распространенное еще в начале этого (XX) века, сейчас во многом утратило свое значение. Оно ориентировано на науку, рассматриваемую в статике, как систему надежно и окончательно установленных истин.

Понятие дедукции является общеметодологическим понятием. В логике ему соответствует понятие доказательства.

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

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

В доказательстве различаются тезис – утверждение, которое нужно доказать, и основание, или аргументы, – те утверждения, с помощью которых доказывается тезис. Например, утверждение «Платина проводит электрический ток» можно доказать с помощью следующих истинных утверждений: «Платина – металл» и «Все металлы проводят электрический ток». [….]

По способу проведения доказательства делятся на два вида. При прямом доказательстве задача состоит в том, чтобы найти такие убедительные аргументы, из которых логически вытекает тезис. Косвенное доказательство устанавливает справедливость тезиса тем, что вскрывает ошибочность противопоставляемого ему допущения, антитезиса.

Например, нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести этот тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из этих положений выводим, что сумма углов четырехугольника равна 360°. Еще пример. Нужно доказать, что космические корабли подчиняются действию законов космической механики. Известно, что эти законы универсальны: им подчиняются все тела в любых точках космического пространства. Очевидно также, что космический корабль есть космическое тело. Отметив это, строим соответствующее дедуктивное умозаключение. Оно является прямым доказательством рассматриваемого утверждения.

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

Дата добавления: 2015-07-10