 This definition of logic makes a strange impression at first glance and was also often misunderstood. By putting it forward, Bolzano ascribes to logic a task that is generally not included in philosophy at all, but rather in the technique of scientific procedure. Bolzano, however, considered this task to be important enough to subject it to a scientific treatment. Since he did not see how it could otherwise be brought within the purview of a science, he assigned this task to logic which seemed to him to be the best candidate for this. What Bolzano mentions in his definition is, in his own view, by no means the only task of logic. In order to avoid superfluous criteria, Bolzano stated only the most concrete purpose in his definition, for the other tasks are entailed by it. Bolzano’s logic is a composite of the theory of foundations, the theory of elements, the theory of knowledge, the art of discovery (heuristics), and the theory of science proper. Thus, logic is, for Bolzano, an encompassing philosophical discipline, and the “theory of science proper” is only a sort of appendix of his logic.