Вывод: следовательно, В.

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

Повторю: любой аргумент, имеющий эту форму, обязательно валиден. Если В следует из А, то всякий раз, когда А имеет место, можно уверенно утверждать, что и В тоже неизбежно имеет место.

Подтверждение условия нужно отличать от похожей, но невалидной формы аргумента – так называемой формальной ошибки{56}, при которой сама форма аргумента является ложной и нелогичной. Это ошибка называется подтверждением следствия{57} и выглядит следующим образом.

Рассмотрим эту ошибку на примере.

Это невалидный аргумент, поскольку вывод в данном случае не является неизбежным следствием предпосылок. Утверждение, что раз я пользуюсь зонтом, то, значит, идет дождь, может быть или не быть истинным, но дедуцировать такой вывод из заявленных мной предпосылок невозможно. В обязательно истинно, если А истинно, но В не гарантирует истинность А. Следующий пример еще более наглядно демонстрирует ошибочность подобной «логики».

Очевидно, имеется множество более вероятных объяснений того, что президент США ни разу не упоминал моего имени. Я ошибся, поскольку перепутал необходимое и достаточное условия: то, что обязательно истинно при выполнении определенного условия, с тем, что гарантирует аналогичный вывод. Неупоминание моего имени было бы обязательным при условии, что я являюсь тайным агентом президента, но этого недостаточно, чтобы гарантировать вывод – я его тайный агент.