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