Логика. Учебное пособие

вывод является ложным, т. к. Канада в такой же степени северная страна, в какой и западная. Ложный вывод при истинных посылках объясняется в данном случае пересечением результатов деления в первой посылке, или, что одно и то же, – нестрогой дизъюнкцией. Следует отметить, что нестрогая дизъюнкция в разделительно-категорическом силлогизме допустима в том случае, когда он построен по отрицающе-утверждающему модусу. Например, в силлогизме:

Он силен от природы или же – постоянно занимается спортом.

Он не является сильным от природы.

Он постоянно занимается спортом.

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

4. Деление в первой посылке должно быть последовательным. Например, в силлогизме:

Предложения бывают простыми или сложными, или сложносочиненными.

Это предложение сложносочиненное.

Это предложение не простое и не сложное.

ложный вывод следует из истинных посылок по той причине, что в первой посылке был допущен скачок в делении.

Разделительно-категорический силлогизм в логике часто называют просто разделительно-категорическим умозаключением. Помимо него существует также чисто разделительное умозаключение, или чисто разделительный силлогизм, обе посылки и вывод которого являются разделительным, или дизъюнктивными суждениями. Например:

Зеркала бывают плоскими или сферическими.

Сферические зеркала бывают вогнутыми или выпуклыми.

Зеркала бывают плоскими или вогнутыми, или выпуклыми.

Форму приведенного умозаключения (чисто разделительного силлогизма) можно представить следующим образом: ((а ⊻ в) ∧ (в₁ ⊻ в₂)) → (а ⊻ в₁ ⊻ в₂), где (а ⊻ в) – первая посылка, (в₁ ⊻ в₂) – вторая посылка, (а ⊻ в₁ ⊻ в₂) – вывод.

Итак, умозаключения с союзом «или» могут быть разделительно-категорическими или чисто разделительными.

3. 10. Умозаключения с союзом «если… то»

Если в разделительно-категорическом умозаключении первая посылка – это разделительное, или дизъюнктивное суждение, то в условно-категорическом умозаключении (или силлогизме) первая посылка является условным, или импликативным суждением. Вторая его посылка, как и в разделительно-категорическом силлогизме представляет собой простое, или категорическое суждение. Например:

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

Сегодня взлетная полоса покрыта льдом.

Сегодня самолеты не могут взлетать.

Условно-категорический силлогизм имеет два модуса. В утверждающем модусе, который также называют модусом поненс (лат. modus ponens) первая посылка представляет собой импликацию, состоящую, как мы уже знаем, из двух частей – основания и следствия, вторая посылка является утверждением основания, а в выводе утверждается следствие. например:

Если вещество – металл, то оно электропроводно.

Данное вещество – это металл.

Данное вещество электропроводно.

Форма утверждающего модуса условно-категорического силлогизма: ((а → в) ∧ а) → в, где (а → в) – это первая посылка в виде импликации основания (а) и следствия (в); ((а → в) ∧ а) – это две посылки силлогизма в виде двухчленной конъюнкции, состоящей из уже упомянутой импликации и утверждения основания; в – это вытекающий из посылок вывод силлогизма в виде утверждения следствия.

В отрицающем модусе, который также называют модусом толленс (лат. modus tollens) первая посылка представляет собой импликацию основания и следствия, вторая посылка является отрицанием следствия, а в выводе отрицается основание. Например:

Если вещество – металл, то оно электропроводно.

Данное вещество неэлектропроводно.

Данное вещество – не металл.