Year: 2014

Parsons #5: Gödel on analyticity

The delay in getting round to talking about the next couple of papers in Charles Parsons’s Philosophy of Mathematics in the Twentieth Century signals, I’m afraid, a certain waning enthusiasm. I’m still hopeful that the essays in Part II of the book, on his contemporaries, will prove more exciting, but I found the two pieces on Gödel that end Part I of the collection rather frustrating. Though perhaps the problem is more with Gödel as a philosopher rather than with Parsons. Gödel’s more general remarks — e.g. about platonism, or the role of intuition in mathematical knowledge — too often seem un-worked-out (to put it charitably), and Parsons is too careful a philosopher to leap to giving readings which attribute to Gödel a more developed (and hence more interesting) position than the texts really warrant. So we are left, after reading Parsons’s discussions, not much clearer about what Gödel’s position comes to than we were before.

We’ll look at Parsons’s familiar piece on Gödel’s Platonism in the next post. But first comes ‘Quine and Gödel on Analyticity’, written for a 1995 volume of essays on Quine, but in fact concentrating on Gödel.

The initial theme is that there are some similarities between what Quine and Gödel say about analyticity and mathematics that arise from their shared opposition to the views they attribute to Carnap. Both argue against the view that arithmetic, say, can be held to be empty of content (in Tractarian spirit) by noting that in developing that view, the contentual truth of arithmetic must be already be presupposed in arguing that arithmetic, as a syntactic system, has the properties required of it. (In his Postscript to the reprinted paper, Parsons revisits the question of the force of Gödel’s arguments against the real Carnap.)

But Gödel of course goes on to make a claim that Quine would strongly resist: namely that, while e.g.  arithmetic is not analytic in the sense of vacuously-true-by-definition, it is analytic in the sense that (as Parsons puts it) “mathematical truths are true by virtue of the relations of the concepts denoted or expressed by their predicates”.

The trouble is that on the face of it Gödel doesn’t have anything much by way of a theory of concepts, or any very helpful way of explicating his talk of “perceiving” a relationship between concepts except from some opaque remarks about intuition. Or so it will seem to the inexpert reader of the relevant passages in Gödel. And Parsons, as our expert reader, doesn’t seem to find much to help us out here, but rather confirms first impressions that Gödel lacks a serious theory. Which isn’t to say that Gödel must be barking up the wrong tree. Indeed, in the Postscript, Parsons goes as far as to say that “a view something like Gödel’s on this point [that mathematics is in a sense analytic] has always seemed to be the default position”, being something that developed out of his experience as a mathematician, and — which Parsons implies — should chime with the experience of other mathematicians. And I’m tempted to agree with Parsons here. But he too doesn’t do much to hint at how we might develop that view. Which leaves the reader — or at least, leaves this reader — not much further forward.

Pavel Haas Qt play the opening movement of Smetena’s 1st Qt.

https://www.youtube.com/watch?v=daHu4cy4NDM

Sinfini Music have just posted a rather good quality video of the Pavel Haas Quartet playing the opening movement of the first Smetena String Quartet, “From My Life”, with their usual intensity.

Apparently, the Pavel Haas have now recorded the two Smetena quartets, and the CD will be released by Supraphon early next year. It should be utterly outstanding — certainly, their live performances of both that I have heard have been so.

Three requests/suggestions

  1. Has your uni library a copy of the 2013 second edition of An Introduction to Gödel’s Theorem? Do please check! It’s a lot better in lots of ways than the first edition (indeed, ideally, the first edition could be quietly put into the library store), it’s still relatively cheap, and it’s very definitely what your students should be reading instead of the first version. Then I won’t find myself cringing thinking about people reading the dumber bits of the first edition! Anyway, if it isn’t already on the shelves, now is the time to order the lovely new second edition  to be available in time for next academic year. (This recommendation is of course not motivated by any concern to spread the truth but by the hope of massive financial gain …)
  2. The Teach Yourself Logic reading guide to logic textbooks, aimed at beginning grad students or thereabouts, is now at version 10.1, 136 exciting pages, and a real snip at zero pounds, zero dollars, and zero anything else. The current version (and yes, I know it’s time for another update) can be downloaded via the stable URL https://logicmatters.net/tyl/ — students do keep saying that they find it pretty helpful, so why not check that it is mentioned in the relevant logic course handouts?
  3. The LaTeX (not just) for Logicians site has been going for about 10 years — gulp! — and covers everything you’d expect plus some. It seems more relevant to more grad students than ever, given the popularity of using LaTeX (or close variants). I still tinker with it when I stumble across worthwhile additions (and please do let me know about anything I should add). This too has a stable URL, http://www.latexforlogicians.net which really ought to feature in the relevant info pack or on-line resource webpages for graduate students. Again, worth checking whether it is appropriately linked?

