The logical basis of Popper’s solution to the problem of induction - only with modus tollens we can make valid logical conclusions that proceed from specific to general, and we can make only negative such conclusions, e.g. “This swan is black, therefore not all swans are white.” Hence the only criteria for valid knowledge is fasifiability.