  Combinatory Intensional Logic (CIL) is a general framework for a formal
theory of natural language meaning and reasoning, including intensional logic.
  What sets this approach apart is a syntax close to the logico-semantic
mechanisms of natural language and being compatible with logical realism, the
view that properties, relations and propositions are entities in their own
right as well as furnishing the senses of linguistic expressions. CIL models,
which formalize a realm of interweavings of senses, are not based on possible
world semantics or set-theoretic function spaces. Truth-values and references
of senses are extensions determined by states-of-affairs, an idea that goes
back to the Stoics.
  CIL was initially inspired by Bealer's project in Quality and Concept (1983).
It was subsequently found that CIL is a good tool to address the shortcomings
and gaps present in Bealer's approach, in particular with regards to the
soundness proofs and the problem of unifying intensional and modal logic.
  In this paper we focus exclusively on the formal and mathematical foundations
of CIL including a sketch of the main soundness result. A second paper will
delve into the philosophical motivation, context and justification as well as
further technical development regarding philosophical problems involving
definite descriptions, proper names, individual concepts and definitions.
