This volume provides a unified account of the history of attempts to convert mathematical proof to a syllogistic form of reasoning, from Aristotle to major advances in logic in the nineteenth century. The analysis of the debate provides insights into the relationship between philosophy and mathematics.