intensional.

Natural languages abound with intensional functors; this can be illustrated by intensional statements. Extensional logic cannot reach inside such fine logical structures of the language, but stops at a coarser level. The attempts for such deep logical analysis have a long past: authors as early as Aristotle had already studied modal syllogisms. Gottlob Frege developed