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

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

Использование [ править ]

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

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

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

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