Frege argued that quantifiers are fundamentally second-order functions mapping first-order concepts ...