|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
A Philosophical Introduction to Higher-order Logics
ISBN-13:
9781000925753
Veröffentl:
2023
Seiten:
482
Autor:
Andrew Bacon
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
0 - No protection
Sprache:
Englisch
Beschreibung:
This is the first comprehensive textbook on higher order logic that is written specifically to introduce the subject matter to graduate students in philosophy.
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
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
