Ésta podría ser una edición anterior y no la más reciente o aprobada. Ir a la versión actual.
¿Qué es?
No se ha añadido ninguna twiki todavía.
Un contexto es opacocuandoel 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). El término de «opacidad» fue introducido por Russell y Whitehead, en Principia Mathematica (1910-1913).
Ver de re, de dicto.