Can I read A Philosophical Introduction to Higher-order Logics on EtoBox?

A Philosophical Introduction to Higher-order Logics by Andrew Bacon is a nonfiction available to read on EtoBox.

What is A Philosophical Introduction to Higher-order Logics about?

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 science, mathematics, and linguistics. A Philosophical Introduction to Higher-order Logics assumes only that readers have a basic knowledge of first-order logic. With an emphasis on exercises, it can be used as a textbook though is also ideal for self-study. Author Andrew Bacon organizes the book's 18 chapters around four main parts: I. Typed Language II. Higher-Order Languages III. General Higher-Order Languages IV. Higher-Order Model Theory In addition, two appendices cover the Curry-Howard isomorphism and its applications for modeling propositional structure. Each chapter includes exercises

Who reads A Philosophical Introduction to Higher-order Logics?

Author

Andrew Bacon

Publisher

Routledge

Published

2023

Language

EN

ISBN

9780367483029

Category

nonfiction

Subjects

Philosophy, Social Science, Others