6 June 2002, Logic Tea, Paul Égré

In this talk I offer to discuss more closely the links between the Knower Paradox and provability interpretations of modal logic. First, I bring together and compare the respective strength of several inconsistency results respectively involving truth predicates, provability predicates, up to knowledge and belief predicates. In a second part, I examine how provability interpretations of modal logic enable to bypass the limitations imposed by the Knower and related results. The discussion rests more specifically on an examination of the distinct treatments elaborated by B. Skyrms (1978), C.A. Anderson (1983), and R. Solovay (1976). imposed by the Knower and related results.

The Logic Tea homepage can be found at http://staff.science.uva.nl/~debruin/logic_tea.html