Sign-In
Cart
A Philosophical Introduction to Higher-Order Logics
Paperback
ISBN13: 9780367483012
Publisher: Routledge
Published: Sep 29 2023
Pages: 464
Weight: 1.74
Height: 0.97 Width: 6.85 Depth: 9.69
Language: English
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
1 different editions
Also available
Also from
Bacon, Andrew
Also in
Philosophy
Solidarity: The Past, Present, and Future of a World-Changing Idea
Hunt-Hendrix, Leah
Taylor, Astra
Hardcover
In the Beginning Was the Deed: Realism and Moralism in Political Argument
Williams, Bernard
Paperback
The American Indian Mind in a Linear World: American Indian Studies and Traditional Knowledge
Fixico, Donald Lee
Paperback
Dreaming of Cinema: Spectatorship, Surrealism, and the Age of Digital Media
Lowenstein, Adam
Paperback
Machine Intelligence and the Imaginal Realm: Spiritual Freedom and the Re-Animation of Matter
Lafitte, Luke
Paperback
The Sociogony: Social Facts and the Ontology of Objects, Things, and Monsters
Worrell, Mark P.
Paperback
On Quality: An Inquiry Into Excellence: Unpublished and Selected Writings
Pirsig, Wendy K.
Pirsig, Robert M.
Hardcover
The Electromagnetic Brain: Em Field Theories on the Nature of Consciousness
Joye, Shelli Renée
Paperback
The New Science of Giambattista Vico: Unabridged Translation of the Third Edition (1744) with the Addition of Practic of the New Science
Vico, Giambattista
Paperback
Philosophy in Turbulent Times: Canguilhem, Sartre, Foucault, Althusser, Deleuze, Derrida
Roudinesco, Elisabeth
Paperback
The Persuaders: At the Front Lines of the Fight for Hearts, Minds, and Democracy
Giridharadas, Anand
Hardcover
The Dream of Reason: A History of Philosophy from the Greeks to the Renaissance
Gottlieb, Anthony
Paperback
The Modes of Scepticism: Ancient Texts and Modern Interpretations
Annas, Julia
Barnes, Jonathan
Julia, Annas
Paperback
Friendship and Society: An Introduction to Augustine's Practical Philosophy
Burt, Donald X.
Paperback
Essays V2: Moral And Entertaining On The Various Faculties And Passions Of The Human Mind (1815)
Clarendon, Edward Hyde Earl of
Paperback
The Daily Stoic: 366 Meditations on Wisdom, Perseverance, and the Art of Living
Hanselman, Stephen
Holiday, Ryan
Hardcover
The Mattering Instinct: How Our Deepest Longing Drives Us and Divides Us
Goldstein, Rebecca Newberger
Hardcover
The Obstacle Is the Way Expanded 10th Anniversary Edition: The Timeless Art of Turning Trials Into Triumph
Holiday, Ryan
Hardcover
Other Minds: The Octopus, the Sea, and the Deep Origins of Consciousness
Godfrey-Smith, Peter
Paperback
Self-Help from the Middle Ages: What the Seven Deadly Sins Can Teach Us about Living
Jones, Peter
Hardcover
The Boy, the Mole, the Fox and the Horse Fifth Anniversary Limited Edition: The Global Bestseller
Mackesy, Charlie
Hardcover
Bless & Release: The physics of letting go-and wanting what's meant for you.
Laporte, Danielle
Paperback
My Big TOE Awakening Discovery Inner Workings: The Complete My Big TOE Trilogy Unifying Philosophy, Physics and Metaphysics
Campbell, Thomas
Hardcover
The Ethical Slut, Third Edition: A Practical Guide to Polyamory, Open Relationships, and Other Freedoms in Sex and Love
Hardy, Janet W.
Easton, Dossie
Paperback
The Courage to Be Ordinary: Discover Your Surprising Superpower for a Thriving Life
Kishimi, Ichiro
Paperback
Self-Reliance and Nature: The Complete First and Second Series of Emerson's Essays
Emerson, Ralph Waldo
Hardcover
Make Your Home in This Luminous Dark: Mysticism, Art, and the Path of Unknowing
Smith, James K. A.
Hardcover