£41.99

Routledge - A Philosophical Introduction to Higher-order Logics

Name: Routledge - A Philosophical Introduction to Higher-order Logics
Brand: Routledge
Price: 39.99 GBP
Availability: InStock

Computer Science

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 2 price levels

Days at Price

Current Price

Price Analysis

Most common price: £42 (23 days, 54.8%)

Price range: £40 - £42

Price levels: 2 different prices over 42 days

Description

A Philosophical Introduction to Higher-order Logics by Routledge serves as the first comprehensive textbook designed specifically for graduate students in philosophy. Unlike many introductions from computer science backgrounds, this text provides a unique perspective tailored to the needs of philosophical study. The book covers the formal aspects of higher-order languages, including model theory, proof theory, and the theory of lambda-abstraction along with its generalizations. It bridges the gap between technical logic and philosophical inquiry by applying these formal structures to key topics such as modality and propositional granularity. With a strong focus on non-extensional higher-order logics, this resource is particularly well-suited for those working in foundational metaphysics. It offers a clear path for students to master both the formal mechanics and the practical applications of higher-order logic within a philosophical framework.

Key Features

Designed specifically for graduate students in philosophy seeking a deep understanding of higher-order logic.

Covers essential formal aspects including model theory, proof theory, and lambda-abstraction theory.

Explores practical philosophical applications such as modality and propositional granularity.

Focuses on non-extensional higher-order logics to support research in foundational metaphysics.

Provides a comprehensive overview of higher-order languages and their generalizations.

Product Specifications

Brand: Routledge
Format: paperback
ASIN: 0367483017
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

Routledge - A Philosophical Introduction to Higher-order Logics

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

A Philosophical Introduction to Higher-order Logics

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

Higher-Order Metaphysics

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

Routledge Logic Works - Introduction to Formal Logic Book

Logic Works: A Rigorous Introduction to Formal Logic

Modal Logic: An Introduction to its Syntax and Semantics

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

Introduction to Mathematical Logic: Extended Edition

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

Introducing Philosophy: God, Mind, World, and Logic

Propositional Logics Third Edition

Introduction to Logic

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

Handbook of Philosophical Logic: Volume 8

Logic with Trees: An Introduction to Symbolic Logic

Symbolic Logic (Palgrave Philosophy Today)

Logic in High Definition: Trends in Logical Semantics: 56

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

Mathematical Logic

Philosophy of Logical Systems (Routledge Studies in Contemporary Philosophy)

Introduction to Logic

A First Course in Mathematical Logic and Set Theory

Routledge Philosophy of Language: A Contemporary Introduction