http://loriweb.org/blog/ai1ec_event/formalization-in-philosophy-ii/
The Workshop on Formalization in Philosophy brings together researchers applying logical and mathematical tools to philosophical problems, to discuss the methodological, technical and conceptual issues that are common to such areas of inquiry. What is the status of idealization while applying formal methods, and what are acceptable standards of idealization? How do we choose the most appropriate formalism to model a given problem, and what does it mean for a formalization to adequately capture the phenomena it is intended to describe? How do we keep track of the assumptions that are implicit in a given formalism, and how may such assumptions be motivated? The purpose of the workshop is to take a step back and discuss these issues relevant to all areas of philosophy where formal methods are used, such as epistemology, philosophy of language, metaphysics or philosophy of mathematics. _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
