A History of Formal Logic