Введение

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

Использование

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

Непрозрачность: "Мария считает, что Цицерон – великий оратор" порождает непрозрачный контекст; хотя Цицерона также называли "Тулли", мы не можем просто заменить "Тулли" на "Цицерона" в этом контексте ("Мария считает, что Тулли – великий оратор") и гарантировать сохранение истинности, поскольку Мария может не знать, что имена "Тулли" и "Цицерон" относятся к одному и тому же лицу. Разумеется, если Мария верит, что Цицерон – великий оратор, то в некотором смысле она верит, что Тулли – великий оратор, даже если она не знает, что "Тулли" и "Цицерон" кореферентны. Это то значение, которое навязывают теории прямой референции собственных имен, то есть те, которые утверждают, что значение собственного имени – это его референт. Прозрачность: "Цицерон был римским оратором" порождает прозрачный контекст; здесь нет проблем с заменой "Цицерона" на "Тулли": "Тулли был римским оратором". Оба предложения необходимо выражают одно и то же, если "Цицерон" и "Тулли" обозначают одного и того же человека. Обратите внимание, что этого элемента не хватает в непрозрачных контекстах, где замена имени может привести к предложению, выражающему иной смысл, чем исходное. Аналогичное употребление термина применимо к искусственным языкам, таким как языки программирования и логики. Приведенный выше пример с Цицероном и Туллием можно легко адаптировать. Используйте обозначение как цитату, упоминающую термин . Определите предикат , который истинен для терминов длиной в шесть букв. Тогда порождает непрозрачный контекст, или является референциально непрозрачным, поскольку истинно, а ложно. Языки программирования часто обладают более богатой семантикой, чем логическая семантика истинности и ложности, поэтому оператор, такой как , может оказаться не референциально прозрачным и по другим причинам.