Not that smart …

An exhortation, repeated with rather surprising approval on various philosophy blogs: “We’re all smart. Distinguish yourself by being kind.”

I’m all for being kind, and hope that — when I was in the business — I mostly was (and of course regret the times I knowingly wasn’t). But if you didn’t realize it before, then one thing you would learn by editing a philosophy journal, as I did for a dozen years (reading each and every submission that Analysis received in that time), is just how many philosophers aren’t smart. Honest plodders, no doubt: but quite capable of sending off for publication dull-witted, uncomprehending, point-missing, or thumpingly fallacious offerings. And we are just kidding ourselves if we suppose otherwise.

Of course, there’s a lot of public bullshit about this, for understandable and not wholly disreputable reasons. We often rate each other’s works as “world-class” to help colleagues get grants; we rate someone as outstanding to aid accelerated promotion so that they get paid a tolerable wage. But that doesn’t mean that we really are often world-class, or outstanding, or even smart.

Mathematicians aren’t under much illusion about this sort of thing. Some really are smart, and get to prove important stuff, push off in new directions, make new connections. Many plod, tinkering at the margins, or adding a few little stones to a mosaic according to a pattern designed by others. (I was brought up in that hard school, and in part left it because I didn’t think that continuing to be a plodding mathematician was very likely to be as much fun as becoming a plodding philosopher: I was probably wrong about that, but such is the folly of youth!)

And it surely isn’t really very different for philosophers, is it? Plodders abound. Extra kindness is called for exactly because quite a few of us lots of the time, and no doubt all of us some of the time, aren’t smart — and it does hurt to have it rubbed in.

Recommending two recent CD releases

CDs take up room, even if they are not as space-hungry as books (sigh! — it must be time for another trip to Oxfam to offload more never-to-be-read-again philosophy books: but that’s a story for another day). Still, despite running out of shelving, I can’t quite bring myself to just buy mp3s or whatever. So there is a little pile of new acquisitions physically sitting there beside me. I’ll mention only two the moment, with warm recommendations for both (not that I’m not sticking my neck out here — I’m just adding my voice to a wider chorus of approval).

