Introduction to Formal Philosophy

This Undergraduate Textbook introduces key methods and examines the major areas of philosophy in which formal methods play pivotal roles. Coverage begins with a thorough introduction to formalization and to the advantages and pitfalls of formal methods in philosophy. The ensuing chapters show how to use formal methods in a wide range of areas.

Throughout, the contributors clarify the relationships and interdependencies between formal and informal notions and constructions. Their main focus ...