Схема доказательства есть логическая (мыслительная) операция (процедура), состоящая в получении нового суждения (высказывания, утверждения) из одного или нескольких ранее известных суждений. Ранее известные суждения, входящие в состав умозаключения, называются его посылками, а новое суждение называется его следствием (или заключением). С содержательной точки зрения умозаключение есть переход от уже имеющегося (наличного) знания к новому знанию. С формальной точки зрения умозаключение есть переход от посылок к следствию. В логике умозаключение принято представлять в виде фигуры, в которой посылки записаны одна под другой и отделены горизонтальной чертой, под которой записано следствие. Рассуждение есть последовательность схема доказательства, причем посылками последующих умозаключений служат следствия предыдущих умозаключений данной последовательности.
Схема доказательства делятся на дедуктивные и индуктивные. Расхожим является мнение о том, что дедуктивные схема доказательства — это "умозаключения от общего к частному", а индуктивные — "от частного к общему". Эти "определения" лишь в самых общих чертах характеризуют, в частности, дедуктивные схемы доказательства. Это одно приведенное свойство еще не является для них определяющим. Дедуктивное умозаключение, прежде всего, основано на анализе формальной (логической) структуры посылок и следствия, индуктивное умозаключение основано на анализе их содержания.
Дедуктивный метод используется для доказательства математических теорем и решения задач по готовым схемам. Но настоящие открытия требуют индуктивного стиля мышления, т.е. интуиции. На самом деле любой математик, еще прежде, чем решит задачу, уже "кожей чувствует", что у него должно получиться
Дедукция — это частный случай умозаключения.
В широком смысле умозаключение — логическая операция, в результате которой из одного или нескольких принятых утверждений (посылок) получается новое утверждение — заключение (вывод, следствие).
В зависимости от того, существует ли между посылками, и заключением связь логического следования, можно выделить два вида умозаключений.
В дедуктивном умозаключении эта связь опирается на логический закон, в силу чего заключение с логической необходимостью вытекает из принятых посылок. Отличительная особенность такого умозаключения в том, что оно от истинных посылок всегда ведет к истинному заключению.
В индуктивном умозаключении связь посылок и заключения опирается не на закон логики, а на некоторые фактические или психологические основания, не имеющие чисто формального характера. В таком умозаключении заключение не следует логически из посыпок и может содержать информацию, отсутствующую в них. Достоверность посылок не означает поэтому достоверности выведенного из них индуктивно утверждения. Индукция дает только вероятные, или правдоподобные, заключения, нуждающиеся в дальнейшей проверке.
Различают полную индукцию - метод доказательства, при котором утверждение доказывается для конечного числа частных случаев, исчерпывающих все возможности, и неполную индукцию - наблюдения за отдельными частными случаями наводит на гипотезу, которая, конечно, нуждается в доказательстве. Также для доказательств используется метод математической индукции.Различают двоякую индукцию: полную (induction complete) и неполную (inductio incomplete или per enumerationem simplicem). В первой мы заключаем от полного перечисления видов известного рода ко всему роду; очевидно, что при подобном способе умозаключения мы получаем вполне достоверное заключение, которое в то же время в известном отношении расширяет наше познание; этот способ умозаключения не может вызвать никаких сомнений. Отождествив предмет логической группы с предметами частных суждений, мы получим право перенести определение на всю группу. Напротив, неполная И., идущая от частного к общему (способ умозаключения, запрещённый формальной логикой), должна вызвать вопрос о праве. Неполная И. по построению напоминает третью фигуру силлогизма, отличаясь от неё, однако, тем, что И. стремится к общим заключениям, в то время как третья фигура дозволяет лишь частные.
Умозаключение по неполной И. (per enumerationem simplicem, ubi non reperitur instantia contradictoria) основывается, по-видимому, на привычке и даёт право лишь на вероятное заключение во всей той части утверждения, которая идёт далее числа случаев уже исследованных. Милль в разъяснении логического права на заключение по неполной И. указал на идею однообразного порядка в природе, в силу которой наша вера в индуктивное заключение должна возрастать, но идея однообразного порядка вещей сама является результатом неполной индукции и, следовательно, основой И. служить не может. В действительности основание неполной И. то же, что и полной, а также третьей фигуры силлогизма, то есть тождество частных суждений о предмете со всей группой предметов. "В неполной И. мы заключаем на основании реального тождества не просто некоторых предметов с некоторыми членами группы, но таких предметов, появление которых перед нашим сознанием зависит от логических особенностей группы и которые являются перед нами с полномочиями представителей группы". Задача логики состоит в том, чтобы указать границы, за пределами которых индуктивный вывод перестаёт быть правомерным, а также вспомогательные приёмы, которыми пользуется исследователь при образовании эмпирических обобщений и законов. Несомненно, что опыт (в смысле эксперимента) и наблюдение служат могущественными орудиями при исследовании фактов, доставляя материал, благодаря которому исследователь может сделать гипотетическое предположение, долженствующее объяснить факты.
Таким же орудием служит и всякое сравнение и аналогия, указывающие на общие черты в явлениях, общность же явлений заставляет предположить, что мы имеем дело и с общими причинами; таким образом, сосуществование явлений, на которое указывает аналогия, само по себе ещё не заключает в себе объяснения явления, но доставляет указание, где следует искать объяснения. Главное отношение явлений, которое имеет в виду И., - отношение причинной связи, которая, подобно самому индуктивному выводу, покоится на тождестве, ибо сумма условий, называемая причиной, если она дана в полноте, и есть не что иное, как вызванное причиной следствие. Правомерность индуктивного заключения не подлежит сомнению; однако логика должна строго установить условия, при которых индуктивное заключение может считаться правильным; отсутствие отрицательных инстанций ещё не доказывает правильности заключения. Необходимо, чтобы индуктивное заключение основывалось на возможно большем количестве случаев, чтобы эти случаи были по возможности разнообразны, чтобы они служили типическими представителями всей группы явлений, которых касается заключение, и т.д.
При всём том индуктивные заключения легко ведут к ошибкам, из которых самые обычные проистекают от множественности причин и от смешения временного порядка с причинным. В индуктивном исследовании мы всегда имеем дело со следствиями, к которым должно подыскать причины; находка их называется объяснением явления, но известное следствие может быть вызвано целым рядом различных причин; талантливость индуктивного исследователя в том и заключается, что он постепенно из множества логических возможностей выбирает лишь ту, которая реально возможна. Для человеческого ограниченного познания, конечно, различные причины могут произвести одно и то же явление; но полное адекватное познание в этом явлении умеет усмотреть признаки, указывающие на происхождение его лишь от одной возможной причины. Временное чередование явлений служит всегда указанием на возможную причинную связь, но не всякое чередование явлений, хотя бы и правильно повторяющееся, непременно должно быть понято как причинная связь. Весьма часто мы заключаем post hoc - ergo propter hoc [2], таким путём возникли все суеверия, но здесь же и правильное указание для индуктивного вывода.
Дедукция (от лат. deductio - выведение) - выведение частного из общего; путь мышления, который ведет от общего к частному, от общего положения к особенному; общей формой дедукции является силлогизм, посылки которого образуют указанное общее положение, а выводы - соответствующее частное суждение; применяется только в естественных науках, особенно в математике: например, из аксиомы Гильберта ("две отличные друг от друга точки А и В всегда определяют прямую а") дедуктивным путем можно сделать вывод, что кратчайшей линией между двумя точками является соединяющая эти две точки прямая; противоположностью дедукции является индукция; трансцендентальной дедукцией Кант называет объяснение того, каким образом априорные понятия могут относиться к предметам, т.е. каким образом допонятийное восприятие может оформиться в понятийный опыт; трансцендентальная дедукция отличается от эмпирической, которая указывает лишь на способ образования понятия благодаря опыту и рефлексии.
Изучение Дедукции составляет главную задачу логики; иногда логику - во всяком случае логику формальную - даже определяют как "теорию Дедукции", хотя логика далеко не единственная наука, изучающая методы Дедукции: психология изучает реализацию Дедукции в процессе реального индивидуального мышления и его формирования, а гносеология - как один из основных методов научного познания мира.
Хотя сам термин "Дедукция" впервые употреблён, по-видимому, Боэцием, понятие Дедукция - как доказательство какого-либо предложения посредством силлогизма - фигурирует уже у Аристотеля. В философии и логике средних веков и нового времени имели место значительные расхождения во взглядах на роль Дедукции в ряду других методов познания. Так, Р. Декарт противопоставлял Дедукцию интуиции, посредством которой, по его мнению, человеческий разум "непосредственно усматривает" истину, в то время как Дедукция доставляет разуму лишь "опосредованное" знание. Ф. Бэкон, а позднее другие английские логики-"индуктивисты", справедливо отмечая, что в заключении, полученном посредством Дедукции, не содержится никакой "информации", которая не содержалась бы в посылках, считали на этом основании Дедукцию "второстепенным" методом, в то время как подлинное знание, по их мнению, даёт только индукция. Наконец, представители направления, идущего в первую очередь от немецкой философии, также, исходя по сути дела из того, что Дедукция не даёт "новых" фактов, именно на этом основании приходили к прямо противоположному выводу: полученные путём Дедукции знания являются "истинными во всех возможных мирах" (или, как говорил позже И. Кант, "аналитически истинными"), чем и определяется их "непреходящая" ценность [в отличие от полученных индуктивным обобщением данных наблюдения и опыта "фактических" истин, верных, так сказать, "лишь в силу стечения обстоятельств"].
Дедуктивные и индуктивные умозаключения имеют место в осмыслении и усвоении теоретических вопросов логики. Следует отметить, что логика так же естественна, привычна и незаметна, как дыхание, как воздух. Интуитивно логика и теория аргументации известны каждому. Всякий процесс рассуждения основывается на использовании законов логики и её операций. Убеждение других людей опирается на принципы теории аргументации. Вместе с тем чрезмерный оптимизм в отношении наших стихийно сложившихся навыков логически последовательного и аргументированного мышления вряд ли обоснован. Нельзя считать собственное мышление и присущую каждому способность убеждать других естественными процессами, требующими анализа и контроля не больше, чем, скажем, дыхание и ходьба.
Умозаключение - это логическая операция, в результате которой из одного или нескольких принятых утверждений получается новое утверждение - заключение. В зависимости от того, существует ли между посылками и заключениями связь логического следования, можно выделить в два вида умозаключения: дедуктивное и индуктивное. В дедуктивном умозаключении эта связь опирается на логический закон, в силу чего заключение с логической необходимостью вытекает из принятых посылок. Отличительная особенность такого умозаключения в том, что оно от истинных посылок ведёт к истинному заключению.
В индуктивном умозаключении связь посылок и заключения опирается не на закон логики, а на некоторые фактические или психологические основания, не имеющие число формального характера. В таком умозаключении заключение не следует логически из посылок и может содержать информацию, отсутствующую в них. Достоверность посылок не означает, поэтому достоверности выведенного из них индуктивного утверждения. Индукция даёт только вероятные, или правдоподобные, заключения, нуждающиеся в дальнейшей проверке. В отличие от дедуктивных умозаключений, в которых между посылками и заключением имеет место отношение логического следования, индуктивные умозаключения представляют собой такие связи между посылками и заключением по логическим формам, при которых посылки лишь подтверждают заключение.
Индуктивная логика, как и дедуктивная, начала формироваться в Древней Греции. По свидетельствам древних авторов, не дошедшее до нас сочинение Демокрита «Канон, или О логике», содержала элементы индуктивной логике Индуктивную логику разрабатывали Сократ, Платон и Аристотель. Индукция по Сократу - это способ уточнения понятий этики, заключающейся в следующем: берётся первоначальное определение какого-либо понятия, например понятия «мужество», анализируются различные случаи его употребления. Если по окончании анализа необходимо уточнить понятие, то оно уточняется, затем процедура повторяется. Платон понимал под индукцией так называемую обратную дедукцию: если А|= В, то В||= А, Аристотель - обобщающую индукцию, т.е. переход от знания о некоторых предметах класса к знанию о всех предметах класса. В «Топике» Аристотель писал: «Наведение… есть вхождение от единичного к общему.
Дедуктивные умозаключения представляют собой отношения логического следования, когда истинность первого гарантирует истинность второго. То есть оно гарантирует истинность заключения при истинности посылок, является надёжным. Для дедукции характерно подведение частного случая под общее правило или выведение из общего правила следствий относительно частного случая. Выводы дедуктивного умозаключения обладают достоверностью и носят принудительный характер. Однако за надёжность следует платить. Надежность дедуктивного умозаключения основывается на том, что оно не расширяет объёма знаний субъекта, совершающего умозаключение. Информация, содержащаяся в заключение, составляет всего лишь часть информации, содержащийся в посылках.
Дедуктивное умозаключение - это умозаключение, в котором переход от общего к частному является логически необходимым, следовательно, из посылок, выражающих знания большей степени общности, получаем вывод как знание меньшей степени общности.
Правила дедуктивного вывода определяются характером посылок, которые могут быть простыми или сложными суждениями.