Логика

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

5. Условно – разделительные умозаключения.
Умозаключения, как и понятия и суждения, являются формой абстрактного мышления. С помощью многообразных видов умозаключений опосредованно (т. е. не обращаясь к органам чувств) мы можем получать новые знания. Умозаключать можно при наличии одного или нескольких суждений (называемых посылками), поставленных во взаимную связь.
Условно-разделительное умозаключение – это такое дедуктивное умозаключение, в котором одна посылка состоит из двух или большего числа условных суждении, а другая является разделительным суждением. В зависимости от числа членов в разделительной посылке это умозаключение может быть дилеммой (если разделительная посылка содержит два члена), трилеммой (если разделительная посылка содержит три члена) или вообще полилеммой (число разделительных членов больше двух).
Дилемма означает сложный, трудный для человека (или группы людей) выбор из двух нежелательных альтернатив – «из двух зол надо выбирать наименьшее». Иногда говорят: «Альтернативы этому нет», т. е. данному действию не может быть противоположного действия, иначе это приведет к краху. Дилеммы делятся на конструктивные и деструктивные. В свою очередь, те и другие подразделяются на простые и сложные.
В простой конструктивной дилемме в первой (условной) посылке утверждается, что из двух различных оснований вытекает одно и то же следствие. Во второй посылке (дизъюнктивном суждении) утверждается, что одно или другое из этих оснований истинно. В заключении утверждается следствие. Пример:
Если я пойду через речку по мосту, меня могут заметить; если я пойду через речку вброд, меня тоже могут заметить. Я могу идти через речку по мосту или вброд. Меня могут заметить.
Сложная конструктивная дилемма отличается от простой только тем, что оба следствия ее первой (условной) посылки различны.

Содержание:
1. Введение. стр. 3
2. Чисто – условные умозаключения. стр. 6
3. Условно – категорические умозаключения. стр. 8
4. Разделительно – категорические умозаключения. стр. 9
5. Условно – разделительные умозаключения. стр. 12
6. Заключение. стр. 15
7. Список литературы. стр. 16

b
Формула: ((а →b)Ù (ā →b))→b.
Эта формула является законом логики. В умозаключении су­ждение b истинно и независимо от того, утверждается или отри­цается а.
Примером такого умозаключения является следующее рассуж­дение:
Если бензин не подорожает, уберем урожай.
Если бензин подорожает; уберем урожай.
Уберем урожай.
3. Условно – категорические умозаключения.
Условно-категорическим умозаключением называется такой вид умозаключения, в котором большая посылка представлена условным суждением, а меньшая посылка представляет собой категорическое суждение. В результате вывод (умозаключение) носит также категорический характер.  Различают четыре фигуры условно-категорического умозаключения: утверждающий модус, отрицающий модус и два вероятностных модуса. Утверждающий и отрицающий модусы являются правильными фигурами, вероятностные относятся к неправильным.
Формула ((а - Ь) л Ь) -» а (3) не является законом логики. Она означает, что нельзя достоверно умозаключить от утверждения следствия к утверждению основания. Люди иногда неправильно умозаключают так: Если бухта замерзла, то суда не могут входить в бухту. Суда не могут входить в бухту. Бухта замерзла. Заключение будет лишь вероятностным суждением, т. е. вероятно, что бухта замерзла, но возможно и то, что дует сильный ветер, или бухта заминирована, или существует другая причина, по которой суда не могут входить в бухту. Вероятностное заключение получится и в таком умозаключении: Если данное тело – графит, то оно электропроводно. Данное тело электропроводно. Вероятно, данное тело – графит. Это второй вероятностный модус, не дающий достоверного заключения. Выводы по утверждающему модусу подчиняются правилу логического перехода от утверждения истинности основания к утверждению истинности следствия, а выводы по отрицающему модусу другому правилу: из отрицания следствия следует отрицание его основания.
Приведу пример такого рода рассуждений по отрицающему модусу: “Треугольник тогда и только тогда является правильным, когда все его стороны равны. В данном треугольнике равны не все стороны. Значит, этот треугольник неправильный ”. Вывод правильный.
 
