Title: A History of Formal Logic