Общее понятие об умозаключении

Общее понятие об умозаключении

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

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

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

Элементами любого умозаключения являются простые или сложные суждения. Суждения, из которых можно получить новое знание и из которых, раз они признаны истинными, с необходимостью следует какое-либо новое суждение, называются посылками умозаключения. Суждение, которое признается истинным и получено путем умозаключения, называется выводом, или заключением, или логическим следствием. Например, из двух посылок: (1) «Студент Иванов – член сборной команды университета по баскетболу» и (2) «Студент Краснов на всех соревнованиях по баскетболу эффективно играет в паре со студентом Ивановым» следует вывод (заключение, логическое следствие): (3) «Студент Краснов – член сборной команды университета по баскетболу».

Формальная логика специально занимается установлением правил, соблюдение которых обеспечивало бы надежный истинный вывод. 
Каковы же условия истинности выводов?

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

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

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

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

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

Рассмотрение дедуктивных  умозаключений принято начинать с категорических, с особой, наиболее типичной для дедукции формы этих умозаключений, называемой силлогизмом (от греч. syllogismos - сосчитывание).

 

 

 

 

 

2. Дедуктивное умозаключение 

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

Логической формой получения  выводных знаний является умозаключение.

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

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

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

Заключение будет истинным при наличии двух необходимых  условий: 1) если посылки истинны  по содержанию и 2) если умозаключение  правильно по своей форме (строению).

Например:

Все художники точно  чувствуют природу 

И.Левитан - художник.

_

Следовательно, И.Левитан тонко чувствует природу.

Вывод: при наличии содержательной связи между посылками мы можем  получить в процессе рассуждения  новое истинное знание при соблюдении двух условий: во-первых, должны быть истинными  исходные суждения - посылки умозаключения; во-вторых, в процессе рассуждения следует соблюдать правила вывода, которые обусловливают формальную правильности умозаключения.

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

где А - И.Левитан, В - художники, С - тонко чувствующие природу.

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

Все свидетели правдивы.

Кукушкин - свидетель.

_

Следовательно, Кукушкин правдив.

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

Все дикари любят красить  лица.

Все женщины тоже любят  красить лица.

_

Следовательно, все женщины  дикари.

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

- где А - женщины,  В - дикари, С - красящие лица.

Из возможных посылок  или при неправильном строении умозаключения  истинный вывод может получиться чисто случайно.

Дерево не проводит электричества.

Вода - не дерево.

_

Следовательно, вода проводит электричество.

При подобном строении умозаключения достаточно вместо "воды" подставить "резину", чтобы понять случайность верного вывода. Связь между посылками и заключением должна быть не случайной, а необходимой, однозначной, обоснованной: одно должно действительно следовать, вытекать из другого. Если же связь случайна или многозначна и в отношении вывода, как говорят при обмене квартир, "возможны варианты", то такой вывод делать нельзя. Иначе неизбежна ошибка, которая в логике называется "non sequitur" ( "не следует" ). продолжая начатое выше сравнение со строительством дома, можно сказать: нельзя построить добротный дом, если материал негодный (например, бревна гнилые); но и дом из хорошего материала может развалиться, если строить его неправильно, не соблюдая законов механики.

Виды дедуктивных  умозаключений.

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

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

Дедукция (от лат. deductio - выведение) - это умозаключение от более общего знания к менее общему. Типичный пример дедукции, идущий от древности:

Все люди смертны.

Сократ - человек.

посылок.

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

Данная классификация  умозаключений будет положена в  основу дальнейшего изложения.

Рассмотрим дедуктивные  умозаключения.

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

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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

3.Условно-категорические  умозаключения

Условно-категорическое умозаключение состоит из двух посылок — условного и категорического суждений. При этом категорическая посылка обычно состоит из тех же терминов, что и основание или следствие условной посылки. Например: "Если государственная система образования получит поддержку, то вузы Украины преодолеют трудности. Государственная система образования получит поддержку. Следовательно, вузы Украины преодолеют трудности". Условно-категорическое умозаключение имеет два модуса — утверждающий и отрицающий. В утверждающем модусе заключение идет от утверждения основания к утверждению следствия. Общая схема этого модуса такова: если есть А, то есть В; есть А, следовательно, есть и В. Вывод по этому  модусу может быть и утвердительным, и отрицательным. Качественная сторона  вывода находится в прямой зависимости от качественного характера условной посылки. В отрицающем модусе заключение идет от отрицания следствия  к отрицанию основания. Схематически отрицающий модус можно записать так: если есть А, то есть и В; нет  В, следовательно, нет и А. Вывод по этому  модусу также бывает утвердительным и отрицательным; его качественная сторона находится в обратной зависимости от качественного характера  условной посылки. Нередко в условной посылке основание и следствие  различны по качественному характеру. В таком случае категорическая посылка по качеству должна быть обратной качественному характеру следствия, а вывод будет обратным (в качественном отношении) основанию условной посылки. В общей схеме это выглядит так: если есть А, то нет В; есть В, следовательно, нет А. Учитывая, что  явление может обусловливаться  различными причинами, в условно-категорическом умозаключении нельзя идти от отрицания  основания к отрицанию следствия  или от утверждения следствия  к утверждению основания (ибо  это следствие может иметь иное основание).