Price loading...

A Philosophical Introduction to Higher-order Logics

Computer Science

Price data last checked 101 day(s) ago - refreshing...

View at Amazon

Price History & Forecast

No Price Data Available

Price history will appear here once data is collected from Amazon.

Price Distribution

No price data available for histogram

Description

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

Product Specifications

Format: hardcover
ASIN: 0367483025
Category: Books > Subjects > Computing & Internet > Computer Science
Domain: Amazon UK
Release Date: 29 September 2023
Listed Since: 17 February 2023

Barcode

No barcode data available

A Philosophical Introduction to Higher-order Logics

Price History & Forecast

No Price Data Available

Price Distribution

Description

Product Specifications

Barcode

Similar Products You Might Like

Routledge - A Philosophical Introduction to Higher-order Logics

The Philosophy Major’s Introduction to Philosophy: Concepts and Distinctions

Higher-Order Metaphysics

Modal Logic: An Introduction to its Syntax and Semantics

Philosophical Logic: A Contemporary Introduction (Routledge Contemporary Introductions to Philosophy)

Routledge Logic Works - Introduction to Formal Logic Book

Logic Works: A Rigorous Introduction to Formal Logic

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Introduction to Mathematical Logic: Extended Edition

Handbook of Philosophical Logic: Volume 8

Agency, Norms, Inquiry, and Artifacts: Essays in Honor of Risto Hilpinen: 454 (Synthese Library)

Introducing Philosophy: God, Mind, World, and Logic

An Invitation to Mathematical Logic: 301 (Graduate Texts in Mathematics, 301)

Logic in High Definition: Trends in Logical Semantics: 56

Introduction to Logic

Mathematical Logic: 291 (Graduate Texts in Mathematics, 291)

Philosophy of Logical Systems (Routledge Studies in Contemporary Philosophy)

Propositional Logics Third Edition

An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof: 27 (Applied Logic Series, 27)

A First Course in Mathematical Logic and Set Theory

Lectures on the Curry-Howard Isomorphism

Many-Dimensional Modal Logics: Theory and Applications (Volume 148) (Studies in Logic and the Foundations of Mathematics, Volume 148)

Springer Handbook of Philosophical Logic: Volume 12

Mathematical Logic: An Introduction (De Gruyter Textbook)