The Traditional Formal Logic