Прогрессивный сорит (гоклениевский)

Пример 1:

Кто приобретает гибкий ум, тот делается развитым человеком.

Кто преодолевает научные трудности, тот приобретает гибкость ума.

Кто вникает в трудности научных вопросов, тот становится способным преодолевать их.

Кто привыкает сосредоточивать свое внимание, тот оказывается в состоянии вникать в трудности научных вопросов.

Кто занимается наукой, тот привыкает к сосредоточенности внимания.

Следовательно, кто занимается наукой, тот совершенствует свой ум.

Пример 2. Схема:

Все, что укрепляет здоровье (A), полезно (B). a → b

Спорт (C) укрепляет здоровье (A). c → a

Легкая атлетика (D) – спорт (C). d → c

Бег (E) – вид легкой атлетики (D). e → d

Бег (E) полезен (B). e → b

Регрессивный сорит (аристотелевский)

Пример 1.

Буцефал есть лошадь.

Лошадь есть четвероногое.

Четвероногое есть животное.

Животное есть субстанция.

Следовательно, Буцефал есть субстанция.

Пример 2. Схема:

Все растения (A) есть организмы (B). a → b

Все организмы (B) есть тела (C). b → c

Все тела (C) имеют вес (D). c → d

Всякое растение (A) имеет свой вес (C). a → d

Эпихейрема

Пример. Благородный труд (A) заслуживает уважения (C), так как благородный труд (A) способствует прогрессу общества (B). Труд учителя (D) заключается в обучении и воспитании подрастающего поколения (E). Следовательно, труд учителя (D) заслуживает уважения (C).

Посылки и заключение в формализованном виде:

1. Все B суть C 2. Все E суть A 3. Все A суть C

Все A суть B Все D суть E Все D суть A

Все A суть C Все D суть A Все D суть C

Схема 5.15. Умозаключения из сложных суждений

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

Прямые умозаключения

Прямыми являются умозаключения, в которых заключение выводится из некоторого множества суждений.

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

Условно-категорическое умозаключение – умозаключение, в котором одна из посылок – условное, а другая посылка и заключение – категорические суждения.

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

Разделительно-категорическое умозаключение – умозаключение, в котором одна из посылок – разделительное, а другая посылка и заключение – категорические суждения.

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