Philosophical Introduction to Higher-order Logics

Introduction 1. Typed Languages 2. An Informal Introduction to Abstraction 3. ?-Languages 4 Higher-Order Languages 5 Higher-Order Logics 6 Application: Higher-Order Logic and Granularity 7 Application: Modal Logicism 8 Application: Consequences and Strengthenings of Classicism 9 General ?-Languages 10. Curry Typin 11. Application: Structure I 12. Application: Structure II 13. Application: Structure III 14. Applicative structures 15. Models of Higher-Order Languages 16. Logical Relations 17. Modalized Sets, M-Sets and Cartesian Closed Categories 18. The Model Theory of Classicism

Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.

• Filosofia: a lógica
• Epistemologia e teoria do conhecimento: Filosofia
• Filosofia: metafísica e ontologia
• Filosofia da Matemátuca
• Filosofia da linguagem
• Gramática, sintaxe e morfologia
• Tecnologia da informação: aspectos gerais
• Ciência da Computação

typed lambda calculus;metaphysical foundations;modal semantics;propositional structure;non-extensional logic;philosophical logic exercises;advanced metaphysics logic applications