불투명한 컨텍스트

불투명한 문맥이나 참조적으로 불투명한 문맥은 문장의 진리를 변경하지 않고 항상 "동일-동일" 표현(동일 대상을 지칭하는 표현)을 대체할 수 있는 것은 아니라는 언어적 문맥이다.^[1] 관련된 표현들은 보통 문법적으로 단수적인 용어들이다. 따라서, 공차적 표현을 불투명한 문맥으로 대체하는 것이 항상 진리를 보존하는 것은 아니다. 예를 들어 '로이스는 x가 영웅이라고 믿는다'는 불투명한 맥락인데, '로이스는 슈퍼맨이 영웅이라고 믿는다'는 말과 '클라크 켄트가 영웅이라고 믿는다'는 말은 비록 '슈퍼맨'과 '클라크 켄트'는 공동존재 표현이지만, '로이스는 것이다.

사용법

이 용어는 철학적 참고 이론에서 사용되며, 참조적으로 투명한 문맥과 대조된다. 대략적인 개요:

Opacity:"Mary는 키케로는 자신의 웅변가 믿는다" 같은 불투명한 컨텍스트를 상승시키는데, 키케로도 'Tully',[2]라고 불렸다 우리는 단순히 'Tully''Cicero'이런 맥락("Mary는 툴리는 훌륭한 연설가 믿는다")으로 살고 같은 진리 값 보증 대체할 수 없, 마리아를 위한 이름이 'Tully''Cicero'의 사항을 참조하십시오 알지 않을 수 있습니다.e는그리고 같은 것. 물론 메리가 키케로가 위대한 웅변가라고 믿는다면, 비록 '툴리'와 '시케로' 코퍼는 몰라도, 메리는 툴리가 위대한 웅변가라고 믿는 감각도 있다. 그것은 적절한 이름의 "직접 참조" 이론, 즉 적절한 이름의 의미가 단지 그것의 참조일 뿐이라는 것을 유지하는 이론에 의해 우리에게 강요된 감각이다.
투명성: "시케로는 로마의 웅변가였다"는 것은 투명한 맥락을 만들어낸다; 여기서 '툴리'를 '시케로'로 대체하는 것은 문제가 없다: "툴리는 로마의 웅변가였다." '시케로'와 '툴리'가 동일인을 가리킬 경우 두 문장은 반드시 같은 것을 표현한다. 이 요소는 이름이 바뀌면 원본과 다른 것을 표현하는 문장이 될 수 있는 불투명한 맥락에서 누락된다는 점에 유의하십시오.

프로그래밍 언어, 로직 등 인공 언어에도 비슷한 용어가 적용된다. 키케로-위의 툴리 예는 쉽게 각색될 수 있다. $t$ $t$ 용어를 언급한 인용문으로 [ $[t]$ ${\displaystyle$ [ $t]}$ 라는 표기법을 사용하십시오 $t$ 6자 길이의 용어에 대해 참인 $L$ $술어$ L $L$ 을(를) 정의하십시오. 그러면 $[x]$ $L([Tully])$ $[x]$ $L([Tully])$ l $L([Tully])$ ])과 L $L([Tully])$ $L([Tully])$ l y $L([Tully])$ 과 L $([Tully])$ 이 각각 $L([Cicero])$ 참이기 때문에 [ $L([Cicero])$ x $[x]$ ${\$ $displaystyle L([$ $Cicero])}$ 은 불투명한 컨텍스트를 유도하거나 $[x]$ 참조적으로 불투명하다. ${}$ 은 $L([Tully])$ (는) 거짓이다. 프로그래밍 언어는 진리와 거짓에 대한 로직의 의미론보다 풍부한 의미론을 갖는 경우가 많으며, 따라서 [ $[x]$ $[x]$ 과 같은 운영자는 다른 이유로도 참조적으로 투명하지 못할 수 있다 $[x]$ .