A System of Logic, Ratiocinative and Inductive
Exploring the Foundations of Reasoning and Empiricism