Context, Conflict and Reasoning: Proceedings of the Fifth Asian Workshop on Philosophical Logic

✍ Scribed by Beishui Liao, Yì N. Wáng

• Publisher: Springer
• Year: 2020
• Tongue: English
• Leaves: 170
• Series: Logic in Asia: Studia Logica Library
• Category: Library

✦ Synopsis

​This volume brings together a group of philosophically oriented logicians and logic-minded philosophers, mainly from Asia, to address a variety of logical and philosophical topics, such as modal logic and related directions (e.g. temporal logic, epistemic logic, deontic logic, logic of conditionals, and modal proof theory), theory of truth, paradoxes, intentionality, and social networks. New approaches are also proposed, such as extended modal logic with planarity of graphs, extended branching time temporal logic with conditional operators, and a relational treatment of language and logical systems, to name but a few.
Given the variety of topics and issues discussed here, the book will appeal to readers from a broad range of disciplines, from mathematical/philosophical logic, computing science, cognitive science and artificial intelligence, to linguistics, game theory and beyond.

✦ Table of Contents

Preface
Table of Contents
Paracomplete truth theory with a definable hierarchy of determinateness operators
1 Introduction
2 The Liar Paradox
3 From Kripke to Field: Paracomplete Approaches to Semantic Paradoxes
4 A Definable Transfinite Hierarchy of Determinateness Operators
5 Conclusion
References
Paradoxes behind the Solovay sentences
1 Introduction
2 Construction
3 Main Theorem
4 Examples
5 Comparison
6 Conclusion
References
Multiple Roles and Deontic Logic
1 Introduction
2 Role-Related Deontic Syllogism
3 A Deontic Logic of Multiple Roles
3.1 Syntax and Semantics
3.2 Some Logical Properties
4 Axiomatization
5 Decidability
6 Collective Obligation
6.1 Simple Collective Obligation
6.2 Identified Collective Obligation
7 Conclusion and Future Works
References
EEG Evidence for Game-Theoretic Model to Ambiguous Pronoun Resolution
1 Introduction
2 A Game-Theretic Model to Ambiguous Pronoun Resolution
2.1 The Model
2.2 Comparison with other Models
2.3 The Application
3 The Experiment
3.1 Methods
3.2 Results and Discussion
4 Conclusions and Outlook
References
On the Factivity Problem of Epistemic Contextualism
1 Introduction
2 Preliminaries
3 The Factivity Problem
4 Analysis in the Skeptical Context
5 Analysis in the Daily Context
6 Reply to an Objection
7 Conclusion
Acknowledgement
Appendix: Proofs
References
Dynamic Epistemic Logic of Faith Diffusion in Cultural Circles
1 Introduction
2 Threshold Models and Cultural Circles
3 Cultural Circle Based Threshold Models and Information Diffusion
4 Logics for Faith Diffusion
5 Conclusions
References
Monotonic Opaqueness in Deontic Contexts
1 Introduction
2 Monotonically Opaque Contexts
2.1 Wide Scope vs. Narrow Scope
2.2 Different Normative Judgments for Different Events
3 DEON_E Model
4 Conclusion
References
Towards a Relational Treating of Language and Logical Systems
1 Motivation and Introduction
2 Basic Definition
3 Logical Consequence and Conjunction
4 Logical Equivalence and Meaning
5 Conclusion and Future Work
References
Modal Logic and Planarity of Graphs
1 Introduction
2 Graph Theory
3 Modal Logic on Graphs
4 (Un-)Definability of Planarity
4.1 Spread
4.2 Representation of the Minor
5 Axiomatizations
6 Furthur Direction
Acknoledgement
References
Proof-theoretic Results of Common Sense Modal Predicate Calculi
Introduction
1 Syntax and Semantics for CMPCs
2 Hilbert-style systems for CMPCs
3 Strong Completeness for CMPCs
4 Sequent Calculi for CMPCs
Conclusion
References
Strengthened Conditionals
1 Introduction
2 Basic Conditional Logics
3 Translating
4 Transferring
5 Neutral Conditional
6 Conclusion
References
Intentionality as Disposition*
1 Introduction
2 An evaluation of the different approaches
3 Naturalism and representation
4 An alternative: disposition
5 Conclusion and ideas for a future formal investigation
References