8.1.УМОЗАКЛЮЧЕНИЕ

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

Различают три вида логических умозаключений: дедуктивные, индуктивные и традуктивные.

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

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

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

1. Исходные суждения (посылки) должны быть истинными;
2. Логические связи между посылками должны быть правильными;
3. Логические связи между посылками и заключением должны соответствовать всем правилам вывода.

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