ABSTRACT
Church described in [30] a logic of sense and denotation based on the simple theory of types [28]; that is, using the terminology of Carnap, a logic of intension and extension. ITT differs from that logic in two ways: First ITT is based on TT and not on the simple theory of types; but of greater importance, ITT identifies the intension of a predicate with its name while the logic of Church treats intensions as separate entities with their own types and notation. The justification for this identification is the belief that in a given context a user discovers the intension of a predicate from its name.
