Abstract

Plural logic is a logical system in which plural terms and predicates figure as primitive expressions alongside the singular resources of ordinary first-order logic. The philosophical significance of this system depends on two of its alleged features: being pure logic and providing more expressive power than first-order logic. This chapter first introduces the language and axioms of plural logic and then analyzes this logic’s main philosophical applications in metaphysics, philosophy of mathematics, and semantics.