Quantifiers

Abstract The logic to be studied in this chapter is standardly called ‘predicate logic’, as the logic of the last chapter is standardly called ‘propositional logic’. But a much better name for it is the logic of quantifiers, or, more fully, the logic of ‘elementary’ or ‘first-order’ quantifiers. How... View More