Exploring Negation, Modality and Proof

6th Asian Workshop on Philosophical Logic
Herausgegeben:Sano, Katsuhiko; Hatano, Ryo; Ono, Hiroakira

• Gebundenes Buch

Produktbeschreibung

This book brings together contributions from philosophers interested in logic and logicians with a philosophical orientation to address a variety of logical and philosophical topics of current interest, including modal logic, intuitionistic logic, relevant logic, substructural logic, many-value logic, formal semantics, proof theory, and paradox. In particular, it provides the state of the art in three major aspects of current research in philosophical logic: negation, modality, and proof. New frameworks are proposed, e.g., meta sequent, unified inductive logic, generalized Clemens semantics, etc. The variety of topics and issues discussed in this volume is of interest to readers from a wide range of disciplines, such as logic, semantics, and computer science, philosophy, linguistics, artificial intelligence, and beyond.

Produktdetails

• Logic in Asia: Studia Logica Library
• Verlag: Springer / Springer Nature Singapore / Springer, Berlin
• Artikelnr. des Verlages: 978-981-96-8565-3
• Seitenzahl: 368
• Erscheinungstermin: September 2025
• Englisch
• Abmessung: 235mm x 155mm
• ISBN-13: 9789819685653
• Artikelnr.: 74212137

Autorenporträt

Hiroakira Ono is Emeritus professor, Japan Advanced Institute of Science and Technology, Japan. He has been working in nonclassical logic, in particular, substructural logics and superintuitionistic logics, using both proof-theoretic and algebraic methods.

Ryo Hatano is Junior Associate Professor, Tokyo University of Science, Japan. He is engaged in proof-theoretic research on dynamic epistemic logic and its intuitionistic generalizations, as well as machine learning

Katsuhiko Sano is Professor, Faculty of Humanities, Hokkaido University, Japan. His main research interests are modal logic and nonclassical logic, both from a proof-theoretic and a model-theoretic perspective. He is also interested in Alan Turing's thoughts on machines. He received the best paper award at the 5th AWPL

Inhaltsangabe

There are (other) ways to negate in propositional team semantics.- A note on negation in the operational semantics for relevant logic.- Ignorance and the possibility of error in relevant epistemic logic.- Mereological Forcing.- Arbitrary objects in a bilateral setting.- Measurement-Theoretic Foundations of Logic of Epistemic Modals.- Perspective Shifts: Formalizing Epistemic Might in Multi-agent Models.- This Time As Grandfather.- Complete and Terminating Tableau Calculus for Undirected Graph.- Strict Truth, Tolerant Truth, and Generalized Strict-Tolerant Logics.- Variations of Axioms K and S in Substructural Logics.- Lesniewski's Ontology Satisfies Interpolation.- Proof construction style representation of cut-elimination.- Invitation to Constructive Nonreflexive and Nontransitive Logics.- A Proof-Theoretic Approach to the Binding Problem.- Conservative Imaging and AGM Postulates.- Unified Inductive Logic: From Formal Learning to Statistical Inference to Supervised Learning.- Composition and Plural Identity.