For the rest of the summer, I'll be working at home. In the fall semester, I'll be teaching intro. logic and a graduate seminar on inductive logic. Stay tuned for updates in late August.