Неполная индукция

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

Схема неполной индукции:

· А1 имеет признак В

· А2 имеет признак В

· А3 имеет признак В

А1, А2, А3, …, Аn принадлежат множеству А.

Следовательно, вероятно, А4 и остальные элементы множества А имеют признак В.

Пример ошибочного результата:

· В Аргентине говорят на испанском языке.

· В Венесуэле и Эквадоре говорят на этом же языке.

· Аргентина, Венесуэла и Эквадор — латиноамериканские страны.

Следовательно, в каждой латиноамериканской стране говорят на испанском языке.

Неполная И. по построению напоминает третью фигуру силлогизма, отличаясь от неё, однако, тем, что И. стремится к общим заключениям, в то время как третья фигура дозволяет лишь частные.

Умозаключение по неполной И. (per enumerationem simplicem, ubi non reperitur instantia contradictoria) основывается, по-видимому, на привычке и даёт право лишь на вероятное заключение во всей той части утверждения, которая идёт далее числа случаев уже исследованных. Милль в разъяснении логического права на заключение по неполной И. указал на идею однообразного порядка в природе, в силу которой наша вера в индуктивное заключение должна возрастать, но идея однообразного порядка вещей сама является результатом неполной индукции и, следовательно, основой И. служить не может. В действительности основание неполной И. то же, что и полной, а также третьей фигуры силлогизма, то есть тождество частных суждений о предмете со всей группой предметов. «В неполной И. мы заключаем на основании реального тождества не просто некоторых предметов с некоторыми членами группы, но таких предметов, появление которых перед нашим сознанием зависит от логических особенностей группы и которые являются перед нами с полномочиями представителей группы».

Задача логики состоит в том, чтобы указать границы, за пределами которых индуктивный вывод перестаёт быть правомерным, а также вспомогательные приёмы, которыми пользуется исследователь при образовании эмпирических обобщений и законов. Несомненно, что опыт (в смысле эксперимента) и наблюдение служат могущественными орудиями при исследовании фактов, доставляя материал, благодаря которому исследователь может сделать гипотетическое предположение, долженствующее объяснить факты.

Таким же орудием служит и всякое сравнение и аналогия, указывающие на общие черты в явлениях, общность же явлений заставляет предположить, что мы имеем дело и с общими причинами; таким образом, сосуществование явлений, на которое указывает аналогия, само по себе ещё не заключает в себе объяснения явления, но доставляет указание, где следует искать объяснения. Главное отношение явлений, которое имеет в виду И., — отношение причинной связи, которая, подобно самому индуктивному выводу, покоится на тождестве, ибо сумма условий, называемая причиной, если она дана в полноте, и есть не что иное, как вызванное причиной следствие. Правомерность индуктивного заключения не подлежит сомнению; однако логика должна строго установить условия, при которых индуктивное заключение может считаться правильным; отсутствие отрицательных инстанций ещё не доказывает правильности заключения. Необходимо, чтобы индуктивное заключение основывалось на возможно большем количестве случаев, чтобы эти случаи были по возможности разнообразны, чтобы они служили типическими представителями всей группы явлений, которых касается заключение, и т. д.

При всём том индуктивные заключения легко ведут к ошибкам, из которых самые обычные проистекают от множественности причин и от смешения временного порядка с причинным. В индуктивном исследовании мы всегда имеем дело со следствиями, к которым должно подыскать причины; находка их называется объяснением явления, но известное следствие может быть вызвано целым рядом различных причин; талантливость индуктивного исследователя в том и заключается, что он постепенно из множества логических возможностей выбирает лишь ту, которая реально возможна. Для человеческого ограниченного познания, конечно, различные причины могут произвести одно и то же явление; но полное адекватное познание в этом явлении умеет усмотреть признаки, указывающие на происхождение его лишь от одной возможной причины. Временное чередование явлений служит всегда указанием на возможную причинную связь, но не всякое чередование явлений, хотя бы и правильно повторяющееся, непременно должно быть понято как причинная связь. Весьма часто мы заключаем post hoc — ergo propter hoc, таким путём возникли все суеверия, но здесь же и правильное указание для индуктивного вывода.

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

На самом простом примере проанализируем структуру силлогизма: «Все планеты светят отраженным светом. Земля – планета. Следовательно, Земля светит отраженным светом». Вывод этого силлогизма представляет собой простое категорическое суждение А, в котором объем предиката (тела, способного отражать свет) шире объема субъекта (Земля). В силу этого предикат вывода называется большим термином, а субъект вывода – меньшимтермином. Соответственно этому посылка, в которую входит предикат вывода, т.е. большой термин, называется большой посылкой, а посылка с меньшим термином, субъектом вывода, называется меньшей посылкой силлогизма.

Третье понятие «планета», посредством которого устанавливается связь между большим и меньшим терминами, называется средним термином силлогизма и обозначается символом М (medium - посредник). Средний термин входит в каждую посылку, но не входит в заключение. Назначение среднего термина – быть связующим звеном между крайними терминами, между субъектом и предикатом вывода.

Эта связь осуществляется в посылках: в большей посылке средний термин связан с предикатом (М - Р), в меньшей посылке – с субъектом вывода (S - М). В итоге мы получаем следующую общую схему силлогизма:

При этом нужно иметь в виду: 1) наименования «большая» или «меньшая» посылка зависит не от местоположения в схеме силлогизма, а только от наличия в ней большего или меньшего термина; 2) с переменой места любого термина в посылке обозначение его не меняется – больший термин (предикат вывода)всегда обозначается символом Р, меньший (субъект вывода) – символом S, средний – символом М; 3) от перемены порядка посылок в силлогизме вывод, то есть логическая связь между крайними терминами, не зависит.

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

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

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

Отражая объективные свойства и отношения вещей, аксиома силлогизма выражает связь понятий – терминов прежде всего по их содержанию. Но так как связь понятий по содержанию определяет их отношение по объему, то аксиома выражает также объемные отношения терминов силлогизма. Эти отношения можно выразить круговыми схемами, показав несовместимость или совместимость объемов понятий, отражающих признаки определенных классов предметов (Рис. 1 и 2).

Рис. 1 Рис. 2

Название «аксиома» силлогизма означает, что правило не требует доказательства: многократно подтвержденное опытом, оно стало очевидным.

Простой категорический силлоги́ зм (греч. σ υ λ λ ο γ ι σ μ ό ς) — рассуждение мысли, состоящее из трёх простых атрибутивных высказываний: двух посылок и одного заключения. Посылки силлогизма разделяются на бо́ льшую (которая содержит предикат заключения) и меньшую (которая содержит субъект заключения). По положению среднего термина силлогизмы делятся на фигуры, а последние по логической форме посылок и заключения — на модусы.

Пример силлогизма:

Всякий человек смертен (бо́ льшая посылка)

Сократ — человек (меньшая посылка)

------------

Сократ смертен (заключение)