25 - 31 August 2019, Summer school on philosophical engineering, Duesseldorf, Germany

Contemporary analytic philosophy makes heavy use of formal methods. However, most of the time people engaged in such a formal endeavour are highly specialised, for which reason they quite often focus on one particular branch of formal philosophy. This is also reflected in contemporary philosophical curricula, which typically offer highly specialised courses on particular formal methods, but only rarely cover a broad range of them. This summer school aims at providing an introductory overview of the main methods applied in formal philosophy or philosophical engineering: logical devising, model building, programming and simulating, and employing digital resources in the broader realm of digital humanities.

By bringing together international experts in these fields, participants will gain competencies in applying a broad range of formal methods in their field of interest; for this purpose, each of the mentioned topics is covered by professional instructions, exercises, interactive group work, and the discussion of results by the participants. Furthermore, participants will be provided with opportunities to independently deepen their competencies in a particular topic of interest following completion of the course.The summer school is suitable for anyone with some basic knowledge in logic (as is gained, e.g., by completing an elementary university course on logic). The main target audience is MA and PhD students, however, this is not an exclusive criterion, for which reason the summer school is also open for BA students.