Отношение подчинения состоит в том, что из истинности подчиняющего суждения обязательно следует истинность подчиненного суждения, но обратное необязательно, то есть при истинности подчиненного суждения подчиняющее будет неопределенным – оно может оказаться как истинным, так и ложным. Но если подчиненное суждение ложно, то подчиняющее суждение будет тем более ложным. Обратное опять-таки необязательно, т.е. при ложности подчиняющего суждения подчиненное может оказаться как истинным, так и ложным.
Например, при истинности подчиняющего суждения «Все капиталисты эксплуататоры» (А) подчиненное суждение «Некоторые капиталисты – эксплуататоры» (J) будет тем более истинным. Но при истинности подчиненного суждения «Некоторые люди хорошо знакомы с творчеством Л.Н. Толстого» (J) подчиняющее суждение: «Все люди хорошо знакомы с творчеством Л.Н. Толстого» (А) будет ложным.
При ложности подчиненного суждения: «Некоторые преступления не подлежат наказанию» (О) будет тем более ложно суждение: «Ни одно преступление не подлежит наказанию» (Е). Но при ложности подчиняющего суждения: «Нив одном современном государстве нет избирательного ценза» (Е) будет истинным подчиненное суждение: «В некоторых современных государствах нет избирательного ценза» (О).
Подобного типа умозаключения называются умозаключениями подчинения.
Отношения противоречия (контрадикторности) существуют между суждениями А и О (общеутвердительными и частноотрицательными) и между суждениями Е и J (общеотрицательными и частноутвердительными). В отношении противоречия находятся также единично-утвердительные и единично-отрицательные суждения («Данное S есть Р» и «Данное S не есть Р»). Отношение противоречия состоит в том, что из двух противоречащих суждений одно обязательно истинно, а другое – ложно. Два противоречивых суждения не могут быть ни одновременно истинными, ни одновременно ложными.
«Данное S есть Р»и ® «Данное S не есть Р»л
«Данное S есть Р»л ® «Данное S не есть Р»и
«Данное S не есть Р»и ® «Данное S есть Р»л
«Данное S не есть Р»л ® «Данное S есть Р»и
Умозаключения, основанные на отношении противоречия называются отрицанием суждения.
С помощью отрицания суждения из исходного суждения образуется новое суждение, являющееся истинным, когда исходное суждение (посылка) ложно, и ложным, когда истинное суждение (посылка) истинно.
Так, отрицая истинное суждение: «Всякая агрессия преступна» (А), мы получим новое ложное суждение: «Некоторые агрессии не преступны» (О). Отрицая ложное суждение «Ни одно явление объективной действительности не изменяется (Е), мы получим истинное суждение «Некоторые явления объективной действительности подвержены изменениям» (J).
Заметим, что суждения типа А и Е (общеутвердительные и общеотрицательные) не являются отрицанием друг друга, так как могут встретиться случаи, когда они оба окажутся ложными, Исключением, как уже было сказано, являются единично-утвердительные и единично-отрицательные суждения, которые, хотя и относятся по объединенной классификации (по качеству и количеству) к общеутвердительным и общеотрицательным, являются отрицанием друг друга. Отрицая единичное суждение «Иванов – преступник», мы получим новое: «Иванов не является преступником», которое несовместимо с первым. Если первое суждение истинно, то второе ложно, и наоборот.
Одной из разновидностей дедуктивных умозаключений является разделительный силлогизм. Разделительными, или дизъюнктивными, силлогизмами называются такие, первая посылка которых есть разделительное (дизъюнктивное) суждение. Вторая посылка и вывод суть суждения разделительные или категорические.
Схема дизъюнктивного, или разделительного, суждения, образующего первую посылку дизъюнктивного силлогизма, имеет такой вид: S есть или А, или В, или С.
Каждое из суждений, входящее в данное разделительное суждение (S есть А, S есть В, S есть С), называется альтернативой. В данном разделительном суждении содержатся три альтернативы.
Существуют чисто разделительные и разделительно-категорические умозаключения.
В чисто-разделительном умозаключении обе (или все) посылки являются разделительными суждениями.
В традиционной логике принята следующая его структура:
S есть А, или В, или С.
А есть или А1, или А2.
S есть или А1, или А2, или В, или С.
Здесь из суждения «S есть А» образуются еще две альтернативы, которые составляют два члена новой дизъюнкции.
В разделительно-категорическом умозаключении одна посылка – разделительное суждение, другая – простое категорическое суждение. Это вид силлогизма имеет два модуса:
1. S есть А, или В, или С;
S не есть ни А, ни В .
Следовательно, S есть С.
В этом модусе разделительного силлогизма во второй посылке отрицается все, кроме одной, альтернативы; поэтому в выводе утверждается эта оставшаяся альтернатива. Так как в выводе мы приходим к утверждению, то модус называется утверждающим, и так как к этому утверждению мы пришли посредством отрицания альтернатив, кроме одной, то модус получает название модуса, утверждающего посредством отрицания или отрицающе–утверждающий (tollendo ponens).
Например:
Дом мог разрушиться в результате пожара, взрыва, непрочности конструкции, стихийного бедствия.
Дом разрушился ни в результате пожара, ни по причине непрочности конструкций, ни в результате стихийного бедствия.
Следовательно, дом разрушился в результате взрыва.
Но, данное заключение не достоверное, а вероятное, так как в первой разделительной предпосылке перечислены не все возможные причины разрешения дома (например, в результате провала земли и т.д.)
2. S есть или А, или В, или С;
S есть А.
Следовательно, S не есть ни В, ни С.
В этом модусе во второй посылке утверждается одна альтернатива; поэтому в выводе все оставшиеся альтернативы отрицаются. Этот модус по своему итогу оказывается отрицающим, а способ получения этого отрицания у него – утверждение. Вследствие этого полное наименование этого модуса такое: модус, отрицающий посредством утверждения или утверждающе - отрицающий (ponendo tollens).
Например:
Существительное может стоять в именительном, родительном, дательном, винительном, творительном, предложном падежах.
Существительное стоит в именительном падеже.
Следовательно существительное не стоит не в родительном, ни в дательном, ни в винительном, ни в творительном, ни в предложном падежах.
Для правильности построения разделительного силлогизма, необходимо соблюдение следующих двух правил построения разделительного силлогизма как условий истинности его вывода:
1. в разделительном суждении должны быть приведены все возможные альтернативы. Другими словами, деление субъекта суждения должно быть полным, исчерпывающим;
2. необходимо учитывать точное значение союза «или», которое может быть и чисто-разделительным и соединительно-разделительным, так как при чисто-разделительном значении союза «или» все альтернативы исключают одна другую, а при соединительно-разделительном значении союза «или» альтернативы не исключают одна другую.
Условно-разделительный силлогизм
Существуют также условно-разделительные (лемматические) силлогизмы.
В таких силлогизмах одна посылка является условным суждением, а вторая – разделительным. В зависимости от количества альтернатив, содержащихся в разделительном суждении этого силлогизма, он называется дилеммой, трилеммой, полилеммой.
Дилеммы бывают двух видов: конструктивные (созидательные) и деструктивные (разрушительные); обе формы дилеммы в свою очередь могут быть простыми и сложными.
I. Простая конструктивная дилемма.
Это умозаключение состоит из двух посылок. В первой посылке утверждается, что из двух различных оснований вытекает одно и то же следствие. Во второй посылке, которая является дизъюнктивным суждением, утверждается, что одно или другое из этих оснований истинно. В заключении утверждается следствие.
В традиционной формальной логике простую конструктивную дилемму обычно представляют в виде следующей схемы:
Если А есть В, то С есть D, если Е есть F, то С есть D.
А есть В или Е есть F.
С есть D.
Приведем пример простой конструктивной дилеммы:
Если число делится на 6, то оно делится и на 3; если число делится на 9, то оно делится и на 3.
Данное число делится на 6 или на 9 .
Данное число делится на 3.
II. Сложная конструктивная дилемма.
Это умозаключение строится из двух посылок. В первой посылке имеются два основания, из которых вытекают соответственно два следствия; во второй посылке, которая представляет собой дизъюнктивное суждение, утверждается истинность одного или другого основания; в заключении утверждается истинность одного или другого следствия. Сложная конструктивная дилемма отличается от простой конструктивной дилеммы только тем, что оба следствия ее условной посылки различны, а не одинаковы.
Этот вид дилеммы значительно чаще встречается в мышлении людей, в сознании литературных героев, исторических деятелей.
Например:
В романе А.С. Пушкина «Евгений Онегин» после вызова Ленского на дуэль перед Онегиным встала дилемма:
Если отказаться от дуэли, то его признают трусом; если он убьет Ленского на дуэли, то его признают убийцей.
Онегин мог отказаться от дуэли или пойти на нее.
Его признают трусом или убийцей.
Так как дилемма означает сложный выбор из двух альтернатив одной, причем обе они нежелательны для субъекта (такая ситуация характеризуется выражением «из двух зол выбирать наименьшее»), то в древности о дилемме говорили: «Посадить на рога дилеммы».