£137.28

A Philosophical Introduction to Higher-order Logics

Computer Science

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

View at Amazon

We'll watch every seller, every day. One email when your price arrives.

This is the most expensive it has ever been. Walk away.

£137 today · previous high £137 · all-time low £120

NEW HERE?

Amazon shows you one price. We show you all of them.

Tosheroon watches Amazon prices so you don't have to. Every product on Amazon has a price history — we make it visible. Set the price you'd actually pay, and we'll email you the second it gets there. No app, no account, one email.

WHAT'S ON THIS PAGE

↓ Price chart
when this has been cheap or pricey

↓ Forecast
where the price is heading next

↓ Statistics
all-time high & low, recent range

↑ Price alert
name your number, we'll email you

Price History & Forecast

Grey patches = out of stock. Cheaper = lower on the chart. Hover for exact prices.

Last 439 days • 439 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 439 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £129 (147 days, 33.5%)

Price range: £120 - £137

Price levels: 6 different prices over 439 days

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

This is the most expensive it has ever been. Walk away.

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

Lectures on the Curry-Howard Isomorphism

Lectures on the Curry-Howard Isomorphism (Volume 149) (Studies in Logic and the Foundations of Mathematics, Volume 149)

Extensions of First Order Logic: 19 (Cambridge Tracts in Theoretical Computer Science, Series Number 19)

Routledge Logic Works - Introduction to Formal Logic Book

Logic Works: A Rigorous Introduction to Formal Logic

Logic from Russell to Church: 5 (Handbook of the History of Logic, Volume 5)

Logics for Computer and Data Sciences, and Artificial Intelligence: 992 (Studies in Computational Intelligence, 992)

Logic for Mathematicians

An Introduction to Non-Classical Logic: From If to Is (Cambridge Introductions to Philosophy)

Classical and Fuzzy Concepts in Mathematical Logic and Applications, Professional Version

Mathematical Logic and Computation

Simple Type Theory: A Practical Logic for Expressing and Reasoning About Mathematical Ideas (Computer Science Foundations and Applied Logic)

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

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

Logic with Trees: An Introduction to Symbolic Logic

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

Logic with Trees: An Introduction to Symbolic Logic

Substructural Logics: A Primer: 13 (Trends in Logic, 13)

Concise Guide to Formal Methods: Theory, Fundamentals and Industry Applications (Undergraduate Topics in Computer Science)

Logic, Language and Computation: 5 (Applied Logic Series, 5)

Basic Proof Theory 2ed: 43 (Cambridge Tracts in Theoretical Computer Science, Series Number 43)

Logic for Applications (Texts in Computer Science)

Introduction to Mathematical Logic: Extended Edition

Computational Logic: 165 (NATO ASI Subseries F:, 165)