Archive for June, 2008

An Introduction to Gödel’s Theorems revamped!

Monday, June 30th, 2008

I’ve just, at last, got hold of a printed copy of the revised version of An Introduction to Gödel’s Theorems which came into stock with CUP about six weeks ago. Of course, as soon as it went to press, three or four people told me of errors that still need correcting! — but this version has significantly fewer typos, and also a small number of passages have been improved. The corrections page at the book’s website will tell you what’s been changed, and what still needs changing.

(So, tell your libraries that they just must have the shiny new improved version! And to answer Richard Zach’s question — the quick way of telling the versions apart is to glance at the imprints page, i.e. the verso of the title page. The later version notes, halfway down the page, “Reprinted with corrections 2008”.)

Galois connections again

Saturday, June 28th, 2008

For some reason, I found myself minded to spend a bit of time tidying up the pages on posets and Galois connections that I was working on some weeks ago. They have the form of the first two chapters of something longer, something that may or may not get written — but these pages should have some stand-alone interest. Here’s the new version. As always, comments gratefully received. (Thanks so far to Tim Button and Luca Incurvati — and in particular to Nathan Bowler who gave a talk in which he explained the basic idea of syntax/semantics as a Galois connection, which inspired me to write these pages.)

[Later: Monday 30th June] And that link is now to a better version, with some paragraphs about quantifiers as adjunctions, and some superfluous material removed for later use.

The Review of Symbolic Logic

Wednesday, June 25th, 2008

The first issue of The Review of Symbolic Logic is out and available online (if your library has the right subscription). And two Cambridge friends have papers in it, both on set theory. Luca Incurvati has a piece on Kripke semantics in set theory, and Thomas Forster discusses the iterative conception. Excellent stuff.

Conference: Computation and Cognitive Science

Wednesday, June 25th, 2008

There’s an upcoming conference in Cambridge on Computation and Cognitive Science with an impressive line-up. The plan is for the papers to be made available in advance, for there to be no formal presentations, but for the sessions to be devoted to discussion. The papers are beginning to appear online here.

Back in Cambridge. Sigh.

Saturday, June 21st, 2008

So this is the borgo we’ve left behind for a while (the little white patch in the centre distance in the centre of the photo is the distant dome of the duomo in Siena, or rather its covers during restoration works). Ah well. Back in September, we hope. It has taken us a few days to re-adjust to Cambridge (which was particularly grey and damp when we returned). But the sun is out today, and the place is almost at its best, so that is cheering. Logic postings will resume here in the next day or two, now I’m back in the mood again!

Tripos results came out, both for philosophy and for maths, just as I got back, posted on the Senate House boards. It was good to see that all the names I looked for of students I thought ought to get a first were there in the right class. Justice, of course, is always done …

Postcard from Siena – 8

Monday, June 16th, 2008

The meteo predicts that really good weather will start on Thursday. Since we are leaving on Wednesday, this is just a bit galling. This morning it was so cold we put the heating on again. And jazz last night in the little village piazza under our window was good, but not the balmy June night under the stars we might have expected, and the well-wrapped-up audience was understandably a bit thin.

Siena itself is like Cambridge at least in this respect: the tourists tend to stick to a small part of the city. So it can be very busy round the Campo and the Duomo. But other sights, even those the guide books warmly praise, can be more or less deserted. We did make one nice discovery a couple of days ago when it was dry in the afternoon. We found ourselves at the botanical gardens which we’d never visited before (and, predictably, they were more or less empty of people). They are very fine, cool under the trees, tumble down a steep slope, and so the views out of the city are beautiful. Recommended.

Awodey’s Category Theory: Ch. 2

Thursday, June 12th, 2008

The second chapter of Awodey’s book is called ‘Abstract Structures’. It gives the usual abstract category-theoretic definitions of epis and monos, of sections and retractions, of initial and terminal objects, of products, and so on. This would certainly be tough going if it was the first time you’d ever encountered these notions. Even as revision/consolidation it’s a bit of a bumpy ride. But for all that, I did get a fair bit out the chapter (Awodey’s clusters of illustrative examples can be very illuminating).

One query. In the sections on products, Awodey starts carefully, talking of a product as an object together with a pair of arrows, and rightly referring to the object A x B as part of a product. And mostly what he says about products reflects this understanding of what products are. But on p. 42 he says that any object A is the unary product of A with itself one time. Is that right? The unary product is surely not just the object but the object with its self-identity arrow.

