The presence and use of logic is ubiquitous if hidden in the theory and practice of the sciences. The seminar offers a first introduction to logic in the sciences. We will present a first introduction to formal logic---first order predicate logic (with identity), inductive logic, theory of relations, probability theory. We will then address logical questions that are of crucial scientific relevance. For example, we will use formal logic to phrase rigorously the idea that reality is structured in a hierarchy of levels of relative fundamentality described by the special sciences---allegedly ensuring irreducibility and autonomy. As for another example, we will develop a little bit of probability theory that is crucial for the logic of confirmation in science. We will also look at controversial arguments such as the argument from intelligent design, discussing issues about the demarcation of science and pseudo-science. \\

The seminar represents the first introduction to the use of abstract formal methods that are ubiquitous in the theory and practice of science and philosophy.