Wed Apr 25, 2007
234 Moses Hall, 6–8 PM
|Working Group in the History and Philosophy of Logic, Mathematics, and Science
Johan van Benthem (Stanford University)
Logic and Modeling Intelligent Interaction
I will discuss the ‘social’ aspect of logic as an account of intelligent interaction, witness its role in the study of argumentation, communication, and games in general. This requires the design of dynamic logics for changing information, beliefs, and preferences, which I explain in the setting of strategic behavior in extensive games. I conclude by outlining how this stance throws new light on issues in epistemology and the philosophy of science.