Bacon, Andrew

A Philosophical Introduction to Higher Order Logics

(No reviews yet) Write a Review

ISBN 13:: 9780367483012
author:: Bacon, Andrew
format:: Paperback
publisher:: Routledge
language:: English
Publication Year:: 2023
Pages:: 520
Dimensions:: 24.6 x 17.4 x 2.5 centimetres (0
Genre:: Nonfiction, Philosophy, General,
Condition:: New
Availability:: Item usually sent within 10 working days

£45.19

Current Stock: 1

Quantity:

Description

Description

A comprehensive introduction to higher-order logics, this textbook is designed specifically for graduate students in philosophy. It covers both the formal aspects and philosophical applications of higher-order languages, including their model theory, proof theory, and applications to modality and propositional granularity. The book focuses on non-extensional higher-order logics, making it suitable for foundational metaphysics, rather than other introductions from computer science, mathematics, or linguistics. With a strong emphasis on exercises, this textbook is ideal for both self-study and as a resource for graduate students. The 18 chapters are organized around four main parts, with appendices covering the Curry-Howard isomorphism and its applications. Each chapter includes exercises that progress from easier to more difficult, along with annotated suggested reading lists providing valuable additional resources.

View AllClose