In any of several fields of study that treat the use of signs — for example, in linguistics, logic, mathematics, semantics, semiotics, and philosophy of language — 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 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, who is secretly Superman. 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), 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

edit

Further reading

edit
  • Francis Watanabe Dauer, Critical Thinking: An Introduction to Reasoning, Oxford University Press, 1989, p. 392.

📚 Artikel Terkait di Wikipedia

Extensional and intensional definitions

of semantics the extension of a concept, idea, or sign Extensional context – Extensions with context Extensionalism Extensionality – Logic principle

High-context and low-context cultures

high-context and low-context cultures are ends of a continuum of how explicit the messages exchanged in a culture are and how important the context is in

Model Context Protocol

The Model Context Protocol (MCP) is an open standard and open-source framework introduced by Anthropic in November 2024 to standardize the way artificial

Context-free grammar

theory, a context-free grammar (CFG) is a formal grammar whose production rules can be applied to a nonterminal symbol regardless of its context. In particular

Axiom of extensionality

preserve the axiom of extensionality, the axiom of regularity will need an adjustment instead. Extensionality Extensional context Extension (predicate logic)

David Kaplan (philosopher)

bound by an anterior variable-binding operator occurs within a non-extensional context such as that created by a 'that' clause, or, alternatively, by propositional

Eh

used in Canada than in the UK and the US, and in a broader variety of contexts. Due to this frequency, it has since been included in the DCHP-2 as a Preservation

O

which represent a variety of pronunciations depending on context and etymology. In other contexts, especially before a letter with a minim, ⟨o⟩ may represent