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