Logic is the art of arguing correctly: “If A, then B.” The method is not invalidated by the hypothetical nature of A. Indeed, the practical utility of Formal Logic today lies not so much in the establishment of positive conclusions as in the prompt detection and exposure of invalid inference.
