Эпистемическая замкнутость: аргумент и ответы

Эпистемическая замкнутость - принцип о том, что знание сохраняется при известном логическом следовании. Если субъект знает, что поезд стоит, и понимает, что из этого следует: поезд не движется, то он знает и второй вывод. Принцип выглядит почти очевидным, но именно он превращает гипотезу «мозг в колбе» в скептический аргумент: от обычного знания мы логически приходим к тому, что скептическую альтернативу нужно исключить.

Ниже важно отделить сам принцип от разных теорий знания. Аргумент о мозге в колбе показывает проблему на мысленном эксперименте, а злой демон Декарта - её раннюю форму. Здесь вопрос уже точнее: надо ли сохранять замкнутость любой ценой, или можно отказаться от неё, изменить условие знания либо ограничить релевантные альтернативы.

Формула принципа замкнутости

Пусть S - субъект, p - утверждение, а q - следствие p. Принцип можно записать так: если S знает, что p, и знает, что p влечёт q, то S знает, что q. В учебной формулировке это выглядит проще: знание замкнуто относительно известного логического следования.

Нужны две оговорки. Во-первых, речь идёт не о любой фактической импликации, а о следовании, которое субъект способен понять или принять. Во-вторых, «знать, что p влечёт q» не значит уметь вывести q за секунду: логическое отношение может быть очевидным, доказанным или доступным через компетентное рассуждение.

Рассчитать для своей задачи

Замкнутость не утверждает, что человек знает все следствия всего, что знает. Она задаёт норму для конкретного следствия. Если студент знает теорему и понимает, что частный случай получается подстановкой, отказ назвать частный случай знанием будет выглядеть странно. Но в философии знания спорят о том, какие именно переходы считать доступными субъекту и какие условия добавляются к слову «знает».

Как из принципа получается скептический аргумент

Скептическая схема о мозге в колбе состоит из трёх посылок:

1. Я знаю обычное утверждение p: например, у меня есть руки.
2. Если я знаю p, то по замкнутости знаю и то, что я не мозг в колбе, ¬h.
3. Я не знаю ¬h.

Из второй и третьей посылок следует, что я не знаю p. Получается треугольник, в котором трудно сохранить одновременно обычное знание, замкнутость и отрицание скептической гипотезы. Можно отказаться от любой вершины, но каждая цена отказа заметна.

Скептик обычно не доказывает, что мозг в колбе действительно существует. Ему достаточно показать, что субъект не может исключить эту возможность привычными основаниями. Если опыт совместим и с обычным миром, и с искусственной стимуляцией мозга, то вопрос о знании становится вопросом о стандарте исключения альтернатив.

Рассчитать для своей задачи

Ответ Нозика: отслеживание истины

Роберт Нозик предложил сохранить интуицию обычного знания ценой отказа от замкнутости. В его теории знание требует, чтобы убеждение было истинным, субъект верил в него, а также отслеживал истину в близких возможных ситуациях: если p было бы ложным, субъект не верил бы в p. Дополнительное условие чувствительно к тому, меняется ли факт, а не только к тому, умеет ли субъект вывести последствия.

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

Рассчитать для своей задачи

Цена ответа - неприятные последствия. Если я знаю, что у меня есть руки, но не знаю, что я не мозг в колбе, то знание перестаёт быть замкнутым. Кроме того, условные требования Нозика допускают проблемы с отрицанием и транзитивностью. Поэтому теория отслеживания стала важным ответом, но не окончательным решением.

Релевантные альтернативы Дрецке

Фред Дрецке предлагает не ослаблять знание, а ограничивать множество альтернатив, которые его опровергают. Знать, что p, значит исключить релевантные альтернативы p, а не всякую логически совместимую возможность. В обычном контексте маскированный мул может быть нерелевантен; в специальном контексте зоопарка, где такая подмена обсуждается, он становится важным.

Такой ответ меняет вопрос. Вместо «исключил ли субъект все альтернативы?» спрашивают «какие альтернативы нужно исключить здесь?». Принцип замкнутости сохраняется внутри выбранного набора стандартов, но скептическая альтернатива может остаться за его пределами.

Контекстуализм: меняется стандарт слова «знать»

