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

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

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

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

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

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

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

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

Рекомендации

1. "Непрозрачный контекст" | Словарь английского языка Коллинза ". www.collinsdictionary.com. Получено 2015-09-29.