Умозаключение - это форма мышления, посредством которой из одного или нескольких суждений выводится новое суждение.
Структура умозаключения включает в себя три основных компонента: посылки, заключение и отношение между посылками и заключением, которое именуется отношением следования.
Посылками называются исходные суждения, из которых выводится новое суждение. Заключением называется новое суждение, полученное логическим путем из посылок. Отношением следования называется связь между посылками и заключением, благодаря которой и происходит формирование нового знания.
При анализе умозаключения посылки и заключение принято записывать отдельно, располагая их друг над другом. Заключение записывают под горизонтальной чертой, отделяющей его от посылок и обозначающей логическое следование.
Различают два основных вида отношения следования: строгое, или логическое следование и слабое, или просто следование.
Строгое, или логическое следование - это такое отношение между посылками и заключением, при котором если посылки истинны и имеют определенную форму (структуру), то заключение с определенной структурой (формой) будет необходимо истинным суждением.
В соответствии с этим приведем следующий пример умозаключения:
Посылки: Все прокуроры - юристы. Семенов не юрист
Заключение: Семенов не прокурор.
В вышеприведенном примере умозаключения имеет место строгое, логическое следование.
Слабым, или просто следованием называется такое отношение между посылками и заключением, при котором даже если посылки истинны и имеют определенную структуру и заключение имеет определенную структуру, оно при этом не является необходимо истинным суждением; его истинность имеет вероятностный характер. Так, если мы в приведенном выше примере заменим только одно слово "Все" на слово "Некоторые" ("Некоторые прокуроры - юристы"), а точнее заменим квантор общности на квантор существования, то получим пример умозаключения со слабым следованием, не гарантирующим истинность заключения при истинности посылок.
Наличие содержательной связи между посылками позволяет получить в процессе рассуждения новое истинное знание при соблюдении двух условий.
Во-первых, должны быть истинными исходные суждения - посылки, хотя следует иметь в виду, что иногда и ложные суждения могут дать истинное заключение. Последнее происходит при игнорировании объективно-истинных связей может создать видимость правильного умозаключения.
Во-вторых, в процессе рассуждения необходимо соблюдать правила вывода, которые обусловливают логическую правильность умозаключения. Без этого даже из истинных посылок можно получить ложное заключение. В зависимости от типа следования, все умозаключения подразделяются на две большие группы: необходимые и правдоподобные.
Необходимыми (или дедуктивными, или демонстративными) умозаключениями называются умозаключения, в которых имеет место строгое, или логическое следование.
Правдоподобными (или индуктивными, или вероятностными) называются умозаключения, в которых имеет место слабое следование, то есть в них отсутствует логический вывод.
Названия "необходимые" и "правдоподобные" мы считаем предпочтительными, так как названия "дедуктивные" и "индуктивные" не совсем точны. А названия "демонстративные" и "вероятностные" не общеприняты, малоупотребительны.
Помимо логической связи посылок и заключений при характеристике разновидностей умозаключений учитывают также степень общности посылок и заключений, направленность перехода от имеющегося знания к новому знанию по степени общности. Эти различия в способах перехода от старого знания к новому дают три основные группы умозаключений:
1) дедуктивные, 2) индуктивные, 3) традуктивные (по аналогии).
Умозаключения от общего знания к менее общему (частному), в которых вывод следует из посылок с необходимостью, называются дедуктивными.
Умозаключения от частного знания к более общему, в которых вывод следует из посылок лишь с вероятностью, называются индуктивными.
Умозаключения, в которых степень обобщенности посылок и вывода одинакова, называют традуктивными. К традуктивным относятся, например, умозаключения по аналогии.
Посредством дедуктивных умозаключений "выводят" некоторую мысль из других мыслей, индуктивные умозаключения лишь наводят на мысль, а умозаключения по аналогии переносят мысль с одного предмета на другой.
Перейдем к рассмотрению логических характеристик необходимых и правдоподобных умозаключений.
Итак, необходимыми умозаключениями являются такие, в которых имеет место строгое логическое следование, то есть такие, которые по своей форме представляют собой логический вывод.
В свою очередь, необходимые умозаключения подразделяются на умозаключения, основанные на отношениях между понятиями, умозаключения, основанные на отношениях между суждениями и многие их разновидности.
Умозаключения, основанные на отношениях между понятиями - это вид необходимых умозаключений, в которых вывод осуществляется на основе учета структуры простых суждений, их субъектно-предикатной формы. Выводы подобного типа изучаются таким разделом современной формальной логики, как логика предикатов (исчисление предикатов).
Наиболее разработанными в этой части являются умозаключения, основанные на простых категорических суждениях, то есть такие, в которых все посылки и заключение являются простыми категорическими суждениями (суждениями типа А, Е, I, О). Среди них в свою очередь также различают непосредственные умозаключения, простой и сложный категорический силлогизм.
Normal 0 false false false MicrosoftInternetExplorer4 /* Style Definitions */ table.MsoNormalTable {mso-style-name:"Обычная таблица"; mso-tstyle-rowband-size:0; mso-tstyle-colband-size:0; mso-style-noshow:yes; mso-style-parent:""; mso-padding-alt:0cm 5.4pt 0cm 5.4pt; mso-para-margin:0cm; mso-para-margin-bottom:.0001pt; mso-pagination:widow-orphan; font-size:10.0pt; font-family:"Times New Roman"; mso-ansi-language:#0400; mso-fareast-language:#0400; mso-bidi-language:#0400;}