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

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

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

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

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

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

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

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

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

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