Foundations & Overviews

A topic within Logic, itself one of 10 topics in that field and part of Philosophy.

Reading on Foundations & Overviews

2 works

Book1847

Formal Logic: or, The Calculus of Inference, Necessary and Probable

Augustus De Morgan

Extends logic beyond the traditional syllogism with a general symbolic calculus covering both certain and probable inference, laying groundwork Boole would formalise algebraically within a decade.

link checked 17 Sept 2026

Philosophy · Logic

FreeAdvanced

Book1881

Symbolic Logic

John Venn

Works through Boole's algebra of logic using the geometric diagrams that now bear Venn's name, treating them as a genuine method for solving logical problems rather than only a teaching aid.