Удивительная логика - Гусев Дмитрий Алексеевич - Страница 22

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

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

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

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

Если человек льстит, то он лжет (Умозаключения с союзом ЕСЛИ…ТО)

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

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

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

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

Условно-категорический силлогизм имеет два модуса: утверждающий и отрицающий.

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

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

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

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

Отрицающий модус – у которого первая посылка представляет собой импликацию основания и следствия, вторая посылка является отрицанием следствия, а в выводе отрицается основание. Например:

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

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

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

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

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

Если слово стоит в начале предложения, то оно всегда пишется с большой буквы.

Слово «Москва» всегда пишется с большой буквы.

=> Слово «Москва» всегда стоит в начале предложения.

Во второй посылке утверждалось следствие, а в выводе – основание. Это утверждение от следствия к основанию и является причиной ложного вывода при истинных посылках.

2. Отрицать можно только от следствия к основанию, т. е. во второй посылке отрицающего модуса должно отрицаться следствие импликации (первой посылки), а в выводе – ее основание. В противном случае из двух истинных посылок может вытекать ложный вывод. Например:

Если слово стоит в начале предложения, то его надо писать с большой буквы.

В данном предложении слово «Москва» не стоит в начале.

=> В данном предложении слово «Москва» не надо писать с большой буквы.

Во второй посылке отрицается основание, а в выводе – следствие. Это отрицание от основания к следствию и является причиной ложного вывода при истинных посылках.

Вспомним, что среди сложных суждений помимо импликации (а => b) есть также эквиваленция (а <=> b). Если в импликации всегда выделяется основание и следствие, то в эквиваленции нет ни того, ни другого, так как она представляет собой сложное суждение, обе части которого тождественны (эквивалентны) друг другу. Силлогизм называется эквивалентно-категорическим, если первой посылкой силлогизма является не импликация, а эквиваленция. Например:

Если число четное, то оно делится без остатка на 2.

Число 16 – четное.

=> Число 16 делится без остатка на 2.

Поскольку в первой посылке эквивалентно-категорического силлогизма нельзя выделить ни основания, ни следствия, то рассмотренные выше правила условно-категорического силлогизма к нему неприменимы (в эквивалентно-категорическом силлогизме и утверждать, и отрицать можно как угодно).