A Philosophical Introduction to Higher-order Logics (Hardcover)

IntroductionPart I: Typed Languages 1. Typed Languages2. An Informal Introduction to Abstraction3. λ-Languages Part II: Higher-Order Languages 4 Higher-Order Languages5 Higher-Order Logics6 Application: Higher-Order Logic and Granularity7 Application: Modal Logicism8 Application: Consequences and Strengthenings of ClassicismPart III: General Higher-Order Languages 9 General λ-Languages10. Curry Typing11. Application: Structure I12. Application: Structure II13. Application: Structure III Part IV: Higher-Order Model Theory 14. Applicative structures15. Models of Higher-Order Languages16. Logical Relations17. Modalized Sets, M-Sets and Cartesian Closed Categories18. The Model Theory of ClassicismPart V: Appendices A The Curry-Howard IsomorphismB Definability semantics