“the practical utility of Formal Logic to-day lies not so much in the establishment of positive conclusions as in the prompt detection and exposure of invalid inference.”