Dennett: losing the plot

I’ve tried to read Daniel Dennett’s From Bacteria to Bach and Back. But I’ve lost the plot, and given up quite early in the book. I seem to now find Dennett’s penchant for metaphors, claims that are “sorta” true, analogies, free-wheeling speculation, his having-his-cake-and-eating-it  — perhaps long there in his work, but now out and proud — simply irritating. It’s all provoking but, for me, in quite the wrong way.

Yet it is possible to write about consciousness and neuropsychology and the brain with crisp clarity. Peter Carruthers, for example, repeatedly pulls it off. I’m not saying he is right, for I am in no position to judge: but he gives us detailed, very clearly formulated, evidently falsifiable, theories to assess. Not the sort of stuff to give him guru status, but all the better for it.

Posted in This and that | 2 Comments

Going cold turkey

I can’t say I’m surprised that an election has been called. As it becomes clearer and clearer (to the Tories in power — they were warned!)  how horribly long and messy and potentially disastrous the Brexit process will be, you can see why Theresa May, her Chancellor, and the other grown-ups in the room will be hoping and praying for a majority large enough to be able to ignore the madder Brexiteers in their party. We shall see.

And that’s going to be my last word on the whole depressing matter here, at least until after the election. I wasted far too much time reading the political news, the commentaries, the deep background pieces, at referendum time, and again with the Trump election. There was no joy in that and I’m not sure I ended up very much more enlightened about what the hell has been going on with us (instant history is rarely good history). So this time around, it is a self-dying ordinance for me. It is already clear, at least to me, how to cast my solitary vote locally. And so, until the day comes round, no more newspapers on the iPad first thing; no more late-night catch-ups; no more long-reads from political writers. I’m going cold turkey.

Posted in This and that | 3 Comments

Another postcard from Rome

We always like to go to smaller, less-visited places — not just to avoid the teeming crowds, but also because we find that smaller galleries and churches and palazzi can be more humanly interesting and (not feeling overwhelmed) more enjoyable. Three final highlights of our stay have been seeing a fine exhibition Artemisia Gentileschi and Her Times, visiting the small but stunningly frescoed Oratorio del Gonfalone, and going to the beautiful Villa Farnesina in Trastevere (above) which has frescoes by (among others) Raphael. Even the exhibition wasn’t busy, and we were the only visitors to the Oratorio (used for evening concerts and other events — you knock on a door in the street behind, and we were shown it by the President of the confraternity).  All wonderful.

And for when you’ve finished feeding the soul, a top restaurant recommendation: Pierluigi.

Oh, and a pro-tip for visitors to Rome: download the Mytaxi app. Works a treat and makes getting around so easy.

Posted in Italian matters | Leave a comment

Postcard from Rome

A week or so in Rome, with beautiful sun, some wonderful food, coffees as they should be, quite a lot of wandering around back streets, and a less than frenetic cultural pace visiting a few churches and exhibitions. We arrived just as the not-so-United Kingdom formally triggered the process of leaving the EU. Seems somehow rather appropriate to show our feelings about this folly by leaving the UK for the Eternal City, for however short a time.

I must say that I have found the Brexit absurdities plus the Trump fiasco less than cheering. Though having nothing original or insightful to say about either, I’ve not wanted to bang on about them here. But the political news has been lowering and distracting enough to stem the flow of blog posts for a while. A few more days of sun and noisy civilization, and normal service ought to be resumed.

Posted in Italian matters | Leave a comment

A word for our times

TrumpBrexiety (© Lucy Mangan)

Posted in This and that | Leave a comment

Raymond Smullyan (1919–2017)

I first came across Raymond Smullyan’s work — surely  like many of my sort of vintage — through his wonderfully inventive and illuminating short(ish) paper “Languages in which self-reference is possible” which was reprinted in Hintikka’s 1969 The Philosophy of Mathematics (in the Oxford Readings series). Still more than worth reading, after all this time. And that paper led me to look out his First-Order Logic over forty years ago. I think it took me a while to really appreciate that classic: certainly, I kept battling on teaching first-year students Lemmon-style natural deduction for while before I was fully gripped by the loveliness of trees! I had occasion to read the first half of First-Order Logic again a few months ago, and it is such a delight.

But perhaps even more elegant, clear, readable, illuminating, getting-to-the-heart-of-things, there’s Smullyan at his very best in the three Oxford Logic Guides he published in quick succession — Gödel’s Incompleteness Theorems (1992), Recursion Theory for Metamathematics (1993), and  Diagonalization and Self-Reference (1994). They give the lie to G.H. Hardy’s bitter remark that “Exposition, criticism, appreciation, is work for second-rate minds.” Smullyan’s expositions and re-organizations and novel re-appreciations and inventive drawings-out of new connections are surely the work of a first-rate mind.

And then, as a late coda, there is that other great book that Smullyan wrote with Melvin Fitting, Set Theory and the Continuum Hypothesis (1996). Those of us past the first, second, and even third flush of youth can’t but be encouraged and cheered to see Smullyan getting perhaps to the very top of his game, as far as the writing of serious logical texts is concerned, as he moves into his seventies. (The very late books like Logical Labyrinths and A Beginner’s Guide to Mathematical Logic are perhaps too uneven and quirky to really work, but still have fun and instructive episodes.)

I can’t think of a single logician whose writings I have enjoyed reading and working through more than Smullyan’s, and whose elegant lucidity I’d more like to be able to emulate. And there are few logicians that I’ve learnt as much from. So I wanted to mark Smullyan’s passing, as others have, with very warm appreciation and gratitude.

