Непрозрачное контекст или референциально непрозрачный контекст является языковым контекстом , в котором это не всегда возможно заменить «со-ссылочные» выражение (выражения , относящееся к одному объекту) без изменения истинности предложений. [1] Используемые выражения обычно являются грамматически единственными терминами . Таким образом, замена сопутствующих выражений в непрозрачный контекст не всегда сохраняет истину. Например, фраза «Лоис считает, что x - герой» является непрозрачным контекстом, потому что «Лоис считает, что Супермен - герой» истинно, а «Лоис считает, что Кларк Кент - герой» - ложно, хотя «Супермен» и «Кларк Кент» являются соотносительные выражения.
Применение
Этот термин используется в философских теориях референции и должен противопоставляться референциально прозрачному контексту . В общих чертах:
- Непрозрачность: «Мария считает, что Цицерон - великий оратор» порождает непрозрачный контекст; хотя Цицерона также называли «Талли» [2], мы не можем просто заменить «Талли» на «Цицерон» в этом контексте («Мэри считает, что Талли - великий оратор») и гарантировать такую же ценность истинности, поскольку Мэри могла бы Не знаю, что имена «Талли» и «Цицерон» относятся к одному и тому же. Конечно, если Мэри действительно верит, что Цицерон - великий оратор, то в некотором смысле Мэри считает, что Талли - великий оратор, даже если она не знает этого корефера «Талли» и «Цицерон» . Это смысл, навязанный нам теориями «прямой ссылки» собственных имен, то есть теориями, которые утверждают, что значение имени собственного является его референтом.
- Прозрачность: «Цицерон был римским оратором» рождает прозрачный контекст; здесь нет проблем заменить «Талли» на «Цицерон»: «Талли был римским оратором». Оба предложения обязательно выражают одно и то же, если «Цицерон» и «Талли» относятся к одному и тому же человеку. Обратите внимание, что этот элемент отсутствует в непрозрачных контекстах, где сдвиг в имени может привести к предложению, которое выражает нечто отличное от оригинала.
Подобное использование термина применяется к искусственным языкам, таким как языки программирования и логика . Приведенный выше пример Цицерона – Талли можно легко адаптировать. Используйте обозначение как цитата, в которой упоминается термин . Определить предикатчто верно для терминов длиной в шесть букв. потомвызывает непрозрачный контекст или непрозрачен по ссылкам , потому что правда, пока ложно. Языки программирования часто имеют более богатую семантику, чем семантика истины и ложности логики, поэтому такой оператор , как может не быть референциально прозрачным и по другим причинам.
Смотрите также
Рекомендации
- ^ «Определение« непрозрачного контекста »| Словарь английского языка Коллинза» . www.collinsdictionary.com . Проверено 29 сентября 2015 .
- ^ Талли - это англизированное историческое имя от Туллиуса, источник Кейт Кернс: Семантика, ISBN 978-0-230-23229-7, стр. 145