May 12, 2004

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?)

Anyway, take a look at the paper (the changes from 0.85 to 0.9 are mainly bugfixes and exposition changes, no pictures yet, though I promise they will come someday) and let me know what you think.

← Haskell and Logic | News Archive | What He Said →


I’m Greg Restall, and this is my personal website. ¶ I am the Shelby Cullom Davis Professor of Philosophy at the University of St Andrews.



To receive updates from this site, you can subscribe to the  RSS feed of all updates to the site in an RSS feed reader, or follow me on Twitter at  @consequently, where I’ll update you if anything is posted.