A System of Logic: Ratiocinative and Inductive