Andrew Bacon
Gebundenes Buch

A Philosophical Introduction to Higher-order Logics

Versandkostenfrei!
Versandfertig in 1-2 Wochen
175,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
88 °P sammeln!
This is the first comprehensive textbook on higher-order logic that is written specifically to introduce the subject matter to graduate students in philosophy. The book covers both the formal aspects of higher-order languages-their model theory and proof theory, the theory of ¿-abstraction and its generalizations-and their philosophical applications, especially to the topics of modality and propositional granularity. The book has a strong focus on non-extensional higher-order logics, making it more appropriate for foundational metaphysics than other introductions to the subject from computer ...