Удивительная логика

Приведем еще несколько примеров разделительно-категорического силлогизма – как правильных, так и с нарушениями рассмотренных правил.

Четырехугольники бывают квадратами, или ромбами, или трапециями.

Эта фигура – не ромб и не трапеция.

=> Эта фигура – квадрат.

(Ошибка – неполное деление)

Отбор в живой природе бывает искусственным или естественным.

Данный отбор не является искусственным.

=> Данный отбор является естественным.

(Правильное умозаключение)

Люди бывают талантливыми, или бесталанными, или упрямыми.

Он является упрямым человеком.

=> Он не талантлив и не бесталанен.

(Ошибка – подмена основания в делении)

Учебные заведения бывают начальными, или средними, или высшими, или университетами.

МГУ – это университет.

=> МГУ – это не начальное, не среднее и не высшее учебное заведение.

(Ошибка – скачок в делении)

Можно изучать естественные науки или гуманитарные.

Я изучаю естественные науки.

=> Я не изучаю гуманитарные науки.

(Ошибка – пересечение результатов деления, или нестрогая дизъюнкция)

Элементарные частицы имеют отрицательный электрический заряд, или положительный, или нейтральный.

Электроны имеют отрицательный электрический заряд.

=> Электроны не имеют ни положительного, ни нейтрального электрического заряда.

(Правильное умозаключение)

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

Это издание является зарубежным.

=> Это издание не является периодическим и не является непериодическим.

(Ошибка – подмена основания)

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

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

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

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

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

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

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

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

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

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

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

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

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

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