What Is a Logical System?

This superb collection of papers focuses on a fundamental question in logic and computation: What is a logical system? With contributions from leading researchers—including Ian Hacking, Robert Kowalski, Jim Lambek, Neil Tennent, Arnon Avron, L. Farinas del Cerro, Kosta Dosen, and Solomon Feferman—the book presents a wide range of views on how to answer such a question, reflecting current, mainstream approaches to logic and its applications. Written to appeal to a diverse audience of readers, …