Popper formulates and explains his non-justificationist theory of knowledge. Science--empirical science--aims at true explanatory theories, yet it can never prove, finally establish, or justify any of its theories as true, not even if it is in fact a true theory. Science must continue to question and criticize all its theories, even those which happen to be true.