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

Первая посылка таких умозаключений является дизъюнкцией А V В либо строгой дизъюнкцией А V В, т. е. разделительным суждением. Вторая посылка представлена простым суждением А или В или их отрицанием –  ¬ А, ¬ В.

Для простой дизъюнкции правильными способами рассуждения

будут следующие:

А V В, ¬ А А V В, ¬ В

В , А .

Такой способ получил название modus tollendo ponens, что значит «отрицающе-утверждающий модус». В них мы переходим от отрицания одного из членов дизъюнкции к утверждению другого ее члена.

Допустим, в совершении преступления подозреваются Джонс или Браун (А V В), и только они. Доказано, что Джонс не виноват (¬А).

Следовательно, мы с полным основанием можем считать, что виноват Браун (В).

В рассуждениях такого типа очень важно, чтобы в исходной посылке А V В были перечислены все возможные случаи (т. е. чтобы не оказалось А V В V С). Иначе посылка окажется ложной, а из ложной посылки невозможно сделать обоснованные выводы.

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

А V В, А А V В, В

¬В , ¬А .

Этот способ называется утверждающе-отрицающим модусом, или modus ponendo tollens. Сущность подобного умозаключения состоит в том, что в большей посылке устанавливается несколько возможных решений (альтернатив), а меньшая утверждает только одно из них как истинное, вследствие чего в заключении все остальные решения по необходимости отрицаются как ложные. Например:

Налог может быть либо федеральным, либо региональным, либо местным.

Налог на рекламу – местный.

Следовательно, налог на рекламу не является ни федеральным, ни региональным.

40. Дилеммы, их виды и правильные формы.

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

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

Дилемма - это условно-разделительное умозаключение с двумя альтернативами. В практике рассуждений встречаются два вида дилемм - конструктивная и деструктивная.

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

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

(см. схему и пример в кириллове стр 151 и далее

МГЮАшный учебник стр 131)

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

направлено от утверждения истинности оснований к

утверждению истинности следствий.

(см. схему и пример в кириллове стр 151 и далее

МГЮАшный учебник стр 131)

В простой деструктивной дилемме условная посылка

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

(см. схему и пример в кириллове стр 151 и далее

МГЮАшный учебник стр 131)

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

(см. схему и пример в кириллове стр 151 и далее

МГЮАшный учебник стр 131)

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