Monthly Archives: April 2016

Kurt Gödel, Philosopher-Scientist #1

I’ve just got a copy of this new collection of essays, Kurt Gödel, Philosopher-Scientist, edited by Gabriella Crocco and Eva-Maria Engelen (Presses Universitaires de Provence, ISBN 9782853999762, pbk 492pp., 35€ from amazon.fr). Here’s the table of contents. The essays, at a very … Continue reading

Posted in Books | Leave a comment

(Not quite) CD choice #5

This is a recording that, as far as I know, has never existed as a CD — a Supraphon LP from 1963, by the great Smetana Quartet in their prime, of Prokofiev’s first and Shostakovich’s third string quartets. I bought this as … Continue reading

Posted in Music, Pavel Haas Qt | 1 Comment

Well, that proved popular

Back in December, I posted what I thought might be an enticing offer to advertise new logic books at the top of the right-hand column, given the relatively high traffic of logic-minded visitors here. For the last four months, then, there has been a … Continue reading

Posted in This and that | Leave a comment

Gödel Without Tears, for onscreen reading

Just to say that my Gödel Without Tears notes can now be downloaded in two versions, differing only in formatting. There’s the A4 version as before: but also a version reformatted to suit the screen proportions of an iPad which will be … Continue reading

Posted in Gödel's theorems | Leave a comment

Your blogger in his study, waiting for light to dawn

Continue reading

Posted in This and that | Leave a comment

Tableaux or not tableaux, #3

The situation, perhaps we can nearly all agree, is this. In a first formal logic course for philosophers there’s a lot we’ll want/need to pack that’s independent of the nitty-gritty of a deductive apparatus of any particular formal proof system you might want … Continue reading

Posted in This and that | 3 Comments

Tableaux or not tableaux, #2

Exactly what you choose to put into a first formal logic course for philosophers, and the level of coverage you try to achieve, will be constrained by so many considerations which vary from university to university that there can’t possibly … Continue reading

Posted in This and that | 2 Comments

Tableaux or not tableaux, #1

The other day Sara Uckelman of Durham asked on Twitter about people’s favourite textbook for 1st year intro logic using natural deduction/Fitch-style proofs. And she piqued my interest by mentioning that Lemmon’s book was currently top of her list. Now there’s … Continue reading

Posted in This and that | 6 Comments

Postcard from Venice

A wonderful eight days in Venice, staying a few yards from the delightful Campo San Giacomo dell’Orio.  As we remembered from our last visit (too long since), if you avoid Piazza San Marco, then even the most famous galleries, churches, etc., are very surprisingly … Continue reading

Posted in Italian matters | Leave a comment

La Traviata at La Fenice

Francesca Dotto singing Violetta was just stunning tonight. Here she is last year in Act I of La Traviata in the same fine production (filmed unofficially I suspect, but still well enough to give you some sense of both the … Continue reading

Posted in Italian matters, Music | Leave a comment