Buch, Englisch, 246 Seiten, Format (B × H): 155 mm x 235 mm
The 7th Asian Workshop on Philosophical Logic
Buch, Englisch, 246 Seiten, Format (B × H): 155 mm x 235 mm
Reihe: Logic in Asia: Studia Logica Library
ISBN: 978-981-9241-50-7
Verlag: Springer Verlag, Singapore
This comprehensive volume serves as a collaborative platform for a diverse group of scholars, including philosophers with a deep engagement in logical theory and logicians who bring a strong philosophical perspective to their work. Together, they explore a broad spectrum of contemporary issues and developments at the intersection of logic and philosophy. The discussions featured in this collection span a wide array of specialized topics, such as modal logic, intuitionistic logic, relevant logic, substructural logics, many valued logic, formal semantics, proof theory, and logical paradoxes.
Each contribution offers a rigorous examination of these themes, reflecting both technical sophistication and conceptual insight. The inclusion of such a varied range of logical systems and philosophical inquiries ensures that the volume addresses not only foundational and theoretical concerns but also the implications of these systems for understanding reasoning, language, and computation. Given the scope and depth of the subjects tackled, this volume is likely to appeal to a broad interdisciplinary audience. It will be of particular interest to those working in logic, philosophy, formal semantics, theoretical computer science, linguistics, and artificial intelligence. Moreover, scholars and students who are engaged in exploring the philosophical underpinnings of formal systems or the formalization of philosophical ideas will find the discussions in this book especially enriching and thought-provoking.
Zielgruppe
Research
Autoren/Hrsg.
Fachgebiete
Weitere Infos & Material
Buddhist Refutation of the Existence of Creator God: A Logico-Ontological Study.- Defeasible Reasoning on Concepts.- An axiomatization of MFO-(M) in finite models.-Finite axiomatization for the hybrid product logics with diagonal constant.- Frame Conditions and Group Constraints in Dynamic Epistemic Logic.- Reasons and Because.-Craig Interpolation Theorem of Intuitionistic Modal Logic L4 via Analytic Cut Property.- Various implication operators in regular double Stone algebra and corresponding logics.- Naming Sets: New Axiomatization of the Modal Logic in the Bimodal Base L(R,-R).- Substructural Solutions to tonk.- Craig Interpolation for Logics of Distributed Knowledge via Bisimulation Products.- Bilateral Truthmakers for Counterfactuals and Counterpossibles.- Finite Model Property of Bull’s Intuitionistic Non-normal Modal Logic with Transitivity Axiom.- A Logic for Instrumental Obligation.
