Frege's invention of the predicate calculus has been the most influential event in the history of modern logic. The calculus’ …