Articles liés à A Philosophical Introduction to Higher-order Logics
Synopsis
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
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l?auteur
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.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.
- ÉditeurRoutledge
- Date d'édition2023
- ISBN 10 0367483017
- ISBN 13 9780367483012
- ReliureBroché
- Langueanglais
- Nombre de pages482
- Coordonnées du fabricantnon disponible
Acheter neuf
Afficher cet article
EUR 50,22
EUR 2,95 expédition depuis Etats-Unis vers France
Destinations, frais et délais
Résultats de recherche pour A Philosophical Introduction to Higher-order Logics
Image d'archives
A Philosophical Introduction To Higher Order Logics
Vendeur : Basi6 International, Irving, TX, Etats-Unis
Évaluation du vendeur 5 sur 5 étoiles
Etat : Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service. N° de réf. du vendeur ABEJUNE24-379068
Quantité disponible : 3 disponible(s)
Image d'archives
PHILOSOPHICAL INTRODUCTION TO HIGHER ORD
Vendeur : Speedyhen, London, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : NEW. N° de réf. du vendeur NW9780367483012
Quantité disponible : 1 disponible(s)
Image d'archives
A Philosophical Introduction to Higher Order Logics
Vendeur : Biblios, Frankfurt am main, HESSE, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 18395961108
Quantité disponible : 4 disponible(s)
Image d'archives
A Philosophical Introduction to Higher Order Logics
Vendeur : Books Puddle, New York, NY, Etats-Unis
Évaluation du vendeur 4 sur 5 étoiles
Etat : New. N° de réf. du vendeur 26395961118
Quantité disponible : 4 disponible(s)
Image d'archives
A Philosophical Introduction to Higher Order Logics
Vendeur : Majestic Books, Hounslow, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 401497281
Quantité disponible : 4 disponible(s)
Image fournie par le vendeur
A Philosophical Introduction to Higher-order Logics
impression à la demandeVendeur : BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Allemagne
Évaluation du vendeur 5 sur 5 étoiles
Taschenbuch. Etat : 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. N° de réf. du vendeur 9780367483012
Quantité disponible : 2 disponible(s)
Image d'archives
A Philosophical Introduction to Higher-order Logics
Vendeur : Ria Christie Collections, Uxbridge, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. In. N° de réf. du vendeur ria9780367483012_new
Quantité disponible : Plus de 20 disponibles
Image d'archives
Philosophical Introduction To Higher Ord
Edité par
Routledge, 2023
ISBN 10 : 0367483017
ISBN 13 : 9780367483012
Neuf
Couverture souple
Edition originale
Vendeur : Kennys Bookshop and Art Galleries Ltd., Galway, GY, Irlande
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. 2023. 1st Edition. paperback. . . . . . N° de réf. du vendeur V9780367483012
Quantité disponible : 1 disponible(s)
Image d'archives
A Philosophical Introduction to Higher-order Logics
Edité par
Taylor & Francis Ltd, 2023
ISBN 10 : 0367483017
ISBN 13 : 9780367483012
Neuf
Paperback / softback
Vendeur : THE SAINT BOOKSTORE, Southport, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Paperback / softback. Etat : New. New copy - Usually dispatched within 4 working days. 890. N° de réf. du vendeur B9780367483012
Quantité disponible : 1 disponible(s)
Image d'archives
Philosophical Introduction to Higher Order Logics
Vendeur : GreatBookPricesUK, Woodford Green, Royaume-Uni
Évaluation du vendeur 5 sur 5 étoiles
Etat : New. N° de réf. du vendeur 45895249-n
Quantité disponible : Plus de 20 disponibles