Call for PapersPM@100: Logic from 1910 to 192721 – 24 May, 2010Bertrand Russell Research CentreMcMaster UniversityHamilton, OntarioCanada The Bertrand Russell Research Centre in 2010 will host a conference to celebrate the 100th anniversary of the publication of the first volume of Russell and Whitehead’s Principia Mathematica. The publication in 1910 of the first of the … Continue reading PM@100: Logic from 1910 to 1927

My website people changed something on the server and now this blog isn't displaying properly and my website is completely down. Sorry. If you want to get to my website, try www.ucalgary.ca/rzach/ instead of www.ucalgary.ca/~rzach/

Benson Mates, Professor emeritus of Philosophy at the University of California, died May 14. He was a logician, historian of logic, philosopher of language,epistemologist, Leibniz scholar, and author of the excellent logic textbook Elementary Logic.

In between thinking and lecturing about the epsilon-calculus, I'm in Paris for a few days: it's where all the Carnap action is right now. Heard wonderful talks by the likes of Steve Awodey, Dan Isaacson, Alan Richardson, Erich Reck, Delphine Chapuis-Schmitz, and Tom Uebel, unfortunately missed those by Michael Beaney, Juliet Floyd, and Rick Creath, … Continue reading Carnap Action in Paris

Bob Meyer, emeritus professor of logic and philosophy at ANU, died last Thursday at the age of 77. He worked mainly on relevant logics and entailment, and is remembered not just for his work in logic, but also his wit and humor.Dave Chalmers and Greg Restall remind us of the paper "God exists!", in which … Continue reading Robert K. Meyer, 1932-2009

At least I hope it does. I'll see in a couple of days, when I get there. Scheduled to give a talk on proof interpretations at the Institute Vienna Circle on Thursday (5 pm, Institut für Zeitgeschichte, Uni Wien Campus, Hof 1, 2. Stock, links). Friday, I start teaching a short course on the epsilon … Continue reading Vienna Waits For Me

The May 2009 issue of the Proceedings and Addresses of the APA contain an interesting study conducted by the Committee on the Status of Women. It's online on the APA website:CSW Jobs for Philosophers Employment Study

SSHRC has posted the list of funded projects from the most recent Standard Research Grants competition. These grants are for three years. Last year's results are here. (Check the discussion in comments for info on what these grants are for, comparison with NEH grants, etc. UPDATE: Actually, the interesting discussion followed the 2006 list.)This year's … Continue reading 2009 Canadian Research Grants to Philosophers

[On March 27, 2009, Stanford/CSLI hosted a workshop on OpenProof (aka, the software behind Barwise and Etchemendy's Language, Proof, and Logic textbook). Alexei Angelides was there and provided the following report for LogBlog.]On March 27th, CSLI and the OpenProof Project hosted a full day of presentation and discussion commemorating the, so to speak, tenth anniversary … Continue reading Report on OpenProof Day 2009

Jake Chandler at Leuven's Centre for Logic and Analytic Philosophy, and Jonah Schupbach, currently at Tilburg's Center for Logic and Philosophy of Science, have started a new group blog, Choice & Inference: Welcome to the new group blog, Choice & Inference! This blog provides a platform for dialogue and news within the fields of formal … Continue reading Choice & Inference: New Group Blog

There are a number of foundational schemes out there. ZFC set theory is perhaps the most widely known, but of course you can also develop math in type theory. And you can also do it in category theory. So what's the difference? Steve Awodey has an answer in a preprint of a paper, now posted … Continue reading Awodey on Sets, Types, Categories and the Foundations of Mathematics

This call for applications for Elsevier Foundation Travel Grants for junior female researchers for the CiE 2009 conference just came over the wire: We are offering up to five travel grants for junior female researchers to come to CiE 2009. These grants cover the registration fee (at the early rate) plus a travel reimbursement of … Continue reading Travel grants for Women in Computability at CiE 2009

My colleague Marc Ereshefsky brought me back a book of sticky notes from LA: Logical Positivi-its. There are three: a defintional double arrow, one with a picture of Otto Neurath, and one with a picture of Wittgenstein with three check boxes: tautology, meaningless, or Schweigen (be silent).

If you'd rather go to France than Pittsburgh or LA, or you're not an undergrad student: 21st EUROPEAN SUMMER SCHOOL IN LOGIC, LANGUAGE AND INFORMATION ESSLLI 2009 Bordeaux, July 20-31 2009 The European Summer School in Logic, Language and Information (ESSLLI) is organized every year by the Association for Logic, Language and Information (FoLLI) in … Continue reading ESSLLI 2009 in Bordeaux

We're having a little logic conference this weekend in Calgary. If you're in the area, please come! All talks in 1253 Social Sciences, University of Calgary. Relevant papers may be found by following the links below Nuel Belnap (Pittsburgh)Friday, March 27, 4 pmTruth Values, Neither-True-Nor-False, and SupervaluationsMy oral remarks are based on an essay to … Continue reading Antonelli, Belnap, Segerberg in Calgary this Weekend

On Leiter's blog there was a poll on the question "who's the most important philosopher of the 20th century", prompted by the unqualified assertion by Jim Holt in a NYT book review that that would be Wittgenstein. The results were widely debated, e.g., on Crooked Timber. The reason the results were contentious, I think, is … Continue reading Who’s The Most Famous Philosopher of the 20th Century?

FOLLI is soliciting nominations for the 2009 Beth Dissertation Prize in Logic, Language, and Information. Since 2002, FoLLI (the European Association for Logic, Language, and Information, www.folli.org) awards the E. W. Beth Dissertation Prize to outstanding dissertations in the fields of Logic, Language, and Information. We invite submissions for the best dissertation which resulted in … Continue reading Beth Dissertation Prize Call for Nominations

On March 27, 2009, the people behind Language Proof and Logic will have a little meeting on the various courseware packages they have now and are currently developing: Openproof day will be a day of events discussing a variety of topics related to the work of the project, including: * Presentation of existing courseware packages … Continue reading Openproof Day 2009

Not one but two logic summer schools for undergrads this year:Carnegie Mellon Summer School in Logic and Formal EpistemologyJune 8 to 26, with courses by Steve Awodey (Categories and Structures), Teddy Seidenfeld (Decisions and Games), and Jeremy Avigad (Logic and Formal Verification)Apply by March 15UCLA Logic Center 2009 Summer School for UndergraduatesJuly 13 to 31, … Continue reading Undergrad Logic Summer Schools