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: 62.69 GBP
Availability: InStock

Higher Education

Price History & Forecast

Last 89 days • 89 data points

Historical

Generating forecast...

Price Distribution

Price distribution over 89 days • 6 price levels

Days at Price

Current Price

Price Analysis

Most common price: £64 (37 days, 41.6%)

Price range: £58 - £66

Price levels: 6 different prices over 89 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)

Price History & Forecast

Price Distribution

Price Analysis

Description

Key Features

Product Specifications

Barcode

Similar Products You Might Like

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)

Founding Mathematics on Semantic Conventions: 446 (Synthese Library, 446)

Possibilities And Paradox: An Introduction To Modal And Many-Valued Logic

Abductive Inference: Computation, Philosophy, Technology

Formulaic Language and the Lexicon

Advanced Topics in Bisimulation and Coinduction: 52 (Cambridge Tracts in Theoretical Computer Science, Series Number 52)

Semantics: An Interdisciplinary Reader in Philosophy, Linguistics and Psychology

Samson Abramsky on Logic and Structure in Computer Science and Beyond: 25 (Outstanding Contributions to Logic, 25)

Mental Spaces in Grammar: Conditional Constructions: 108 (Cambridge Studies in Linguistics, Series Number 108)

Narrative and Understanding Persons (Royal Institute of Philosophy Supplements)

Presupposition and Implicature in Compositional Semantics (Palgrave Studies in Pragmatics, Language and Cognition)

Handbook of Philosophical Logic: 6

Quantum, Probability, Logic: The Work and Influence of Itamar Pitowsky (Jerusalem Studies in Philosophy and History of Science)

Reflective Equilibrium and the Principles of Logical Analysis: Understanding the Laws of Logic (Routledge Studies in Contemporary Philosophy)

Multifunctorial Equivariant Algebraic K-Theory (London Mathematical Society Lecture Note Series)

Dao Companion to Chinese Philosophy of Logic: 12

An Introduction to String Diagrams for Computer Scientists (Elements in Applied Category Theory)

The Semantics of English Prepositions: Spatial Scenes, Embodied Meaning, and Cognition

The Traditional Formal Logic: A Short Account for Students: 22 (Routledge Library Editions: Logic)

Fallacies Arising from Ambiguity: 1 (Applied Logic Series, 1)

Indefinites and the Type of Sets: 03 (Explorations in Semantics)

LMS: 128 Descriptive Set Theory (London Mathematical Society Lecture Note Series, Series Number 128)

Ultralogic as Universal?: The Sylvan Jungle - Volume 4: 396 (Synthese Library, 396)