Введение

Мысленный эксперимент, используемый для демонстрации невозможности доказать какую-либо истину.

В эпистемологии трилемма Мюнхгаузена – это мысленный эксперимент, предназначенный для демонстрации теоретической невозможности доказать какую-либо истину, даже в областях логики и математики, без апелляции к принятым предположениям. Если возникает вопрос о том, как известно, что данное утверждение истинно, можно предоставить доказательства в его поддержку. Однако тот же вопрос можно задать и этим поддерживающим доказательствам, и любым последующим поддерживающим доказательствам. Трилемма Мюнхгаузена заключается в том, что существует лишь три способа завершить доказательство:

Циркулярный аргумент, в котором доказательство некоторого утверждения предполагает истинность самого этого утверждения.
Регрессивный аргумент, в котором каждое доказательство требует дальнейшего доказательства, до бесконечности.
Догматический аргумент, который опирается на принятые принципы, которые просто утверждаются, а не обосновываются.

Таким образом, трилемма представляет собой выбор между тремя одинаково неудовлетворительными вариантами. Карл Поппер предложил принять трилемму как неразрешимую и работать со знанием посредством предположений и критики.

Имя

Название «Трилемма Мюнхгаузена» было предложено немецким философом Гансом Альбертом в 1968 году по отношению к трилемме «догматизм, бесконечный регресс или психологизм», использованной Карлом Поппером. Это отсылка к проблеме «самоподъёма» (bootstrapping), основанной на истории о бароне Мюнхгаузене, который вытащил себя и лошадь из трясины за волосы. Подобно Мюнхгаузену, не способному продвинуться вперёд из-за отсутствия твёрдой опоры, любое предполагаемое обоснование всего знания обречено на неудачу, поскольку оно должно исходить из положения отсутствия знания и, следовательно, не может продвинуться. Оно должно либо начинаться с некоторого знания, как в случае с догматизмом, не начинаться вовсе, как в случае с бесконечным регрессом, либо представлять собой круговую аргументацию, обоснованную лишь самой собой и лишённую прочного основания, подобно абсурдности попытки Мюнхгаузена вытащить себя из трясины без какой-либо внешней поддержки. В современной эпистемологии сторонники когерентизма, как предполагается, принимают «круговой» вариант трилеммы, а фундаменталисты опираются на аксиоматический аргумент. Взгляд, принимающий бесконечный регресс, называется инфинитизмом. Она также известна как трилемма Агриппы или агриппианская трилемма, по аналогии с похожим аргументом, изложенным Секстом Эмпириком и приписанным Агриппой Скептиком Диогеном Лаэртским. Однако аргумент Секста состоит из пяти (а не трёх) «способов» (modes).