29 May 2012, Logic Tea, Virginie Fiutek

In this presentation I introduce the formal foundation of a new game semantics to define the concept of defeasible knowledge. My approach is inspired by Keith Lehrer's use of "justification games''. These games are an essential ingredient of Lehrer's account of knowledge as "undefeated justified acceptance'': an agent plays against an (ultra)critical opponent in order to give an irrefutable justification for accepting a certain proposition. My formal treatment of such type of games should provide a valuable addition to the literature on formal epistemology. I will make the notions of preference, justification, truth, belief and knowledge explicit within the framework of Dynamic Epistemic Logic and its recent extensions to deal with belief revision theory. This talk is based on on-going joint work with A. Baltag and S. Smets.

The Logic Tea homepage can be found at http://www.illc.uva.nl/logic_tea/ For more information, please contact Johannes Marti (johannes.marti at gmail.com), Sebastian Speitel (sebastian.speitel at gmail.com), or Matthijs Westera (M.Westera at uva.nl).