Shawn Standefer – författare

Relevant logics are forms of non-classical logic that require the antecedent and consequent of implications to be relevantly related. They are paraconsistent logics, i.e. they are able to robustly handle contradictory information. The field of non-classical logics is rapidly expanding, particularly with the addition of modalities and quantifiers. This is the first book to develop systematically a basic frame theory of relevant logics that includes both modal and quantified extensions. It includes sections comparing features of relevant logics with other, more common logics used in philosophy, examples and exercises to make the material more accessible, and an extensive bibliography. It also includes philosophical discussion of many aspects of relevant logics, and highlights several directions for future research, both philosophical and formal.

Relevant logics are forms of non-classical logic that require the antecedent and consequent of implications to be relevantly related. They are paraconsistent logics, i.e. they are able to robustly handle contradictory information. The field of non-classical logics is rapidly expanding, particularly with the addition of modalities and quantifiers. This is the first book to develop systematically a basic frame theory of relevant logics that includes both modal and quantified extensions. It includes sections comparing features of relevant logics with other, more common logics used in philosophy, examples and exercises to make the material more accessible, and an extensive bibliography. It also includes philosophical discussion of many aspects of relevant logics, and highlights several directions for future research, both philosophical and formal.

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.