A system of tensed intensional logic excluding iterations of intensions is introduced. Instead of using the type symbols (for ‘sense’), extensional and intensional functor types are distinguished. A peculiarity of the semantics is the general acceptance of value-gaps (including truth-value-gaps): the possible semantic values (extensions) of extensional functors are partial functions. Some advantages of the system (relatively to R. Montague's intensional logic) are briefly indicated. Also, applications for modelling natural languages are illustrated by examples.

According to Russell’s famous Gray’s Elegy argument within “On Denoting”, Frege’s distinction between Sinn and Bedeutung is problematic when applied to a denoting phrase like ‘the first line of Gray’s Elegy’, which denotes a linguistic expression: ‘The curfew tolls the knell of parting day’. The author shows that Russell’s Gray’s Elegy argument involves imprecision in the use of quotation marks as well as the unwarranted identification of an expression’s meaning with the expression itself.