University of Calgary
UofC Navigation

All LogBlog Posts

Margaret J. Osler, 1942-2010

Submitted by Richard Zach on Thu, 09/16/2010 - 2:53pm

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.

Serious Contender for Proof that P ≠ NP

Submitted by Richard Zach on Thu, 08/12/2010 - 4:13am

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.

Carnap Workshop, Vienna, June 28 and 29

Submitted by Richard Zach on Tue, 06/22/2010 - 8:26am

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

Two Assistant Professorships in Logic at Hannes Leitgeb's Group in Munich

Submitted by Richard Zach on Mon, 06/21/2010 - 9:05am

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.

LogBlog Has Moved!

Submitted by Richard Zach on Mon, 06/21/2010 - 8:42am

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.  I still need to fix the URLs, add archive pages, get the blogroll to display, etc., but at least I can post again.  Your feed reader should be automatically redirected to the new feed, but if it isn't, here's the URL:


Submitted by Richard Zach on Sun, 05/23/2010 - 10:05am

Here are my slides from my PM@100 talk.

Truth Values

Submitted by Richard Zach on Thu, 04/01/2010 - 4:39pm

Rózsa Péter

Submitted by Richard Zach on Wed, 03/24/2010 - 3:48pm

Philosophy of Mathematical Practice Online

Submitted by Richard Zach on Wed, 03/24/2010 - 3:32pm

If you have access to Oxford Scholarship Online, you can now read Mancosu's excellent collection The Philosophy of Mathematical Practice via the internets.

Robin Milner, 1934-2010

Submitted by Richard Zach on Tue, 03/23/2010 - 3:42pm

Robin Milner died on March 20. He was a leading theoretical computer scientist who developed the LCF theorem prover, the ML programming language, and introduced the ?-calculus. He was founding director of the Laboratory for Foundations of Computer Science at the University of Edinburgh and then Professor of Computer Science at Cambridge. Milner was a Fellow of the Royal Society, a Fellow of the ACM, and winner of the Turing Award.

People Who Oscillate

Submitted by Richard Zach on Mon, 03/08/2010 - 7:08am

From today's mini-AIR:

The Oscillating Humans Project, announced here, is searching for a living specimen - an exemplar - of an oscillating human.

DEFINITION: For purposes of the project, an Oscillating Human is someone who consistently, repeatedly, over many years, expresses opinions directly opposite to opinions he or she expressed earlier, always ignoring and/or denying the existence of copious, easily found clear documentation of the earlier opinions.

Attack on Logicians at King's College London

Submitted by Richard Zach on Fri, 02/19/2010 - 5:23pm

Sorry for the long silence...

You may have heard by now, but in case you haven't: The Group in Logic, Language, and Information at King's College is threatened by "budget cuts": looks like the administration is just willfully destroying it by firing several faculty.

Information and links to protest sites etc. given here.

The Development of Modern Logic Online

Submitted by Richard Zach on Tue, 10/20/2009 - 1:27am

Leila Haapaaranta's collection The Development of Modern Logic came out earlier this year. It's a handy one-volume compendium to the history of logic in the modern era (full disclosure: I have an article in it). The price tag might still be a bit steep: $150, although that buys you over 1,000 pages of scholarship in an attractive hardback volume!

Videos from Foundational Adventures Conference

Submitted by Richard Zach on Mon, 10/19/2009 - 7:04pm

Last May, Ohio State had a conference in honor of Harvey Friedman's 60th birthday. Videos of the talks are now available (via Neil Tennant). These include talks by Friedman himself, as well as John Burgess, Sam Buss, Mic Detlefsen, Sol Feferman, Hartry Field, Rohit Parikh, Grisha Mints, Wilfried Sieg, Ted Slaman, Patrick Suppes, and many others.

T-Rex on Hilbert's Infinite Hotel

Submitted by Richard Zach on Mon, 10/19/2009 - 2:37pm

Per Lindström, 1936-2009

Submitted by Richard Zach on Wed, 10/14/2009 - 5:33pm

From the ASL Newsletter, I just learned that Per Lindström died two months ago:

Reforming Graduate Education

Submitted by Richard Zach on Mon, 10/12/2009 - 3:00pm

New book out from Princeton UP on the Graduate Education Initiative of the Andrew W. Mellon Foundation, discussed on Inside Higher Ed. Not sure if any philosophy departments participated. In light of previous discussion on differential attrition rates for women in the pipeline, this should be interesting:

Women in the Academic Pipeline II

Submitted by Richard Zach on Mon, 10/12/2009 - 2:18am

Following up on my previous post, Women in the Academic Pipeline, where I compared rates at which women earned BAs and PhDs in various fields in the US: what does it look like in the faculty ranks? Not surprisingly, the percentages in general go down as you go higher, but there are some interesting (and disturbing) things to notice. First, the data:

Leitgeb's "Untimely Review" of Carnap's Aufbau

Submitted by Richard Zach on Sun, 10/11/2009 - 10:58pm

Topoi has a series of "untimely reviews", where classic works of philosophy are reviewed as if they had just been published. Hannes Leitgeb did one on Carnap's Aufbau, where he not only pretends that it was just published, but also pretends (as I guess you'd have to if you take the premise seriously) that it wasn't published 80 years ago (philosophy would have looked very different).


Site Feed

Subscribe to Syndicate