Knowability 4

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.


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, and the Director of the Arché Philosophical Research Centre for Logic, Language, Metaphysics and Epistemology I like thinking about – and helping other people think about – logic and philosophy and the many different ways they can inform each other.


To receive updates from this site, subscribe to the RSS feed in your feed reader. Alternatively, follow me at, where most updates are posted.


This site is powered by Netlify, GitHub, Hugo, Bootstrap, and coffee.   ¶   © 1992– Greg Restall.