The most recent purchase is Alina Ibragimova’s new recording with Steven Osborne of Prokofiev’s two Violin Sonatas, and the Five Melodies op. 35. Their live performances together have received wonderful reviews (here, for example), and this CD is indeed very fine indeed. Initially, as you start listening, the piano seems to be recorded surprisingly far forward. But do persevere: this balance is evidently very much intended, and leads to some wonderful effects as Ibragimova’s violin weaves around the piano line — sometimes like `wind in a graveyard’, as Prokofiev told Oistrakh he wanted. (On a second hearing, the balance indeed sounds just right.) Rather to my surprise, I found I didn’t know this music at all — I say a surprise, as once upon a time I used to listen to a lot of Prokofiev (that dates me to the time when Supraphon, with its wonderful list of recordings of Russian and Czech composers, was one of the very few sources of inexpensive LPs, and I then got quite a few). This is another deeply impressive disk from Ibragimova: I’m rather a fan.

Continuing the Russian theme, I have also recently got the new (and not very expensive) 4CD set of live recordings of Richter playing Schubert in 1978 and 1979 — seven sonatas on the first three discs, and assorted Impromptus, Moments Musicaux, Ländler etc. on the fourth. 81U4fPbtzFL._SL1500_It is difficult to keep track of Richter’s recorded legacy, but these performances haven’t been released before. And they are mostly remarkably well recorded, with only occasionally intrusive audience noise. The highlights include a performance of the G major sonata, D 894, slightly less extreme in its handling of the first movement than the (in)famous London recording a decade later, and a really wonderful performance of the first of the last three sonatas, D. 958 (Richter never recorded D. 959, and D. 960 doesn’t feature here). Even if you have other versions of Richter’s Schubert (sometimes wayward, yes, but always compelling), you will surely want this set. For the price of a single concert ticket, one of the greatest Schubertians in his prime.

Parsons #4: Gödel

There are four pieces on Kurt Gödel in Parsons’s Philosophy of Mathematics in the Twentieth Century. The first is just ten pages long, and is an encyclopaedia-style entry on Gödel from the 2005 Dictionary of Modern American Philosophers. It seems to me an entirely admirable piece of its kind, though surely rather misplaced in a book whose other chapters are addressed to a significantly more knowledgeable and sophisticated reader.

The second piece is a reprint of Parsons’s introduction to the paper ‘Russell’s Mathematical Logic’ in Gödel’s Collected Works, Vol. II. Again, but for different reasons, this perhaps doesn’t sit entirely comfortably in this collection, for to get the most out of it, you really need to have Gödel’s paper in front of you — in which case you probably already have Parsons’s introduction to hand too. And I do wonder if Parsons has missed a trick here. His introduction in its originally published version very likely had to conform to quite severe space-constraints, and the most interesting sections are hard going because rather compressed. I suspect Parsons had a fair bit more to say, so a more expansive re-presentation of some of the most interesting material would have been a very welcome bonus.  In particular, it would have been good if the section on the theory of types — the toughest bit of the paper — could have been reworked at a more leisurely pace.

The topic of one interesting part of the paper — the last main section, on Gödel’s views on whether the axioms of Principia are “analytic” in some sense — does, however, get revisited at much greater length in the third of Parsons’s discussions of Gödel. So I’ll say no more here about Parsons’s first two Gödel essays (this is indeed an insubstantial blogpost!) and instead turn speedily to the essay “Quine and Gödel on Analyticity”.

Bernays on sets and classes

Prompted by his two pieces on Bernays as philosopher, I’ve found myself pausing before reading on in Parsons’s book to step sideways and remind myself about Bernays the set-theorist.

I confess I’d not before dipped into Bernays’s little 1958 book Axiomatic Set Theory (long available as a Dover reprint). This aims to give a first introduction to the kind of set theory Bernays had developed in that long series of papers ‘A System of Axiomatic Set Theory’ published in seven instalments in the JSL between 1937 and 1954 (a promised second volume elaborating on further issues from those papers never appeared).

What we get here is, of course, NBG set theory, with classes as well as sets — which is certainly familiar to those of us who learnt our logic from the first edition of Mendelson’s textbook. Now, Mendelson’s presentation of the motivation for this style of theory, as I recall it anyway, isn’t compelling. And certainly, careless classroom talk can make this style of theory seem puzzling (“if we can have a class of all sets, why not a superclass of all classes — isn’t it just ad hoc to allow one but not the other?”). So I was struck by Bernays’s lucid explanation here — albeit in slightly fractured English — of what is going on. In summary,

Th[e] distinction between sets and classes is not a mere artifice but has its interpretation by the distinction between a set as a collection, which is a mathematical thing, and a class as an extension of a predicate, which in comparison with the mathematical things has the character of an ideal object. This point of view suggests also to regard the realm of classes not as a fixed domain of individuals but as an open universe, and the rules we shall give for class formation need not to be regarded as limiting the possible formations but as fixing a minimum of admitted processes for class formation.

In our system we bring to appear this conception of an open universe of classes, in distinction from the fixed domain of sets, by shaping the formalism of classes in a constructive way, even to the extent of avoiding at all bound class variables, whereas with regard to sets we apply the usual predicate calculus. So in our system the existential axiomatic method is joined with a constructive formalism.

By avoiding bound class variables we have also the effect that the class formation \(\{x \mid \mathfrak{A}(x)\}\) is automatically predicative, i.e. not including a reference by a quantifier to the realm of classes … Further the conception of classes as ideal objects in distinction from the sets as proper individuals comes to appear in our system by the failing of a primitive equality relation between classes. (pp. 56-57)

And so on, in the same vein. There is, of course, helpful modern elucidation about NBG and other theories with classes as well as sets out there in the literature, in e.g. the last two appendices of Michael Potter’s Set Theory and its Philosophy. But I do wish I’d known Bernays’s own presentation a long time ago!

Pavel Haas Qt play Smetena 2nd Qt

BqP2LO9IEAA0Cyd

The Pavel Haas, playing Smetena’s 2nd Quartet live on the BBC, starting about 36 minutes into this programme. [Radio programme now longer available.]

They were en route to Aldeburgh: here’s a review of their performance. I foolishly left trying to get tickets until too late, so we weren’t there — but we’ve heard the Pavel Haas play the Janacek and Smetena Quartets at various concerts and the review chimes very much with our experiences of them. If you get a chance to hear them live, grab it.

Veronese again

Veronese_Livia_Baltimore

We went to the Veronese exhibition at the National Gallery just after it opened, and were quite bowled over. So we revisited it yesterday, and are more than glad we did so. It was a particular delight to see again the portraits of Iseppo da Porto and his wife Livia, he with a protective arm round their oldest son, she with one of their daughters who is still looking at us quizzically across four and a half centuries (click to enlarge). Now Livia lives on in Baltimore, and Iseppo is in the Contini Bonacossi Collection you can visit one day a week in Florence. But the works belong together — they are not just wonderfully executed but also make a quite extraordinarily humane and very touching pair.

Veronese_Iseppo_Uffizi

By the datings in the catalogue, Veronese was just 24 when he painted the da Porto portraits in 1552. Which is surely remarkable. And below, painted near the end of his life some 30 years later, is another of our favourites, Venus, Mars and Cupid (from the Scottish National Gallery). Bolder, so richly coloured, but yet for gods at play still rather touchingly human.

Some huge altarpieces, teeming with life and movement, had been allowed to travel from Italy, and the National displayed them very dramatically. By using some of large galleries upstairs (rather than the smaller rooms in the basement of the Sainsbury Wing usually used for special exhibitions), we were allowed vistas through one room to another to see pictures framed by great doorways. The whole exhibition was a triumph (and so it was a surprise that we could just walk in without booking or even queuing, two days before it closed).

So yes, sorry, if you haven’t seen it, and can’t be in London tomorrow, you have missed your chance (the exhibition closes on June 15th). But I can warmly recommend the catalogue as a typically fine piece of book-production by the Gallery (the text is more historical than art-critical, but none the worse for that).  The paperback seems to be sold-out at the moment, but the hardback is still something of a bargain. And is full of delights such as this …

Paolo_Veronese_012

Parsons #3: Bernays (continued)

We noted a couple of the most familiar early papers by Bernays, and picked out a prominent theme —  a kind of anti-foundationalism (as Parsons labels it). Perhaps we can give finitary arithmetic some distinctive kind of justification (in intuition? in ‘formal abstraction’?), but classical infinitary mathematics can’t receive and doesn’t need more justification than the fact of its success in applications — assuming it is consistent, of course, but (at least pre-Gödel) we might hope that that consistency can be finitarily checked. And for a second theme, we remarked that while Bernays endorses classical modes of reasoning — if not across the board, then in core analysis and set theory — he is not a crude platonist as far as ontology goes: if anything there is a hint of some kind of structuralism.

The anti-foundationalism and hint of structuralism  are exactly the themes which are picked up in Parsons’s paper ‘Paul Bernays’ later philosophy of mathematics’.

In discussing the a priori in a number of places, the later Bernays certainly “distance[s] himself from the idea of an a priori evident foundation of mathematics” (to quote Parsons);  rather in “the abstract fields of mathematics and logic … thought formations are not determined purely a priori but grow out of a kind of intellectual experimentation” (to quote Bernays himself). But what does this mean, exactly? Bernays proves elusive, says Parsons, when we try to discern more of how he views the “intellectual experience” which is involved in the growth of mathematics. Still,

There’s no doubt that [Bernays] continued to accept what has been called default realism … which amounts to taking the language of classical mathematics at fact value and accepting what was been proved by standard methods as true. … In fact a broadly realist attitude was part of his general approach to knowledge in the post-war years. In one description of the common position of the group around Gonseth [including Bernays], he emphasizes that the position is one of trust in our cognitive faculties. He also introduces the French term connaisance de fait; the idea is that one should in epistemology take as one’s point of departure the fact of knowledge in established branches of science. The stance is similar to the naturalism of later philosophers, though closer to that of Penelope Maddy … than to that of Quine.

True, at least from the evidence Parsons provides, Bernays’s proto-naturalism remains rather schematic (in the end, negatively defined, perhaps, by the varieties of foundationalism he is against). But the theme will strike many as a promising one.

As for the structuralist theme, Parsons says that Bernays “in later writings … took important steps towards working it out.” On the evidence presented here, this is rather generous. Certainly Parsons finds no hint of the key thought, characteristic of later structuralisms, that mathematical objects have no more of a nature than is fixed by their basic relationships in a structure to which they belong. What we do get is a discussion of mathematical existence questions, proposing that these typically concern existence-relative-to-a-structure (an idea that might seem much more familiar now than it would have done when Bernays was writing). Still that can’t be the end for the story since, as Bernays recognises, there remain questions about the existence of structures themselves. According to him, with those latter questions

We finally reach the point at which we make reference to a theoretical framework. It is a thought-system that involves a kind of methodological attitude: in the final analysis, the mathematical existence posits relate to this thought-system.

But then, Parsons says, “Bernays is not as explicit as one would wish as to what this framework might be”, though Bernays seems to think that there are different framework options. There are hints elsewhere too of views that might come close to Carnap’s. But then Parsons also doubts that Bernays would endorse any suggestion that choice of framework is merely pragmatic (and indeed, that surely wouldn’t chime too well with the naturalism). So where are we left? I’m not sure!

“I have claimed,” says Parsons, “some genuine philosophical contributions, but their extent might be disappointing, given the amount Bernays wrote.” Still, Bernays comes across as an honest philosophical enquirer striking off down what were at the time less-travelled paths, paths that many more would now say lead in at least promising directions. So I remain duly impressed.

Scroll to Top