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. Сложная конструктивная дилемма.

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

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

Например:

В романе А.С. Пушкина «Евгений Онегин» после вызова Ленского на дуэль перед Онегиным встала дилемма:

Если отказаться от дуэли, то его признают трусом; если он убьет Ленского на дуэли, то его признают убийцей.

Онегин мог отказаться от дуэли или пойти на нее.

Его признают трусом или убийцей.

Так как дилемма означает сложный выбор из двух альтернатив одной, причем обе они нежелательны для субъекта (такая ситуация характеризуется выражением «из двух зол выбирать наименьшее»), то в древности о дилемме говорили: «Посадить на рога дилеммы».

III. Простая деструктивная дилемма.

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

Например:

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

У человека нет высокой температуры, насморка, не болит горло.

Следовательно этот человек не болен гриппом.

IV. Сложная деструктивная дилемма

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

Если А есть В, то С есть D, если Е есть F, то К есть М.

С не есть D или К не есть М.

А не есть В или Е не есть F.

Например:

Если бы я был богат, то купил бы автомобиль.

Если бы .

Ноя не купил диплом и не учусь в академии.

Следовательно, я не богат и не имею больших связей.

Заключение

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

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

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

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