25 June 2013, Logic Tea, Bryan Renne

Abstract

I will describe recent work joint with Alexandru Baltag and Sonja Smets (both ILLC Amsterdam) on a logic for reasoning about evidence and its relation to justifiable "implicit" belief and knowledge and their explicit counterparts. The logic makes use of a number of evidence-related notions such as availability and admissibility of evidence and is based on an innovative modification of Melvin Fitting's semantics for Sergei Artemov's Justification Logic. In this framework, one may preempt Gettier-type counterexamples. Also, since the logic incorporates ideas from belief revision and awareness logics, the approach provides an account of evidence-based, explicitly justified defeasible knowledge that can address a variety of notions of (logical) omniscience.

Link to Paper: http://bryan.renne.org/docs/brs-ConclusiveEvidence.pdf

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).