Formal Logic: The Calculus of Inference by Augustus De Morgan
Formal Logic - Table of Contents
What You Will Learn in Formal Logic
Formal Logic: The Calculus of Inference, Necessary and Probable by Augustus De Morgan is a seminal masterpiece in the history of modern logic, establishing a vital bridge between classical Aristotelian syllogisms and modern symbolic logic. Engineered for scholars of philosophy and foundations of mathematics, this landmark work serves as an indispensable reference for formal logic calculus inference study practice.
The treatise systematically develops quantifyings of the predicate, logical fallacies, probability theory, and relational logic. By structuring deductive reasoning into precise algebraic operations, De Morgan enables readers to execute complex symbolic logic mathematical proof derivations with complete logical clarity and analytical precision.
Praised by logicians and university faculty for its historic depth and revolutionary conceptual frameworks, this enduring classic remains an essential manual for self-directed technical study. De Morgan’s methodical exposition equips scholars with fundamental analytical tools required for mastering classical formal logic inference principles across mathematical disciplines.
Book Details & Specifications
Title:
Formal Logic: The Calculus of Inference by Augustus De Morgan
Publisher:
Taylor and Walton
Year:
1847
Pages:
380
Type:
PDF
Language:
English
ISBN-10 #:
1108070787
ISBN-13 #:
978-1108070782
License:
Public Domain Work
Amazon:
Amazon
About the Author: De Morgan Augustus
The author De Morgan Augustus
(1806–1871) was a brilliant British mathematician and logician, widely celebrated for formulating De Morgan's laws and introducing mathematical induction as a rigorous proof technique.
As the first Professor of Mathematics at University College London, De Morgan dedicated his career to advancing algebraic logic. His foundational treatises established enduring references for scholars seeking classical symbolic formal logic study materials.
Read or Downloadable Formal Logic
Mathematical Logic