Ancient Formal Logic