Alasdair Urquhart on Nonclassical and Algebraic Logic and Complexity of Proofs

This book is dedicated to Alasdair Urquhart's work in algebraic logic, lattice theory, proof complexity, and philosophical logic. It includes papers on his contributions to these fields, as well as a response to his papers. Urquhart has made significant advancements in logic, including the undecidability of relevant logics and the complexity of proofs.

Format: Hardback
Length: 586 pages
Publication date: 25 September 2021
Publisher: Springer Nature Switzerland AG

Alasdair Urquhart is a renowned logician who has made significant contributions to various fields of logic. His work has had a profound impact on the understanding and development of logic. In this book, we will explore Alasdair Urquhart's work in detail, starting with an introduction to his life and career. We will then delve into his contributions to algebraic logic, lattice theory, the complexity of proofs, and philosophical logic. Finally, we will respond to his papers.

Alasdair Urquhart's contributions to algebraic logic have been groundbreaking. He produced some of the earliest work on the semantics of relevant logic, which is a branch of logic that deals with the interpretation of logical statements in terms of their truth values. Urquhart's work on the semantics of relevant logic laid the foundation for many of the subsequent developments in the field. He provided the undecidability of the logics R (of relevant implication) and E (of relevant entailment), as well as some of their close neighbors. He also proved that interpolation fails in some of those systems.

Urquhart's work in complexity theory has also been influential. He has done significant work in both the complexity of proofs in classical and some nonclassical logics. In particular, he has shown that the complexity of proofs in modal logic, which is a branch of logic that deals with the truth values of modal statements, is undecidable. This result has important implications for the study of logical reasoning and decision-making.

In pure algebra, Alasdair Urquhart has made significant contributions as well. He has produced a representation theorem for lattices, which are mathematical structures used to represent and manipulate sets. His duality theorems have also been beautiful and have shed light on the relationships between different types of algebraic structures.

In addition to his work in logic, Alasdair Urquhart has done important work in the history of logic, especially on Bertrand Russell. He edited Volume four of Russells Collected Papers, which contains many of Russell's most important writings on logic and philosophy. Urquhart's editing of this volume has been praised for its accuracy and clarity.

In conclusion, Alasdair Urquhart is a towering figure in the field of logic. His contributions to algebraic logic, lattice theory, the complexity of proofs, and philosophical logic have had a profound impact on the understanding and development of logic. This book is dedicated to his work and serves as a testament to his brilliance and dedication to the field.

Weight: 1057g
Dimension: 235 x 155 (mm)
ISBN-13: 9783030714291
Edition number: 1st ed. 2022