This book examines the tension between formal and informal methods in philosophy. The rise of analytic philosophy was accompanied by the development of formal l

This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a

Truth is one of the oldest and most central topics in philosophy. Formal theories explore the connections between truth and logic, and they address truth-theore

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

Formal Philosophy is a collection of short interviews based on 5 questions presented to some of the most influential and prominent scholars in formal philosophy