{"product_id":"a-philosophical-introduction-to-higher-order-logics-paperback-2","title":"A Philosophical Introduction to Higher-order Logics - Paperback","description":"\u003cdiv\u003e\u003cp style=\"text-align: right;\"\u003e\u003ca href=\"https:\/\/reportcopyrightinfringement.com\/\" target=\"_blank\" rel=\"nofollow\"\u003e\u003cb\u003eReport copyright infringement\u003c\/b\u003e\u003c\/a\u003e\u003c\/p\u003e\u003c\/div\u003e\u003cp\u003eby \u003cb\u003eAndrew Bacon\u003c\/b\u003e (Author)\u003c\/p\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003eThis 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. \u003c\/p\u003e\u003cp\u003eA 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.\u003c\/p\u003e\u003cp\u003eAuthor Andrew Bacon organizes the book's 18 chapters around four main parts: \u003cbr\u003eI. Typed Language\u003cbr\u003eII. Higher-Order Languages\u003cbr\u003eIII. General Higher-Order Languages\u003cbr\u003eIV. Higher-Order Model Theory \u003c\/p\u003e\u003cp\u003eIn 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. \u003c\/p\u003e\u003cp\u003eKey Features: \u003c\/p\u003e\u003cul\u003e \u003cp\u003e \u003c\/p\u003e \u003cli\u003eIs the first comprehensive introduction to higher-order logic as a grounding for addressing problems in metaphysics\u003c\/li\u003e \u003cli\u003eIntroduces the basic formal tools that are needed to theorize in, and model, higher-order languages\u003c\/li\u003e \u003cli\u003eOffers an abundance of\u003cbr\u003e- Simple exercises throughout the book, serving as comprehension checks on basic concepts and definitions\u003cbr\u003e- More difficult exercises designed to facilitate long-term learning\u003c\/li\u003e \u003cli\u003eContains annotated sections on further reading, pointing the reader to related literature, learning resources, and historical context\u003c\/li\u003e \u003c\/ul\u003e\u003ch3\u003eAuthor Biography\u003c\/h3\u003e\u003cp\u003e\u003c\/p\u003e\u003cp\u003e\u003cstrong\u003eAndrew Bacon\u003c\/strong\u003e is Associate Professor at the University of Southern California. He is the author of \u003ci\u003eVagueness and Thought\u003c\/i\u003e (Oxford UP, 2018) and has written numerous articles applying logical methods to topics in metaphysics, epistemology, and language.\u003c\/p\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eNumber of Pages:\u003c\/strong\u003e 464\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eDimensions:\u003c\/strong\u003e 0.97 x 9.69 x 6.85 IN\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003eIllustrated:\u003c\/strong\u003e Yes\u003c\/div\u003e\n            \u003cdiv\u003e\n\u003cstrong\u003ePublication Date:\u003c\/strong\u003e September 29, 2023\u003c\/div\u003e\n            ","brand":"BooksCloud","offers":[{"title":"Default Title","offer_id":47348532969721,"sku":"9780367483012","price":93.94,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0789\/2782\/3097\/files\/0VUbOZz4Gv9780367483012_5d110053-f10c-49d7-ae22-fdad34063e7b.webp?v=1769774537","url":"https:\/\/bookscloud.io\/products\/a-philosophical-introduction-to-higher-order-logics-paperback-2","provider":"BooksCloud Book Dropshipping","version":"1.0","type":"link"}