Главная мысль 16-й главы заключается в том, что существуют различные типы силлогизмов, основанных на условных, разделительных и их комбинированных суждениях. Автор предоставляет четкие схемы для условных (гипотетических), разделительных и условно-разделительных силлогизмов, а также приводит примеры, чтобы показать, как они работают.

Обучаемый должен уяснить, что:

Условные силлогизмы:

Modus ponens (модус конструктивный): Если что-то верно, то следует другое. Например: Если идет дождь (A есть B), то почва мокрая (C есть D). Идет дождь (A есть B), следовательно, почва мокрая (C есть D).
Modus tollens (модус деструктивный): Если что-то верно, то следует другое, но последнее не верно. Например: Если идет дождь (A есть B), то почва мокрая (C есть D). Почва не мокрая (C не есть D), следовательно, дождь не идет (A не есть B).
Разделительные силлогизмы:

Modus ponendo tollens: Если что-то является одним из вариантов, то не является другими. Например: Треугольник может быть остроугольным, тупоугольным или прямоугольным (A есть B или C или D). Данный треугольник остроугольный (A есть B), следовательно, он не прямоугольный и не тупоугольный (A не есть C и A не есть D).
Modus tollendo ponens: Если что-то является одним из вариантов, то является другим. Например: Треугольник может быть остроугольным (A есть B), тупоугольным или прямоугольным (C или D). Данный треугольник не остроугольный (A не есть B), следовательно, он прямоугольный (D есть H).
Условно-разделительные силлогизмы:

Пример сложного модуса ponens: Если наука сообщает полезные факты (A есть B), то она заслуживает внимания. Если изучение науки служит упражнением для умственных способностей (E есть F), то она также заслуживает внимания. Но каждая наука или сообщает полезные факты, или занятие ею упражняет умственные способности (A или E). Следовательно, каждая наука заслуживает внимания (C есть D).
Пример сложного модуса tollens: Если я брошусь из окна (A есть B), то я получу ушибы (C есть D). И если я пойду по лестнице (E есть F), то я сгорю (G есть H). Но я должен или броситься из окна, или пойти по лестнице (A или E). Следовательно, я или ушибусь, или сгорю (C или G).
Обучаемый должен осознать, как логические связи между утверждениями приводят к заключениям, и как использовать различные формы силлогизмов для анализа аргументов в повседневной жизни.

Ответы на вопросы:

Какие силлогизмы называются условными и какие типы условных силлогизмов мы различаем?

Условными силлогизмами называются те, в которых посылки содержат условные суждения. Различают два типа условных силлогизмов: Modus ponens (конструктивный) и Modus tollens (деструктивный).

Какие силлогизмы мы называем разделительными и какие типы их мы различаем?

Разделительными силлогизмами называются те, в которых в одной из посылок входит разделительное суждение. Различают два типа разделительных силлогизмов: Modus ponendo tollens и Modus tollendo ponens.

От чего зависит достоверность разделительных силлогизмов?

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

Что называется альтернативой?

Альтернативой называется каждый член разделительного суждения в разделительном силлогизме. Например, "A есть B, или C, или D" - каждый из B, C, D - альтернатива.

Какие силлогизмы называются условно-разделительными?

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

Какие четыре типа условно-разделительных силлогизмов мы различаем и чем они отличаются друг от друга?

Четыре типа условно-разделительных силлогизмов: простой модус ponens (конструктивный), сложный модус ponens (конструктивный), простой модус tollens (деструктивный) и сложный модус tollens (деструктивный). Они отличаются формой утверждения в меньшей посылке и в заключении.

Что такое дилемма, трилемма?

Дилеммой называется лемматическое умозаключение с двумя альтернативами, трилеммой - с тремя. Это умозаключения, в которых нужно выбрать между двумя или тремя возможными альтернативами.

От чего зависит достоверность лемматического умозаключения?

Достоверность лемматического умозаключения зависит от правильности условных суждений в большей посылке и от полноты членов деления в меньшей посылке.