Nieprzejrzysty kontekst

Kontekst nieprzejrzysty lub kontekst referencyjnie nieprzejrzysty to kontekst językowy , w którym nie zawsze jest możliwe zastąpienie wyrażeń „koreferencjalnych” (wyrażeń odnoszących się do tego samego przedmiotu) bez zmiany prawdziwości zdań. Wyrażenia, których to dotyczy, są zwykle gramatycznie pojedynczymi terminami . Zatem zastąpienie wyrażeń współreferencyjnych niejasnym kontekstem nie zawsze chroni prawdę. Na przykład „Lois uważa, że x jest bohaterem” jest niejasnym kontekstem, ponieważ „Lois uważa, że Superman jest bohaterem” jest prawdą, podczas gdy „Lois uważa, że Clark Kent jest bohaterem” jest fałszywe, mimo że „Superman” i „Clark Kent” są wyrażenia koreferencyjne.

Stosowanie

Termin ten jest używany w filozoficznych teoriach odniesienia i należy go przeciwstawiać kontekstowi przejrzystemu referencyjnie . W przybliżeniu:

Nieprzejrzystość: „Maryja wierzy, że Cyceron jest wielkim mówcą” powoduje powstanie nieprzejrzystego kontekstu; chociaż Cicero był również nazywany „Tully”, nie możemy po prostu zastąpić „Tully” zamiast „Cicero” w tym kontekście („Mary wierzy, że Tully jest wielkim mówcą”) i zagwarantować tę samą wartość logiczną, ponieważ Mary może nie wiedzieć, że nazwy „Tully” i „Cicero” odnoszą się do jednej i tej samej rzeczy. Oczywiście, jeśli Mary wierzy, że Cyceron jest wielkim mówcą, to w pewnym sensie Maria wierzy, że Tully jest wielkim mówcą, nawet jeśli nie wie, że „Tully” i „Cyceron” Corefer . Jest to sens narzucony nam przez teorie imion własnych „bezpośredniego odniesienia”, czyli takie, które utrzymują, że znaczenie nazwy własnej jest właśnie jej desygnatem.
Przejrzystość: „Cyceron był rzymskim mówcą” tworzy przejrzysty kontekst; nie ma problemu z zastąpieniem „Tully” zamiast „Cicero” tutaj: „Tully był rzymskim mówcą”. Oba zdania z konieczności wyrażają to samo, jeśli „Cyceron” i „Tully” odnoszą się do tej samej osoby. Zauważ, że tego elementu brakuje w nieprzejrzystych kontekstach, gdzie zmiana nazwy może spowodować, że zdanie wyraża coś innego niż oryginał.

Podobne użycie tego terminu dotyczy języków sztucznych, takich jak języki programowania i logika . Powyższy przykład Cicero-Tully można łatwo dostosować. Użyj notacji jako cytatu, który wymienia termin $t}$ $]$ . Zdefiniuj predykat $, który jest$ dla terminów o długości sześciu liter. Wtedy ${\ displaystyle [x]}$ wywołuje nieprzejrzysty kontekst lub jest referencyjnie nieprzejrzysty , ponieważ ${\ Displaystyle L ([Cicero])}$ ${\ Displaystyle L ([Tully])}$ prawdziwe, podczas gdy jest fałszywe . Języki programowania często mają bogatszą semantykę niż semantyka logiki prawdy i fałszu, więc operator taki jak ${\ displaystyle [x]}$ może nie być referencyjnie przejrzysty również z innych powodów.

Zobacz też