“Not Every Truth Can Be Known” is now up to version 0.9, and it’s having its first public beta test on Friday morning in the local logic seminar. Come along (Cussonia Court Room 1, University of Melbourne, Friday 11am) and enjoy the ride if you like that kind of thing.
Christine reminded me that when talking about epistemic logic one should, of course, cite Donald Rumsfeld’s famous (or infamous?) remarks about the known knowns, the known unknowns, and the unknown unknowns. (Does the fact that he didn’t mention the unknown knowns mean that he implicitly endorses the KK thesis? Who can tell?)