Greg Hjorth died unexpectedly on January 13. He was 47.  Greg received his degree from UC Berkeley under the supervision of Hugh Wooding in 1993.  He held positions at Caltech, UCLA, and the University of Melbourne.  Together with Alexander Kechris, he recieved the ASL's Karp Prize in 2003. Last year, he was chosen as Tarski … Continue reading Gregory Hjorth, 1963-2011

Along the lines of philosophers' "proofs that p" and methods of mathematical proof, Saturday Morning Breakfast Cereal brings you even better methods of proof:

Roberta Ballarin's excellent article on the history of modal logic is now online at the SEP.

Gregory A. Petsko is the Gyula and Katica Tauber Professor of Biochemistry & Chemistry at Brandeis University. In his column in Genome Biology (also published at Inside Higher Ed), he wrote an open letter to George Philip, the President of SUNY Albany, who evicerated the language department at his university.  Priceless: It seems to me … Continue reading A Biochemist Weighs in on the Closing of Humanities Departments at SUNY Albany

A. J. Ayer was born 100 years ago today.

Sad news: With sadness we report the death on October 20 of Herbert Bruce Enderton, who had been battling leukemia for several months. He was Professor Emeritus of Mathematics at UCLA and a former member of the faculties of Mathematics and of Logic and the Methodology of Science at Berkeley. Widely known for his textbooks … Continue reading Herbert B. Enderton, 1936-2010

If you're interested or involved in teaching logic, please consider subitting something to this conference. And if you don't have anything to submit, keep it in mind for your summer travel plans next year. Spain in June! Third International Congress on Tools for Teaching Logic June 1-4 2011, Salamanca, Spain The congress will focus on … Continue reading CfP: Tools for Teaching Logic 2011

Commenting works again.... There were a lot (and by a lot, I mean thousands!) of spam comments over the summer, which led me to first turn off commenting, and then install a spam filter, which worked so well that it would not accept any comments at all. If fallen back to a simple Captcha. Hope … Continue reading Commenting Works Again!

I'm supposed to choose a text for my philosophy of language course next term. So far I've always used Martinich, but I'm getting bored with it.  Also, of the available options, it seems to be the most expensive one.  I've looked at Ludlow's collection, but that's maybe a bit too heavy (both literally and figuratively).  … Continue reading Bleg: Philosophy of Language Anthologies

The Kurt Gödel Society is proud to announce the commencement of the second round of the Kurt Gödel Research Prize Fellowships Program. The research fellowship prize program is sponsored by the John Templeton Foundation and will offer: two Ph.D. (pre-doctoral) fellowships of EUR 100,000 two post-doctoral fellowships of EUR 100,000 and one unrestricted fellowship of … Continue reading Kurt Gödel Research Prize Fellowships

The Carnegie Mellon University Department of Philosophy invites applications for the Herbert Simon Fellowship in Scientific Philosophy. We are seeking applications from scholars working in logic or philosophy of mathematics. Any of the following areas are particularly welcome: proof theory, category theory, formal verification, automated reasoning, or history or philosophy of mathematics. The Fellowship is … Continue reading Postdoc at CMU

Buckwalter and Stich just posted a very interesting survey of results concerning gender differences in answers given to philosophical thought experiments.  That there are such differences is one of the factors considered in explanations of the underrepresentation of women in philosophy -- if women have the "wrong" intuitions in these cases more often than men … Continue reading Gender Differences in Philosophical Intuitions

My colleague and friend Maggie Osler died yesterday.  She was a wonderful person, and an admirable scholar of early modern science and natural philosophy, the Scientific Revolution, and especially on Boyle, Descartes, Gassendi, and Newton. Her 1994 book Divine Will and the Mechanical Philosophy is a standard. And I look forward to reading her last … Continue reading Margaret J. Osler, 1942-2010

If you're here for the philosophy you might not have heard: a few days ago, Vinay Deolalikar of HP Labs has posted a draft paper containing a serious attempt to prove that P ? NP, one of the Clay Mathematics Institute's Millennium Problems.  The math/theory scene is all aflutter over it. This wiki page collects … Continue reading Serious Contender for Proof that P ≠ NP

The Institute Vienna Circle is hosting a workshop on Carnap next week, June 28 and 29.  The program is here.

These two Assistant Professorships in philosophy have just been advertised at LMU Munich (see below). The deadline for applications is July 2nd, 2010. (German language skills are not mandatory.) Soon also several postdoctoral and doctoral positions in philosophy (at the new Munich Center for Mathematical Philosophy) will also be advertised. (1) Ludwig-Maximilians-University Munich is seeking … Continue reading Two Assistant Professorships in Logic at Hannes Leitgeb’s Group in Munich

Two months ago, Blogger turned off FTP publishing on blogs, which meant I couldn't update LogBlog anymore.  It's taken a while, but the blog has now moved.  Well, I managed to import all the old posts into Drupal, the CMS we use at the University of Calgary and which generates the rest of my site.  … Continue reading LogBlog Has Moved!

Here are my slides from my PM@100 talk.

Just up on the SEP, by Yaroslav Shramko and Heinrich Wansing, an entry on truth values.

Just up on the SEP, by Yaroslav Shramko and Heinrich Wansing, an entry on truth values.