Intensional statement

Intensional statement

In logic, an intensional statement-form is a statement-form with at least one instance such that substituting co-extensive expressions into it does not always preserve logical value. An intensional statement is a statement that is an instance of an intensional statement-form. Here co-extensive expressions are expressions with the same extension. (A statement-form is simply a form obtained by putting blanks into a sentence where one or more expressions with extensions occur--for instance, "The quick brown ___ jumped over the lazy ___'s back." An instance of the form is a statement obtained by filling the blanks in.)

That is, a statement-form is intensional if it has, as one of its instances, a statement for which there are two co-extensive expressions (in the relevant language) such that one of them occurs in the statement, and if the other one is put in its place (uniformly, so that it replaces the former expression wherever it occurs in the statement), the result is a (different) statement with a different logical value. An intensional statement, then, is an instance of such a form; it has the same form as a statement in which substitution of co-extensive terms fails to preserve logical value. A non-intensional statement is also known as an "extensional" statement, since substitution of co-extensive expressions into it always preserves logical value. A language is intensional if it contains intensional statements, and extensional otherwise. English, in common with every other natural language, is an intensional language. The only extensional languages are artificially constructed languages used in mathematics or for other special purposes and small fragments of natural languages.

Examples of extensional statements

#Mark Twain wrote "Huckleberry Finn".
#Aristotle had a sister.

Note that if "Samuel Clemens" is put into (1) in place of "Mark Twain", the result is as true as the original statement. It should be clear that no matter what is put for "Mark Twain", so long as it is a singular term picking out the same man, the statement remains true. Likewise, we can put in place of the predicate any other predicate belonging to Mark Twain and only to Mark Twain, without changing the logical value. For (2), likewise, consider the following substitutions: "Aristotle" → "The tutor of Alexander the Great"; "Aristotle" → "The author of the 'Prior Analytics'"; "had a sister" → "had a sibling with two X-chromosomes"; "had a sister" → "had a parent who had a non-male child".

Examples of intensional statements

#Everyone who has read "Huckleberry Finn" knows that Mark Twain wrote it.
#It is possible that Aristotle did not tutor Alexander the Great.
#Aristotle was pleased that he had a sister.

To see that these are intensional, make the following substitutions: (1) "Mark Twain" → "The author of 'Corn-pone Opinions'"; (2) "Aristotle" → "the tutor of Alexander the Great"; (3) can be seen to be intensional given "had a sister" → "had a sibling with two X-chromosomes".

It will be noted that the intensional statements above feature expressions like "knows", "possible", and "pleased". Such expressions always, or nearly always, produce intensional statements when added (in some intelligible manner) to an extensional statement, and thus they (or more complex expressions like "It is possible that") are sometimes called "intensional operators". A large class of intensional statements, but by no means all, can be spotted from the fact that they contain intensional operators.

ignificance

Intensional languages cannot be given an adequate semantics in terms of the extensions of expressions in them, since the extensions themselves do not suffice to determine a logical value. (If they did, then one could not change the logical value by substituting co-extensive expressions.) On the other hand, for the first half of the 20th century the only known systems of formal semantics worked by assigning extensions to expressions and used a Tarski-style truth-definition of statements constructed from the primitive expressions of the language under analysis. Hence, these semantical methods were pathetically inadequate for understanding the semantics of any but a few small artificial languages or mutilated fragments of natural languages.

This sad situation changed somewhat for the better in the 1960s with the invention of possible-world or "intensional" semantics, the main form of which is due to Saul Kripke. Though this has enabled improvements in the semantic modelling of natural languages, much work remains to be done.


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать реферат

Look at other dictionaries:

  • Intensional logic — embraces the logical study of intensional languages. While in extensional languages all of their functors are extensional (and that suffices in many formal languages developed for formalizing special fields in mathematics or science),… …   Wikipedia

  • Intensional — * in Philosophy of language: not extensional. See also intensional definition versus extensional definition. * in Philosophy of mind: an intensional state is a state which has a propositional content. * in Mathematical logic: see intensional… …   Wikipedia

  • Intension — Not to be confused with the homophone intention; or the related concept of intentionality. For the song Intension by Tool, see 10,000 Days . Intension refers to the set of all possible things a word or phrase could describe. It stands in… …   Wikipedia

  • List of topics in logic — This is a list of topics in logic.See also: List of mathematical logic topicsAlphabetical listAAbacus logic Abduction (logic) Abductive validation Affine logic Affirming the antecedent Affirming the consequent Antecedent Antinomy Argument form… …   Wikipedia

  • logic, history of — Introduction       the history of the discipline from its origins among the ancient Greeks to the present time. Origins of logic in the West Precursors of ancient logic       There was a medieval tradition according to which the Greek philosopher …   Universalium

  • De dicto and de re — are two phrases used to mark important distinctions in intensional statements, associated with the intensional operators in many such statements. The distinctions are most recognized in philosophy of language and metaphysics. The literal… …   Wikipedia

  • Definition — For other uses, see Definition (disambiguation). A definition is a passage that explains the meaning of a term (a word, phrase or other set of symbols), or a type of thing. The term to be defined is the definiendum. A term may have many different …   Wikipedia

  • David Kaplan (philosopher) — For other people of the same name, see David Kaplan (disambiguation). David Benjamin Kaplan (born 1933) is an American philosopher and logician teaching at UCLA. His philosophical work focuses on logic, philosophical logic, modality, philosophy… …   Wikipedia

  • analytic philosophy — n. a 20th cent. philosophic movement characterized by its method of analyzing concepts and statements in the light of common experience and ordinary language so as to eliminate confusions of thought and resolve many traditional philosophical… …   Universalium

  • Extensional context — In philosophy of language, a context in which a sub sentential expression e appears is called extensional if and only if e can be replaced by an expression with the same extension and necessarily preserve truth value. The extension of a term is… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”