Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics: 38 (Lecture Notes in Logic, Series Number 38) - Image 1

£66.19

Cambridge University Press Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics: 38 (Lecture Notes in Logic, Series Number 38)

Name: Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics: 38 (Lecture Notes in Logic, Series Number 38)
Brand: Cambridge University Press
Price: 66.19 GBP
Availability: InStock

Higher Education

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

£66 today · previous high £66 · all-time low £63

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 42 days • 42 data points (No recent data available)

Historical

Generating forecast...

Price Distribution

Price distribution over 42 days • 3 price levels

Days at Price

Current Price

Price Analysis

Most common price: £64 (20 days, 47.6%)

Price range: £64 - £66

Price levels: 3 different prices over 42 days

Description

Many systems of quantified modal logic cannot be characterised by Kripke's well-known possible worlds semantic analysis. This book shows how they can be characterised by a more general 'admissible semantics', using models in which there is a restriction on which sets of worlds count as propositions. This requires a new interpretation of quantifiers that takes into account the admissibility of propositions. The author sheds new light on the celebrated Barcan Formula, whose role becomes that of legitimising the Kripkean interpretation of quantification. The theory is worked out for systems with quantifiers ranging over actual objects, and over all possibilia, and for logics with existence and identity predicates and definite descriptions. The final chapter develops a new admissible 'cover semantics' for propositional and quantified relevant logic, adapting ideas from the Kripke–Joyal semantics for intuitionistic logic in topos theory. This book is for mathematical or philosophical logicians, computer scientists and linguists.

Key Features

Orders are despatched from our UK warehouse next working day.

Product Specifications

Brand: Cambridge University Press
Format: hardcover
ASIN: 1107010527
Category: Books > Subjects > Science, Nature & Maths > Mathematics > Education > Higher Education
Domain: Amazon UK
Release Date: 14 July 2011
Listed Since: 21 February 2011

Barcode

No barcode data available

Cambridge University Press Quantifiers, Propositions and Identity: Admissible Semantics for Quantified Modal and Substructural Logics: 38 (Lecture Notes in Logic, Series Number 38)

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

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

Formal Semantics:Cann: An Introduction (Cambridge Textbooks in Linguistics)

The Semantics and Proof Theory of the Logic of Bunched Implications: 26 (Applied Logic Series, 26)

Logical Foundations of Proof Complexity (Perspectives in Logic)

Bounded Arithmetic, Propositional Logic and Complexity Theory: 60 (Encyclopedia of Mathematics and its Applications, Series Number 60)

Relevant Logics: Implication, Modality, Quantification

Acceptable Premises: An Epistemic Approach to an Informal Logic Problem

Handbook of Philosophical Logic: Volume 16

Sheaves, Games, and Model Completions: A Categorical Approach to Nonclassical Propositional Logics: 14 (Trends in Logic, 14)

Computational Semantics with Functional Programming

Lectures in Logic and Set Theory: Volume 2, Set Theory: 83 (Cambridge Studies in Advanced Mathematics, Series Number 83)

Categories for Types (Studies in Emotion and Social Interaction)

Topics in Philosophical Logic: 17 (Synthese Library, 17)

Reasons for Logic, Logic for Reasons: Pragmatics, Semantics, and Conceptual Roles

The Mathematics of Logic: A Guide to Completeness Theorems and their Applications

Proof Theory of Modal Logic: 2 (Applied Logic Series, 2)

An Introduction to the Philosophy of Language (Cambridge Introductions to Philosophy)

Structural Analysis of Non-Classical Logics: The Proceedings of the Second Taiwan Philosophical Logic Colloquium (Logic in Asia: Studia Logica Library)

Programming with Higher-Order Logic

Referential Opacity and Modal Logic (Studies in Philosophy)

Modern Perspectives in Type-Theoretical Semantics: 98 (Studies in Linguistics and Philosophy, 98)

Between Logic and Reality: Modeling Inference, Action and Understanding: 25 (Logic, Epistemology, and the Unity of Science, 25)

Paraconsistent Logic: Consistency, Contradiction and Negation: 40 (Logic, Epistemology, and the Unity of Science, 40)

Structural Proof Theory

Modality and Propositional Attitudes