Порочный круг в доказательстве: значение и пример ошибки

Порочный круг в доказательстве — недостаток обоснования, при котором тезис прямо или через цепочку промежуточных утверждений опирается на самого себя. Вместо независимого основания рассуждение возвращает читателя к мысли, истинность которой ещё только нужно доказать. В логике и теории аргументации это разновидность кругового рассуждения; его связь с ошибкой «предвосхищение основания» (латинская традиция petitio principii) требует уточнений, а не автоматического отождествления всех случаев.

Что именно называют порочным кругом

Рассмотрим два уровня оценки аргумента. Первый — логический: действительно ли заключение следует из посылок? Второй — эпистемический: дают ли посылки человеку независимое основание принять заключение? Одно и то же рассуждение может пройти первый тест и провалить второй. Именно поэтому порочный круг нельзя описывать просто словами «вывод логически неверен».

Разобранный пример: почему замкнутая цепочка недостаточна

Вообразим обсуждение нового способа проверки рукописей. Редактор утверждает: «Метод надёжен, потому что его оценки точны». На вопрос, откуда известно, что оценки точны, он отвечает: «Потому что они получены надёжным методом». Пусть P означает «метод надёжен», а Q — «его оценки точны». Редактор опирается на переходы P → Q и Q → P, но не предлагает отдельного свидетельства в пользу P либо Q.

Здесь важно точно прочитать форму. Даже если принять обе условные посылки, из них самих нельзя вывести, что P истинно. Обе могут быть ложны одновременно — тогда два условных высказывания остаются истинными. Если редактор добавит P как посылку и выведет Q, он получит корректный по форме вывод, но первоначальное доверие к P останется необоснованным. Помогли бы независимые проверки: сопоставление с эталонной выборкой, известные случаи ошибок, воспроизводимость оценки. Это внешние основания, а не новое название того же убеждения.

Чем круговое доказательство отличается от соседних ошибок

Предвосхищение основания

Так называют ошибку, когда искомое фактически принимается в посылках без достаточного самостоятельного обоснования. Круг может быть совсем коротким: тезис просто повторён другими словами. Но встречаются длинные цепочки, в которых зависимость скрыта несколькими промежуточными утверждениями. В обзорах логических ошибок эти случаи часто рассматривают вместе, хотя классификации у авторов различаются.

Простой повтор — не всегда аргумент

Фраза «я с этим не согласен, потому что не согласен» обычно не пытается предложить доказательство: говорящий лишь повторяет свою позицию. Круг становится именно дефектом аргументации, когда повтор выдаётся за обоснование, которое должно убедить собеседника. Не следует путать эту ошибку с риторическим повтором ради ясности или с повторным формулированием вывода в конце текста.

Герменевтический круг — другое понятие

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

Когда утверждение о порочном круге справедливо

• Установлена зависимость: обоснование A требует B, а обоснование B в той же задаче предполагает A.
• Нет независимой опоры: наблюдение, проверенная посылка или отдельный аргумент не прерывают замкнутую цепочку.
• Заявлена доказательная сила: круг используется не как определение слов и не как способ описания взаимных связей, а как причина поверить в спорный тезис.

Взаимные определения также не всегда бесполезны. Например, справочник может объяснять термин через другой, а второй — через первый; это плохой способ учить незнакомым словам, однако его дефект отличается от доказательства философского тезиса. И в сложной теории система взаимосвязанных утверждений может получить поддержку от общих внешних данных. Тогда сам факт наличия зависимостей ещё не показывает порочного круга.

Можно ли «исправить» такой аргумент?

Можно, если добавить независимое основание, пересмотреть статус предположения или честно обозначить, что оно принято как исходная гипотеза. Из посылки, названной аксиомой, иногда корректно выводят следствия; но аксиоматический вывод не становится доказательством самой аксиомы. Аналогично в публичном обсуждении можно договориться считать некоторую предпосылку общей для участников. Такая договорённость делает последующий аргумент условно убедительным, а не универсальным доказательством её истинности.

Итог: порочный круг в доказательстве — прежде всего недостаток самостоятельного обоснования. Проверять следует не только формальную правильность вывода, но и то, откуда берётся доверие к его посылкам.

Проверенные источники

• Stanford Encyclopedia of Philosophy — Fallacies, раздел об begging the question и круговом рассуждении.
• Internet Encyclopedia of Philosophy — Fallacies, разделы Begging the Question и Circular Reasoning.