Neprůhledný kontext - Opaque context - Wikipedia

tento článek potřebuje další citace pro ověření. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: „Neprůhledný kontext“  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Prosince 2018) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

An neprůhledný kontext nebo referenční neprůhledný kontext je jazykový kontext ve kterém není vždy možné nahradit „ko-referenční“ výrazy (výrazy odkazující na stejný objekt) bez změny pravdivosti vět.^[1] Příslušné výrazy jsou obvykle gramatické singulární termíny. Nahrazení koreferenčních výrazů do neprůhledného kontextu tedy ne vždy zachovává pravdu. Například „Lois věří, že x je hrdina“ je neprůhledný kontext, protože „Lois věří, že Superman je hrdina“ je pravda, zatímco „Lois věří, že Clark Kent je hrdina“, je falešný, přestože „Superman“ a „Clark Kent“ jsou koreferenční výrazy.

Používání

Termín je používán v filozofický teorie reference, a je třeba jej porovnat referenční transparentní kontext. V hrubém obrysu:

• Neprůhlednost: „Mary tomu věří Cicero je skvělý řečník "vede k neprůhlednému kontextu; ačkoli se Cicero také nazýval„ Tully ", nemůžeme v tomto kontextu jednoduše nahradit„ Tully "výrazem„ Cicero "(„ Mary věří, že Tully je skvělý řečník ") zaručují stejnou pravdivostní hodnotu, protože Mary možná neví, že jména „Tully“ a „Cicero“ odkazují na jednu a tutéž věc. Samozřejmě, pokud Mary skutečně věří, že Cicero je skvělý řečník, pak existuje smysl, ve kterém Mary věří, že Tully je skvělý řečník, i když neví, že „Tully“ a „Cicero“ Corefer. Je to smysl, který nám vnucují teorie „přímého odkazu“ na vlastní jména, tj. Ty, které tvrdí, že význam vlastního jména je pouze jeho odkazem.
• Transparentnost: „Cicero byl římský řečník“ vytváří transparentní kontext; zde není problém nahradit „Tully“ výrazem „Cicero“: „Tully byl římský řečník“. Obě věty nutně vyjadřují totéž, pokud „Cicero“ a „Tully“ odkazují na stejnou osobu. Všimněte si, že tento prvek chybí v neprůhledných kontextech, kde posun názvu může vést k větě, která vyjadřuje něco jiného než originál.

Podobné použití výrazu platí pro umělé jazyky jako programovací jazyky a logika. Výše uvedený příklad Cicero – Tully lze snadno přizpůsobit. Použijte notaci ${ displaystyle [t]}$ jako citát, který zmiňuje termín ${ displaystyle t}$. Definujte predikát ${ displaystyle L}$ což platí pro výrazy dlouhé šest písmen. Pak ${ displaystyle [x]}$ vyvolává neprůhledný kontext, nebo je referenční neprůhledné, protože ${ displaystyle L ([Cicero])}$ je to pravda ${ displaystyle L ([Tully])}$ je nepravdivé. Programovací jazyky mají často bohatší sémantiku než sémantika logiky pravdy a falešnosti atd operátor jako ${ displaystyle [x]}$ nemusí být referenčně transparentní i z jiných důvodů.

Viz také

• Aberantní dekódování
• Černá skříňka
• Fuzzy koncept
• Nezaměnitelnost odkazu
• Klam maskovaného muže
• Čisté funkce
• Referenční průhlednost
• Tranzitivita identity

Reference