This Week in Logic at CUNY

Computational Logic Seminar
Tuesday, November 26, 2013 2:00 pm Graduate Center, rm. 3209 
Speaker: Che-Ping Su The University of Melbourne
Title: Paraconsistent Justification Logic

In the literature of belief revision, there is one approach called belief base belief revision, where the belief set is not required to be closed under a consequence relation. According to Sven Ove Hansson, in belief base belief revision, there are two ways to define the revision operator:
revision = expansion + contraction
revision = contraction + expansion
Hansson has a result that these two ways of defining the revision operator do not collapse into the same operator. Hansson also thinks that in the first way, there is an intermediate inconsistent epistemic state that occurs after expansion. Paraconsistent justification logic is intended to model the agent’s justification structure, when the agent is in such an inconsistent epi-state. My hope is that this logic could help us better model belief revision.

In my talk, the motivation will be better clarified. And, a paraconsistent justification logic system will be introduced.

Model theory seminar
Friday, December 6, 2013 12:30 pm GC 6417 
Speaker: Manuel Alves CUNY Grad Center
Title: TBA

Leave a Reply

Your email address will not be published. Required fields are marked *

Time limit is exhausted. Please reload CAPTCHA.