Scientists reason in different ways. They do, of course, use deductive and inductive arguments, but they also use other argument types. It is the task of the philosopher of science to identify these argument types and to provide a careful philosophical analysis of them. In this talk Hartmann will mainly focus on inference to the best explanation (IBE) and the no-alternatives argument (NAA) and show that both can be formally analyzed in a similar way.