Universiteit van Amsterdam

Archives

Institute for Logic, Language and Computation

Please note that this newsitem has been archived, and may contain outdated information or links.

25 June 2013, Logic Tea, Bryan Renne

Speaker: Bryan Renne
Title: The Logic of Justified Belief, Explicit Knowledge, and Conclusive Evidence
Date: Tuesday 25 June 2013
Time: 17:00-18:00
Location: Room F1.15, Science Park 107, Amsterdam

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 (), Sebastian Speitel (), or Matthijs Westera ().

Please note that this newsitem has been archived, and may contain outdated information or links.