For the conference in honor of Crispin Wright held in St Andrews recently, I gave a talk that continued a discussion several of us had been having at the UConn conference a couple years ago, celebrating the 40th anniversary of Frege's Conception of Numbers as Objects. The subject of that discussion was whether there's any plausibility to the claim that Frege's Theorem might throw light on the epistemology of ordinary arithmetical knowledge, that is, the arithmetical knowledge of the legendary queer on the Clapham omnibus. I argued in the talk that there might well be such a case to be made.
I don't know if I'll ever write up this material, so I'm making the slides available on my website.
