Context, Conflict And Reasoning: Proceedings Of The Fifth Asian Workshop On Philosophical Logic (logic In Asia: Studia Logica Library)

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. 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