This book brings together contemporary work on relevant logics to showcase the recent progress of the field and set the stage for future research. The papers in the volume contribute to the formal and philosophical development of the field. They include contributions from different traditions and approaches ranging from philosophical discussions of the foundations of relevant, and related kinds of non-classical, logic to mathematical work concerning open technical problems in the field. This is the first edited collection on the topic in many years, and it includes contributions from established figures as well as younger generations of researchers. Relevant logics have recently seen a resurgence of interest and this volume will be an important resource for logicians working on substructural and relevant logics for years to come.

First edited volume in many years to provide an overview of cutting-edge work in relevant logic Addresses a range of current topics in relevant logics and related fields in mathematics and philosophy Contributions from established and rising researchers in the field of relevant logics

Autorentext

Igor Sedlár is a researcher at the Institute of Computer Science of the Czech Academy of Sciences in Prague, Czech Republic. After obtaining his PhD at the Comenius University in Bratislava with a thesis on relevant logic in 2009, he was a postdoctoral researcher at the Comenius University, the Slovak Academy of Sciences and the Czech Academy of Sciences. His research focuses on modal and non-classical logics, and includes work on relevant epistemic logic. He has published his results in many top-level conferences and journals, and he is currently pursuing a research project on non-classical dynamic logic funded by the Czech Science Foundation.

Shawn Standefer is an assistant professor of Philosophy at National Taiwan University. Before coming to NTU, he was a postdoctoral researcher at the University of Melbourne, and he got his PhD in Philosophy from the University of Pittsburgh. His research focuses on non-classical logics, particularly relevant logics. He has published his research in many peer-reviewed journals and he currently holds a research grant from the National Science and Technology Council of Taiwan. With Greg Restall, he has co-authored an intermediate logic textbook, Logical Methods, published by MIT Press. He is currently working on a book on relevant logics.

Andrew Tedder is a postdoctoral researcher at the Ruhr University Bochum, and has previously held research positions at the University of Vienna and the Czech Academy of Sciences. His research concerns relevant and related non-classical logics, with a focus on quantifiers, modalities, and the application of non-classical logics to metaphysics, information, and formalised mathematical theories. His research has appeared in many peer reviewed journals and he has presented at a wide range of internationally recognised conferences in logic and philosophy.

Klappentext

This book brings together contemporary work on relevant logics to showcase the recent progress of the field and set the stage for future research. The papers in the volume contribute to the formal and philosophical development of the field. They include contributions from different traditions and approaches ranging from philosophical discussions of the foundations of relevant, and related kinds of non-classical, logic to mathematical work concerning open technical problems in the field. This is the first edited collection on the topic in many years, and it includes contributions from established figures as well as younger generations of researchers. Relevant logics have recently seen a resurgence of interest and this volume will be an important resource for logicians working on substructural and relevant logics for years to come.

Inhalt

Introduction.- Part I: Philosophical Foundations.- Chapter 1. A Hierarchy of Relevance Properties.- Chapter 2. A Topic-Theoretic Perspective on Variable-Sharing (from the Black Sheep of the Family).- Chapter 3. Withered Relevance.- Chapter 4. Variable-Sharing as Relevance.- Part II: Model Theory.- Chapter 5. Algorithmic Corre spondence for Relevance Logics II, Inductive Formulae in Flat Languages for Relevance Logics.- Chapter 6. Quantified Modal Rele vant Logics II, Welcome to the Neighbourhood.- Chapter 7. Semantics for Second Order Relevant Logics.- Chapter 8. Implying and Containing in Truthmaker Semantics.- Chapter 9. The Only 3-valued Logic which is a Natural Implication Expansion with the Variable Sharing Property of Kleene's Strong Logic.- Part III: Proof Theory.- Chapter 10. A Conceptual Approach to Restricted Quan tification in Relevant Logics.- Chapter 11. Fusion, Fission, and Ackermann's Truth Constant in Relevant Logics, A Proof-Theoretic Investigation.- Chapter 12. Entailment Generalized.- Chapter 13. Proofs with Star and Perp.- Chapter 14. Morphing Rules of Evaluation into Rules of Deduction: Preserving Relevance and Epistemic Gain.- Part IV: Applications.- Chapter 15. Frege meets Belnap: Basic Law V in a Relevant Logic.- Chapter 16. Explicit and Implicit Belief in First Degree Entailment With Strict Implication.- Chapter 17. Relevant Rational Arithmetic.