Contesto opaco
![Questa voce è orfana](http://upload.wikimedia.org/wikipedia/commons/thumb/2/2e/Arrows-orphan.svg/19px-Arrows-orphan.svg.png)
![Abbozzo filosofia](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f5/Owl_of_Minerva.png/38px-Owl_of_Minerva.png)
Un contesto opaco o contesto referenzialmente opaco è un contesto linguistico in cui non sempre è possibile sostituire espressioni "co-referenziali" (espressioni riferite ad uno stesso oggetto) senza alterare il valore di verità della proposizione originale.[1]
Le espressioni coinvolte sono solitamente termini grammaticalmente singolari. Ad esempio, la frase "Lois crede che x sia un eroe" è un contesto opaco perché "Lois crede che Superman sia un eroe" è vero, mentre "Lois crede che Clark Kent sia un eroe" può essere falsa, anche se "Superman" e "Clark Kent" sono espressioni co-referenziali. Lois può non sapere che Clark Kent e Superman si riferiscono alla stessa persona.
Diverso è il discorso se al verbo "credere", "sapere", si sostituisce il verbo "essere". Ad esempio, nella proposoìizione "Cicerone era un oratore romano" non vi sono problemi a sostituire la parola "Tullio" a "Cicerone" per affermare che "Tullio era un oratore romano".
L'espressione "contesto opaco" è usato nelle teorie filosofiche del riferimento e trova il suo opposto nel contesto trasparente in modo referenziale. Essa si applica si applica anche ai linguaggi artificiali come i linguaggi di programmazione e la logica.
Si la notazione [t] per indicare una citazione che menziona un termine t, e L per indicare un predicato. [X] crea un contesto opaco dove L(Clark Kent) è falsa, mentre L(Superman) è vera.
Un operatore [X] potrebbe non essere trasparente anche per altri motivi, poiché la semantica dei linguaggi di programmazione è più ricca di quella della logica, limitata ai valori di verità e falsità. Uno di questi motivi potrebbe essere il numero massimo di lettere che costituiscono l'argomento del predicato L.
Note
- ^ Definition of "opaque context" | Collins English Dictionary, su collinsdictionary.com.
Voci correlate
- Equivalenza logica
- Identità
- Identità degli indiscernibili
- Trasparenza referenziale
![](http://upload.wikimedia.org/wikipedia/commons/thumb/f/f5/Owl_of_Minerva.png/21px-Owl_of_Minerva.png)