Умозаключения делятся на следующие виды

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

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

Индукция — процесс логического вывода на основе перехода от частного положения к общему. Индуктивное умозаключение связывает частные предпосылки с заключением не строго через законы логики, а скорее через некоторые фактические, психологические или математические представления.

Виды индукции:

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

Правила:

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

Например:

Вторая ошибка носит длинное и, на первый взгляд, странное название: «после этого, значит по причине этого» В данном случае речь идет о том, что если одно событие происходит после другого, то это не означает необходимость их причинно-следственной связи. Два события могут быть связаны всего лишь временной последовательностью (одно — раньше, другое — позже). Когда мы говорим, что одно событие обязательно является причиной другого, потому что одно из них произошло раньше другого, то допускаем логическую ошибку. Например, в следующем индуктивном умозаключении обобщающий вывод является ложным, несмотря на истинность посылок:

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

По характеру уподобляемых объектов различают два вида аналогии:

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

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

Общая схема умозаключения по аналогии может быть представлена в таком виде:

А обладает признаками а, b, с, d,
В обладает признаками а, b, с,
Следовательно, В обладает, по-видимому, признаком d.

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

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

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