Modal Logic: An Introduction to its Syntax and Semantics - Image 1

£50.07

Oxford University Press Modal Logic: An Introduction to its Syntax and Semantics

Name: Modal Logic: An Introduction to its Syntax and Semantics
Brand: Oxford University Press
Price: 50.07 GBP
Availability: InStock

Words, Language & Grammar

Price History & Forecast

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

Historical

Generating forecast...

Price Distribution

Price distribution over 22 days • 1 price levels

Days at Price

Price Analysis

Most common price: £50 (22 days, 100.0%)

Price range: £50 - £50

Price levels: 1 different prices over 22 days

Description

In this text, a variety of modal logics at the sentential, first-order, and second-order levels are developed with clarity, precision and philosophical insight. All of the S1-S5 modal logics of Lewis and Langford, among others, are constructed. A matrix, or many-valued semantics, for sentential modal logic is formalized, and an important result that no finite matrix can characterize any of the standard modal logics is proven. Exercises, some of which show independence results, help to develop logical skills. A separate sentential modal logic of logical necessity in logical atomism is also constructed and shown to be complete and decidable. On the first-order level of the logic of logical necessity, the modal thesis of anti-essentialism is valid and every de re sentence is provably equivalent to a de dicto sentence. An elegant extension of the standard sentential modal logics into several first-order modal logics is developed. Both a first-order modal logic for possibilism containing actualism as a proper part as well as a separate modal logic for actualism alone are constructed for a variety of modal systems. Exercises on this level show the connections between modal laws and quantifier logic regarding generalization into, or out of, modal contexts and the conditions required for the necessity of identity and non-identity. Two types of second-order modal logics, one possibilist and the other actualist, are developed based on a distinction between existence-entailing concepts and concepts in general. The result is a deeper second-order analysis of possibilism and actualism as ontological frameworks. Exercises regarding second-order predicate quantifiers clarify the distinction between existence-entailing concepts and concepts in general. Modal Logic is ideally suited as a core text for graduate and undergraduate courses in modal logic, and as supplementary reading in courses on mathematical logic, formal ontology, and artificial intelligence.

Product Specifications

Brand: Oxford University Press
Format: paperback
ASIN: 0195366573
Category: Books > Subjects > Reference > Words, Language & Grammar
Domain: Amazon UK
Release Date: 04 August 2008
Listed Since: 05 November 2007

Barcode

No barcode data available

Oxford University Press Modal Logic: An Introduction to its Syntax and Semantics

Price History & Forecast

Price Distribution

Price Analysis

Description

Product Specifications

Barcode

Similar Products You Might Like

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

Modal Logic for Philosophers

Introduction to Mathematical Logic: Extended Edition

A Philosophical Introduction to Higher-order Logics

MATHEMATICAL LOGIC OTIL PAPER: 3 (Oxford Texts in Logic)

Routledge - A Philosophical Introduction to Higher-order Logics

FOUNDATIONS OF MODALITY:FROM PROPOSITIONS TO POSSIBLE WORLDS

Norms and Necessity

Logic for Applications (Texts in Computer Science)

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

Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic (Logic in Asia: Studia Logica Library)

An Introduction to Classical and Modal Logics: The Outlines of Knowledge (Cambridge Introductions to Philosophy)

Springer - Modalities and Multimodalities (Logic, Vol. 12)

Modalities and Multimodalities: 12 (Logic, Epistemology, and the Unity of Science, 12)

Propositional Logics Third Edition

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

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

Oxford University Press - Fragments of First-Order Logic

Routledge Logic Works - Introduction to Formal Logic Book

Logic Works: A Rigorous Introduction to Formal Logic

A First Course in Logic : An Introduction to Model Theory, Proof Theory, Computability, and Complexity: An Introduction to Model Theory, Proof Theory, ... and Complexity: 1 (Oxford Texts in Logic)

Logical Foundations of Artificial Intelligence

Handbook of Philosophical Logic: Volume II: Extensions of Classical Logic: 165 (Synthese Library, 165)

Aristotle's Modal Proofs: Prior Analytics A8-22 in Predicate Logic: 68 (The New Synthese Historical Library, 68)