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