The logic of scientific discovery