This book presents the state of the art in the fields of formal logic pioneered by Graham Priest. It includes advanced technical work on the model and proof theories of paraconsistent logic, in contributions from top scholars in the field. Graham Priests research has had a considerable influence on the field of philosophical logic, especially with respect to the themes of dialetheismthe thesis that there exist true but inconsistent sentencesand paraconsistencyan account of deduction in which contradictory premises do not entail the truth of arbitrary sentences. Priests work has regularly challenged researchers to reappraise many assumptions about rationality, ontology, and truth.

This book collects original research by some of the most esteemed scholars working in philosophical logic, whose contributions explore and appraise Priests work on logical approaches to problems in philosophy, linguistics, computation, and mathematics. They provide fresh analyses, critiques, andapplications of Priests work and attest to its continued relevance and topicality. The book also includes Priests responses to the contributors, providing a further layer to the development of these themes

.