The OC

Yesterday, I arrived in Irvine, Calif., where I'll be spending the Fall quarter at the Department of Logic and Philosophy of Science at the University of California. I'm very excited: it's a very good department, there are lots of people here to talk to, and I get to take some seminars! The downside: it's in … Continue reading The OC

LaTeX for Logicians

It's been up for a while now, but better late than never: Peter Smith (Cambridge) has set up a very handy page of links to LaTeX class files, style files, and instructions, especially for logicians. It includes, for instance, links to Josh Parson's style file for setting formulas in Frege's Begriffsschrift notation. Also, Peter's own … Continue reading LaTeX for Logicians