I had to look up a Russell quote the other day, and that's when I noticed that many of his books -- including the Foundations of Geometry, Our Knowledge of the External World, Introduction to Mathematical Philosophy, Analysis of Mind, Principles of Mathematics, Mysticism and Logic, and Principia Mathematica (annoyingly, only vol. II) -- are … Continue reading Books by Russell (and others) in Google Books

Here's another article in the "you might not have thought it but philosophy undergrads are actually doing well in careers in business and law" mold, from a Canadian perspective.Philosophy’s makeover: Why job prospects for philosophy grads are brightening, by Daniel Drolet

Ah, if it only were that simple:

A long time ago I posted on Richard Statman's dissertation work on the geometrical complexity of proofs: take a proof in natural deduction, interpret the formulas in it as nodes of a graph with edges going from premise to conclusion of an inference and from assumption to the (conclusion of the) inference where it is … Continue reading Carbone on the Genus of Proofs

The BBC 4 radio program "In Our Time," presented by Melvyn Bragg, has archives of previous features on a range of topics, including some relevant to logic. Haven't had the time to listen to them, but it you do, let me know what you think. Might be the kind of thing you can tell your … Continue reading Logic (and Other Fun Stuff) on BBC Radio 4

Exciting developments! The Association of Symbolic Logic has made the now-out of print volumes in the Lecture Notes in Logic (vols. 1-12) and Perspectives in Mathematical Logic (vols. 1-12) open-access through Project Euclid. This includes classics like Shoenfield's Recursion Theory, Lindström's Aspects of Incompleteness in the LNL,Sacks' Higher Recursion Theory, Hájek and Pudlák's Metamathematics of … Continue reading New Open Access Logic Books from the ASL

Catarina Dutilh Novaes' list of women in philosophical logic and philosophy of logic (see this earlier post) is now online. Updates over there, please!

For your amusement: a list of all countries with at least 5 members of the Association for Symbolic Logic, rank-ordered by number of logicians per 10,000,000 inhabitants. Bonus info: percentage of women logicians in these countries. Country # ASL members % Women per 10,000,000 New Zealand 17 0% 39.5 Switzerland 25 4% 32.5 Israel 22 … Continue reading Most Logical Countries in the World

Catarina Dutilh Novaes sent the following important message to PHILOS-L last weekend, reposted here with her permission: Dear all,Recently (and admittedly very late!), I started thinking more seriously about the lack of gender balance in the areas in which I do most of my research, namely history and philosophy of logic and philosophical logic. What … Continue reading Women in Philosophy of Logic and Philosophical Logic

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