Structural Analysis of Non-Classical Logics (eBook)

The Proceedings of the Second Taiwan Philosophical Logic Colloquium

Syraya Chin-Mu Yang, Duen-Min Deng, Hanti Lin (Herausgeber)

eBook Download: PDF

2015 | 1st ed. 2016
278 Seiten
Springer Berlin (Verlag)
978-3-662-48357-2 (ISBN)

Infos

This volume brings together a group of logic-minded philosophers and philosophically oriented logicians to address a diversity of topics on the structural analysis of non-classical logics. It mainly focuses on the construction of different types of models for various non-classical logics of current interest, including modal logics, epistemic logics, dynamic logics, and observational predicate logic. The book presents a wide range of applications of two well-known approaches in current research: (i) structural modeling of certain philosophical issues in the framework of non-classic logics, such as admissible models for modal logic, structural models for modal epistemology and for counterfactuals, and epistemological models for common knowledge and for public announcements; (ii) conceptual analysis of logical properties of, and formal semantics for, non-classical logics, such as sub-formula property, truthmaking, epistemic modality, behavioral strategies, speech acts and assertions. The structural analysis provided in this volume will appeal not only to graduate students and experts in non-classic logics, but also to readers from a wide range of disciplines, including computer science, cognitive science, linguistics, game theory and theory of action, to mention a few.

Inhalt

​
​Logic and/or Truthmaking.- Socio-historical Causal Descriptivism.- Structural Models for Williamson’s Modal Epistemology.- Admissible Semantics for Modal Logic with Quantifiers: Ultraproducts and Strong Completeness.- Incompatible Paraconsistencies.- Motivating the Causal Modeling Semantics, or, How I Come to Learn to Give Up the Possible-Worlds Semantics.- On Possibilistic Justification Logic.- What If Meanings Are Not Truth Conditions?.- How to Do Semantics without Semantic Values.- Revising A Labelled Sequent Calculus for Public Announcement Logic.- Interpolation Properties in Predicate Logics.- Logic for the Urn Game.- Phenomenal Sorites Paradoxes and Measurement-Theoretic Analysis of Goodman’s Concept of Just Noticeable Difference.- Mereological Complementaion and Decidability.- Decidability of Exponential Diophantine Equations.- Channel Theoretical Reflections on Dynamic Logics of Speech Acts.- Constructive Embedding from Logics of Strict Implication to Modal Logics.- Common Knowledge and the Knowledge Account of Assertion.​

Produkt-Details

• Erscheint lt. Verlag: 16.10.2015
• Reihe/Serie: Logic in Asia: Studia Logica Library
• Reihe/Serie: Logic in Asia: Studia Logica Library
• Zusatzinfo: XV, 278 p.
• Verlagsort: Berlin
• Sprache: englisch
• Themenwelt: Geisteswissenschaften ► Philosophie ► Allgemeines / Lexika
• Themenwelt: Geisteswissenschaften ► Philosophie ► Logik
• Themenwelt: Mathematik / Informatik ► Informatik
• Themenwelt: Mathematik / Informatik ► Mathematik
• Schlagworte: common knowledge and assertion • dynamic/epistemic logic • incompatible paraconsistency • interpolation properties • Justification Logic • logic for games
• ISBN-10: 3-662-48357-2 / 3662483572
• ISBN-13: 978-3-662-48357-2 / 9783662483572