4. Разделительно – категорические умозаключения.
Категорические суждения могут образовать посылки не только с условными, но и разделительными суждениями. Разделительно-категорическими умозаключениями называются такие, в которых одна из посылок – разделительное суждение, а другая – категорическое суждение. Разделительно-категорические умозаключения имеют два модуса.
Первый из них называется утверждающе - отрицающим модусом. В нем одна из посылок – разделительное суждение, другая – утверждает истинность одного из членов разделительного суждения.
Пример:
Тела бывают твердые, либо жидкие, либо газообразные.
Данное тело газообразное.
Данное тело не твердое и не жидкое.
Второй модус называется отрицающее – утверждающим, так как в нем категорическое суждение отрицает один из членов разделительного суждения, и поэтому заключение утверждает истинность другого члена разделительного суждения. Пример:
Тела бывают простые либо сложные.
Данное тело не простое.
Данное тело сложное.
Во всех разделительных суждениях связка "либо" ("или") употребляется в исключающем смысле, т.е. утверждение одного из членов суждения исключает все другие члены. Поэтому, чтобы не допустить ошибки в разделительном суждении, необходимо перечислить все его взаимоисключающие члены. Например, из суждений (посылок) "Треугольники бывают остроугольные или тупоугольные" и "Данный треугольник тупоугольный" нельзя вывести правильного заключения, что "этот треугольник остроугольный", поскольку мы не указали в посылке существования прямоугольных треугольников.
Оба модуса могут приводить как к верным, так и к ошибочным заключениям. Для того чтобы не совершать ошибок при рассуждениях, имеющих вид разделительно-категорического силлогизма, нужно выполнить требование к разделительной посылке. При утверждающе-отрицающем модусе разделительная посылка должна быть строго разделительной, т.е. альтернативы должны исключать друг друга. Если это требование не соблюдено, вывод может оказаться ошибочным. Например, встречаете вы знакомого, идущего с дамой, и думаете: «Эта дама ему мать или жена». Выясняется, что дама приходится ему женой. «Ага, – делаете вы вывод, – значит, она ему не мать». Это – утверждающе-отрицающий модус, и его разделительная посылка является строго разделительной. Вывод вполне достоверен.
Для отрицающе-утверждающего модуса требование таково: разделительная посылка должна быть исчерпывающей, т.е. должна охватывать все возможности, существующие в данной области рассуждений. В противном случае вывод может оказаться неверным.
Логическая структура именно этого модуса часто лежит в основе многих детективных сюжетов и реальной следственной практики. Совершено преступление, и следователь очерчивает круг возможных участников преступления. Дальнейшая его работа или развитие сюжета заключаются в том, что он проверяет подозреваемых и по одному отсеивает их: этот был болен, тот сидел в тюрьме в момент совершения преступления, того видели несколько человек в другом месте и т.д. Кто останется – тот и преступник. Это и есть отрицающе-утверждающий модус: преступление мог совершить A или B; A не мог совершить преступления, следовательно, его совершил B.
Конечно, в повседневной жизни и в профессиональной деятельности мы не ограничиваемся теми простыми выводами, с которыми познакомились. Мы можем соединять и комбинировать их самыми разнообразными способами, например, в одном рассуждении можно соединить условно-категорический и разделительно-категорический силлогизмы, тогда мы получим то, что называют дилеммой: если пойдешь направо, коня потеряешь. Если пойдешь налево, голову потеряешь. Но нужно идти направо или налево. Придется потерять коня или голову.
5. Условно – разделительные умозаключения.
Умозаключения, как и понятия и суждения, являются формой абстрактного мышления. С помощью многообразных видов умозаключений опосредованно (т. е. не обращаясь к органам чувств) мы можем получать новые знания. Умозаключать можно при наличии одного или нескольких суждений (называемых посылками), поставленных во взаимную связь.
Условно-разделительное умозаключение – это такое дедуктивное умозаключение, в котором одна посылка состоит из двух или большего числа условных суждении, а другая является разделительным суждением. В зависимости от числа членов в разделительной посылке это умозаключение может быть дилеммой (если разделительная посылка содержит два члена), трилеммой (если разделительная посылка содержит три члена) или вообще полилеммой (число разделительных членов больше двух).
Дилемма означает сложный, трудный для человека (или группы людей) выбор из двух нежелательных альтернатив – «из двух зол надо выбирать наименьшее». Иногда говорят: «Альтернативы этому нет», т. е. данному действию не может быть противоположного действия, иначе это приведет к краху. Дилеммы делятся на конструктивные и деструктивные. В свою очередь, те и другие подразделяются на простые и сложные.
В простой конструктивной дилемме в первой (условной) посылке утверждается, что из двух различных оснований вытекает одно и то же следствие. Во второй посылке (дизъюнктивном суждении) утверждается, что одно или другое из этих оснований истинно. В заключении утверждается следствие. Пример:
Если я пойду через речку по мосту, меня могут заметить; если я пойду через речку вброд, меня тоже могут заметить. Я могу идти через речку по мосту или вброд. Меня могут заметить.
Сложная конструктивная дилемма отличается от простой только тем, что оба следствия ее первой (условной) посылки различны.
В простой деструктивной дилемме первая (условная) посылка указывает на то, что из одного и того же основания вытекают два различных следствия. Во второй посылке содержится дизъюнкция отрицаний обоих этих следствий. В заключении отрицается основание.
Сложная деструктивная дилемма отличается от простой только тем, что оба основания ее различны, заключение является дизъюнкцией отрицаний обоих оснований.