Воплощение живого и гибкого ума Шерлок Холмс – вымышленный персонаж. Его прототип Джозеф Белл был врачом и наставником Конан Дойла. Навыки дедуктивного мышления будут полезны не только сыщикам – журналисты, диагносты, исследователи – каждый найдет применение методу в своей профессии.
В логике, науке о правильном мышлении, есть два вида умозаключений - дедукция и индукция. Слово «дедукция» образовалось от латинского deductio, что означает «выведение». Дедукция - это метод мышления, при котором логическим путем, в результате цепочки умозаключений, из общего положения выводится частное. То есть это вид рассуждений от общего к частному.
Термин «дедукция» еще не так давно был известен только узкому кругу специалистов, но благодаря герою детективных романов Артура Конан Дойля , которого называли мастером дедуктивного метода, о дедукции узнал весь мир.
Шерлок Холмс, отталкиваясь от общего - полной картины преступления с возможными его участниками, шел к частному - рассматривал каждого, кто мог его совершить, изучал мотивы, возможности, поведение, и путем логических умозаключений определял преступника, предъявляя ему неоспоримые доказательства.
- все металлы способны проводить ток;
- серебро - это металл;
- следовательно, серебро тоже проводит ток.
Методу дедукции противостоит метод индукции - когда вывод делается на основе рассуждений, идущих от частного к общему. Например:
- реки Енисей Иртыш и Лена текут с юга на север;
- реки Енисей, Иртыш и Лена - сибирские реки;
- следовательно, все сибирские реки текут с юга на север.
Разумеется, это упрощенные примеры дедукции и индукции. Умозаключения должны опираться на опыт, знания и конкретные факты. В противном случае не удалось бы избежать обобщений и сделать ошибочные выводы. Например, «Все мужчины - обманщики, значит ты тоже обманщик». Или «Вова лентяй, Толик лентяй и Юра лентяй, значит все мужчины - лентяи».
В повседневной жизни мы пользуемся простейшими вариантами дедукции и индукции, даже не догадываясь об этом. Например, увидев растрепанного человека, который несется сломя голову, мы думаем - наверно, он куда-то опаздывает. Или глянув утром в окно и заметив, что асфальт усыпан мокрыми листьями, мы можем предположить, что ночью шел дождь и был сильный ветер. Мы говорим ребенку, чтобы он в будний день не сидел допоздна, потому что предполагаем, что тогда он проспит школу, не позавтракает и пр.
Как можно применить дедукцию на практике?
Судя по тому, как с помощью дедуктивного метода распутывает детективные истории Шерлок Холмс, его могут взять на вооружение следователи, юристы, сотрудники правоохранительных органов. Впрочем, владение дедуктивным методом пригодится в любой сфере деятельности: студенты смогут быстрее понять и лучше запомнить материал, менеджеры или врачи - принять единственно правильное решение и пр.
Наверно, нет такой области человеческой жизни, где дедуктивный метод не сослужил бы службу. С его помощью можно делать выводы об окружающих людях, что важно при построении взаимоотношений с ними. Он развивает наблюдательность, логическое мышление, память и просто заставляет думать, не давая мозгу состариться раньше времени. Ведь наш мозг нуждается в тренировках не меньше, чем наши мышцы.
Как развить дедукцию?
Дедукция – медленное мышление, которое основывается на осознанном формировании оценок и выводов. Его использовал тот же Шерлок Холмс. Мы же нередко даем оценку каким-либо событиям или людям, используя быстрое мышление, которое реагирует мгновенно и часто заставляет нас принимать ошибочные решения.
Приобрести навыки медленного мышления можно, если его постоянно тренировать. Для этого нужно:
1. Решать задачи
Это могут быть задачи по физике, математике, химии, ведь в процессе интеллектуальной деятельности как раз и происходит тренировка медленного мышления. Правда, придется восстановить подзабытые школьные знания этих предметов, а если у кого-то еще со школьных времен сохранилась нелюбовь к точным наукам и разным задачкам, можно воспользоваться книгами с головоломками, специально подобранными для развития логического мышления. Его развитию также способствуют покер и шахматы.
2. Расширять кругозор
Глубокие знания в различных областях культуры, науки, искусства и т. д., а также широкий кругозор позволят стать всесторонне развитой личностью, которая будет строить свои умозаключения, опираясь на знания и опыт, а не на догадки. Здесь неоценимую услугу окажут энциклопедии, словари, справочники, книги и фильмы, путешествия.
3. Проявлять дотошность
Можно взяться за изучение какого-то одного предмета или факта, но сделать это тщательно и всесторонне. Такой факт или предмет должен вызывать эмоциональный отклик и интерес, только тогда будет результат. Например, читая книгу или просматривая фильм, нужно обращать внимание на разные детали во внешности и поведении героев, чтобы попытаться предугадать дальнейший ход событий. Такие эксперименты лучше всего проводить с книгами или фильмами детективного жанра.
4. Развивать гибкость мышления
Решив задачу или проблему одним способом, следует попытаться найти другие пути решения, посмотрев на них с иного ракурса или с иной точки зрения. Чтобы выбрать оптимальный вариант, стоит прислушаться к мнению других людей и рассмотреть их версии. Ваши опыт и знания плюс опыт и знания других людей, наличие нескольких вариантов помогут сделать единственно верное умозаключение.
5. Быть наблюдательным
В разговоре с другими людьми стоит не только слушать, но и смотреть: отмечать их жесты, мимику, тембр голоса, интонацию. Таким образом можно будет распознать намерения человека и понять, насколько он правдив, дружелюбен и искренен.
Развивать наблюдательность можно, рассматривая посторонних людей на улице и мысленно угадывая, где они работают, куда идут, их семейное положение, привычки и характер. (Конечно, это стоит делать незаметно - вряд ли кому-то понравится, что его разглядывают.) Наблюдая за тем, какие у человека руки, цвет лица, прическа, обувь, сумка и т. д., можно предположить, какие у него привычки, предпочтения, чем он занимается, хотя сам он не произнесет ни слова.
6. Развивать произвольное и непроизвольное внимание
Это необходимо для того, чтобы уметь не упускать из внимания важные детали, правильно их толковать и не отвлекаться на посторонние предметы. Непроизвольное внимание - это своего рода боковое зрение. Для его тренировки необходимо наблюдать за привычными предметами в непривычной обстановке. Например, при другом освещении или звуковом фоне.
Произвольное внимание - это способность сосредоточиться на одном объекте, ни на что не отвлекаясь. Известно, что обычно человек удерживает внимание на одном объекте не больше 20 минут. Шерлоку Холмсу, например, сосредоточиться помогали одиночество, трубка и игра на скрипке.
7. Совмещать дедукцию и индукцию
Например, в больницу поступает пациент с диагнозом «язва желудка». Для его подтверждения врач смотрит, присутствуют ли все симптомы, характерные для этого заболевания, и после этого подтверждает или отрицает диагноз. И наоборот: в поликлинику приходит человек, который жалуется на боли в желудке, изжогу, отсутствие аппетита и пр. - и врач, собрав воедино все симптомы, ставит диагноз.
Эти простые примеры еще раз доказывают, что для успешного пользования разными методами мышления необходимо располагать немалыми знаниями и опытом.
«По одной капле воды... человек, умеющий мыслить логически, может сделать вывод о существовании Атлантического океана или Ниагарского водопада, даже если он не видал ни того ни другого и никогда о них не слыхал... По ногтям человека, по его рукам, обуви, сгибу брюк на коленях, по утолщениям кожи на большом и указательном пальцах, по выражению лица и обшлагам рубашки – по таким мелочам нетрудно угадать его профессию. И можно не сомневаться, что все ϶ᴛᴏ, вместе взятое, подскажет сведущему наблюдателю верные выводы»,
Это цитата из программной статьи самого знаменитого в мировой литературе сыщика-консультанта Шерлока Холмса. Исходя из мельчайших деталей, он строил логически безупречные цепи рассуждений и раскрывал запутанные преступления, причем зачастую не выходя из ϲʙᴏей квартиры на Бейкер-стрит. Холмс использовал созданный им самим дедуктивный метод, ставящий, как полагал его друг доктор Уотсон, раскрытие преступлений на грань точной науки.
Конечно, Холмс несколько преувеличивал значение дедукции в криминалистике, но его рассуждения о дедуктивном методе сделали ϲʙᴏе дело. «Дедукция» из специального и известного только немногим термина превратилась в общеупотребительное и даже модное понятие. Популяризация искусства правильного рассуждения, и прежде всего дедуктивного рассуждения, – не меньшая заслуга Холмса, чем все раскрытые им преступления. Ему удалось «придать логике прелесть грезы, пробирающейся сквозь хрустальный лабиринт возможных дедукций к единственному сияющему выводу» (В.Набоков)
Определения дедукции и индукции
Дедукция – ϶ᴛᴏ частный случай умозаключения.
В широком смысле умозаключение – логическая операция, в результате кᴏᴛᴏᴩой из одного или нескольких принятых утверждений (посылок) получается новое утверждение – заключение (вывод, следствие)
Учитывая зависимость от того, существует ли между посылками, и заключением связь логического следования, можно выделить два вида умозаключений.
В дедуктивном умозаключении эта связь опирается на логический закон, в силу чего заключение с логической необходимостью вытекает из принятых посылок. Отличительная особенность такого умозаключения в том, что оно от истинных посылок всегда ведет к истинному заключению.
В индуктивном умозаключении связь посылок и заключения опирается не на закон логики, а на некᴏᴛᴏᴩые фактические или психологические основания, не имеющие чисто формального характера. В таком умозаключении заключение не следует логически из посыпок и может содержать информацию, отсутствующую в них. Достоверность посылок не означает по϶ᴛᴏму достоверности выведенного из них индуктивно утверждения. Индукция дает только вероятные, или правдоподобные, заключения, нуждающиеся в дальнейшей проверке.
К дедуктивным ᴏᴛʜᴏϲᴙтся, к примеру, такие умозаключения:
В случае если идет дождь, земля будет мокрой.
Идет дождь.
Земля мокрая.
В случае если гелий металл, он электропроводен.
Гелий не электропроводен.
Гелий не металл.
Черта, отделяющая посылки от заключения, заменяет слово «следовательно».
Примерами индукции могут служить рассуждения:
Аргентина будет республикой; Бразилия – республика;
Венесуэла – республика; Эквадор – республика.
Аргентина, Бразилия, Венесуэла, Эквадор – латиноамериканские государства.
Все латиноамериканские государства будут республиками.
Италия – республика; Португалия – республика; Финляндия – республика; Франция – республика.
Италия, Португалия, Финляндия, Франция – западноевропейские страны.
Все западноевропейские страны будут республиками.
Индукция не дает полной гарантии получения новой истины из уже имеющихся. Максимум, о кᴏᴛᴏᴩом можно говорить, – ϶ᴛᴏ определенная степень вероятности выводимого утверждения. Так, посылки и первого и второго индуктивного умозаключения истинны, но заключение первого из них истинно, а второго – ложно. Действительно, все латиноамериканские государства – республики; но среди западноевропейских стран имеются не только республики, но и монархии, например Англия, Бельгия и Испания.
Особенно характерными дедукциями будут логические переходы от общего знания к частному типа:
Все люди смертны.
Все греки люди.
Следовательно, все греки смертны.
Во всех случаях, когда требуется рассмотреть какие-то явления на основании уже известного общего правила и вывести в отношении данных явлений необходимое заключение, мы умозаключаем в форме дедукции. Рассуждения, ведущие от знания о части предметов (частного знания) к знанию обо всех предметах определенного класса (общему знанию), – ϶ᴛᴏ типичные индукции. Всегда остается вероятность того, что обобщение окажется поспешным и необоснованным («Наполеон – полководец; Суворов – полководец; значит, каждый человек полководец»)
Нельзя вместе с тем отождествлять дедукцию с переходом от общего к частному, а индукцию – с переходом от частного к общему. В рассуждении «Шекспир повествовал сонеты; следовательно, неверно, что Шекспир не повествовал сонетов» есть дедукция, но нет перехода от общего к частному. Рассуждение «В случае если алюминий пластичен или глина пластична, то алюминий пластичен» будет, как принято думать, индуктивным, но в нем нет перехода от частного к общему. Дедукция – ϶ᴛᴏ выведение заключений, столь же достоверных, как и принятые посылки, индукция – выведение вероятных (правдоподобных) заключений. К индуктивным умозаключениям ᴏᴛʜᴏϲᴙтся как переходы от частного к общему, так и аналогия, методы установления причинных связей, подтверждение следствий, целевое обоснование и т.д.
Тот особый интерес, кᴏᴛᴏᴩый пробудет к дедуктивным умозаключениям, понятен. Стоит заметить, что они позволяют из уже имеющегося знания получать новые истины, и притом с помощью чистого рассуждения, без обращения к опыту, интуиции, здравому смыслу и т.п. Дедукция дает стопроцентную гарантию успеха, а не просто обеспечивает ту или иную – быть может, и высокую – вероятность истинного заключения. Отправляясь от истинных посылок и рассуждая дедуктивно, мы обязательно во всех случаях получим достоверное знание.
Подчеркивая важность дедукции в процессе развертывания и обоснования знания, не следует, однако, отрывать ее от индукции и недооценивать последнюю. Почти все общие положения, включая и научные законы, будут результатами индуктивного обобщения. В контексте этого индукция – основа нашего знания. Сама по себе она не гарантирует его истинности и обоснованности, но она порождает предположения, связывает их с опытом и тем самым сообщает им определенное правдоподобие, более или менее высокую степень вероятности. Уместно отметить, что опыт – источник и фундамент человеческого знания. Индукция, отправляющаяся от того, что постигается в опыте, будет необходимым средством его обобщения и систематизации.
Все ранее рассмотренные схемы рассуждений являлись примерами дедуктивных рассуждений. Логика высказываний, модальная логика, логическая теория категорического силлогизма – все ϶ᴛᴏ разделы дедуктивной логики.
Обычные дедукции
Таким образом, дедукция – ϶ᴛᴏ выведение заключений, столь же достоверных, как и принятые посылки.
В обычных рассуждениях дедукция только в редких случаях предстает в полной и развернутой форме. Чаще всего мы указываем не все используемые посылки, а исключительно некᴏᴛᴏᴩые. Общие утверждения, о кᴏᴛᴏᴩых можно предполагать, что они хорошо известнытрадиционно опускаются. Не всегда явно формулируются и заключения, вытекающие из принятых посылок. Сама логическая связь, существующая между исходными и выводимыми утверждениями, исключительно иногда отмечается словами, подобными «следовательно» и «значит»,
Нередко дедукция будет настолько сокращенной, что о ней можно только догадываться. Восстановить ее в полной форме, с указанием всех необходимых элементов и их связей бывает нелегко.
«Благодаря давней привычке, – заметил как-то Шерлок Холмс, – цепь умозаключений возникает у меня так быстро, что я пришел к выводу, даже не замечая промежуточных посылок. При этом они были, данные посылки»,
Проводить дедуктивное рассуждение, ничего не опуская и не сокращая, довольно обременительно. Человек, указывающий все предпосылки ϲʙᴏих заключений, создает впечатление мелкого педанта. И вместе с тем всякий раз, когда возникает сомнение в обоснованности сделанного вывода, следует возвращаться к самому началу рассуждения и воспроизводить его в возможно более полной форме. Без ϶ᴛᴏго трудно или даже просто невозможно обнаружить допущенную ошибку.
Многие литературные критики полагают, что Шерлок Холмс был «списан» А. Конан Дойлом с профессора медицины Эдинбургского университета Джозефа Белла. Последний был известен как талантливый ученый, обладавший редкой наблюдательностью и отлично владевший методом дедукции. Среди его студентов был и будущий создатель образа знаменитого детектива.
Важно заметить, что однажды, рассказывает в ϲʙᴏей автобиографии Конан Доил, в клинику пришел больной, и Белл спросил его:
– Вы служили в армии?
– Так точно! – став по стойке смирно, ответил пациент.
– В горнострелковом полку?
– Так точно, господин доктор!
– Недавно ушли в отставку?
– Так точно!
– Были сержантом?
– Так точно! – лихо ответил больной.
– Стояли на Барбадосе?
– Так точно, господин доктор!
Студенты, присутствовавшие при ϶ᴛᴏм диалоге, изумленно смотрели на профессора. Белл объяснил, насколько просты и логичны его выводы.
Этот человек, проявив при входе в кабинет вежливость и учтивость, все же не снял шляпу. Сказалась армейская привычка. В случае если бы пациент был в отставке длительное время, то давно уϲʙᴏил бы гражданские манеры. В осанке властность, по национальности он явно шотландец, а ϶ᴛᴏ говорит за то, что он был командиром. Что касается пребывания на Барбадосе, то пришедший болеет элефантизмом (слоновостью) – такое заболевание распространено среди жителей тех мест.
Здесь дедуктивное рассуждение чрезвычайно сокращено. Опущены, в частности, все общие утверждения, без кᴏᴛᴏᴩых дедукция была бы невозможной.
Шерлок Холмс сделался очень популярным персонажем.Появились даже анекдоты о нем и о его создателе.
К примеру, в Риме Конан Доил берет извозчика, и тот говорит: «А, господин Доил, приветствую вас после вашего путешествия в Константинополь и в Милан!» «Как мог ты узнать, откуда я приехал?» – удивился шерлокхолмсовской проницательности Конан Доил. «По наклейкам на вашем чемодане», – хитро улыбнулся кучер.
Это еще одна дедукция, очень сокращенная и простая.
Дедуктивная аргументация
Дедуктивная аргументация представляет собой выведение обосновываемого положения из иных, ранее принятых положений. В случае если выдвинутое положение удается логически (дедуктивно) вывести из уже установленных положений, ϶ᴛᴏ означает, что оно приемлемо в той же мере, что и данные положения. Обоснование одних утверждений путем ссылки на истинность или приемлемость других утверждений – не единственная функция, выполняемая дедукцией в процессах аргументации. Дедуктивное рассуждение служит также для верификации (косвенного подтверждения) утверждений: из проверяемого положения дедуктивно выводятся его эмпирические следствия; подтверждение данных следствий оценивается как индуктивный довод в пользу исходного положения. Дедуктивное рассуждение используется также для фальсификации утверждений путем показа того, что вытекающие из них следствия будут ложными. Не достигшая успеха фальсификация представляет собой ослабленный вариант верификации: неудача в опровержении эмпирических следствий проверяемой гипотезы будет аргументом, хотя и весьма слабым, в поддержку ϶ᴛᴏй гипотезы. И наконец, дедукция используется для систематизации теории или системы знания, прослеживания логических связей, входящих в нее утверждений, построения объяснений и пониманий, опирающихся на общие принципы, предлагаемые теорией. Прояснение логической структуры теории, укрепление ее эмпирической базы и выявление ее общих предпосылок будет важным вкладом в обоснование входящих в нее утверждений.
Дедуктивная аргументация будет универсальной, применимой во всех областях знания и в любой аудитории. «И если блаженство есть не что иное, как жизнь вечная, – пишет средневековый философ И.С.Эриугена, – а жизнь вечная – ϶ᴛᴏ познание истины, то
блаженство - ϶ᴛᴏ не что иное, как познание истины». Это теологическое рассуждение представляет собой дедуктивное умозаключение, а именно силлогизм.
Удельный вес дедуктивной аргументации в разных областях
знания существенно различен. Стоит заметить, что она очень широко применяется в математике и
математической физике и только эпизодически в истории или эстетике. Имея в виду
сферу приложения дедукции, Аристотель повествовал: «Не следует требовать от оратора
научных доказательств, точно так же, как от математика не следует требовать
эмоционального убеждения». Дедуктивная аргументация будет очень сильным
средством и, как всякое такое средство, должна использоваться узконаправленно.
Попытка строить аргументацию в форме дедукции в тех областях или в той
аудитории, кᴏᴛᴏᴩые для ϶ᴛᴏго не годятся, приводит к поверхностным рассуждениям,
способным создать только иллюзию убедительности.
Учитывая зависимость от того, насколько широко используется дедуктивная аргументация, все науки принято делить на дедуктивные и индуктивные. В первых используется по преимуществу или даже единственно дедуктивная аргументация. Во вторых такая аргументация играет исключительно заведомо вспомогательную роль, а на первом месте стоит эмпирическая аргументация, имеющая индуктивный, вероятностный характер. Типично дедуктивной наукой считается математика, образцом индуктивных наук будут естественные науки. При этом деление наук на дедуктивные и индуктивные, широко распространенное еще в начале ϶ᴛᴏго века, сейчас во многом утратило ϲʙᴏе значение. Стоит заметить, что оно ориентировано на науку, рассматриваемую в статике, как систему надежно и окончательно установленных истин.
Понятие дедукции будет общеметодологическим понятием. В логике ему ϲᴏᴏᴛʙᴇᴛϲᴛʙует понятие доказательства.
Понятие доказательства
Доказательство – ϶ᴛᴏ рассуждение, устанавливающее истинность какого-либо утверждения путем приведения других утверждений, истинность кᴏᴛᴏᴩых уже не вызывает сомнений.
В доказательстве различаются тезис – утверждение, кᴏᴛᴏᴩое нужно доказать, и основание, или аргументы, – те утверждения, с помощью кᴏᴛᴏᴩых доказывается тезис. К примеру, утверждение «Платина проводит электрический ток» можно доказать с помощью следующих истинных утверждений: «Платина – металл» и «Все металлы проводят электрический ток».
Понятие доказательства – одно из центральных в логике и математике, но оно не имеет однозначного определения, применимого во всех случаях и в любых научных теориях.
Логика не претендует на полное раскрытие интуитивного, или «наивного», понятия доказательства. Доказательства образуют довольно расплывчатую совокупность, кᴏᴛᴏᴩую невозможно охватить одним универсальным определением. В логике принято говорить не о доказуемости вообще, а о доказуемости в рамках данной конкретной системы или теории. При ϶ᴛᴏм допускается существование разных понятий доказательства, ᴏᴛʜᴏϲᴙщихся к разным системам. К примеру, доказательство в интуиционистской логике и опирающейся на нее математике существенно отличается от доказательства в классической логике и основывающейся на ней математике. В классическом доказательстве можно использовать, в частности, закон исключенного третьего, закон (снятия) двойного отрицания и ряд других логических законов, отсутствующих в интуиционистской логике.
По способу проведения доказательства делятся на два вида. При прямом доказательстве задача заключается в том, ɥᴛᴏбы найти такие убедительные аргументы, из кᴏᴛᴏᴩых логически вытекает тезис. Косвенное доказательство устанавливает справедливость тезиса тем, что вскрывает ошибочность противопоставляемого ему допущения, антитезиса.
К примеру, нужно доказать, что сумма углов четырехугольника равна 360°. Из каких утверждений можно было бы вывести ϶ᴛᴏт тезис? Отмечаем, что диагональ делит четырехугольник на два треугольника. Значит, сумма его углов равна сумме углов двух треугольников. Известно, что сумма углов треугольника составляет 180°. Из данных положений выводим, что сумма углов четырехугольника равна 360°. Еще пример. Нужно доказать, что космические корабли подчиняются действию законов космической механики. Известно, что данные законы универсальны: им подчиняются все тела в любых точках космического пространства. Очевидно также, что космический корабль есть космическое тело. Отметив ϶ᴛᴏ, строим ϲᴏᴏᴛʙᴇᴛϲᴛʙующее дедуктивное умозаключение. Стоит заметить, что оно будет прямым доказательством рассматриваемого утверждения.
В косвенном доказательстве рассуждение идет как бы окольным путем. Вместо того ɥᴛᴏбы прямо отыскивать аргументы для выведения из них доказываемого положения, формулируется антитезис, отрицание ϶ᴛᴏго положения. Далее тем или иным способом показывается несостоятельность антитезиса. По закону исключенного третьего, если одно из противоречащих друг другу утверждений ошибочно, второе должно быть верным. Антитезис ошибочен, значит, тезис будет верным.
Поскольку косвенное доказательство использует отрицание доказываемого положения, оно будет как говорят, доказательством от противного.
Допустим, нужно построить косвенное доказательство такого весьма тривиального тезиса: «Квадрат не будет окружностью», Выдвигается антитезис: «Квадрат есть окружность», Необходимо показать ложность данного утверждения. С ϶ᴛᴏй целью выводим из него следствия. В случае если хотя бы одно из них окажется ложным, ϶ᴛᴏ будет означать, что и само утверждение, из кᴏᴛᴏᴩого выведено следствие, также ложно. Неверным будет, в частности, такое следствие: у квадрата нет углов. Поскольку антитезис ложен, исходный тезис должен быть истинным.
Другой пример. Врач, убеждая пациента, что тот не болен гриппом, рассуждает так. В случае если бы действительно был грипп, имелись бы характерные для него симптомы: головная боль, повышенная температура и т.п. Но ничего подобного нет. Значит, нет и гриппа.
Это опять-таки косвенное доказательство. Вместо прямого обоснования тезиса выдвигается антитезис, что у пациента в самом деле грипп. Из антитезиса выводятся следствия, но они опровергаются объективными данными. Это говорит, что допущение о гриппе неверно. Отсюда следует, что тезис «Гриппа нет» истинен.
Доказательства от противного обычны в наших рассуждениях, особенно в споре. При умелом применении они могут обладать особенной убедительностью.
Определение понятия доказательства включает два центральных понятия логики: понятие истины и понятие логического следования. Оба данные понятия не будут ясными, и, значит, определяемое через них понятие доказательства также не может быть отнесено к ясным.
Многие утверждения не будут ни истинными, ни ложными,
лежат вне «категории истины», Оценки, нормы, советы, декларации, клятвы,
обещания и т.п. не описывают каких-то ситуаций, а указывают, какими они должны
быть, в каком направлении их нужно преобразовать. От описания требуется, ɥᴛᴏбы
оно ϲᴏᴏᴛʙᴇᴛϲᴛʙовало действительности. Материал опубликован на http://сайт
Удачный совет (приказ и т.п.)
характеризуется как эффективный или целесообразный, но не как истинный.
Высказывание, «Вода кипит» истинно, если вода действительно кипит; команда же
«Вскипятите воду!» может быть целесообразной, но не имеет отношения к истине.
Вполне понятно, что, оперируя выражениями, не имеющими истинностного значения, можно
и нужно быть и логичным, и доказательным. Встает, таким образом, вопрос о
существенном расширении понятия доказательства, определяемого в терминах
истины. Им должны охватываться не только описания, но и оценки, нормы и т.п.
Задача переопределения доказательства пока не решена ни логикой оценок, ни
деонтической (нормативной) логикой. Это делает понятие доказательства не вполне
ясным по ϲʙᴏему смыслу.
Не существует, далее, единого понятия логического следования. Логических систем, претендующих на определение ϶ᴛᴏго понятия, в принципе существует бесконечное множество. Ни одно из имеющихся в современной логики определений логического закона и логического следования не ϲʙᴏбодно от критики и от того, что принято называть «парадоксами логического следования».
Образцом доказательства, кᴏᴛᴏᴩому в той или иной мере стремятся следовать во всех науках, будет математическое доказательство. Долгое время считалось, что оно представляет собой ясный и бесспорный процесс. В нашем веке отношение к математическому доказательству изменилось. Сами математики разбились на враждебные группировки, каждая из кᴏᴛᴏᴩых придерживается ϲʙᴏего истолкования доказательства. Причиной ϶ᴛᴏго послужило прежде всего изменение представлений о лежащих в основе доказательства логических принципах. Исчезла уверенность в их единственности и непогрешимости. Логицизм был убежден, что логики достаточно для обоснования всей математики; по мнению формалистов (Д.Гильберт и др.), одной исключительно логики для ϶ᴛᴏго недостаточно и логические аксиомы крайне важно дополнить собственно математическими; представители теоретико-множественного направления не особенно интересовались логическими принципами и не всегда указывали их в явном виде; интуиционисты из принципиальных соображений считали нужным вообще не вдаваться в логику. Стоит сказать - полемика по поводу математического доказательства показала, что нет критериев доказательства, не зависящих ни от времени, ни от того, что требуется доказать, ни от тех, кто использует критерии. Математическое доказательство будет парадигмой доказательства вообще, но даже в математике доказательство не будет абсолютным и окончательным.
Индукция (от лат. inductio - наведение, побуждение) есть формально-логическое умозаключение, которое приводит к получению общего вывода на основании частных посылок. Другими словами, это есть движение нашего мышления от частного к общему.
Индукция широко применяется в научном познании. Обнаруживая сходные признаки, свойства у многих объектов определенного класса, исследователь делает вывод о присущности этих признаков, свойств всем объектам данного класса. Наряду с другими методами познания, индуктивный метод сыграл важную роль в открытии некоторых законов природы (всемирного тяготения, атмосферного давления, теплового расширения тел и Др.).
Индукция, используемая в научном познании (научная индукция), может реализовываться в виде следующих методов:
- 1. Метод единственного сходства (во всех случаях наблюдения какого-то явления обнаруживается лишь один общий фактор, все другие - различны; следовательно, этот единственный сходный фактор есть причина данного явления).
- 2. Метод единственного различия (если обстоятельства возникновения какого-то явления и обстоятельства, при которых оно не возникает, почти во всем сходны и различаются лишь одним фактором, присутствующим только в первом случае, то можно сделать вывод, что этот фактор и есть причина данного явления).
- 3. Соединенный метод сходства и различия (представляет собой комбинацию двух вышеуказанных методов).
- 4. Метод сопутствующих изменений (если определенные изменения одного явления всякий раз влекут за собой некоторые изменения в другом явлении, то отсюда вытекает вывод о причинной связи этих явлений).
- 5. Метод остатков (если сложное явление вызывается многофакторной причиной, причем некоторые из этих факторов известны как причина какой-то части данного явления, то отсюда следует вывод: причина другой части явления - остальные факторы, входящие в общую причину этого явления).
Родоначальником классического индуктивного метода познания является Ф. Бэкон. Но он трактовал индукцию чрезвычайно широко, считал ее важнейшим методом открытия новых истин в науке, главным средством научного познания природы.
На самом же деле вышеуказанные методы научной индукции служат главным образом для нахождения эмпирических зависимостей между экспериментально наблюдаемыми свойствами объектов и явлений.
Дедукция (от лат. deductio - выведение) есть получение частных выводов на основе знания каких-то общих положений. Другими словами, это есть движение нашего мышления от общего к частному, единичному.
Но особенно большое познавательное значение дедукции проявляется в том случае, когда в качестве общей посылки выступает не просто индуктивное обобщение, а какое-то гипотетическое предположение, например новая научная идея. В этом случае дедукция является отправной точкой зарождения новой теоретической системы. Созданное таким путем теоретическое знание предопределяет дальнейший ход эмпирических исследований и направляет построение новых индуктивных обобщений.
Получение новых знаний посредством дедукции существует во всех естественных науках, но особенно большое значение дедуктивный метод имеет в математике. Оперируя математическими абстракциями и строя свои рассуждения на весьма общих положениях, математики вынуждены чаще всего пользоваться дедукцией. И математика является, пожалуй, единственной собственно дедуктивной наукой.
В науке Нового времени пропагандистом дедуктивного метода познания был видный математик и философ Р. Декарт.
Но, несмотря на имевшие место в истории науки и философии попытки оторвать индукцию от дедукции, противопоставить их в реальном процессе научного познания, эти два метода не применяются как изолированные, обособленные друг от друга. Каждый из них используется на соответствующем этапе познавательного процесса.
Более того, в процессе использования индуктивного метода зачастую “в скрытом виде” присутствует и дедукция. “Обобщая факты в соответствии с какими-то идеями, мы тем самым косвенно выводим получаемые нами обобщения из этих идей, причем далеко не всегда отдаем в себе в этом отчет. Кажется, что наша мысль движется прямо от фактов к обобщениям, т. е. что тут присутствует чистая индукция.
На самом же деле, сообразуясь с какими-то идеями, иначе говоря, неявно руководствуясь ими в процессе обобщения фактов, наша мысль косвенно идет от идей к этим обобщениям, и, следовательно, тут имеет место и дедукция... Можно сказать, что во всех случаях, когда мы обобщаем, сообразуясь с какими-либо философскими положениями, наши умозаключения являются не только индукцией, но и скрытой дедукцией”.
Подчеркивая необходимую связь индукции и дедукции, Ф. Энгельс настоятельно советовал ученым: “Индукция и дедукция связаны между собой столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться каждую применять на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собой, их взаимное дополнение друг другом”.
ДЕДУКЦИЯ
ДЕДУКЦИЯ
(от лат. deductio - выведение) - переход от посылок к заключению, опирающийся на , в силу чего с логической необходимостью следует из принятых посылок. Характерная особенность Д. заключается в том, что от истинных посылок она всегда ведет только к истинному заключению.
Д. как умозаключению, опирающемуся на закон и с необходимостью дающему истинное заключение из истинных посылок, противопоставляется - , не опирающееся на закон логики и ведущее от истинных посылок к вероятному, или проблематичному, заключению.
Дедуктивными являются, напр., умозаключения:
Если лед нагревается, он тает.
Лед нагревается.
Лед тает.
Черта, отделяющая от заключения, стоит вместо слова «следовательно».
Примерами индукции могут служить рассуждения:
Бразилия - республика; Аргентина - республика.
Бразилия и Аргентина - южноамериканские государства.
Все южноамериканские государства являются республиками.
Италия - республика; Португалия - республика; Финляндия - республика; Франция - республика.
Италия, Португалия, Финляндия, Франция - западноевропейские страны.
Все западноевропейские страны являются республиками.
Индуктивное умозаключение опирается на некоторые фактические или психологические основания. В таком умозаключении заключение может содержать информацию, отсутствующую в посылках.
Достоверность посылок не означает поэтому достоверности выведенного из них индуктивного утверждения. Заключение индукции проблематично и нуждается в дальнейшем исследовании. Так, посылки и первого, и второго приведенных индуктивных умозаключений истинны, но заключение первого из них истинно, а второго - ложно. Действительно, все южноамериканские государства - республики; но среди западноевропейских стран имеются не только республики, но и монархии.
Особенно характерными Д. являются логические переходы от общего знания к частному типа:
Все люди смертны.
Все греки - люди.
Все греки смертны.
Во всех случаях, когда требуется рассмотреть какое-то на основании уже известного общего правила и вывести в отношении этого явления необходимое заключение, мы умозаключаем в форме Д. Рассуждения, ведущие от знания о части предметов (частного знания) к знанию обо всех предметах определенного класса (общему знанию), - это типичные индукции. Всегда остается того, что окажется поспешным и необоснованным («Сократ - умелый спорщик; Платон - умелый спорщик; значит, каждый - умелый спорщик»).
Нельзя вместе с тем отождествлять Д. с переходом от общего к частному, а индукцию - с переходом от частного к общему. В рассуждении «Шекспир писал сонеты; следовательно, неверно, что Шекспир не писал сонетов» есть Д., но нет перехода от общего к частному. Рассуждение «Если алюминий пластичен или глина пластична, то алюминий пластичен» является, как принято думать, индуктивным, но в нем нет перехода от частного к общему. Д. - это выведение заключений, столь же достоверных, как и принятые посылки, индукция - выведение вероятных (правдоподобных) заключений. К индуктивным умозаключениям относятся как переходы от частного к общему, так и , каноны индукции, и т.д.
Дедуктивные умозаключения позволяют из уже имеющегося знания получать новые истины, и притом с помощью чистого рассуждения, без обращения к опыту, интуиции, здравому смыслу и т.п. Д. дает стопроцентную гарантию успеха. Отправляясь от истинных посылок и рассуждая дедуктивно, мы обязательно во всех случаях получим достоверное .
Не следует, однако, отрывать Д. от индукции и недооценивать последнюю. Почти все общие положения, включая и научные законы, являются результатами индуктивного обобщения. В этом смысле индукция - основа нашего знания. Сама по себе она не гарантирует его истинности и обоснованности, но она порождает предположения, связывает их с опытом и тем самым сообщает им определенное правдоподобие, более или менее высокую степень вероятности. Опыт - источник и фундамент человеческого знания. Индукция, отправляющаяся от того, что постигается в опыте, является необходимым средством его обобщения и систематизации.
В обычных рассуждениях Д. только в редких случаях предстает в полной и развернутой форме. Чаще всего указываются не все используемые посылки, а лишь некоторые. Общие утверждения, которые кажутся хорошо известными, опускаются. Не всегда явно формулируются и заключения, вытекающие из принятых посылок. Сама логическая , существующая между исходными и выводимыми утверждениями, лишь иногда отмечается словами, подобными «следовательно» и «значит». Нередко Д. является настолько сокращенной, что о ней можно только догадываться. Проводить дедуктивное рассуждение, ничего не опуская и не сокращая, обременительно. Однако всякий раз, когда возникает в обоснованности сделанного вывода, необходимо возвращаться к началу рассуждения и воспроизводить его в возможно более полной форме. Без этого трудно или даже невозможно обнаружить допущенную ошибку.
Дедуктивная представляет собой выведение обосновываемого положения из иных, ранее принятых положений. Если выдвинутое положение удается логически (дедуктивно) вывести из уже установленных положений, это означает, что приемлемо в той же мере, что и сами эти положения. Обоснование одних утверждений путем ссылки на или приемлемость др. утверждений - не единственная , выполняемая Д. в процессах аргументации. Дедуктивное рассуждение служит также для верификации (косвенного подтверждения) утверждений: из проверяемого положения дедуктивно выводятся его эмпирические следствия; этих следствий оценивается как индуктивный довод в пользу исходного положения. Дедуктивное рассуждение используется также для фальсификации утверждений путем показа того, что вытекающие из них следствия являются ложными. Не достигшая успеха представляет собой ослабленный вариант верификации: неудача в опровержении эмпирических следствий проверяемой гипотезы является аргументом, хотя и весьма слабым, в поддержку этой гипотезы. И наконец, Д. используется для систематизации теории или системы знания, прослеживания логических связей входящих в нее утверждений, построения объяснений и пониманий, опирающихся на общие принципы, предлагаемые теорией. Прояснение логической структуры теории, укрепление ее эмпирической базы и выявление ее общих предпосылок является вкладом в входящих в нее утверждений.
Дедуктивная аргументация является универсальной, применимой во всех областях рассуждения и в любой аудитории. «И если блаженство есть не что , как жизнь вечная, а жизнь вечная - это истины, то блаженство - это не что иное, как познание истины» - Иоанн Скот (Эриугена). Это теологическое рассуждение представляет собой дедуктивное рассуждение, а именно .
Удельный вес дедуктивной аргументации в разных областях знания существенно различен. Очень широко она применяется в математике и математической физике и только эпизодически - в истории или эстетике. Имея в виду сферу приложения Д., Аристотель писал: «Не следует требовать от оратора научных доказательств, точно так же как от не следует требовать эмоционального убеждения». Дедуктивная аргументация является очень сильным средством, но, как и всякое такое , она должна использоваться узконаправленно. Попытка строить аргументацию в форме Д. в тех областях или в той аудитории, которые для этого не годятся, приводит к поверхностным рассуждениям, способным создать только иллюзию убедительности.
В зависимости от того, насколько широко используется дедуктивная аргументация, все науки принято делить на деду кти вн ы е и индуктивные. В первых используется по преимуществу или даже единственно дедуктивная аргументация. Во вторых такая аргументация играет лишь заведомо вспомогательную роль, а на первом месте стоит эмпирическая аргументация, имеющая индуктивный, вероятностный . Типично дедуктивной наукой считается математика, образцом индуктивных наук являются . Однако наук на дедуктивные и индуктивные, широко распространенное еще в нач. 20 в., сейчас во многом утратило свое . Оно ориентировано на науку, рассматриваемую в статике, как систему надежно и окончательно установленных истин.
Понятие «Д.» является общеметодологическим понятием. В логике ему соответствует доказательства.
Философия: Энциклопедический словарь. - М.: Гардарики . Под редакцией А.А. Ивина . 2004 .
ДЕДУКЦИЯ
(от лат. deductio - выведение) , переход от общего к частному; в более спец. смысле «Д.» обозначает логич. вывода, т. е. перехода по тем или иным правилам логики от некоторых данных предложений-посылок к их следствиям (заключениям) . Термин «Д.» употребляется и для обозначения конкретных выводов следствий из посылок (т.е. как термина « » в одном из его значений) , и как родовое наименование общей теории построений правильных выводов (умозаключении) . Науки, предложения которых преим. , получаются как следствия некрых общих принципов, постулатов, аксиом, принято наз. дедуктивными (математика , теоретич. механика, некрые разделы физики и др. ) , а аксиоматический метод, посредством которого производятся выводы этих частных предложений, часто наз. аксиоматико-дедуктивным.
Изучение Д. составляет гл. задачу логики; иногда формальную логику даже определяют как теорию Д., хотя далеко не единств, изучающая методы Д.: изучает реализацию Д. в процессе реального индивидуального мышления, а - как один из осн. (наряду с другими, в частности различными формами индукции) методов науч. познания.
Хотя термин «Д.» впервые употреблён, но-видимому, Боэцием, понятие Д.- как к.-л. предложения посредством силлогизма - фигурирует уже у Аристотеля («Первая Аналитика») . В философии и логике ср. веков и нового времени существовали различные взгляды на роль Д. в ряду др. методов познания. Так, Декарт противопоставлял Д. интуиции, посредством крой, но его мнению, человеч. «непосредственно усматривает» истину, в то как Д. доставляет разуму лишь «опосредованное» (полученное путём рассуждения) знание. Ф. Бэкон, а позднее и др. англ. логики-«индуктивисты» (У. Уэвелл, Дж. С. Милль, А. Бэн и др. ) считали Д. «второстепенным» методом, в то время как подлинное знание, по их мнению, даёт только индукция. Лейбниц и Вольф, исходя из того, что Д. не даёт «новых фактов», именно на этом основании приходили к прямо противоположному выводу: полученные путём Д. знания являются «истинными во всех возможных мирах».
Вопросы Д. начали интенсивно разрабатываться с конца 19 в. в связи с бурным развитием математич. логики, выяснением оснований математики. Это привело к расширению средств дедуктивного доказательства (напр., была разработана " "), к уточнению мн. понятий Д. (напр., понятия логич. следования), введению новой проблематики в теории дедуктивного доказательства (напр., вопросы о непротиворечивости, о полноте дедуктивных систем, разрешимости) и т.п.
Разработка вопросов Д. в 20 в. связана с именами Буля, Фреге, Пеано, Порецкого, Шрëдера, Пирса, Рассела, Гёделя, Гильберта, Тарского и др. Так, напр., Буль считал, что Д. состоит лишь в исключении (элиминации) средних терминов из посылок. Обобщая идеи Буля и пользуясь собственными алгебрологич. методами, рус. логик Порецкий показал, что такое Д. является слишком узким (см. "О способах решения логических равенств и об обратном способе математической логики", Казань, 1884). Согласно Порецкому, Д. состоит не в исключении средних терминов, а в исключении свéдений. Процесс исключения свéдений состоит в том, что при переходе от логич. выражения L = 0 к одному из его следствий достаточно отбросить в левой его части, представляющей собой логич. многочлен в совершенной нормальной форме, нек-рые из его конституент.
В. совр. бурж. философии весьма распространенным является чрезмерное преувеличение роли Д. в познании. В ряде работ по логике принято подчеркивать ту якобы совершенно исключит. роль, к-рую Д. играет в математике, в отличие от др. науч. дисциплин. Акцентируя на этом "отличии", доходят до утверждения, будто бы все науки можно разделить на т.н. дедуктивные и эмпирические. (см., напр., L. S. Stebbing, A modern introduction to logic, L., 1930). Однако такое разграничение является принципиально неправомерным и оно отрицается не только учеными стоящими на диалектико-материалистич. позициях, но и нек-рыми бурж. исследователями (напр., Я. Лукасевичем; см. . Лукасевич, Аристотелевская с точки зрения современной формальной логики, пер. с англ., М., 1959), осознавшими, что как логич., так и математич. аксиомы являются в конечном счете отражением нек-рых экспериментов с материальными предметами объективного мира, действий над ними в процессе обществ.-историч. практики. И в этом смысле математич. аксиомы не противостоят положениям наук и обществе. Важной чертой Д. является ее аналитич. характер. Еще Милль заметил, что в заключении дедуктивного рассуждения нет ничего такого, что не содержалось бы уже в его посылках. Чтобы описать аналитич. характер дедуктивного следования формально, прибегнем к точному языку алгебры логики. Допустим, что дедуктивное рассуждение формализовано средствами алгебры логики, т.е. точно зафиксированы отношения между объемами понятий (классами) как в посылках, так и в заключении. Тогда окажется, что разложение посылок на конституенты (элементарные ) единицы содержит все те конституенты, к-рые имеются в разложении следствия.
Ввиду особого значения, к-рое приобретает во всяком дедуктивном выводе раскрытие посылок, Д. часто связывают с анализом. Поскольку же в процессе Д. (в выводе дедуктивного умозаключения) часто происходит объединение знаний, данных нам в отд. посылках, Д. связывают с синтезом.
Единственно правильное методологич. решение вопроса о соотношении Д. и индукции дали классики марксизма-ленинизма. Д. неразрывно связано со всеми др. формами умозаключений и прежде всего с индукцией. Индукция тесно связана с Д., т.к. любой единичный может быть понят только через его образа в уже сложившуюся систему понятий, а Д., в конечном счете, зависит от наблюдения, эксперимента и индукции. Д. без помощи индукции никогда не может обеспечить познание объективной действительности. "Индукция и дедукция связаны между собою столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собою, их взаимное дополнение друг друга" (Энгельс Ф., Диалектика природы, 1955, с. 180–81). Содержание посылок дедуктивного умозаключения не дано заранее в готовом виде. Общее положение, к-рое непременно должно быть в одной из посылок Д., всегда является результатом всестороннего исследования множества фактов, глубокого обобщения закономерных связей и отношений между вещами. Но и одна индукция невозможна без Д. Характеризуя "Капитал" Маркса как классич. диалектич. подхода к действительности, Ленин отметил, что в "Капитале" индукция и Д. совпадают (см. "Философские тетради" , 1947, с. 216 и 121), подчеркивая тем самым их неразрывную связь в процессе науч. исследования.
Д. иногда применяют с целью проверки к.-л. суждения, когда из него выводятся следствия по правилам логики с тем, чтобы затем эти следствия проверить на практике; в этом состоит один из методов проверки гипотез. Д. пользуются также при раскрытии содержания тех или иных понятий.
Лит.: Энгельс Ф., Диалектика природы, М., 1955; Ленин В. И., Соч., 4 изд., т. 38; Аристотель, Аналитики первая и вторая, пер. с греч., М., 1952; Декарт Р., Правила для руководства ума, пер. с лат., М.–Л., 1936; его же, Рассуждение о методе, М., 1953; Лейбниц Г. В., Новые о человеческом разуме, М.–Л., 1936; Каринский М. И., Классификация выводов, в сб.: Избр. труды русских логиков XIX в., М., 1956; Льар Л., Английские реформаторы логики в XIX в., СПБ, 1897; Кутюра Л., Алгебра логики, Одесса, 1909; Поварнин С., Логика, ч. 1 – Общее учение о доказательстве, П., 1915; Гильберт Д. и Аккерман В., Основы теоретической логики, пер. с нем., М., 1947; Тарский Α., Введение в логику и методологию дедуктивных наук, пер. с англ., М., 1948; Асмус В. Φ., Учение логики о доказательстве и опровержении, М., 1954; Boole G., An investigation of the laws of thought..., N. Y., 1951; Schröder Ε., Vorlesungen über die Algebra der Logik, Bd 1–2, Lpz., 1890–1905; Reichenbach H. Elements of symbolic logic, Ν. Υ., 1948.
Д. Горский. Москва.
Философская Энциклопедия. В 5-х т. - М.: Советская энциклопедия . Под редакцией Ф. В. Константинова . 1960-1970 .
ДЕДУКЦИЯ
ДЕДУКЦИЯ (от лат. deductio - выведение) - переход от общего к частному; в более специальном смысле термин “дедукция” обозначает процесс логического вывода, т. е. перехода по тем или иным правилам логики от некоторых данных предложений-посылок к их следствиям (заключениям). Термин “дедукция” употребляется и для обозначения конкретных выводов следствий из посылок (т. е. как синоним термина “вывод” в одном из его значений), и как родовое наименование общей теории построений правильных выводов. Науки, предложения которых преимущественно получаются как следствия некоторых общих принципов, постулатов, аксиом, принято называть дедуктивными (математика , теоретическая механика, некоторые разделы физики и др.), а аксиоматический метод, посредством которого производятся выводы этих частных предложений,-аксиоматико-дедуктивным.
Изучение дедукции составляет задачу логики; иногда формальную логику даже определяют как теорию дедекции. Хотя термин “дедукция” впервые употреблен, по-видимому, Боэцием, понятие дедукции - как доказательство какого-либо предложения посредством силлогизма-фигурирует уже у Аристотеля (“Первая Аналитика”). В философии и логике Нового времени существовали различные взгляды на роль дедукции в ряду методов познания. Так, Декарт противопоставлял дедукции интуицию, посредством которой, по его мнению, разум “непосредственно усматривает” истину, в то время как дедукция доставляет разуму лишь “опосредованное” (полученное путем рассуждения) знание. Ф. Бэкон, а позднее и др. английские логики-“индуктивисты” (У. Уэвелл, Дж. С. Милль, А. Бэн и др.) считали дедукцию “второстепенным” методом, в то время как подлинное знание дает только индукция. Лейбниц и Вольф, исходя из того, что дедукция не дает “новых фактов”, именно на этом основании приходили к прямо противоположному выводу: полученные путем дедукции знания являются “истинными во всех возможных мирах”. Взаимосвязь дедукции и индукции была раскрыта Ф. Энгельсом, который писал, что “индукция и дедукция связаны между собой столь же необходимым образом, как синтез и анализ. Вместо того чтобы односторонне превозносить одну из них до небес за счет другой, надо стараться применять каждую из них на своем месте, а этого можно добиться лишь в том случае, если не упускать из виду их связь между собой, их взаимное дополнение друг друга” (Маркс К., Энгельс Ф. Соч., т. 20, с. 542-543), применениям в любой области относится следующее положение: все, чтозаключено в любой полученной посредством дедуктивного умозаключения логической истине, содержится уже в посылках, из которых она выведена. Каждое применение правила состоит в том, что общее положение относится (применяется) к некоторой конкретной (частной) ситуации. Некоторые правила логического вывода подпадают под такую характеристику и совсем явным образом. Так, напр., различные модификации т. н. правила подстановки гласят, что свойство доказуемости (или выводимости из данной системы посылок) сохраняется при любой замене элементов произвольной формулы данной формальной теории конкретными выражениями того же вида. То же относится к распространенному способу задания аксиоматических систем посредством т. н. схем аксиом, т. е. выражений, обращающихся в конкретные аксиомы после подстановки вместо входящих в них общих обозначений конкретных формул данной теории. Под дедукцией часто понимают и сам процесс логического следования. Это обусловливает его тесную связь с понятиями вывода и следствия, находящую свое отражение и в логической терминологии. Так, “теоремой о дедукции” принято называть одно из важных соотношений между логической связкой импликации (формализующей словесный оборот “если... то...”) и отношением логического следования (выводимости): если из посылки А выводится следствие В, то импликация АэВ (“если А... то В...”) доказуема (т. е. выводима уже без всяких посылок, из одних только аксиом). Аналогичный характер носят и др. связанные с понятием дедукции логические термины. Так, дедуктивно-эквивалентными называют предложения, выводимые друг из друга; дедуктивная системы (относительно какого-либо свойства) состоит в том, что все выражения данной системы, обладающие этим свойством (напр., истинностью при некоторой интерпретации), доказуемы в ней.
Свойства дедукции раскрывались в ходе построения конкретных логических формальных систем (исчислений) и общей теории таких систем (т. н. теории доказательства). Лит.: Тарский А. Введение в логику и методологию дедуктивных наук, пер. с англ. М., 1948; Асмус В. Ф. Учение логики о доказательстве и опровержении. М., 1954.
ДЕДУКЦИЯ ТРАНСЦЕНДЕНТАЛЬНАЯ (нем. transzendentale Deduktion) - ключевой раздел “Критики чистого разума” И. Канта. Главная задача дедукции-обосновать правомерность априорного применения категорий (элементарных понятий чистого рассудка) к предметам и показать их в качестве принципов априорного синтетического познания. Необходимость трансцендентальной дедукции была осознана Кантом за 10 лет до выхода “Критики”, в 1771. Центральный дедукции впервые сформулирован в рукописных набросках 1775. Текст дедукции полностью переработан Кантом во 2-м издании “Критики”. Решение главной задачи дедукции подразумевает доказательство тезиса, что составляют необходимые возможности вещей. Первая часть дедукции (“объективная дедукция”) уточняет, что такими вещами в принципе могут быть только предметы возможного опыта. Вторая часть (“субъективная дедукция”) и есть искомое доказательство тождества категорий с априорными условиями возможного опыта. Отправной точкой дедукции является понятие апперцепции. Кант утверждает, что все возможные для нас представления должны быть связаны в единстве апперцепции, т. е.вЯ. Необходимыми условиями такой связи и оказываются категории. Доказательство этого центрального положения осуществляется Кантом посредством анализа структуры объективных суждений опыта, базирующихся на использовании категорий, и постулата о параллелизме трансцендентального объекта и трансцендентального единства апперцепции (это позволяет “перевернуть” на Я категориальных синтезов для отнесения представлений к объекту). В итоге Кант делает вывод, что все возможные восприятия как осознанные, т. е. относящиеся к Я, созерцания необходимо подчинены категориям (сначала Кант показывает, чтоэто верно относительно “созерцаний вообще”, затем-относительно “наших созерцаний” в пространстве и времени). Это означает возможность антиципации предметных форм опыта, т. е. априорного познания предметов возможного опыта с помощью категорий. В рамках дедукции Кант развертывает учение о познавательных способностях, особую роль среди которых играет воображение, связывающее и рассудок. Именно воображение, подчиняясь категориальным “инструкциям”, законосообразно оформляет явлений. Кантовская дедукция категорий вызвала многочисленные дискуссии в современной историко-философской литературе.
Словарь иностранных слов русского языка
) термин «дедукция» используется как синоним более точного, но более громоздкого, термина «дедуктивное рассуждение» и понимается в более узком смысле: как умозаключение , в котором общий вывод строится на основе частных посылок. Считается, что если посылки дедукции истинны, то [при соблюдении правильной формы рассуждения] истинны и её следствия (заключения). В дедуктивном рассуждении между посылками и заключением имеет место отношение логического следования (см. ), при котором логическое содержание заключения (его информация без учёта значений нелогических терминов) составляет часть совокупного логического содержания посылок. В этом смысле термин «дедукция» употребляется для обозначения конкретных выводов следствий из посылок, то есть как синоним термина «вывод» в одном из его значений. Всё это обусловливает тесную связь (а иногда даже отождествление) понятия дедукции с понятиями вывода и следствия, находящую своё отражение и в логической терминологии; так, «теоремой о дедукции» принято называть одно из важных соотношений между логической связкой импликации (формализующей словесный оборот «Если…, то…») и отношением логического следования (выводимости): если из посылки A выводится следствие B , то импликация A ≡ B («Если A …, то B …») доказуема (то есть выводима уже без всяких посылок, из одних только аксиом). (Теорема о дедукции, справедливая при некоторых достаточно общих условиях для всех «полноценных» логических систем, в некоторых случаях просто постулируется для них в качестве исходного правила.) Аналогичный характер носят и другие связанные с понятием дедукции логические термины; так, дедуктивно эквивалентными называются предложения, выводимые друг из друга; дедуктивная полнота системы (относительно какого-либо свойства) состоит в том, что все выражения данной системы, обладающие этим свойством (например, истинностью при некоторой интерпретации), доказуемы в ней.
Наряду с этим, термином «дедукция» обозначают родовое наименование общей теории построений правильных выводов. В соответствии с этим последним словоупотреблением, науки, предложения которых получаются (хотя бы преимущественно) как следствия некоторых общих «базисных законов» (принципов, постулатов, аксиом и так далее), принято называть дедуктивными (математика, теоретическая механика, некоторые разделы физики и другие), а аксиоматический метод , посредством которого производятся выводы этих частных предложений, часто называют аксиоматико-дедуктивным . Противоположностью дедукции является индукция (см. ), в которой общий вывод также строится на основе частных посылок, но при этом посылки могут подтверждать или подразумевать истину, однако не гарантируют её получения. Соответственно, примерами индуктивных наук являются естественные науки. Вместе с тем, деление наук на дедуктивные и индуктивные, широко распространённое ещё в начале XX века, сейчас во многом утратило своё значение, поскольку оно ориентировано на науку, рассматриваемую статически, то есть как систему надёжно и окончательно установленных истин.
Метод дедукции широко используется во всех областях научного познания , играя важную роль при построении эмпирических знаний и переходе от эмпирического знания к теоретическому (см. ). В дедукции, опираясь на общее знание, делают вывод частного характера, поэтому одной из посылок дедукции обязательно является общее суждение. Если оно получено в результате индуктивного рассуждения, тогда дедукция дополняет индукцию, расширяя объём полученного знания. Наибольшее познавательное значение дедукции проявляется в том случае, когда в качестве общей посылки выступает не просто индуктивное обобщение, а какое-то гипотетическое предположение, новая научная идея. В этом случае дедукция играет не просто вспомогательную роль, дополняя индукцию, а является отправной точкой зарождения новой теоретической системы. Созданное таким путём теоретическое знание (см. ) предопределяет дальнейший ход эмпирических исследований и целенаправляет построение новых индуктивных обобщений. В целом, на начальной стадии научного исследования преобладает индукция, в ходе же развития и обоснования научного знания большую роль начинает играть дедукция. Таким образом, эти две операции научного познания неразрывно связаны и дополняют друг друга.
Общая схема организации научно-теоретических дедуктивных систем включает:
- исходный базис, то есть совокупность исходных терминов и утверждений;
- используемые логические средства (правила вывода и определения);
- совокупность утверждений (предложений), получаемых из (1) путём применения (2).
При исследовании таких теорий анализу подвергаются взаимоотношения между отдельными их компонентами, абстрагированными от генезиса и развития знания. Поэтому их целесообразно рассматривать как своеобразные формализованные языки, которые можно анализировать либо в синтаксическом (когда изучается соотношение между входящими в язык знаками и выражениями вне учёта их внеязыкового значения), либо в семантическом (когда взаимоотношения знаков и выражений системы рассматривают с точки зрения их значения) аспектах. Дедуктивные системы подразделяются на аксиоматические (аксиоматический метод) и конструктивные (конструктивный метод). Дедуктивный метод при использовании его в знании, основанном на опыте и эксперименте, выступает как гипотетико-дедуктивный метод (см. ). Анализ дедуктивного способа построения научного знания начался уже в античной философии (Платон, Аристотель, Евклид, стоики), значительное место занимал в философии Нового времени (Р. Декарт, Б. Паскаль, Б. Спиноза, Г. В. Лейбниц и другие), но наиболее полно и чётко принципы дедуктивной организации знания были сформулированы лишь в конце XIX - начале XX века с привлечением аппарата математической логики. Вплоть до конца XIX века дедуктивный метод применялся в основном в сфере математики и логики. В XX веке широкое распространение получили попытки дедуктивного (в частности, аксиоматического) построения также многих нематематических дисциплин - отдельных разделов физики, биологии, лингвистики, социологии и других.
Изучение дедукции составляет главную задачу логики; иногда логику - во всяком случае логику формальную (см. ) - даже определяют как «теорию дедукции». Вне пределов дедуктивной логики находятся так называемые правдоподобные рассуждения (см. ) и индуктивные методы , которые изучаются в индуктивной логике (см. ). В дедуктивной логике исследуются способы рассуждений со стандартными, типовыми высказываниями; эти способы оформляются в виде логических систем , или исчислений .
Хотя сам термин «дедукция» впервые употреблён, по-видимому , Боэцием («Введение в категорический силлогизм», 1492), первый систематический анализ одной из разновидностей дедуктивных умозаключений - силлогистических умозаключений (см. ) - был осуществлён Аристотелем в «Первой Аналитике» («Первая Аналитика», II 25, 69а 20–36) и существенным образом развит его античными и средневековыми последователями. Дедуктивные умозаключения, основанные на свойствах пропозициональных логических связок , исследовались в школе стоиков и особенно подробно в средневековой логике. Были выделены такие важные типы умозаключений, как условно-категорические (modus ponens, modus tollens), разделительно-категорические (modus tollendo ponens, modus ponendo tollens), условно-разделительные (лемматические) и другие. В философии и логике Нового времени имели место значительные расхождения во взглядах на роль дедукции в ряду других методов познания. Так, Р. Декарт противопоставлял дедукции интуицию, посредством которой, по его мнению, человеческий разум «непосредственно усматривает» истину, в то время как дедукция доставляет разуму лишь «опосредованное» (полученное путём рассуждения) знание. (Провозглашённый Декартом примат интуиции над дедукцией возродился гораздо позже и в значительно изменённых и развитых формах в концепциях интуиционизма - см. ) Ф. Бэкон, а позднее другие английские «логики-индуктивисты» (У. Уэвелл, Дж. Ст. Милль, А. Бэн и другие), особо отмечая, что в заключении, полученном посредством дедукции, не содержится (если выражаться на современном языке) никакой «информации», которая не содержалась бы (пусть неявно) в посылках, считали на этом основании дедукцию «второстепенным» методом, в то время как подлинное знание, по их мнению, даёт только индукция. В этом смысле дедуктивно-правильные рассуждения рассматривались с теоретико-информационной точки зрения как рассуждения, посылки которых содержат в себе всю информацию, содержащуюся в их заключении. Исходя из этого, ни одно дедуктивно правильное рассуждение не приводит к получению новой информации - оно всего лишь делает явным неявное содержание его посылок. В свою очередь, представители направления, идущего в первую очередь от немецкой философии (Хр. Вольф, Г. В. Лейбниц), также, исходя из того, что дедукция не даёт новой информации, именно на этом основании приходили к прямо противоположному выводу: полученные путём дедукции знания являются «истинными во всех возможных мирах» (или, как говорил позже И. Кант, «аналитически истинными»), чем и определяется их «непреходящая» ценность, в отличие от полученных индуктивным обобщением данных наблюдения и опыта «фактических» (или «синтетических») истин, верных «лишь в силу стечения обстоятельств». С современной точки зрения вопрос о подобных преимуществах дедукции или индукции в значительной мере утратил смысл. Наряду с этим, определённый философский интерес представляет вопрос об источнике уверенности в истинности дедуктивно правильного заключения на основании истинности его посылок. В настоящее время принято считать, что этот источник - значение входящих в рассуждение логических терминов; таким образом, дедуктивно правильные рассуждения оказываются «аналитически верными».
В рамках традиционной логики описывалась лишь небольшая часть дедуктивных умозаключений и отсутствовали точные критерии логической корректности рассуждений. В современной символической логике (см. ), благодаря использованию методов формализации, построению логических исчислений и формальных семантик, аксиоматическому методу, исследование дедуктивных умозаключений было поднято на качественно иной, теоретический уровень. Средствами современной логической теории удаётся задать всю совокупность форм правильных дедуктивных умозаключений в рамках определённого формализованного языка. Так, если теория строится семантически, то переход от формул A 1 A 2 , … A n к формуле B объявляется формой корректного дедуктивного умозаключения при наличии логического следования B из A 1 A 2 , … A n ; данное отношение обычно определяется так: при любой допустимой в данной теории интерпретации нелогических символов, при которой A 1 A 2 , … A n принимают выделенное значение (значение истины), формула B также принимает выделенное значение. В синтаксически построенных логических системах (исчислениях) критерием логической корректности перехода от A 1 A 2 , … A n к B выступает существование формального вывода формулы B из формул A 1 A 2 , … A n , осуществляемого в соответствии с правилами данной системы.
Выбор логической теории, адекватной для проверки дедуктивных умозаключений, обусловливается типом высказываний, входящих в его состав, и выразительными возможностями языка теории. Так, умозаключения, содержащие сложные высказывания, могут анализироваться средствами логики высказываний (см. ), при этом внутренняя структура простых высказываний в составе сложных игнорируется. Силлогистика (см. ) исследует умозаключения из простых атрибутивных высказываний, основанные на объёмных отношениях в сфере общих терминов. Средствами логики предикатов (см. ) выделяются корректные дедуктивные умозаключения на основе учёта внутренней структуры простых высказываний разнообразных видов. Умозаключения, содержащие модальные высказывания, рассматриваются в рамках систем модальной логики (см. ), те, которые содержат овременённые высказывания, - в рамках временной логики (см. ) и так далее.