19-31 August 2007, Summer School "Formal Methods in Philosophy and Linguistics", Tartu, Estonia

The Summer School "Formal Methods in Philosophy and Linguistics" is a two week research training course in formal methods and their use in philosophy and linguistics for PhD students in the respective fields. The courses cover classical logic and its meta-theory, developments in modal and non-classical logic, as well as historical aspects in the philosophy of logic since Frege. Mathematical models that had a wider impact on philosophical model building, like probability theory and game theory, are also taken into account. The courses also introduce systematically formal semantics as it is studied by philosophers and linguists.

After a three day recapitulation of the standard technical vocabulary and some of the central metalogical results, a philosophy of language/ linguistics branch will take a closer look at the use of formal methods in specific problem areas and at specific formal theories. This will be paralleled by courses for philosophers working in areas other than philosophy of language and linguistics, offering closer examinations of applications of formal methods in the philosophy of science, mind, and action. The courses are designed for graduate students of philosophy and linguistics who lack a background in mathematics but work in a field that requires the assessment of formal methods or results obtained by such methods.

Student applications will be accepted until June 15, 2007. We will accept 30 students in total. For more information, see http://www.cohnitz.de/phpwcms/index.php?summerschool