Category: Uncategorized

For some reason I missed the memo that said that Kenny Easwaran‘s blog moved from antimeta.org to his Berkeley webspace.

This morning has two talks on modal logic: first up was Marcus Kracht with a survey on the development of modal logic; now Steve Awodey is reporting on joint work with Kishida on topological semantics of first-order modal logic. Marcus talked about some interesting results in the mathematics of modal logic, especially general semantics for…

Ok. Brit posted about it. Apparently some people claim that the Faculty Scholarly Productivity Index (FSP) shows something about the rankings produced by the Philosophical Gourmet Report (PGR) (e.g., that they’re off). But it doesn’t. That is not because the PGR is actually the best possible way to measure program or even faculty quality. It…

I just had occasion to have to typeset Lewis’s strict conditional symbol <img src="http://plato.stanford.edu/archives/win2004/symbols/fishhook.gif" alt="- in LaTeX. It turns out it isn’t in the standard AMS fonts. Peter Smith’s LaTeX for Logicians to the rescue! There I found: that the strict conditional symbol is in the fonts that are part of the txfonts and pxfonts…

Juliette Kennedy‘s entry on Kurt Gödel has just been published in in the Stanford Encyclopedia. (It took a long time to get this done because of all the formulas that needed to be converted into HTML. If you find a mistake, please let Juliette or me know.)

I just noticed that Josh Dever’s Philosophy Family Tree now comes with a little Java applet that gives you a list of your philosophical ancestors (easier to use than the PDF list). Josh, any plans to make the tree capable of dealing with more than one advisor?

I’m giving a talk on Friday for a general audience, and I thought it would be cute to claim in the little blurb about me that I am “probably the only person in the world who holds both undergraduate and doctoral degrees in logic.” Several people have asked me if that’s really true, and now…

Studia Logica is a very good journal, and it should be indexed in ISI. Help us by recommending it! Go here Complete the form using the following data: Journal title: Studia Logica Journal URL: www.StudiaLogica.org Publisher name: Springer Journal Scope: Logic Unique features distinguishing this journal: please write here your opinion in this matter or…

Over dinner yesterday, Jason and I got to talking about Erdős numbers of various people. He didn’t know his, so I looked it up–the Mathematical Reviews database MathSciNet has a “compute collaboration distance” function in the author search. It produces output like this: Jason Stanley coauthored with Richard G. Heck, Jr. MR1234144 (94k:03006) Richard G.…

Agustín Rayo wins over Adam Elga, uses “googol” and a variant of Berry’s paradox in knock-out punch: see here. Dr. Evil clutched his heart as though it had been pierced by an arrow. Trembling, he fell to his knees on the floor of the crowded stuffy room, all eyes watching him. The Mexican Multiplier threw…