The use of logical and mathematical methods in philosophy has increased significantly during the last hundred years. Such use can lead to sharpened distinctions and improved argumentation, and it has strengthened the interaction between philosophy and other disciplines using mathematical modelling.

The event is open to the public and free of charge but registration is mandatory.

http://www.kva.se/sv/Kalendariumlista/2014/Formal-methods-in-philosophy/