In a world plagued by conflict, one might expect that the exact sciences of logic and mathematics would provide a safe harbor. In fact, these disciplines are rife with internal divisions between different, often incompatible systems. This original work explores apparently intractable disagreements in logic and the foundations of mathematics and sets out conflict resolution strategies that evade these stalemates. The book is a significant contribution to such areas of philosophy as logic, philosophy of language and argumentation theory. It is also of interest to mathematicians and computer scientists.
