Мозг в колбе и демон Декарта: можно ли опровергнуть скептика
Аргументы, вывод которых не принимает почти никто, а посылки не опровергнуты
Мозг в колбе, или мозг в бочке, это современная форма демона Декарта: нейроны в растворе получают все входы от компьютера, и опыт неотличим от вашего. Патнэм в 1981 году вывел из этого сценария антискептический аргумент: в языке такого мозга слова «мозг в бочке» не отсылают к настоящим мозгам. Знания о столе перед глазами этот ход не даёт, и как опровержение скептицизма его большинство не принимает. Урок разбирает также аргумент от сна, cogito и ход Мура.
MIT 24.01 «Skepticism», «Cogito» (сессии 10-11) · Oxford General Philosophy · 45 мин · обновлено 01.10.2026
После урока вы сможете
- После урока вы сможете восстановить аргумент от сна, аргумент злокозненного демона и скептический аргумент через замкнутость в виде нумерованных посылок и указать в каждом несущую посылку.
- Вы сможете объяснить, почему cogito выживает после радикального сомнения, а переход от cogito к внешнему миру не выживает.
- Вы сможете назвать четыре стратегии ответа скептику и цену, которую платит каждая.
- Вы сможете прочитать цифры опроса профессии как карту позиций, а не как результат проверки истины.
Скептицизм в философии не жизненная позиция и не совет никому не доверять. Это набор аргументов, показывающих, что у самых обычных наших убеждений нет того обоснования, какое мы им молча приписываем. Вывод такого аргумента почти никто не принимает: скептиков в профессии единицы. Ценность в другом: если посылки выглядят приемлемо, а вывод неприемлем, значит, в нашем представлении о знании есть ошибка, и её надо найти. Скептический аргумент работает как измерительный прибор для теории знания.
Отсюда порядок работы. Мы разбираем четыре аргумента (от сна, от демона, от мозга в бочке и от принципа замкнутости) и в каждом ищем посылку, которая несёт нагрузку. Потом разбираем четыре типа ответа. Теорию знания проверяют не тем, согласна ли она с нами, а тем, называет ли она отвергаемую посылку и платит ли за это внятную цену.
Первым сделал сомнение методом Декарт. Его сомнение гиперболическое: он принимает заведомо преувеличенные основания для недоверия, потому что ищет то, что переживёт даже их. Это не описание его убеждений, это процедура. Чаще всего при чтении Первого размышления ошибаются, путая инструмент с тезисом.
«Рассуждение о методе» (1637), часть IV, содержит первую формулировку «я мыслю, следовательно, я существую». «Размышления о первой философии» вышли в 1641 году, уже вместе с шестью наборами «Возражений и ответов», а второе издание, с добавленными седьмыми возражениями и письмом Дине, вышло в 1642 году. Сомнение в Размышлении I идёт по нарастающей: обманы чувств, затем сон, затем всемогущий обманщик. Каждая ступень нужна потому, что предыдущая оставляет что-то незатронутым.
Аргумент от сна
(1) Многие мои прошлые восприятия, казавшиеся вполне достоверными, были сновидениями.
(2) Нет надёжного внутреннего признака, по которому бодрствование отличается от сновидения.
(3) Значит, в любой данный момент я не могу знать, что не сплю.
(4) Если я не знаю, что не сплю, то я не знаю, что моё нынешнее восприятие соответствует реальности.
(5) Следовательно, ни одно из моих чувственных убеждений о внешнем мире не есть знание.
Нагрузку несут (2) и (4). Против (2) обычно возражают, что связность, детализированность и взаимная проверяемость бодрствующего опыта и есть искомый признак. Декарт отвечает, что во сне мне точно так же кажется, будто всё связно, а сравнить два состояния изнутри одного из них нельзя. Против (4) направлен «догматизм» Дж. Прайора («The Skeptic and the Dogmatist», Noûs 34, 2000): восприятие даёт prima facie оправдание само по себе, и мне не требуется сначала знать, что я не обманут.
Обратите внимание на ограничение, которое ставит сам Декарт: сон не затрагивает простые природы и математику. «2+3=5» верно и во сне. Аргумент от сна убивает чувственное знание, но не всякое. Поэтому нужен сценарий сильнее.
Демон и cogito
(1) Возможно, существует всемогущий обманщик, который вызывает у меня все переживания и заставляет ошибаться даже в простейших выкладках.
(2) У меня нет доказательства, что его нет: любое свидетельство было бы им же и подстроено.
(3) Если гипотеза (1) не исключена, то ни арифметика, ни геометрия, ни существование тел не достоверны.
(4) Следовательно, сомнению подлежит всё, включая априорное.
Демон не эпистемологический тезис, а инструмент: его функция в том, чтобы очистить поле и посмотреть, что останется стоять. Остаётся одно.
(1) Даже если демон обманывает меня во всём, обман требует, чтобы был кто-то обманываемый.
(2) Пока я мыслю (сомневаюсь, ошибаюсь, обманываюсь), я существую.
(3) Следовательно, «я есмь, я существую» достоверно всякий раз, когда я это произношу или мыслю.
Во «Вторых ответах» (1641) Декарт отрицает, что это силлогизм со скрытой посылкой «всё мыслящее существует». По его словам, это самоочевидное схватывание. Я. Хинтикка («Cogito, ergo sum: Inference or Performance?», Philosophical Review 71, 1962) предложил перформативное чтение: cogito не вывод, а экзистенциально самоверифицирующееся высказывание. Попытка помыслить «меня нет» уничтожает себя в момент исполнения. С другой стороны cogito критикуют Лихтенберг, Кант (Паралогизмы, «Критика чистого разума», A 1781 / B 1787) и Ницше: оправдано только «мышление происходит», а не «Я, субстанция, мыслю». Cogito выживает как минимальное самопознание в момент мышления, и не больше.
Не доказал. В Размышлении VI аргумент опирается на предварительно установленного неложного Бога: ясные и отчётливые восприятия надёжны, иначе вина за обман легла бы на Бога. Вдобавок надо отдельно устанавливать внешность и материальность причин ощущений. И вся конструкция упирается в картезианский круг: правило ясности и отчётливости используется для доказательства Бога, но нуждается в Боге для собственного обоснования, как указал Арно в «Четвёртых возражениях» (1641). Корректная формулировка: Декарт предложил доказательство с теистической ключевой посылкой, и практически никто сегодня не считает его успешным.
Мозг в бочке и семантический ответ
Современную форму демона представляет мозг в бочке: нейроны в питательном растворе, все входы от компьютера, содержание опыта неотличимо от вашего сейчас. Сценарий заменяет сверхъестественного обманщика технологическим и потому не требует теологии, а логическую роль сохраняет ту же. Х. Патнэм («Reason, Truth and History», 1981, глава 1) строит на этом сценарии не скептический, а антискептический аргумент, исходя из семантического экстернализма.
(1) Референция термина требует подходящей причинной связи между употреблением термина и его референтом (ср. аргумент «Земли-Двойника», Патнэм, 1973).
(2) У мозга, всегда бывшего в бочке, нет причинных связей с настоящими мозгами и бочками, а есть только связи с импульсами и образами в программе.
(3) Значит, в его языке «мозг в бочке» не отсылает к настоящим мозгам в настоящих бочках, а означает нечто вроде «образ-мозга в образе-бочки».
(4) Значит, если я мозг в бочке, то моё высказывание «я мозг в бочке» означает «я образ-мозга в образе-бочки» и ложно.
(5) Если я не мозг в бочке, оно ложно тривиально.
(6) Следовательно, высказывание «я мозг в бочке» ложно при любом положении дел, и я не мозг в бочке.
Вывод получен, но не тот, который нужен. Даже если я не могу истинно сказать, что я мозг в бочке, я не получил ни капли знания о том, что передо мной стол: скептический вопрос переформулируется без слова «бочка». Аргумент важен как демонстрация связи семантики и эпистемологии, а как опровержение скептицизма он большинством не принимается.
Недавно помещённый в бочку мозг сохраняет причинные связи, установленные до этого, поэтому его слова отсылают к настоящим бочкам, и этот случай аргументом не покрыт (Брюкнер, «Brains in a Vat», Journal of Philosophy 83, 1986). Аргумент доказывает слишком мало (Райт 1992 и Нагель, «The View from Nowhere», 1986). Он опирается на спорную теорию референции: если экстернализм ложен, посылка (1) падает. И он самоподрывен: чтобы знать посылку (1), нужно знать факты о причинности в реальном мире.
Замкнутость: скелет скептического аргумента
Самая аккуратная современная версия скептицизма не нуждается ни в демоне, ни в бочке по существу: ей нужен один принцип. Замкнутость знания: если S знает p, знает, что p влечёт q, и на этом основании образует убеждение q, то S знает q. Принцип выглядит почти тавтологией: знание не должно теряться при компетентной дедукции.
(1) Я не знаю, что я не мозг в бочке.
(2) Я знаю, что если у меня есть руки, то я не мозг в бочке.
(3) Замкнутость: если я знаю, что у меня есть руки, и знаю (2), то я знаю, что я не мозг в бочке.
(4) Следовательно, по (1) и (3), я не знаю, что у меня есть руки.
Отсюда ровно четыре стратегии. Отвергнуть (3) значит отказаться от замкнутости, отвергнуть (1) значит настаивать, что я всё-таки знаю, что не в бочке. Контекстуализм переинтерпретирует слово «знаю», а скептицизм принимает вывод. Пятого варианта нет, и в этом дидактическая ценность такой формулировки: любая эпистемология обязана указать свою клетку.
Замкнутость отрицали Ф. Дрецке («Epistemic Operators», Journal of Philosophy 67, 1970) и Р. Нозик («Philosophical Explanations», 1981). У Дрецке эпистемические операторы непроницаемы: знание, что перед вами зебра, не даёт знания, что это не хитро закрашенный мул. У Нозика нарушение замкнутости следует из условия чувствительности. Защищают её Т. Уильямсон («Knowledge and Its Limits», 2000) и Дж. Хоторн («Knowledge and Lotteries», 2004). Отказ от замкнутости даёт «отвратительные конъюнкции» вида «я знаю, что у меня есть руки, но не знаю, не безрукий ли я мозг в бочке» (термин Дероса, 1995). Большинство сохраняет замкнутость в ограниченной форме, а вопрос о цене остаётся открытым.
Контекстуализм и его цена
Третья стратегия отказывается от предположения, что «знать» означает одно и то же в лаборатории эпистемолога и в разговоре о ключах. Канон: С. Коэн («Knowledge and Context», 1986), К. Дерос («Solving the Skeptical Problem», Philosophical Review 104, 1995), Д. Льюис («Elusive Knowledge», Australasian Journal of Philosophy 74, 1996). Предыстория: П. Унгер («Ignorance», 1975).
(1) Термин «знает» контекстно-чувствителен: порог требуемой эпистемической позиции задаётся контекстом приписывающего.
(2) Скептический аргумент, произнося гипотезу бочки, поднимает этот порог.
(3) В поднятом контексте «я знаю, что у меня есть руки» ложно, поэтому скептик кажется убедительным.
(4) В обыденном контексте порог низок, поэтому та же фраза истинна.
(5) Замкнутость сохраняется внутри одного контекста, а скептический вывод переносится на обыденную речь только при смешении контекстов.
(6) Следовательно, и обыденное знание, и убедительность скептицизма объясняются без противоречия.
Цена в посылке (1). Главное возражение: семантическая слепота (Шиффер, 1996). Носители языка не замечают у слова «знает» никакой контекстной чувствительности, тогда как у настоящих индексикалов вроде «здесь» и «я» замечают отлично. Придётся приписать говорящим массовую слепоту к собственному языку. Добавьте лингвистические тесты (Стэнли 2004, 2005 и Хоторн 2004): «знает» не градуируется, «очень знает» неграмматично. И отдельный упрёк: показать, что обыденные утверждения истинны в обыденном контексте, не то же самое, что показать, что мы знаем в философски интересном смысле (Фелдман 2001). В опросе 2020 года о том, как устроены приписывания знания, контекстуализм выбрали 54,61 %, а инвариантизм 25,51 %. Цифры показывают популярность позиции о семантике, а не решение скептической проблемы.
Мур и трилемма регресса
Дж. Э. Мур («Proof of an External World», 1939) предложил ход, который выглядит наивно: вот моя рука; если вот моя рука, то существуют внешние объекты; значит, внешние объекты существуют. Смысл не в самом «доказательстве», а в его логической форме. Скептический аргумент и мурианский разворот симметричны. Скептик от «я не знаю, что не сплю» идёт к «я не знаю про руки». Мур от «я знаю про руки» идёт к «я знаю, что не сплю». Обе цепочки корректны, различаются они только сравнительной достоверностью посылок, и Мур утверждает, что «я знаю, что у меня есть руки» достовернее любой скептической посылки. Методологическую защиту этого хода дал Т. Келли («Moorean Facts and Belief Revision», 2005). Слабость хода в том, что он не объясняет, почему скептический аргумент вообще кажется убедительным. Под всем этим лежит вопрос о структуре обоснования: трилемма Агриппы, изложенная у Секста Эмпирика («Пирроновы положения», II в.).
(1) Убеждение оправдано только тогда, когда оправдано другим убеждением.
(2) Цепь оправданий либо бесконечна, либо циклична, либо обрывается на неоправданном убеждении.
(3) Бесконечная цепь оправдания не даёт.
(4) Циклическая не даёт, потому что это порочный круг.
(5) Обрыв на неоправданном не даёт.
(6) Следовательно, оправданных убеждений нет.
Каждая позиция в эпистемологии строится на отрицании конкретной посылки. Фундаментализм отрицает (1) и (5): есть базовые убеждения, оправданные неинференциально (Р. Чизолм, «Theory of Knowledge», 1966). Когерентизм отрицает (4): круг не порочен, если велик и системен (Л. БонЖур, «The Structure of Empirical Knowledge», 1985, от которого сам автор отказался в 1999 году в пользу умеренного фундаментализма). Инфинитизм отрицает (3): бесконечная цепь оправдание даёт, если понимать оправдание не как завершённое обладание всеми звеньями, а как доступность следующего основания всякий раз, когда его требуют (П. Клайн, 1999). Цена позиции в том, что конечное существо цепь никогда не завершает, и «оправдан» начинает означать не «имеет основания», а «имел бы, если бы спросили». Главный удар по фундаментализму наносит «миф о данном» У. Селларса («Empiricism and the Philosophy of Mind», 1956): опыт не может ничего оправдывать, если у него нет пропозиционального содержания, а если оно есть, опыт сам нуждается в оправдании.
Где стоит профессия и что с этим делать
Итог честнее всего сформулировать как напряжение. Убедительного, общепринятого опровержения скептицизма нет: Патнэм не сработал, мурианский ход спорен, контекстуализм платит семантической слепотой, отказ от замкнутости платит отвратительными конъюнкциями. При этом скептицизм как позицию почти никто не занимает.
Это расхождение не лицемерие профессии, а рабочая ситуация: скептический аргумент рассматривается как парадокс, то есть как задача, а не как открытие. Правильно реагируя на такой расклад, студент не выбирает сторону по вкусу, а учится называть посылку, которую отвергает, и цену, которую за это платит. Именно этому посвящён практикум.
Нескептический реализм 79,54 %, идеализм 6,63 %, скептицизм 5,44 % (N = 1764). Это карта позиций профессии, а не голосование об истине: те же респонденты в большинстве не считают скептические аргументы опровергнутыми. О приписываниях знания: контекстуализм 54,61 %, инвариантизм 25,51 %, релятивизм 5,43 % (N = 1474).
Ключевые работы и аргументы
| Декарт, «Размышления о первой философии» | 1641 | Программа радикального сомнения: сон и демон снимают чувственное и априорное знание, cogito остаётся единственным несомненным пунктом. |
| Хинтикка | 1962 | Cogito не вывод из скрытой посылки, а экзистенциально самоверифицирующееся высказывание (перформативная трактовка). |
| Мур, «Proof of an External World» | 1939 | Скептический аргумент и его разворот логически симметричны, а спор идёт о сравнительной достоверности посылок. |
| Дрецке, «Epistemic Operators» | 1970 | Знание не замкнуто относительно известного следования: зебра в зоопарке не даёт знания, что это не закрашенный мул. |
| Патнэм, «Reason, Truth and History» | 1981 | Семантический экстернализм делает высказывание «я мозг в бочке» ложным при любом положении дел. |
| Брюкнер | 1986 | Аргумент Патнэма не покрывает недавно помещённый в бочку мозг: его термины сохраняют прежнюю референцию. |
| Дерос, «Solving the Skeptical Problem» | 1995 | Контекстуалистское объяснение скептической проблемы и понятие «отвратительной конъюнкции» против отказа от замкнутости. |
Что выдержало критику, а что нет
Доказательство в Размышлении VI опирается на предварительно установленного неложного Бога и упирается в картезианский круг (Арно, «Четвёртые возражения», 1641). Формулируйте так: Декарт предложил доказательство с теистической ключевой посылкой. Успешным его сегодня практически никто не считает, а cogito обеспечивает только минимальное самопознание в момент мышления.
Выживает урезанная версия: при семантическом экстернализме я не могу истинно утверждать, что я мозг в бочке. Сильная версия не защищается: аргумент не покрывает недавно помещённый в бочку мозг (Брюкнер 1986), доказывает слишком мало (Райт 1992, Нагель 1986) и держится на спорной теории референции.
Цифра описывает позиции, а не аргументы. Все четыре стратегии ответа живы, и у каждой своя цена: у отказа от замкнутости отвратительные конъюнкции, у контекстуализма семантическая слепота, у мурианского хода предвосхищение основания, у догматизма спорная теория восприятия. Общепринятого опровержения нет.
Термины
- методологическое сомнениеmethodological doubt
- Приём, а не убеждение: намеренное принятие преувеличенных оснований для недоверия, чтобы найти то, что сомнение переживёт.
- cogitocogito
- Утверждение «я есмь, я существую», достоверное всякий раз, когда мыслится, даёт существование мыслящего, но не его природу.
- мозг в бочкеbrain in a vat
- Технологический аналог злокозненного демона: субъект, все входы которого поставляет компьютер, при неотличимом изнутри опыте.
- принцип замкнутостиepistemic closure
- Если субъект знает p и знает, что p влечёт q, и выводит q на этом основании, то он знает q.
- релевантные альтернативыrelevant alternatives
- Знание требует исключить не все логически возможные альтернативы, а только релевантные в данной ситуации.
- контекстуализмcontextualism
- Тезис о том, что содержание слова «знает» зависит от контекста приписывающего: порог требуемой позиции меняется вместе с разговором.
- семантическая слепотаsemantic blindness
- Вменяемая контекстуализмом носителям языка неспособность замечать контекстную чувствительность слова «знает». На ней держится главное возражение против теории.
- мурианский сдвигMoorean shift
- Принять условную посылку скептика, отвергнуть его вывод и вывести отрицание его второй посылки.
- трилемма регрессаregress problem
- Всякое требование оснований ведёт либо к бесконечной цепи, либо к кругу, либо к произвольной остановке.
- миф о данномmyth of the given
- Возражение Селларса: чувственный опыт либо не имеет пропозиционального содержания и не может оправдывать, либо имеет его и тогда сам требует оправдания.
Практикум · Кто платит больше: скептик или Мур
Скептический аргумент и мурианский ответ логически симметричны, а различаются они ценой, которую платит каждая сторона. Задача в том, чтобы измерить эту цену на своём материале, а не выбрать сторону по вкусу. 30-40 минут, письменно.
- Выпишите аргумент от сна в пять нумерованных строк: две посылки, промежуточный шаг, ещё одна посылка, вывод. Не пересказывайте прозой: нужны именно строки.
- Постройте мурианский разворот: возьмите отрицание вывода как посылку и выведите отрицание одной из посылок, прямо указав, какой именно. Для каждой версии напишите одно предложение: что придётся признать ложным тому, кто её принимает.
- Примените контекстуалистский ход: перепишите оба заключения так, чтобы «знаю» в них имело разный порог. Проверьте, исчезло ли противоречие, и чем за это заплачено (подсказка: возражение о семантической слепоте).
- Найдите в своём тексте место, где вы использовали замкнутость, и проверьте, получится ли аргумент без неё.
- Напишите абзац на 120-150 слов за ту позицию из четырёх, которую вы не разделяете, так, чтобы её сторонник согласился с изложением.
Вопросы для самопроверки
Скептик рассуждает: «(S1) Если я не знаю, что не сплю, то я не знаю, что у меня есть руки. (S2) Я не знаю, что не сплю. Следовательно, я не знаю, что у меня есть руки». Что именно делает Мур?
- Отвергает S1, показывая, что вывод не следует из посылок
- Отвергает S1 и S2 сразу, опираясь на доказательство существования Бога
- Показывает, что аргумент скептика некорректен
- Принимает S1, отвергает вывод и выводит отрицание S2
Почему случай «недавно помещённого в бочку мозга» бьёт по аргументу Патнэма?
- У такого мозга причинные связи с настоящими бочками установлены до овощирования, поэтому «я мозг в бочке» у него истинно
- Он доказывает, что скептицизм в отношении внешнего мира истинен: раз сценарий бочки мыслим и неотличим изнутри, мы, скорее всего, в нём и находимся
- Он показывает, что семантический экстернализм ложен: раз мозг в бочке говорит о бочках, содержание слов задаёт внутреннее состояние, а не причинная история
- Он показывает, что полная симуляция опыта технически невозможна: недавно овощированный мозг заметил бы подмену по несовпадению с прежними воспоминаниями
Что такое «отвратительная конъюнкция» и против какой стратегии она направлена?
- Утверждение вида «я знаю, что p, и одновременно не знаю, что p» направлено против контекстуализма, который якобы заставляет приписывать и то и другое в одном разговоре
- Утверждение вида «я знаю, что у меня есть руки, но не знаю, не безрукий ли я мозг в бочке» направлено против отказа от замкнутости
- Утверждение вида «внешнего мира нет, но моя рука есть» направлено против идеализма, у которого обыденные предметы оказываются идеями
- Утверждение вида «я сплю и при этом знаю, что сплю» направлено против аргумента от сна, который такое знание объявляет невозможным
В аргументе регресса когерентист отрицает одну конкретную посылку. Какую?
- Что убеждение оправдано только другим убеждением
- Что бесконечная цепь оправданий недоступна конечным существам
- Что круг оправданий оправдания не даёт
- Что цепь оправданий обязана где-то обрываться
79,54 % респондентов опроса PhilPapers 2020 считают себя нескептическими реалистами о внешнем мире, скептиков 5,44 %. Что отсюда следует?
- Что скептические аргументы опровергнуты: если бы хоть один из них работал, доля скептиков среди профессионалов была бы заметно выше
- Что вопрос о внешнем мире решён эмпирическими науками, и философам осталось лишь зафиксировать готовый результат
- Что аргумент Патнэма принят большинством философов как рабочий ответ скептику
- Ничего о судьбе скептических аргументов: это карта позиций профессии, а не результат их проверки
Ответы и разбор открываются в самопроверке урока: она считает результат и отмечает урок пройденным. Пройти самопроверку.
Что читать
- Декарт, «Размышления о первой философии» (1641), Размышления I-II: Первоисточник аргумента от сна, демона и cogito. Читать вместе с «Вторыми ответами», где Декарт отрицает силлогистическое чтение cogito.
- Дж. Э. Мур, «Proof of an External World» (1939): Короткий текст, на котором лучше всего видно, что спор идёт о сравнительной достоверности посылок, а не о логической форме.
- Х. Патнэм, «Reason, Truth and History» (1981), глава 1 «Brains in a Vat»: Образец аргумента, где семантика используется против эпистемологии. Проверьте на нём возражение Брюкнера.
- Stanford Encyclopedia of Philosophy: L. Newman, «Descartes' Epistemology»: Аккуратный разбор картезианского круга и того, что именно доказывается в Размышлении VI.