Yearly Archives: 2013

Does mathematics need a philosophy? — 2

A few more thoughts after the TMS meeting (mainly for non-philosophers) …  ‘Does mathematics need a philosophy?’ The question isn’t exactly transparent.  So, to ask one of those really, really annoying questions which philosophers like to ask, what exactly does it … Continue reading

Posted in Phil. of maths | 1 Comment

Does mathematics need a philosophy? — 1

At last week’s meeting of the Trinity Mathematical Society, Imre Leader and Thomas Forster gave introductory talks on “Does Mathematics need a Philosophy?” to a startlingly large audience, before a question-and-answer session. The topic is quite a big one, and … Continue reading

Posted in Phil. of maths | 9 Comments

Stefan Collini writes again about the attack on universities

In the latest London Review of Books, Stefan Collini writes again from the heart and with critical incisiveness about the privatisation disasters befalling British universities. Here’s his peroration: Future historians, pondering changes in British society from the 1980s onwards, will … Continue reading

Posted in Academic life, Rants | Leave a comment

Today wonderful reading: good fun!

If you follow @PeterSmith on Twitter — and why not? — these are apparently the delights that await you … Logic and Schubert, eh? Can’t be bad. Added: HT to Rowsety Moid for spotting the tagline I should have used … Continue reading

Posted in This and that | 1 Comment

Review: the Pavel Haas Quartet, Schubert ‘Death and the Maiden’ and the String Quintet

Readers of this blog will know how greatly I have admired the Pavel Haas Quartet for a while. And it isn’t just me who finds them absolutely compelling both in live performance and on disc. Their previous four CDs have rightly … Continue reading

Posted in Music, Pavel Haas Qt | Leave a comment

GWT and TYL on hold …

A few weeks ago, I said I’d this month be starting to post weekly instalments of a new version of Gödel Without (too many) Tears, updating and expanding the previous version to match the new edition of the Gödel book. … Continue reading

Posted in This and that | 2 Comments

What Frege and Kripke didn’t tell you

Why is Venus star multinominous and called both Phosphorus and Vesper? Venus is multinominous, to give example to her prostitute disciples who so often, either to renew or refresh themselves towards lovers, or to disguise themselves from magistrates, are to … Continue reading

Posted in This and that | Leave a comment

A query about countability

Suppose we are working in an elementary  context where e.g. we don’t want to rush to invoke infinitary choice principles, and want to keep background assumptions modest. What should our attitude be to the idea of countability? Countability is defined … Continue reading

Posted in Logic, Phil. of maths | Leave a comment

Aldous Huxley being prescient (almost)

Here’s Aldous Huxley writing in 1936: To a considerable extent browsing has become,  for almost all of us, an addiction, like cigarette-smoking. We browse, most of the time, not because we wish to instruct ourselves, not because we long to … Continue reading

Posted in This and that | 1 Comment

TYL, #17: The Teach Yourself Logic Guide updated

After taking a bit of a rest from it, I’ve been getting back to work on the Teach Yourself Logic Guide. Here then is Version 9.2 of the Guide, newly updated (pp. iii +  62).  Do spread the word to anyone you … Continue reading

Posted in TYL | 8 Comments