Quantifier Logics
Quantified Logics Standard propositional logic contains no quantifiers. It simply replaces sentences with propositional variables (“schematic letters”) that remain unbound. But there is nothing to prevent us from introducing quantifiers that bind these variables, ranging over propositions. These can be objectual or substitutional, according to taste. They will be read “for all p” and “for […]
