Por Clarence Protin (Universidade Aberta).

Bealer's intensional logic project, expounded in Quality and Concept (1982), had the goal of developing a unified framework for modal logic and the intensional logic.

The semantics aimed at being consistent with the position that properties, relations and propositions consist in entities in their own right, as well as furnishing the senses of linguistic expressions.

In this talk we introduce Combinatory Intensional Logic (CIL), a generalized combinatory-style logic capable of representing both modal and intensional reasoning,  and its associated concept-graph calculus. We show how CIL and this calculus can be used to address some of the problems and shortcomings of Bealer's original approach and to give an adequate definition of model. Finally we sketch the proof of the soundness of CIL.