Предпосылка 1: если А, то В.
Предпосылка 2: А.
Вывод: следовательно, В.
Подтверждение условия нужно отличать от похожей, но невалидной формы аргумента – логической ошибки подтверждения следствия
.Предпосылка 1: если А, то В.
Предпосылка 2: В.
Вывод: следовательно, А.
В сущности, ошибка заключается в путанице между В, истинным,
2.
Понятие
Предпосылка 1: если А, то В.
Предпосылка 2: не В.
Вывод: следовательно, не А.
Невалидной формой аргумента, соответствующей отрицанию следствия, является формальная логическая ошибка отрицания условия
.Предпосылка 1: если А, то В.
Предпосылка 2: не А.
Вывод: следовательно, не В.
Здесь также наблюдается смешение В, истинного,
3. Гипотетический силлогизм / цепочка рассуждений
Силлогизмом называется любой дедуктивный аргумент, вывод которого следует из двух предпосылок. В данной форме он является гипотетическим, поскольку каждая предпосылка имеет конструкцию «если… то…». Гипотетический силлогизм выглядит следующим образом.
Предпосылка 1: если А, то В.
Предпосылка 2: если В, то С.
Вывод: следовательно, если А, то С.
Более общее название аргумента такого типа – цепочка рассуждений
, поскольку он описывает последовательность причин и следствий. При желании такую цепочку можно протянуть между двумя предпосылками силлогизма: А достаточно, чтобы гарантировать В; В достаточно, чтобы гарантировать С, и т. д.Помните, однако, что валидность сама по себе не является залогом истинности и что эта форма аргумента часто обесценивается включением маловероятных предпосылок, как в следующем примере.
Если ты не оплатишь мой отдых, я стану подавленным и унылым. Подавленный и унылый, я провалю экзамены. Провалив экзамены, не найду работу. Без работы я никогда не стану полезным членом общества. Следовательно, если ты не отправишь меня в эту поездку, я не смогу стать полезным членом общества.
4. Дизъюнктивный силлогизм: аргумент «или… или»
Дизъюнктивный силлогизм опирается на утверждение, что или одно, или другое должно быть истинным; это означает, что если одна вещь не истинна, то обязательно истинна другая: отсутствия А достаточно, чтобы гарантировать В, и отсутствие В – гарантия А. Вот как это выглядит в общем виде.
Предпосылка 1: или А, или В.
Предпосылка 2: не А.
Вывод: следовательно, В.