Active Epistemology What we know depends on what we do Epistemic logic We know stuff. And we know that we know stuff. But what exactly is the connection between the two?