 In spite of a certain lack of clarity in Bolzano’s explication, it is obvious that his concept of entailment is of great relevance not only for the philosophy of the empirical sciences but also with respect to proof theory. It is hard, however, to see how to reconcile the characteristic features of the entailment relation in its application to causality (in the empirical sciences) with those in its application to proof theory.