Правило вывода в формальной логике
Логический закон, согласно которому из двух истинных условных суждений (импликаций), где следствие первого является основанием второго, следует новое условное суждение, связывающее основание первого со следствием последнего. В символической записи: ((A → B) ∧ (B → C)) → (A → C).
Близкие слова
- транзитивность импликации
- правило цепочки условий
Если компания повысит цены, то продажи упадут. Если продажи упадут, то прибыль снизится. Следовательно, если компания повысит цены, то прибыль снизится.
Если студент не сдаст экзамен, то его отчислят. Если его отчислят, то он потеряет место в общежитии. Значит, если студент не сдаст экзамен, то он потеряет место в общежитии.
Структура и логическая природа закона
Гипотетический силлогизм относится к чисто условным умозаключениям, где все посылки и заключение являются гипотетическими суждениями (формы «Если..., то...»). Ключевым элементом здесь является общее понятие или состояние, которое выступает следствием в первой посылке и основанием во второй. Это общее звено называется средним термином силлогизма.
Важно понимать, что закон описывает структуру вывода, а не истинность самих фактов. Даже если исходные утверждения ложны или маловероятны, сама форма вывода остаётся логически корректной (валидной). Ошибка возникает только тогда, когда нарушается связь между звеньями цепочки или когда посылки неверны.
Отличие от категорического силлогизма
В отличие от классического категорического силлогизма, который оперирует утверждениями о принадлежности предметов к классам (например, «Все люди смертны»), гипотетический силлогизм работает с отношениями зависимости между событиями или состояниями. Здесь мы имеем дело не с тем, чем вещи являются, а с тем, что из чего следует.
Если категорический силлогизм отвечает на вопрос «Кто есть кто?», то гипотетический — на вопрос «Что за чем последует?». Это делает его незаменимым инструментом в прогнозировании, планировании и анализе рисков, где важно проследить длинные цепочки последствий.
Типичные ошибки применения
Частая ошибка — путаница гипотетического силлогизма с модусом поненсом (утверждающим модусом). Модус поненс выводит фактическое следствие, если известно основание («Если P, то Q. P истинно. Значит, Q»). Гипотетический же силлогизм выводит новое условное утверждение, оставляя вопрос об истинности основания открытым.
Другая ошибка — разрыв цепочки. Если в первой посылке следствие одно, а во второй основанием выступает другое понятие, закон не применим. Например: «Если светит солнце, то тепло» и «Если идет дождь, то мокро». Здесь нет общего звена, связывающего солнце и дождь напрямую через логику импликации в рамках этого закона.