Formal methods for Philosophy and Scientific Reasoning, 7.5 credits