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

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

1. Modus ponens: подтверждение условия

1. Modus ponens: подтверждение условия

Латинское выражение modus ponens («правило вывода») описывает валидный дедуктивный аргумент в его общей форме, иначе называемый подтверждением условия:

Предпосылка 1: если А, то В. Если выйдешь на улицу без куртки, тебе будет холодно. Предпосылка 2: А. Ты выходишь на улицу без куртки. Вывод: следовательно, В. Следовательно, тебе будет холодно.

Предпосылка 1: если А, то В. Если выйдешь на улицу без куртки, тебе будет холодно.

Предпосылка 2: А. Ты выходишь на улицу без куртки.

Вывод: следовательно, В. Следовательно, тебе будет холодно.