LogiCIC/LIRa Session: Barteld Kooi

Please note that in February and March the LIRa seminar will be held on WEDNESDAYS at 4:30.

On WEDNESDAY, February 5, we will have a joint LogiCIC/LIRa session with Barteld Kooi.

Everyone is cordially invited! (mind the day and time change)

Speaker: Barteld Kooi (University of Groningen)
Title: The ambiguity of knowability
Date and Time: Wednesday, February 5, 2014, 16:30-18:00
Venue: Science Park 107, Room F1.15
Abstract: In this talk I will argue that the Verification Thesis (all truths are knowable) is only susceptible to Fitch’s Paradox if one conflates the de re and de dicto interpretation of knowability. A formalization shows that if one treats knowability as a complex second-order predicate, then the paradox falls apart.