Two \(\lambda\)-extensions of the theory of homogeneous simple types as a second-order logic (Q1073008)

Two second order logics with \(\lambda\)-abstracts are formulated as counterparts to the theory of homogeneous simple types. Predicates can be nominalized and occur as singular terms in these logics so that self- predication is not only meaningful in general but is even provable in certain special cases. Extensional and intensional Fregean semantics in which nominalized predicates are assigned individuals as concept- correlates are formulated and the extensional and intensional versions of these logics are shown to be complete with respect to their corresponding semantics. The logics are shown to be consistent relative to weak Zermelo set theory.