Garantía de entrega
Artículo: AMZ-0367483017
A Philosophical Introduction to Higher-order Logics
Format:
Paperback
Detalles del producto
Disponibilidad
En stock
En stock
Peso con empaque
0.89 kg
0.89 kg
Devolución
Sí
Sí
Condición
Nuevo
Nuevo
Producto de
Amazon
Amazon
Viaja desde
USA
USA
Sobre este producto
- 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 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
$143,24
60% OFF
$57,30
IMPORT EASILY
By purchasing this product you can deduct VAT with your RUT number
$143,24
60% OFF
$57,30
3 meses de gracia en diferidos y hasta 6 meses sin intereses con Pacificard
Envío gratis
Llega en 5 a 12 días hábiles
Con envío
Tienes garantia de entrega
Este producto viaja
de USA ![]()
a tus manos en
![]()
a tus manos en
Compra protegida
Disfruta de una experiencia de compra segura y confiable
![]()
Garantía de entrega
Con Tiendamia todas tus compras cuentan con Garantía de Entrega o devolución total de tu dinero.
Compras 100% seguras y garantizadas, para que pidas lo que sueñas y lo recibas del mundo a tu puerta.
Tarjetas de Débito y Crédito
Visa
Mastercard
American Express
Dinners
Discover
Alias
Pagos a través de PayPal
Compra procesada en dólares con dinero en cuenta o tarjetas internacionales.
PayPal
.svg)
