Ugjennomsiktig kontekst - Opaque context

En ugjennomsiktig kontekst eller referansemessig ugjennomsiktig kontekst er en språklig kontekst der det ikke alltid er mulig å erstatte "co-referential" -uttrykk (uttrykk som refererer til det samme objektet) uten å endre sannheten i setninger. Uttrykkene involvert er vanligvis grammatisk entall . Så erstatning av samhenvisningsuttrykk i en ugjennomsiktig kontekst bevarer ikke alltid sannheten. For eksempel er "Lois mener x er en helt" en ugjennomsiktig kontekst fordi "Lois mener Superman er en helt" er sant mens "Lois mener Clark Kent er en helt" er falsk, selv om 'Superman' og 'Clark Kent' er medhenvisende uttrykk.

Bruk

Begrepet brukes i filosofiske referanseteorier , og skal stå i kontrast til referentielt gjennomsiktig sammenheng . I grove trekk:

  • Ugjennomsiktighet: "Mary mener at Cicero er en stor taler" gir opphav til en ugjennomsiktig kontekst; selv om Cicero også ble kalt 'Tully', kan vi ikke bare erstatte 'Tully' med 'Cicero' i denne sammenhengen ("Mary mener at Tully er en stor taler") og garantere den samme sannhetsverdien, for Mary vet kanskje ikke at navnene 'Tully' og 'Cicero' refererer til en og samme ting. Selvfølgelig, hvis Mary tror at Cicero er en stor taler, så er det en forstand der Mary mener at Tully er en stor taler, selv om hun ikke vet at 'Tully' og 'Cicero' refererer . Det er sansen som blir påtvunget oss av "direkte referanse" teorier om egennavn, dvs. de som hevder at betydningen av et egennavn bare er dets referent.
  • Åpenhet: "Cicero var en romersk taler" gir opphav til en gjennomsiktig kontekst; det er ikke noe problem å erstatte 'Clyero' med 'Tully' her: "Tully var en romersk taler". Begge setningene uttrykker nødvendigvis det samme hvis 'Cicero' og 'Tully' refererer til samme person. Merk at dette elementet mangler i de ugjennomsiktige sammenhengene, hvor et skifte i navnet kan resultere i en setning som uttrykker noe annet enn originalen.

Lignende bruk av begrepet gjelder kunstige språk som programmeringsspråk og logikk . Eksemplet Cicero – Tully ovenfor kan enkelt tilpasses. Bruk notasjonen som et sitat som nevner et begrep . Definer et predikat som er sant for termer med seks bokstaver. Induserer deretter en ugjennomsiktig kontekst, eller er referentielt ugjennomsiktig , fordi det er sant mens det er usant. Programmeringsspråk har ofte rikere semantikk enn logikkens semantikk av sannhet og falskhet, og derfor kan en operatør som ikke klarer å være referentielt gjennomsiktig av andre grunner også.

Se også

Referanser