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