Extension and intension

Aridem Vintoni

Intension and extension, in logic, correlative words that indicate the reference of a term or concept: “intension” indicates the internal content of a term or concept that constitutes its formal definition; and “extension” indicates its range of applicability by naming the particular objects that it denotes. For instance, the intension of “ship” as a substantive is “vehicle for conveyance on water,” whereas its extension embraces such things as cargo ships, passenger ships, battleships, and sailing ships. The distinction between intension and extension is not the same as that between connotation and denotation.



Intension

An intensional definition gives the meaning of a term by specifying necessary and sufficient conditions for when the term should be used. In the case of nouns, this is equivalent to specifying the properties that an object needs to have in order to be counted as a referent of the term.
For example, an intensional definition of the word "bachelor" is "unmarried man". This definition is valid because being an unmarried man is both a necessary condition and a sufficient condition for being a bachelor: it is necessary because one cannot be a bachelor without being an unmarried man, and it is sufficient because any unmarried man is a bachelor.


Extension

An extensional definition of a concept or term formulates its meaning by specifying its extension, that is, every object that falls under the definition of the concept or term in question.

For example, an extensional definition of the term "nation of the world" might be given by listing all of the nations of the world, or by giving some other means of recognizing the members of the corresponding class. An explicit listing of the extension, which is only possible for finite sets and only practical for relatively small sets, is a type of enumerative definition.


The extension of a lexeme is the set of entities which it denotes. The extension of dog includes all collies, dalmatians, dachshunds, mongrels, etc. that have ever lived or will ever live and every fictitious creature that is accepted as being a dog. All the things that can be denoted by the noun lake are the extension of that lexeme. The lexeme Lake Ontario has a single item in its extension, and the
Dead Sea Scrolls has a single collection of items as its extension.

The intension of any lexeme is the set of properties shared by all members of the extension. Thus everything that is denoted by lake must be a body of water of a certain size surrounded by land, and everything denoted by island is a body of land surrounded by water—but see below for discussion of some difficulties in applying these definitions.

Extension has to do with reference, but reference, as we know, is not all of meaning: the lexemes violin and fiddle have the same extension. Extension can change while intension remains the same. The extension of the referring expression the capital of Australia is a single item, the city of Canberra. The intension of the same term is ‘city in which the national government of Australia is located.’ If the capital should be moved at some future time to another city, the extension changes but the intension remains the same. The Mayor of Chicago or the Prime Minister of Great Britain always has the same intension but the extension of each of these changes from time to time.