LIRa session: Yves Bouchard

We will have a LIRa session with Yves Bouchard.
Everyone is cordially invited!

Speaker: Yves Bouchard (Université de Sherbrooke)

Date and Time:  Friday, March 18th 2016, 13:00 – 14:30

Venue: ILLC Seminar Room F1.15, Science Park 107.

Title:  Logic and Epistemic Contexts.

Abstract. In this talk, I develop a Fitch-style natural deduction system (NDS) capable of expressing the core thesis of epistemological contextualism. The proposed NDS satisfies two epistemological constraints: (1) it allows for the differentiated expression of any concept of knowledge, and (2) it is explicit about the conditions under which a particular knowledge type can be transposed into another type. The general idea of this NDS takes his inspiration from the contextual logic developed by McCarthy and Buvăc (1996, 1997) in artificial intelligence. In the first part, I present the rationale of my proposal and the general framework of McCarthy and Buvăc. In the second part, I define the rules for the introduction and the elimination of the knowledge operator, and I discuss some epistemological problems in relation with theorems of the proposed NDS.