|Current Workshop | Overview||Back | Home | Search ||
Formal Methods for the Informal World
Description and Aim
Understanding social reality requires tools that can capture the influence of individual decision making and networks. Logical and philosophical formalisms are often too simplistic to support the analysis of complex real-world situations, whereas empirical methods work well to understand the average, standard, situations but are not generalizable to volatile changing environments, nor to understand individual decisions. In this workshop, we will explore the use of formal methods to describe and analyse informal systems. Identifying structural elements and relationships in social systems will open novel ways of reasoning about these systems and provide conceptual clarity to debate and decision making.
Johan van Benthem
Sven Ove Hansson