Непрозрачный контекст

Непрозрачный контекст или референциально непрозрачный контекст - это лингвистический контекст, в котором не всегда возможно заменить «со-ссылочные» выражения (выражения, относящиеся к одному и тому же объекту) без изменения истинности предложений. Используемые выражения обычно являются грамматически единичными терминами. Таким образом, замена сопутствующих выражений в непрозрачный контекст не всегда сохраняет истину. Например, фраза «Лоис считает, что x - герой» является непрозрачным контекстом, потому что «Лоис считает, что Супермен - герой» - верно, а «Лоис считает, что Кларк Кент - герой» - ложно, даже если «Супермен» и «Кларк Кент» являются со ссылочные выражения.

Термин используется в философских теориях референции, и его следует противопоставлять ссылочно прозрачному контексту . В общих чертах:

• Непрозрачность: «Мария считает, что Цицерон великий оратор» порождает непрозрачный контекст; хотя Цицерона также называли «Талли», мы не можем просто заменить «Талли» на «Цицерон» в этом контексте («Мэри считает, что Талли - великий оратор») и гарантировать такое же значение истинности, поскольку Мэри могла не знать, что имена Талли и Цицерон относятся к одному и тому же. Конечно, если Мэри действительно верит, что Цицерон - великий оратор, тогда Мэри в некотором смысле считает Талли великим оратором, даже если она не знает этого корефера «Талли» и «Цицерон». Это смысл, навязанный нам теориями «прямых ссылок» на имена собственные, то есть теориями, которые утверждают, что значение собственного имени - это всего лишь его референт.
• Прозрачность: «Цицерон был римским оратором» дает начало в прозрачный контекст; здесь нет проблем заменить «Талли» на «Цицерон»: «Талли был римским оратором». Оба предложения обязательно выражают одно и то же, если «Цицерон» и «Талли» относятся к одному и тому же человеку. Обратите внимание, что этот элемент отсутствует в непрозрачных контекстах, где сдвиг в имени может привести к предложению, которое выражает нечто отличное от оригинала.

Аналогичное использование термина применяется для искусственных языков, таких как языки программирования и логика. Приведенный выше пример Цицерона – Талли можно легко адаптировать. Используйте обозначение $[t]\; \{\backslash \; displaystyle\; [t]\}$в качестве цитаты, в которой упоминается термин $t\; \{\backslash \; displaystyle\; t\}$. Определите предикат $L\; \{\backslash \; displaystyle\; L\}$, который верен для терминов длиной шесть букв. Тогда $[x]\; \{\backslash \; displaystyle\; [x]\}$вызывает непрозрачный контекст или референциально непрозрачный, потому что $L\; ([C\; icero])\; \{\backslash \; displaystyle\; L\; ([Цицерон])\}$истинно, а $L\; ([Тулли])\; \{\backslash \; displaystyle\; L\; ([Талли])\}$- ложно. Языки программирования часто имеют более богатую семантику, чем семантика истины и ложности логики, поэтому оператор , такой как $[x]\; \{\backslash \; displaystyle\; [x]\}$, может не соответствовать ссылочно прозрачным и по другим причинам.

• Аберрантное декодирование
• Черный ящик
• Нечеткое понятие
• Непостижимость ссылки
• Заблуждение человека в маске
• Чистые функции
• Ссылочная прозрачность
• Транзитивность идентичности