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

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

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

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

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

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

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

См. также

Ссылки

^ «Определение «непрозрачного контекста» | Словарь английского языка Коллинза» . www.collinsdictionary.com . Проверено 29 сентября 2015 г.
^ Талли — англизированное историческое имя Туллия, источник: Кернс, Кейт. Семантика . п. 145 . ISBN 978-0-230-23229-7 .

[1] «Определение «непрозрачного контекста» | Словарь английского языка Коллинза» . www.collinsdictionary.com . Проверено 29 сентября 2015 г.

[2] Талли — англизированное историческое имя Туллия, источник: Кернс, Кейт. Семантика . п. 145 . ISBN 978-0-230-23229-7 .

[1]

[2]