Meanhile, within the Frege Boundary

Paul Dekker
2019
With this squib I want to contribute to understanding and improving upon Keenan's intriguing equivalence result about reducible type ⟨2⟩ quantifiers (Keenan, 1992). I give an alternative proof of his result which generalizes to type ⟨n⟩ quantifiers, and I show how the reduction of a reducible type ⟨n⟩ quantifier to (the composition of) n type ⟨1⟩ quantifiers can be effectuated.
doi:10.18148/sub/2002.v6i0.816 fatcat:o7tinmu5fnev5g543ytgob7erm