In arguing against the induction that he felt was still widely in use, he described deductive logic, which subjects a hypothesis to empirical testing, as the way to corroborate theory.

In this case, the conclusion contradicts the deductive logic of the preceding premises, rather than deriving from it.

For the most part this discussion of logic deals only with deductive logic.

It includes also a dependence on deductive logic as a basis for practical conclusions and actions.

We can not use deductive logic to infer predictions about future observations based on past observations because there are no valid rules of deductive logic for such inferences.