As in the case of most of the other branches of logic, the foundations of the theory of reductive methods of thought were laid by Aristotle. It is true that, at any rate in his logic, he took a much greater interest in deduction than in reduction, but he always made use of induction in the practice of science, and also discussed it theoretically in remarkable detail. In their modern form reductive methods were introduced by Bacon, whose "">tabulae" represent the first attempt to establish the relevant rules. In Bacon's time and up to the middle of the nineteenth century, however, formal logic was unfortunately mistaken again and again for methodology, so that finally nearly every methodologist regarded it as his task to find a logic different from and better than deductive logic, namely so-called "inductive" logic.