In any of several fields of study that treat the use of signs — for example, in

linguistics Linguistics is the scientific study of human language. It is called a scientific study because it entails a comprehensive, systematic, objective, and precise analysis of all aspects of language, particularly its nature and structure. Ling ...

logic Logic is the study of correct reasoning. It includes both formal and informal logic. Formal logic is the science of deductively valid inferences or of logical truths. It is a formal science investigating how conclusions follow from prem ...

mathematics Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics ...

semantics Semantics (from grc, σημαντικός ''sēmantikós'', "significant") is the study of reference, meaning, or truth. The term can be used to refer to subfields of several distinct disciplines, including philosophy, linguistics and comput ...

semiotics Semiotics (also called semiotic studies) is the systematic study of sign processes ( semiosis) and meaning making. Semiosis is any activity, conduct, or process that involves signs, where a sign is defined as anything that communicates something ...

, and

philosophy of language In analytic philosophy, philosophy of language investigates the nature of language and the relations between language, language users, and the world. Investigations may include inquiry into the nature of Meaning (philosophy of language), meanin ...

— an extensional context (or transparent context) is a syntactic environment in which a sub-sentential expression ''e'' can be replaced by an expression with the same

extension Extension, extend or extended may refer to: Mathematics Logic or set theory * Axiom of extensionality * Extensible cardinal * Extension (model theory) * Extension (predicate logic), the set of tuples of values that satisfy the predicate * Ext ...

and without affecting the truth-value of the sentence as a whole. Extensional contexts are contrasted with opaque contexts where truth-preserving substitutions are not possible. Take the case of

Clark Kent Superman is a superhero who appears in American comic books published by DC Comics. The character was created by writer Jerry Siegel and artist Joe Shuster, and debuted in the comic book '' Action Comics'' #1 ( cover-dated June 1938 and pu ...

, who is secretly

Superman Superman is a superhero who appears in American comic books published by DC Comics. The character was created by writer Jerry Siegel and artist Joe Shuster, and debuted in the comic book '' Action Comics'' #1 ( cover-dated June 1938 and pu ...

. Suppose that Lois Lane fell out of a window and Superman caught her. Thus the sentence "Superman caught Lois Lane" is true. Because this sentence is an extensional context, the sentence "Clark Kent caught Lois Lane" is also true. Anybody that Superman caught, Clark Kent caught. In opposition to extensional contexts are intensional contexts (which can involve modal operators and

modal logic Modal logic is a collection of formal systems developed to represent statements about necessity and possibility. It plays a major role in philosophy of language, epistemology, metaphysics, and natural language semantics. Modal logics extend ot ...

), where terms cannot be substituted without potentially compromising the truth-value. Suppose that Lois Lane believes that Clark Kent will investigate a news story with her. Thus, the sentence "Lois Lane believes that Clark Kent will investigate a news story with her" is true. However, the statement, "Lois Lane believes that Superman will investigate a news story with her," is false. This is because 'believes' typically induces an intensional context. Lois Lane doesn't believe that Superman is Clark Kent and the propositional attitude "believe" induces an intensional context, so the substitution alters the meaning of the original sentence.

See also

Further reading