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 that move from easier to more difficult, strategically placed throughout the chapter, and concludes with an annotated suggested reading list providing graduate students with most valuable additional resources.

Key Features:

Is the first comprehensive introduction to higher-order logic as a grounding for addressing problems in metaphysics
Introduces the basic formal tools that are needed to theorize in, and model, higher-order languages
Offers an abundance of
- Simple exercises throughout the book, serving as comprehension checks on basic concepts and definitions
- More difficult exercises designed to facilitate long-term learning
Contains annotated sections on further reading, pointing the reader to related literature, learning resources, and historical context

About the Author

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.

"About this title" may belong to another edition of this title.

Store Description

We sell Brand New University Textbooks to students at very affordable prices. All orders are shipped by Trackable methods only and the tracking number is available within 48 hours of placing the order. We also offer free shipping to USA, Canada and Europe and lowest shipping charges in other countries. We have multiple warehouses to save on the transit time.

Visit Seller's Storefront

Seller's business information

SMASS Group LLC
1944 Loma Linda Dr, Irving, TX, 75063, U.S.A.

Sale & Shipping Terms

Terms of Sale

We sell Brand New Textbooks requied for studies in the Univesity. We have been in this business for the past 14 years and we know how to keep our customers happy and satisfies by providing them the required course material and the most affordable prices.

Shipping Terms

We ship all orders from our Multiple warehouses by Tracakble method only. We have tie up with Fedex, DHL, UPS and USPS for our logistics requirements. All tracking numbers are available within 48 hours of processing the order.

Shipping rates within U.S.A.

Shipping rates within U.S.A.
Order quantity	5 to 10 business days	3 to 6 business days
First item	US$ 0.00	US$ 0.00

Delivery times are set by sellers and vary by carrier and location. Orders passing through Customs may face delays and buyers are responsible for any associated duties or fees. Sellers may contact you regarding additional charges to cover any increased costs to ship your items.