Complexes: their Language and Logic, cont.

3.1 Language and Logic

Theory C The theory C, which contains HI, is developed within L', a first-order language which contains L. In addition to the predicates and variables of L, the symbols of L' include:
(1.3) "emb" for embodiment¹⁴ and "cont" for containment.¹⁵
(1.4) an operation symbol: .

(2.4) variables for complexes, as specified by the rule: if t_i is an individual variable and T_k a haecceity variable, t_i.T_k is a complex variable.

In addition to the atomic formulas of L, L' includes atomic formulas, as provided for by:
(4.2) t_i.T_k emb T_m, t_i.T_k cont t_m, and t_i.T_k = t_m.T_n are atomic formulas.
The definition of variable-binding and formulation of the Quantifier Rules in L' is as in L.

Extending HI