{"product_id":"a-philosophical-introduction-to-higherorder-logics-9780367483012","title":"A Philosophical Introduction to Higher-order Logics","description":"\u003cp\u003e\u003c\/p\u003e\u003cblockquote\u003e\n\u003cbr\u003eA Philosophical Introduction to Higher-order Logics is a textbook for graduate students in philosophy that covers the formal aspects of higher-order languages,their philosophical applications,and non-extensional higher-order logics. It assumes only a basic knowledge of first-order logic and includes exercises,appendices,and a suggested reading list. \u003c\/blockquote\u003e\u003cp\u003e\u003cstrong\u003eFormat\u003c\/strong\u003e: Paperback \/ softback\u003cbr\u003e\u003cstrong\u003eLength\u003c\/strong\u003e: 464 pages\u003cbr\u003e\u003cstrong\u003ePublication date\u003c\/strong\u003e: 29 September 2023\u003cbr\u003e\u003cstrong\u003ePublisher\u003c\/strong\u003e: Taylor \u0026amp; Francis Ltd\u003cbr\u003e\u003c\/p\u003e \u003cp\u003e\u003cbr\u003eThis groundbreaking textbook is the first comprehensive resource designed specifically to introduce graduate students in philosophy to the fascinating world of higher-order logic. Covering both the formal aspects of higher-order languages, such as their model theory and proof theory, as well as their philosophical applications, particularly in the domains of modality and propositional granularity, this book offers a comprehensive and accessible introduction to the subject.\u003cbr\u003e\u003cbr\u003eWith a strong focus on non-extensional higher-order logics, this book is particularly well-suited for foundational metaphysics, offering a unique perspective that differs from other introductions to the field originating from computer science, mathematics, and linguistics. Author Andrew Bacon has organized the book into 18 chapters, each divided into four main parts:\u003cbr\u003e\u003cbr\u003eI. Typed Language: This section explores the fundamental concepts of typed languages, including type theory, lambda abstractions, and their generalizations. It provides a solid foundation for understanding the formal aspects of higher-order logic.\u003cbr\u003e\u003cbr\u003eII. Higher-Order Languages: In this section, the book delves into the construction and analysis of higher-order languages, which are languages that contain expressions that refer to other expressions. It covers topics such as higher-order quantifiers, higher-order functions, and the Curry-Howard isomorphism, which is crucial for modeling propositional structure.\u003cbr\u003e\u003cbr\u003eIII. General Higher-Order Languages: This section explores the broader landscape of higher-order languages, including general higher-order logics, which allow for the study of higher-order structures beyond the confines of first-order logic. It also covers topics such as higher-dimensional logic and the use of higher-order logic in computer science.\u003cbr\u003e\u003cbr\u003eIV. Higher-Order Model Theory: This section focuses on the theory of higher-order model theory, which is concerned with the formalization of higher-order languages using mathematical structures. It covers topics such as the Church-Turing thesis, model theorems, and the semantics of higher-order languages.\u003cbr\u003e\u003cbr\u003eIn addition to these main sections, the book includes two appendices that cover the Curry-Howard isomorphism and its applications for modeling propositional structure. Each chapter includes a wealth of exercises that progressively increase in difficulty, designed to aid in comprehension and retention of key concepts. The book concludes with an annotated suggested reading list, providing valuable additional resources for graduate students seeking to further explore the field.\u003cbr\u003e\u003cbr\u003eKey Features:\u003cbr\u003e\u003cbr\u003eComprehensive Coverage: This textbook provides a comprehensive introduction to higher-order logic, covering both the formal aspects and philosophical applications of the field.\u003cbr\u003e\u003cbr\u003eFocus on Non-Extensional Higher-Order Logics: The book emphasizes non-extensional higher-order logics, making it an ideal resource for foundational metaphysics.\u003cbr\u003e\u003cbr\u003eWell-Structured Chapters: The book is organized into well-structured chapters, each dedicated to a specific topic. This makes it easy to follow and navigate, allowing students to focus on the material that is most relevant to their interests.\u003cbr\u003e\u003cbr\u003eAbundant Exercises: With an abundance of exercises throughout the book, students are provided with opportunities to practice and reinforce their understanding of key concepts. These exercises serve as comprehension checks on basic concepts and definitions, ensuring that students have a solid grasp of the material.\u003cbr\u003e\u003cbr\u003eAnnotated Suggested Reading List: The book concludes with an annotated suggested reading list, providing graduate students with valuable additional resources for further exploration of the field. This list includes classic works by prominent philosophers and contemporary research papers that have made significant contributions to the study of higher-order logic.\u003cbr\u003e\u003cbr\u003eIn summary, A Philosophical Introduction to Higher-order Logics is a groundbreaking textbook that offers a comprehensive and accessible introduction to higher-order logic for graduate students in philosophy. With its strong focus on non-extensional higher-order logics, this book is particularly well-suited for foundational metaphysics and provides students with the necessary formal tools to theorize in, and model, higher-order languages. By including a wealth of exercises and an annotated suggested reading list, this book ensures that students have a solid foundation in the field and are well-prepared to pursue further studies in higher-order logic and related areas.\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eWeight\u003c\/strong\u003e: 846g\u003cbr\u003e\u003cstrong\u003eDimension\u003c\/strong\u003e: 174 x 246 x 32 (mm)\u003cbr\u003e\u003cstrong\u003eISBN-13\u003c\/strong\u003e: 9780367483012\u003c\/p\u003e","brand":"Andrew Bacon","offers":[{"title":"Paperback \/ softback","offer_id":44596261224698,"sku":"9780367483012","price":39.97,"currency_code":"GBP","in_stock":false}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0522\/4297\/2845\/products\/1696005644529_book.jpg?v=1696154334","url":"https:\/\/shulphink.com\/products\/a-philosophical-introduction-to-higherorder-logics-9780367483012","provider":"Shulph Ink","version":"1.0","type":"link"}