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