(отрицающей). Каждый из этих видов дилеммы, в свою очередь, делится на две разновидности: как конструктивная так и деструктивная дилемма может быть простой и сложной.
В простой конструктивной дилемме из двух оснований вытекает одно следствие, вторая посылка представляет собой дизъюнкцию оснований, а в выводе утверждается это одно следствие в виде простого суждения. Например:
Если поступать в МГУ, то надо много заниматься, а если
поступать в МГИМО, то тоже надо много заниматься.
Можно поступать в МГУ или МГИМО.
Надо много заниматься.
(((а → в) ∧ (с → в)) ∧ (а ⊻ с)) → в
В первой посылке сложной конструктивной дилеммы из двух оснований вытекает два следствия, вторая посылка представляет собой дизъюнкцию оснований, а вывод является сложным суждением в виде дизъюнкции следствий. Например:
Если страной правит мудрый человек, то она процветает,
а если ей управляет проходимец, то она бедствует.
Страной может управлять мудрый человек или проходимец.
Страна может процветать или бедствовать.
(((а → в) ∧ (с → d)) ∧ (а ⊻ с)) → (в ⊻ d)
В первой посылке простой деструктивной дилеммы из одного основания вытекает два следствия, вторая посылка представляет собой дизъюнкцию отрицаний следствий, а в выводе отрицается основание (происходит отрицание простого суждения). Например:
Если поступать в МГУ, то надо много заниматься, или же
надо много денег.
Я не хочу много заниматься, или же – тратить много денег.
Я не буду поступать в МГУ.
(((а → в) ∧ (а → с)) ∧ (¬в ⊻ ¬с)) → ¬а
В первой посылке сложной деструктивной дилеммы из двух оснований вытекают два следствия, вторая посылка представляет собой дизъюнкцию отрицаний следствий, а вывод является сложным суждением в виде дизъюнкции отрицаний оснований. Например:
Если философ считает первоначалом мира материю, то он материалист, а если он считает первоначалом мира сознание, то он идеалист.
Этот философ не материалист или не идеалист.
Этот философ не считает первоначалом мира материю, или он не считает первоначалом мира сознание.
(((а → в) ∧ (с → d)) ∧ (¬в ⊻ ¬d)) → (¬а ⊻ ¬c)
Поскольку первая посылка условно-разделительного умозаключения является импликацией, а вторая – дизъюнкцией, его правила – те же самые, что и рассмотренные выше правила условно-категорического и разделительно-категорического умозаключений.
3.13. Что такое индукция?
Вспомним, опосредованные умозаключения делятся на дедуктивные, индуктивные и умозаключения по аналогии. Дедуктивные умозаключения, или силлогизмы, разновидности которых мы рассмотрели выше, дают достоверные выводы. Индуктивное умозаключение, или индукция – это умозаключение, в котором из нескольких частных случаев выводится общее правило. В отличие от дедуктивных умозаключений, в индукции рассуждение идет от частного к общему, от меньшего к большему, знание расширяется, в силу чего индуктивные выводы, как правило, вероятностны.