Гипотетический силлогизм¶

Гипотетический силлогизм — это вид дедуктивного умозаключения (силлогизма), в котором обе посылки и заключение являются условными (гипотетическими) суждениями, имеющими структуру «Если A, то B». В логике гипотетический силлогизм представляет собой правило вывода, позволяющее из двух истинных условных утверждений вывести новое условное утверждение, связывающее условие первой посылки со следствием второй.

¶История

Понятие гипотетического силлогизма восходит к античной логике. Аристотель в «Первой аналитике» рассматривал умозаключения, состоящие из условных посылок, хотя систематическое изучение таких силлогизмов было развито стоиками (Хрисипп, III век до н. э.). Стоики выделяли пять основных схем недоказуемых умозаключений, среди которых была и схема, соответствующая гипотетическому силлогизму. В средневековой логике (например, у Петра Испанского) гипотетический силлогизм анализировался в рамках теории консеквенций. В Новое время, особенно в работах Готфрида Лейбница и Иммануила Канта, интерес к силлогистике снизился, но в XIX—XX веках, с развитием математической логики, гипотетический силлогизм получил строгое формальное выражение в рамках исчисления высказываний.

¶Формальная структура

Гипотетический силлогизм в классической логике высказываний записывается следующим образом:

• Если A, то B.
• Если B, то C.
• Следовательно, если A, то C.

В символической записи: ((A → B) ∧ (B → C)) → (A → C), где «→» обозначает логическую импликацию, а «∧» — конъюнкцию. Это правило является тавтологией (логически истинным утверждением) в классической логике. Оно позволяет транзитивно переносить импликацию через промежуточное условие.

¶Пример

• Если на улице идёт дождь (A), то земля мокрая (B).
• Если земля мокрая (B), то трава зелёная (C).
• Следовательно, если на улице идёт дождь (A), то трава зелёная (C).

¶Отличие от других видов силлогизмов

Гипотетический силлогизм отличается от категорического силлогизма, в котором посылки и заключение являются простыми (атрибутивными) суждениями типа «Все S суть P». В гипотетическом силлогизме все суждения имеют условную форму. Также существует смешанный условно-категорический силлогизм (например, modus ponens: «Если A, то B; A; следовательно, B»), где одна посылка условная, а другая — категорическая. Гипотетический силлогизм является чистым условным умозаключением.

¶Правила корректности

Для того чтобы гипотетический силлогизм был логически корректным, необходимо соблюдение следующих условий:

1. Истинность посылок: обе условные посылки должны быть истинными.
2. Согласованность антецедента и консеквента: следствие первой посылки (B) должно совпадать с условием второй посылки (B). Если это не так, вывод недействителен.
3. Отсутствие нарушения транзитивности: если импликации не являются транзитивными (например, в неклассических логиках), правило может не работать.

¶Ошибки

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

• Если A, то B.
• Если C, то D.
• Следовательно, если A, то D. — некорректно, так как B и C не связаны.

¶Применение

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

¶В математике

В доказательствах теорем часто применяется цепочка импликаций: из A следует B, из B следует C, из C следует D, следовательно, из A следует D. Это позволяет строить длинные дедуктивные цепочки.

¶В программировании

При написании условных операторов (if-then-else) гипотетический силлогизм лежит в основе логических выводов о поведении программы. Например, если условие X истинно, то выполняется действие Y; если действие Y выполнено, то переменная Z принимает значение 1; следовательно, если X истинно, то Z = 1.

¶В юриспруденции

В правовых рассуждениях гипотетический силлогизм используется для выведения следствий из норм права. Например: «Если лицо совершило кражу (A), то оно подлежит уголовной ответственности (B)». «Если лицо подлежит уголовной ответственности (B), то суд должен назначить наказание (C)». Следовательно, «Если лицо совершило кражу (A), то суд должен назначить наказание (C)».

¶Критика и ограничения

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

¶Интересные факты

• Гипотетический силлогизм является одним из базовых правил вывода в системе натурального вывода (Gentzen, 1934).
• В комбинаторной логике гипотетический силлогизм соответствует композиции функций: если f: A → B и g: B → C, то g ∘ f: A → C.
• В древнеиндийской логике (ньяя) существовал аналог гипотетического силлогизма, называемый «анумана» (умозаключение), но он включал примеры и отрицательные суждения.

¶Источники

• Аристотель. «Первая аналитика». Книга I, главы 23-27.
• Бочаров В. А., Маркин В. И. «Основы логики». — М.: Космополис, 1994. — С. 112-115.
• Гетманова А. Д. «Логика». — М.: КноРус, 2012. — С. 145-148.
• Ивин А. А. «Логика». — М.: Гардарики, 2002. — С. 78-80.
• Челпанов Г. И. «Учебник логики». — М.: Прогресс, 1994. — С. 56-60.