“But what about all the puzzle books? You haven’t mentioned them!” Well, I know that many others have loved them, but I very much prefer my logic served straight up: and I think it would be a sad if Smullyan is mainly remembered for them. I don’t seem to have the kind of mind that is drawn to puzzle books, to magic tricks, or Taoism: but that’s uptight Englishness for you!

The New York Times obituary

Posted in This and that | 4 Comments

Setting tableaux using prooftrees.sty

[Updated] The first edition of IFL was typeset using FrameMaker (long since defunct on a Mac), so I’m having to LaTeX the second edition from scratch. I’m using Clea Rees’s fairly new package prooftrees.sty for downward-branching tableaux, a.k.a. truth-trees, since this seems to give the right level of control over trees, allows line numbering and line comments, and beats other options by some way.

I have therefore added a link on the LaTeX for Logicians page on tree proofs to a document on setting tableaux using this package [New version 12 Feb] This contains some initial notes on using the package and also gives a few examples.

I’d be very happy to hear about any tips and tricks for this package from other users that could also be shared at LaTeX for Logicians. (And of course, all other suggestions and  corrections for L4L are always welcome!)

Posted in Geek stuff | Leave a comment

Since it is Schubert’s birthday ….

Barbara Bonney, soprano; David Shifrin, clarinet; André Watts, piano. Der Hirt auf dem Felsen, “The Shepherd on the Rock”, D. 965

Posted in Music | Leave a comment

Conditionals again

Here are two draft chapters on conditionals for the second edition of my Introduction to Formal Logic (to replace chapters 14 and 15 of the current edition). I’ve got to the point that I’d very much welcome comments on these. Note, there will be added exercises which will further explore e.g. the biconditional and further oddities of equating ‘if’ and ‘⊃’.

The main changes? I no longer endorse Jackson’s theory in the way I used to do.  So what positive line do I take? How do I sell the blasted material conditional?

… even if it turns out that ‘⊃’ is not a close analysis of ordinary ‘if’, we can still adopt it to serve as an easily managed, elegantly simple, substitute in formal languages for the messier vernacular conditional. We hereby do so!

In fact, this is exactly how the material conditional was introduced by Frege, the founding father of modern logic, in his Begriffsschrift. Frege’s aim was to construct a formal language in which mathematical reasoning, in particular, could be represented entirely clearly and unambiguously – and for him, such clarity requires departing from “the peculiarities of ordinary language” as he calls them, while capturing some essential logical content. Choice of notation apart, the central parts of Frege’s formal apparatus including the material conditional, together with his basic logical principles (bar one), turn out to be exactly what mathematicians need.

That’s why modern mathematicians – who do widely use logical notation for clarificatory purposes – often introduce the material conditional in text books, and then cheerfully say (in a Fregean spirit) that this tidy notion is what they are officially going to mean by ‘if’. It serves them perfectly in formally regimenting their theories (e.g. in giving axioms for formal arithmetic or set theory). And the rules that the material conditional obeys – like (MP) and (CP) – are just the rules that mathematicians already use in reasoning with conditionals. Much more about this in due course.

This gives us, then, more than enough reason to continue exploring the material conditional. For we will want to investigate what happens when we adopt ‘⊃’ as a ‘clean’ substitute for the conditional in our formal languages, one which serves the central purposes for which we want conditionals, at least in contexts such as mathematics.

For more, do please have a look at the two quite short chapters (I guess anyone teaching or indeed learning logic will have views on the material conditional — I’m trying to be pretty anodyne, so would like to know if I upset too many readers!). As I say, all comments will be most gratefully received.

Posted in This and that | 11 Comments

Serendipitous distractions

So the CUP Book Sale is over for another twelve months — and with changed rules after last year’s unseemly scrums, this year’s Sale was a very much more enjoyable and civilised affair. After a few pretty abstemious visits, I still came away with a dozen books in all, including to my suprise a couple that were on my wish-list from CUP books published in 2016 — George Herbert: 100 Poems (a beautiful book in form and content!) and Bart Jacobs’ Introduction to Coalgebra (for its promise of categorial interest).

Books are put on the sale shelves in a completely random order. So half the pleasure is making serendiptous finds of titles that I could not usually justify buying (even with my press author’s discount and my level of self-indulgence). At £3 for a paperback — only a few pennies more than the Saturday newspaper — how could I resist e.g. a little music handbook on The Goldberg Variations?  And I’ve been inspired by the excellent recent BBC film To Walk Invisible to start doing some re-reading of the Brontës; so The Cambridge Companion to The Brontës looks fascinating.

However, the book which I sat down with, a glass or two in hand, and devoured in a sitting later the very day I got it was G. H. Hardy’s A Mathematician’s Apology (with a long introduction by C. P. Snow)I’m not sure that I’ve read this cover-to-cover since I was a schoolboy, and if I ever had a copy it has long since gone astray. It is a strange book in some ways, and a sad one too. But this resonated for me: “When the world is mad, a mathematician may find in mathematics an incomparable anodyne.”  Perhaps not incomparable: there’s always Bach. But losing myself thinking through elegant mathematics, trying to get something really clear in my own mind, and perhaps trying to explain it as best I can to others, certainly works for me. Hardy also wrote, astringently, that “Exposition, criticism, appreciation, is work for second-rate minds.” Perhaps so: but it can keep us second-rate minds happily distracted just for a while from the world’s current madness!

Posted in This and that | Leave a comment