Universiteit van Amsterdam

Events

Institute for Logic, Language and Computation

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

6 June 2002, Logic Tea, Paul Égré

Speaker: Paul Égré
Title: The Knower Paradox in the Light of Provability Interpretations of
Modal Logic
Date: Thursday 6 June 2002
Time: 15:30-17:00
Location: Room P.018, Euclides Building, Plantage Muidergracht 24,
Amsterdam

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

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