Karl Popper's contributions to logic and the philosophy of science