Дедукция играет большую роль в нашем мышлении. Во всех случаях, когда конкретный факт мы подводим под общее правило и затем из общего правила выводим какое-то заключение в отношении этого конкретного факта, мы умозаключаем в форме дедукции. И если посылки истинны, то правильность вывода будет зависеть от того, насколько строго мы придерживались дедуктивных правил. Известную роль дедукция играет во всех случаях, когда требуется проверить правильность построения наших рассуждений. Применение дедукции на основе формализации рассуждений облегчает нахождение логических ошибок и способствует более точному выражению мысли. Впервые теория дедукции была обстоятельно разработана Аристотелем. Он выяснил требования, которым должны отвечать отдельные мысли, входящие в состав дедуктивного умозаключения, определил значение терминов и раскрыл правила некоторых видов дедуктивных умозаключений. Оценку дедукции и ее роли в процессе познания осуществлял Декарт. Он считал, что к познанию вещей человек приходит двумя путями: путем опыта и дедукции. Но опыт часто вводит нас в заблуждение, тогда как дедукция, или, как говорил Декарт, чистое умозаключение от одной вещи через посредство другой избавлено от этого недостатка. Исходные положения для дедукции, с точки зрения Декарта, в конечном счете, дает интуиция, или способность внутреннего созерцания, благодаря которой человек познает истину без участия логической деятельности сознания. Таким образом, исходные положения дедукции являются очевидными истинами благодаря тому, что составляющие их идеи "врожденны" нашему разуму. Классическая аристотелевская логика начала уже формализовать дедуктивный вывод. Дальше эту тенденцию продолжила математическая логика. Под термином дедукция в узком смысле слова понимают также следующее. 1. Метод исследования, при котором для того, чтобы получить новое знание о предмете или группе однородных предметов, надо, во-первых, найти ближайший род, в который входят эти предметы, и, во-вторых, применить к ним соответствующий закон, присущий всему данному роду предметов; переход от знания более общих положений к знанию менее общих положений. Дедуктивный метод играет огромную роль в математике. Известно, что все доказуемые предложения, т.е. теоремы, выводятся логическим путем с помощью дедукции из небольшого конечного числа исходных начал, недоказуемых в рамках данной системы и называемых аксиомами. 2. Форма изложения материала в книге, лекции, докладе, беседе, когда от общих положений, правил, законов идут к менее общим положениям, правилам, законам. — 136 —
|