Контекстуалисты Дэвид Льюис, Стюарт Коэн и другие считают, что истинностные условия высказывания «S знает, что p» зависят от контекста разговора. В бытовой ситуации достаточно исключить обычные ошибки. В семинаре по скептицизму стандарт повышается, и та же фраза может стать ложной.

Контекстуализм объясняет, почему мы уверенно говорим «я знаю, что у меня есть руки» в повседневной жизни и признаём силу скептического возражения в философской дискуссии. Замкнутость работает относительно текущих стандартов: если в контексте принято требовать исключения h, знание p ведёт к знанию ¬h; если h не считается релевантной, переход не обязателен.

У подхода есть риск: он может выглядеть как изменение значения знания под давлением аргумента. Поэтому нужно отличать контекстуальный сдвиг стандартов от простой риторической смены темы.

Абоминальные конъюнкции и пределы вывода

Возражение против слишком сильной замкнутости называют проблемой «абоминальных конъюнкций». Если я знаю, что передо мной зебра, можно соединить это знание с любым странным утверждением: зебра не замаскированный мул или зебра не замаскированный мул, а на Марсе сегодня идёт дождь. Формально из истинного p и произвольного известного r получается p и r только если известно r, но в рассуждениях возникает соблазн считать знание композиционным без ограничений.

Проблема показывает, что принцип должен быть сформулирован аккуратно. Логическая валидность сама по себе не гарантирует, что субъект действительно понял посылку и следствие, а конъюнкция может вводить новый вопрос, к которому исходное основание не имеет отношения. Поэтому «известное логическое следование» нельзя механически заменить любым записанным символами выводом.

Как сравнить ответы в разборе

Сначала выпишите p и скептическую альтернативу h. Затем укажите, какую вершину треугольника сохраняет теория: замкнутость, обычное знание или отрицание h. Нозик сохраняет знание и отказывается от замкнутости; Дрецке сохраняет замкнутость, но сужает релевантные альтернативы; контекстуализм связывает результат со стандартами разговора.

В конце проверьте цену решения. Отказ от замкнутости объясняет случаи Нозика, но ослабляет дедуктивную интуицию. Теория релевантных альтернатив сохраняет практическую устойчивость, но спорит о релевантности. Контекстуализм описывает смену стандартов, но рискует сделать знание зависимым от речевой ситуации. Для сравнения с другим видом скептической проблемы полезна проблема индукции Юма: там под вопросом не дедуктивное следование, а оправдание перехода от наблюдений к общему правилу.

Частые ошибки

• Говорить, что замкнутость означает знание всех логических следствий. Она относится к конкретному следствию, которое субъект понимает.
• Принимать мозг в колбе за доказанную гипотезу. Это скептическая альтернатива, нужная для проверки стандарта знания.
• Приписывать Нозику сохранение замкнутости. Его отслеживание истины как раз допускает отказ от этого принципа.
• Смешивать релевантные альтернативы Дрецке с контекстуализмом. Первый ограничивает конкурирующие возможности, второй меняет стандарт утверждения в контексте.
• Считать любую конъюнкцию автоматическим расширением знания. Логическая форма не заменяет понимания и основания.

FAQ

Замкнуто ли знание относительно любого логического следствия?

В строгом принципе - относительно известного субъекту логического следования. Если субъект не видит связи или вторая часть добавляет самостоятельное утверждение, переход нельзя считать автоматическим.

Почему мозг в колбе угрожает обычному знанию?

Если обычное знание p логически ведёт к знанию, что скептическая гипотеза ложна, а эту гипотезу субъект исключить не может, возникает конфликт между тремя посылками. Скептик использует структуру, а не утверждение фактического существования колбы.

Кто отказывается от замкнутости?

Наиболее известный пример - Роберт Нозик. Он объясняет знание отслеживанием истины в близких возможных ситуациях и принимает, что знание p не всегда переходит на ¬h. Дрецке и контекстуалисты предлагают другие способы ослабить скептический вывод.

Коротко

Эпистемическая замкнутость говорит: если субъект знает p и знает, что из p следует q, то он знает q. Скептик соединяет этот принцип с обычным знанием и невозможностью исключить мозг в колбе. Нозик отвечает через отслеживание истины и отказывается от замкнутости; Дрецке ограничивает релевантные альтернативы; контекстуалисты меняют стандарт знания вместе с контекстом. Спор показывает, что логическая форма вывода ещё не определяет, какие переходы действительно сохраняют знание.