Does syllogistic logic have the resources to capture mathematical proof? This volume provides the first unified account of the history of attempts to answer thi

Does syllogistic logic have the resources to capture mathematical proof? This volume provides the first unified account of the history of attempts to answer thi

The middle years of the nineteenth century saw two crucial develop ments in the history of modern logic: George Boole's algebraic treat ment of logic and August

The contributions in this proceedings volume offer a new perspective on the mathematical ties between France and Italy, and reveal how mathematical developments

In the four decades since Imre Lakatos declared mathematics a "quasi-empirical science," increasing attention has been paid to the process of proof and argument