Post-Doctoral Researcher
Department of Computer Science
University of Bath, England
– Minicourse at  CLE-
Tuesday, April 5th – 16:00 to 17:30
Wednesday, April 6th – 16:00 to 17:30
“Paraconsistent Logic and Games”

Abstract: In this course, we will see various applications of paraconsistent reasoning in games. First, we will discuss game semantics for various non-classical logics and observe how semantic games change in different logics. This will raise the questions about the connection between logical consistency and winning conditions in games. Then, we will focus on a self-referential paradox in epistemic games and see how paraconsistent logic illuminates the epistemology of the game. Finally, we will consider a non-self-referential paradox, again within the context of games, and construct a model for it using paraconsistent logic. We will conclude by discussing the role of paraconsistency and consistency in the intersection of games and logic.


  • * * * *

Colloquium Logicae Seminar

Wednesday, April 13th – 16:00 to 17:30
Paraconsistency, Social Software and Games

Abstract: In this talk, I will argue for the use of paraconsistent logics in game theory.  As a first step, I will consider a relatively recent research program in logic, Social Software of Parikh, which tries to analyze social protocols and language from a logical and formal perspective. I will claim that Social Software is missing an important aspect, that is non-classical logic. Second, I will discuss two paradoxes of game theory: a self-referential one and a non-self referential one. I will conclude that the paradoxes of games immediately calls for a non-classical logical background theory. I will finish by making some observation for the future of paraconsistent game theory.