Умозаключения

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

 

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

 

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

 

Рассмотрим эти умозаключения. Превращение имеет схему:

 

S есть Р

 

S не есть не-Р.

 

 

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

 

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

 

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

 

Если а, то b.

 

а.

 

b.

 

Приведем пример утверждающего  модуса.

 

Если топор упадет в  воду, он утонет.

 

Топор упал в воду.

 

Он утонет.

 

Два истинных суждения, которые  являются посылками этого суждения, преобразуются в процессе вывода в истинное суждение. Отрицающий модус  выражается по следующей схеме. Если а, то b. Не-b. Не-а.

 

Это суждение строится на основе отрицания следствия и отрицания  основания.

 

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

 

В связи с этим следует  сказать о вероятностных модусах.

 

Первый вероятностный  модус на схеме отображается следующим  образом.

 

Если а, то b.

 

b.

 

Вероятно, а.

 

Как ясно из названия, следствие, выводимое из посылок при помощи этого модуса, является вероятным.

 

Если дует сильный ветер, то яхту кренит набок.

 

Яхту кренит набок.

 

Вероятно, дует сильный ветер.

 

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

 

Второй вероятностный  модус в виде схемы можно изобразить так.

 

Если а, то b. Не-а.

 

Вероятно, не-b. Приведем пример.

 

Если человек лежит  под солнцем, он загорит.

 

Этот человек не лежит  под солнцем.

 

Он не загорит.

 

Как видно из приведенного примера, производя умозаключение  от отрицания основания к отрицанию  следствия, мы получим не истинное, а вероятностное следствие.

Разделительные умозаключения  делятся на простые разделительные и разделительно-категорические умозаключения. В первом случае разделительн ыми являются все посылки. Примером такого умозаключения является следующее.

 

Путь бывает прямым или  окружным.

 

Окружный путь бывает с  одной пересадкой или с несколькими  пересадками.

 

Путь бывает прямым или  с одной пересадкой, или с несколькими  пересадками.

 

 

 

 

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

 

S есть А или В. S есть А (В). S не есть В (А). Например:

 

Выстрел бывает точным и неточным. Этот выстрел является точным. Этот выстрел не является неточным.

 

 

 

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

 

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

 

Если нажать на карандаш, он сломается; если согнуть карандаш, он сломается.

 

Можно нажать на карандаш или  согнуть карандаш.

 

Карандаш сломается.

 

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

 

Трилемма состоит из двух посылок и следствия и предлагает выбор из трех вариантов или констатирует три факта.

 

Если спортсмен вовремя  нанесет удар, то он победит; если спортсмен  правильно распределит силы, то он победит; если спортсмен выполнит прыжок чисто, то он победит.

 

Спортсмен вовремя нанесет  удар или правильно распределит  силы на дистанции, или выполнит прыжок чисто.

 

Спортсмен победит.

 

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