Monthly Archives: November 2012

Teach Yourself Logic, #7. A bit of deviance

There’s a new version of the self-help Guide downloadable from the Teach Yourself Logic page (added: updated to Version 7.1, Nov. 26). Heavens this is time consuming! — but having (as it now seems, foolishly) started, I guess I should … Continue reading

Posted in Logic, TYL | 11 Comments

Postcard from Turin

It’s been a while since we were in Italy, so a quick city break — this time to Turin (a new city for us). The central city is rather impressive, wide colonnaded streets and some large piazzas. And with the … Continue reading

Posted in Italian matters | 4 Comments

Teach Yourself Logic, #6

A new page for the Guide is now here on the site. And a new version of the Guide (Version 6.0, 6th November) can be downloaded from there.

Posted in Logic, TYL | Leave a comment

Teach yourself logic, #5: Arithmetic, computation and Gödelian incompleteness

I’ve just written a (partial) draft of another chunk of my developing Teach Yourself Logic reading guide. As always, comments and suggestions will be very welcome indeed. I’ve tried to restrain myself, but this segment of the Guide is already … Continue reading

Posted in Logic, TYL | 12 Comments

Gaps in the truth about truth according to Leon Horsten?

I very much like Leon Horsten’s The Tarskian Turn as an attempt to make more widely available some recent work on formal axiomatic theories of truth,  without scaring readers off by excessive technicality or by unnecessarily spelling out tricky proofs. Students … Continue reading

Posted in Books, Logic | 8 Comments

The consistency of NF

Randall Holmes has now announced “I believe that I am in possession of a fairly accurate outline of a proof of the consistency of New Foundations.” He goes on to say “NF has the same consistency strength as TST + … Continue reading

Posted in Logic | 5 Comments

February 2013 concerts: Takacs and Pavel Haas Quartets

Just so you can’t complain if I later post rave reviews of concerts you didn’t know about …  The Takacs Quartet are going to be in Cambridge playing in the Camerata Musica season (the Hagen Quartet and András Schiff are also playing … Continue reading

Posted in Music | Leave a comment