Mindblown: a blog about philosophy.

Ok, this has nothing to do with logic, but it’s so awesome that I have to post about it. Thanks to Lillian Lovich for sending the link! Helvetica, the best font of all time, is turning 50 this year. There’s a movie about the font coming out, which I’m really excited about.

In the summer of 2007, the Department of Philosophy at Carnegie Mellon University will hold a three-week summer school in logic and formal epistemology for promising undergraduates in philosophy, mathematics, computer science, linguistics, and other sciences. The goals are to introduce students to cross-disciplinary fields of research at an early stage in their career; and…

I just had the following interesting exchange with my colleague Jack MacIntosh, in which every question was asked sincerely, and I have every reason to believe that Jack’s statements were true: RZ: Zeno and Plato were contemporaries, right?JM: Yes, for a while.RZ: Did Plato retire before Aristotle began his studies?JM: About Aristotle, I don’t know.RZ:…

I totally missed it, but the first entry on history of logic in the Stanford Encyclopedia to be published since Paolo Mancosu and I signed on as subject editors has been published over two months ago: Mario Gómez-Torrente on Tarski.

Special Issue of Studia Logica on Applied Logic in the Philosophy of Science Guest editors: Igor Douven and Leon Horsten Studia Logica is extending its scope. In future the journal will not only cover pure logic but also applications of formal-logical methods in philosophy and cognitive science. To mark this change, the journal will have…

Hello, all. Sorry for not posting lately. Anyway. Happy New Year! I pronounce 2007 the John Barkley Rosser, Sr. Centennial Year Rosser was born December 6, 1907 and was one of the pioneers of modern mathematical logic, especially, of recursion theory and the λ-calculus. He also contributed to areas such as number theory and ballistics.…

Michael Strevens‘ course notes on Bayesian Confirmation Theory. (HT: Jason Stanley)

Nice of LtU to link to a classic paper that everyone should (re)read: Hoare’s Axiomatic basis for computer programming.

(Organized by the Kurt Gödel Society with support from the John Templeton Foundation) The Kurt Gödel Society is proud to announce the commencement of the research fellowship prize program in honor and celebration of Kurt Gödel’s 100th birthday. The research fellowship prize program sponsored by the John Templeton Foundation will offer: two Ph.D. (pre-doctoral) fellowships…

This is an interesting project: teach discrete mathematics not from a textbook, but using the historical papers that first dealt with the topics taught. A bunch of mathematicians and computer scientists at New Mexico State are doing that, and they’re asking for your help: try it out in your courses, write them letters of support…