"Logic is usually understood nowadays as a study of certain formal systems, though in former times there were philosophers who held that the subject matter of logic was the formal rules of human thought."