This seminar will introduce many of the most important formal tools in philosophy which are of a logical nature, mathematical and philosophical logic: classical and non-classical propositional logics, modal propositional logic and philosophical applications thereof, first order logic and philosophical issues beyond classical first order logic, counterfactuals, quantified modal logic etc. 

What a participant in this seminar is supposed to possess is literacy in elementary logic (classical propositional and first order logic). She or he is supposed to have attended my introductory course to formal logic or an equivalent introduction to formal logic at another university.