The History of Philosophical and Formal Logic