This book features mathematical and formal philosophers’ efforts to understand philosophical questions using mathematical techniques. It offers a collection o

"Foundations of the Formal Sciences" (FotFS) is a series of interdisciplinary conferences in mathematics, philosophy, computer science and linguistics. The main

Rigorous yet engaging and accessible, Introduction to Formal Logic with Philosophical Applications is composed of two parts. The first part provides a focused,

Ontology was once understood to be the philosophical inquiry into the structure of reality: the analysis and categorization of ‘what there is’. Recently, ho

The papers presented in this volume examine topics of central interest in contemporary philosophy of logic. They include reflections on the nature of logic and