The main lecturer’s extensive experience in developing non-classical logics for the formal analysis of scientific reasoning processes is taken as the starting point in this seminar. Based on this expertise, the students will be taught how they can develop logical systems that are not only sound but also adequate for the logical analysis of specific reasoning processes.