# Logics of Rational Agency

A quick glance at the opening paragraphs in many of the classic logic textbooks reveals a common view: logical methods highlight the reasoning patterns of a single (idealized) agent engaged in some form of

This project critically examines and develops logical systems for reasoning about communities of (rational and not-so rational) agents engaged in some form of social interaction. Much of this work builds upon existing logical frameworks developed by philosophers and computer scientists incorporating insights and ideas from philosophy (especially epistemology and action theory), game theory, decision theory and social choice theory. The result is a web of logical systems each addressing different aspects of rational agency and social interaction. This project focuses on the central conceptual and technical issues that drive these logical analyses. The main objective is to see the various logical systems as a

*mathematical*thinking (for example: A (biased) sampling from my bookshelf: Shoenfield's*Mathematical Logic*: ``Logic is the study of reasoning; and mathematical logic is the study of the type of reasoning done by mathematicians"; Enderton's*A Mathematical Introduction of Logic*: ``Symbolic logic is a mathematical model of deductive thought"; and Chiswell and Hodges*Mathematical Logic*: ``In this course we shall study some ways of proving statements."). However, this traditional view of the ``subject matter" of logic is expanding. A growing literature is using phrases such as ``rational interaction" or ``information flow" to describe its subject matter while still employing traditional logical methods. The clearest example can be found in the work of Johan van Benthem and others on*logical dynamics*, Rohit Parikh and others on*social software*, and Samson Abramsky and others on*game semantics*.This project critically examines and develops logical systems for reasoning about communities of (rational and not-so rational) agents engaged in some form of social interaction. Much of this work builds upon existing logical frameworks developed by philosophers and computer scientists incorporating insights and ideas from philosophy (especially epistemology and action theory), game theory, decision theory and social choice theory. The result is a web of logical systems each addressing different aspects of rational agency and social interaction. This project focuses on the central conceptual and technical issues that drive these logical analyses. The main objective is to see the various logical systems as a

*coherent*account of rational agency and social interaction suggesting the following three questions:- How can we
*compare*different logical frameworks addressing similar aspects of rational agency and social interaction (eg., how information evolves through social interaction)? - How should we
*combine*logical systems which address {\em different} aspects of social interaction towards the goal of a comprehensive (formal) theory of rational agency? - How does a logical analysis contribute to the broader discussion of rational agency and social interaction within philosophy and the social sciences?