Relevant Logics

Implication, Modality, Quantification

AvShawn Standefer

Inbunden, Engelska, 2026

937 kr

Kommande

Fler format och utgåvor

Häftad

Kommande

Beskrivning

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.

Produktinformation

Utgivningsdatum:2026-07-31
Format:Inbunden
Språk:Engelska
Antal sidor:295
Förlag:Cambridge University Press
ISBN:9781009422857

Utforska kategorier

Mer om författaren

Shawn Standefer is an Assistant Professor of Philosophy at North Carolina State University. He is a co-author of Logical Methods (2023) and co-editor of New Directions in Relevant Logic (2025).

Recensioner i media

'This book is a real achievement! It explains the proof methods, semantical theories, and the latest results in the field, and the author puts forward his own view of relevant logic. It's constructed in such a way that it can be taught at various levels, and it's an excellent reference work as well as a fantastic teaching tool.' Edwin Mares, Victoria University of Wellington

Innehållsförteckning

1. The heart of logic; Part I. Foundations: 2. Axioms; 3. Frame theory; 4. Metatheory: Soundness and completeness; 5. Matrices; Part II. Modality; 6. Modal extensions; 7. Modal frames; 8. Applications of modal logics; 9. Metavaluations; 10. Connectives; Part III. Quantification; 11. Quantifiers; 12. Identity; 13. Varia.