And one suggestion. The first stage of the two-stage proof at the top of p.27 is surely unnecessarily. Just start in f(-n) = f(-n) * u = f(-n) * g(0) = f(-n) * g(n + -n) etc. [Actually the first stage too illustrates one of Awodey's quirks, a tendency to occasionally slightly abuse notation without explanation.]

Postcard from Siena – 7

Thursday, June 12th, 2008

Here, everyone has to park outside the walls of the old part of the borgo. But that’s no hardship. There’s stone and gravel put down between the olive trees just under the house, and you park the car among them, leaving it to quietly admire the views for miles over the hills.

The trees have been brutalized since last year, obviously scaring the living daylight out of them, and as a result they are beginning to fruit like mad. I can report that the local olive oils vary, but from merely very good indeed to the amazing. (And judging from the ages on the gravestones in the village cemetery, they must have magically life-extending properties.)

Parsons’s Mathematical Thought: Sec. 7

Wednesday, June 11th, 2008

Back in Sec. 1, Parsons says “Roughly speaking, an object is abstract if it is not located in space and time and does not stand in causal relations.” In the last section of the first chapter, he returns to question of characterizing abstract objects, and suggests a distinction among them between pure abstract objects (e.g. pure sets) and those which “have an intrinsic relation to the concrete” — Parsons calls the latter quasi-concrete.

As a paradigm example of the quasi-concrete, Parsons takes the example of sentence types: “what a sentence [type] is is a matter of what physical inscriptions are or would be its tokens”. (Actually, just as an aside, I suppose we might wonder whether sentence types might be a counter-example to the claim that abstract objects lack temporal location. We might ask: did the sentence type “the cat is on the mat” really exist in 2000 BC before anyone spoke English?)

But how should we generalize from this case? Parsons writes “What makes an object quasi-concrete is that it is of a kind which goes with an intrinsic, concrete ‘representation’”. The scare quotes are there in Parsons — and you can see why. Should we really say, for example, that a sentence token is a representation of its type? Your first response might be: the token isn’t about the type, so isn’t a representation of it. But, reading on, it becomes clear that Parsons doesn’t mean representation but representative. And then, yes, we might say that the token is a representative of the type. Parsons also writes “Although sets in general are not quasi-concrete, it does seem that sets of concrete objects should count as such; here the relation of representation would be just membership.” (no scare quotes!). Again, we might say the spoon in my coffee cup is a representative of the set of cutlery (though not a representation).

How clear is the idea of “having a concrete representative”? You might have supposed that the Earth’s equator is a candidate for belonging with sentence types as tangled with the concrete. But does the equator have a concrete representative? Could it? What about that old Fregean example, the direction of a line. Of course there can be physical lines with that direction; but it doesn’t seem quite natural to me to say a particular line is a representative of the direction. (We might say the equator or a direction could have a representation, painted on the ground!)

Parsons’s discussion here thus seems to me to be rather undercooked. To be sure, it is plausible to say that some abstract objects are more purely abstract than others, but I don’t think he has given a sharp characterization of the phenomenon.

But let’s go, for the moment, with his notion of the quasi-concrete. Then he raises the question, are numbers quasi-concrete? We might be tempted to say yes, suggesting that the number five, for example, has the concrete representatives like: ||||| . Parsons makes two Fregean points against this. First, to take that block as representative, we have already to take it as a set or sequence of strokes (rather than as a single grid, for example). So the representative here is not strictly concrete but itself quasi-concrete. Perhaps then we can say that numbers are quasi-quasi-concrete (meaning they have quasi-concrete representatives). But second, that can’t be the whole story, as numbers can number anything, including the purely abstract. (Parsons says he is going to return to talk about this in Chapter 6, so I’ll say no more for the moment.)

Postcard from Siena – 6

Tuesday, June 10th, 2008

It’s sunnier and warmer (for a while). This year the excellent restaurant just a few steps across the piazza has put a few tables outside, and will bring you a coffee and cornetto from when they open up in the morning, or an aperitivo in the afternoon. A great idea, but so far the weather has been such that we’ve only made use of it a few times. But this morning, sitting in the sun at half-past nine, it was already pretty hot. At last.