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

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

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

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

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

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

Смотрите также

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

использованная литература