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 teach philosophy and logic as Professor of Philosophy at the University of Melbourne. ¶ Start at the home page of this site—a compendium of recent additions around here—and go from there to learn more about who I am and what I do. ¶ This is my personal site on the web. Nothing here is in any way endorsed by the University of Melbourne.



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.