Formal philosophy relies increasingly on simulations, and sometimes on empirical test, coming 
closer to both computer-, cognitive- and social sciences. Some examples are learning-theoretic 
models of inquiry, network theory-based approaches in social epistemology, and game-theoretic 
evolutionary approaches of communication. 

The aim of the G.I.R.L.'12 Conference is to bring together researchers in philosophy, cognitive 
science and artificial intelligence, to investigate new areas where the game- and learning-theoretic
simulation approaches can lead to fruitful results. A central topic is interactive rationality, 
or rational behavior that emerges from interaction. Unlike 'rational interaction', its much better 
known sister, it does not presuppose agents to be rational to begin with. Examples are given by 
evolutionary game-theory, which studies rational (equilibrium-reaching) behavior emerging from 
interaction of non-reflective agents; or learning-theoretic models of inquiry showing how inquiry 
can solve inductive problems, while substituting truth-tracking efficiency to reflexive 
justification.