No se ha añadido ninguna twiki todavía.

Un contexto es opaco cuando el término que envuelve no puede sustituir a otro observando la cláusula salva veritate, es decir, sin que el enunciado cambie de valor de verdad. Un contexto es transparente, o extensional, cuando puede hacerse esta sustitución de términos o predicados manteniendo la clásula salva veritate .


ver ejemplo ↓

Si decimos «Todos los ilerdenses saben que Indíbil y Mandonio fueron caudillos ilergetas», podemos sustituir, salva veritate, «ilerdenses» por «habitantes de la ciudad de Lérida», porque son términos o clases coextensivas y, por lo demás, el resto de palabras del enunciado, es decir, el contexto, no es opaco. En cambio, en: «Ana sostiene que todos los habitantes de Lérida saben que Indíbil y Mandonio fueron caudillos ilergetas», hay opacidad de contexto, puesto que, al tratarse de un verbo de «opinión» -sostiene- surge una actitud proposicional, y puede suceder que Ana no sepa que «ilerdenses» y «habitantes de Lérida» son términos con la misma referencia o extensión.

El término de «opacidad» fue introducido por Russell y Whitehead, en Principia Mathematica (1910-1913).