Неформальные логические ошибки бывают трех основных типов.

1) Ошибка соответствия («ложный след») опирается на предпосылки, нерелевантные или недостаточно релевантные, чтобы служить надежным обоснованием вывода.

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

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

Формальные ошибки бывают четырех типов.

1. Подтверждение следствия опирается на ошибочное предположение, что если В обязательно истинно при истинном А, то достаточно наблюдать В, чтобы доказать факт А: «Если ты меня любишь, то ответишь на мое письмо. Ты ответил на письмо, значит, любишь меня». Общая форма: «Если А, то В; В, следовательно, А».

2. Отрицание условия исходит из ошибочного предположения, что если В обязательно истинно при истинном А, то достаточно убедиться в невыполнении А, чтобы доказать отсутствие В: «Если закажешь стейк, ужин тебе понравится. Ты не заказал стейк; значит, не получишь удовольствия от ужина». Общая форма: «Если А, то В; не А; следовательно, не В».

3. Нераспределенное среднее – ошибка вследствие необоснованного предположения, что если известен факт Х о предметах одной категории, то этот факт относится только к предметам данной категории: «У всех волшебников есть борода. Мой друг носит бороду. Значит, он волшебник!» Даже если верно, что «у всех волшебников есть борода», это еще не означает, что «бороды есть только у волшебников». Общий вид: «Все А имеют признак В; С имеет признак В; следовательно, С также есть А».

4. * Игнорирование базового уровня наблюдается в, казалось бы, рациональном заявлении о том, что если большинство А имеют признак С и немногие В имеют признак С, то любой случайно выбранный С является скорее А, чем В. Почему это неверно? Потому что, пока мы не знаем, насколько велика категория А в сравнении с категорией В, мы не можем оценить вероятность принадлежности случайного примера ни к той, ни к другой группе. Например: «Большинство дипломатов являются билингвами. Среди лондонцев билингвов мало. Если я встречу в Лондоне билингва, то, вероятно, он дипломат». Это ложный аргумент, поскольку он игнорирует тот факт, что в Лондоне очень мало дипломатов по сравнению с общим населением.