Logic In Algebraic Form: Three Languages And Theories (study In Logic & Mathematics)
by William Craig /
1974 / English / PDF
5.9 MB Download
The idea of using algebraic methods in the practice and theory of logic is quite old. Leibniz experimented with it repeatedly. Fundamental steps toward a comprehensive equational calculus of deductive reasoning were taken by Boole. His approach guided Peirce, Schroder, and others, who aimed at improving Boole's work and at extending it from unary sets to other relations. Since then, the emphasis has changed from calculi to algebraic structures. In aim and emphasis, this book is close to the earlier tradition.