Ontologically neutral logic
Theodore Hailperin · History and Philosophy of Logic · 1997
An elaboration in detail of the contention made in an earlier paperFootnote 1 that quantifier logic can be given an adequate formulation in which neither the notion of an individual nor that of a predicate appears. The logic is compatible with either an infinitistic or non-infinitistic completeness theorem