Andrew Bacon

A Philosophical Introduction to Higher-order Logics (eBook, ePUB)

• Format: ePub

Produktbeschreibung

This is the first comprehensive textbook on higher order logic that is written specifically to introduce the subject matter to graduate students in philosophy.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Taylor & Francis
• Seitenzahl: 482
• Erscheinungstermin: 29. September 2023
• Englisch
• ISBN-13: 9781000925784
• Artikelnr.: 68952035

Autorenporträt

Andrew Bacon is Associate Professor at the University of Southern California. He is the author of Vagueness and Thought (Oxford UP, 2018) and has written numerous articles applying logical methods to topics in metaphysics, epistemology, and language.

Inhaltsangabe

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