Higher-order languages
Andrew Bacon · 2023
In this chapter, we return to the signature of higher-order logic. In Section 4.1 , we recall the definition of the signature of higher-order logic, and address some philosophical questions. In Section 4.2 , we discuss the higher-order quantifiers and compare the present treatment to the more usual treatment of quantifiers as primitive variable binders, like λ .