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. This book holds significant interest for specialists in formal logic, particularly those with a penchant for historical analysis, as well as for scholars in philosophy with a focus on the methodology of sciences, epistemology, and the philosophy of mathematics.