un contexto es extrensional si expresiones co-referenciales, (términos singulares con la misma denotación, predicados con la misma extensión u oraciones con el mismo valor de verdad), son sustituibles en él sin que cambie el valor de verdad del todo, "salva veritate", es decir, si para él se mantiene la ley de Leibniz; de lo contrario, es intensional. Ejemplos: "no es el caso que..." es extensional, "necesariamente..." o "s cree que..." son intensionales. Terminología relacionada: contexto oblicuo (= intensional) (Frege), contexto referencialmente transparente (= extensional) versus contexto referencialmente opaco (= intensional); ocurrencia puramente referencial (es decir, ocurrencia en un contexto extensional) de un término singular (Quine); conectiva veritativo-funcional (= en las oraciones, operador extensional formador de oración).
(Haack, 1978).