A Philosophical Introduction to Higher-order Logics
Bacon, Andrew
ISBN 10: 0367483017 ISBN 13: 9780367483012
Editore: Routledge, 2023
Nuovi
Paperback
Da
Revaluation Books, Exeter, Regno Unito
Valutazione del venditore 5 su 5 stelle
Venditore AbeBooks dal 6 gennaio 2003
Questo articolo specifico non è più disponibile.
Riguardo questo articolo
Descrizione:
520 pages. 9.69x6.88x0.98 inches. In Stock. This item is printed on demand. Codice articolo __0367483017
Riassunto:
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
Informazioni sull?autore:
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Dati bibliografici
Titolo: A Philosophical Introduction to Higher-order...
Casa editrice: Routledge
Data di pubblicazione: 2023
Legatura: Paperback
Condizione: Brand New
I migliori risultati di ricerca su AbeBooks
Foto dell'editore
A Philosophical Introduction to Higher Order Logics
Da: Majestic Books, Hounslow, Regno Unito
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 401497281
Quantità: 1 disponibili
Foto dell'editore
Philosophical Introduction to Higher Order Logics
Da: GreatBookPrices, Columbia, MD, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 45895249-n
Quantità: Più di 20 disponibili
Foto dell'editore
A Philosophical Introduction to Higher Order Logics
Da: Biblios, Frankfurt am main, HESSE, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Codice articolo 18395961108
Quantità: 1 disponibili
Foto dell'editore
A Philosophical Introduction To Higher Order Logics
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide. Codice articolo ABNR-281953
Quantità: 1 disponibili
Foto dell'editore
A Philosophical Introduction To Higher Order Logics
Da: Basi6 International, Irving, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. Codice articolo ABEJUNE24-379068
Quantità: 1 disponibili
Foto dell'editore
A Philosophical Introduction to Higher Order Logics
Da: Books Puddle, New York, NY, U.S.A.
Valutazione del venditore 4 su 5 stelle
Condizione: New. Codice articolo 26395961118
Quantità: 1 disponibili
Immagini fornite dal venditore
Philosophical Introduction to Higher Order Logic
Print on DemandDa: moluna, Greven, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. Andrew Bacon is Associate Professor at the University of Southern California. He is the author Vagueness and Thought (Oxford UP, 2018) and has written numerous articles applying logical methods to topics in metaphysics, epistemolo. Codice articolo 866158095
Quantità: Più di 20 disponibili
Foto dell'editore
A Philosophical Introduction to Higher-order Logics
Da: Best Price, Torrance, CA, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. SUPER FAST SHIPPING. Codice articolo 9780367483012
Quantità: 2 disponibili
Foto dell'editore
A Philosophical Introduction To Higher Order Logics
Da: SMASS Sellers, IRVING, TX, U.S.A.
Valutazione del venditore 5 su 5 stelle
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed. Codice articolo ASNT3-281953
Quantità: 1 disponibili
Immagini fornite dal venditore
A Philosophical Introduction to Higher-order Logics
Print on DemandDa: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germania
Valutazione del venditore 5 su 5 stelle
Taschenbuch. Condizione: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 LanguageII. Higher-Order LanguagesIII. General Higher-Order LanguagesIV. 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 metaphysicsIntroduces the basic formal tools that are needed to theorize in, and model, higher-order languagesOffers 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 learningContains annotated sections on further reading, pointing the reader to related literature, learning resources, and historical context 484 pp. Englisch. Codice articolo 9780367483012
Quantità: 2 disponibili