Peter Smith's Blog, page 30

Too darn hot

Two ridiculously hot days. It reached 39.9° in Cambridge yesterday (that’s 103.8°F). Not fun. Fortunately, with an older house, some north-facing rooms, strict adherence to the rules about closing windows/blinds/curtains, we were able to keep much cooler indoors. But it was a great relief to get outside into a much more temperate morning today and walk by the river.

But it was too darn hot for Logic Matters. Siteground, who host us, use servers provided by Google Cloud. The cooling system for the Google data centre in London failed yesterday, and the servers went down. The outage lasted 16 hours for Logic Matters. The logical world coped, I’m sure. But there were a lot of very annoyed/worried businesses, hotels, care providers … A burning straw in an over-heated wind of change.

Yes, too darn hot, as Ella Fitzgerald sings …

The post Too darn hot appeared first on Logic Matters.

GWT2 — a third instalment

I was prompted to start working on a second edition of Gödel Without (Too Many) Tears by discovering that there was a significant muddle in Chapter 5 (I had inconsistently wavered between taking Baby Arithmetic, so called, as having just a negation connective, and having other connectives too). Thanks again to Ben Selfridge for pointing out that embarrassing glitch.

This new instalment of GWT2 corrects that unfortunate mess, and makes a number of other small improvements for clarity/readability, in what is now numbered as Chapter 6. So here it is!

To save readers having to dart between different PDFs, I have included the revised versions of the Preface and earlier chapters (with only trivial changes from the previous posting).

Need I say it? No: but I still will! Corrections and friendly suggestions are immensely welcome at this stage.

The post GWT2 — a third instalment appeared first on Logic Matters.

Lea Desandre, Amazone

By candlelight, from Rouen … escaping our mad world for an hour. Sheer delight and wonderful singing and playing.

The post Lea Desandre, Amazone appeared first on Logic Matters.

GWT2 — a second instalment

As promised, I’ll be posting revised chapters for a second edition of GWT in bite-sized instalments. So I’ve added just a dozen pages this time, covering two more chapters (just stylistic/clarificatory revisions of the old chapters 4 and 5).  I have also — for any new readers — now included the front matter with a revised Preface. So here they are, the first five chapters.

According to Littlewood in his Miscellany, the great Edmund Landau “read proof-sheets [for one of his books] seven times, once for each of a particular kind of error”. I confess I can’t claim such levels of meticulousness. So I say it, and mean it, every time: corrections and friendly suggestions are immensely welcome at this stage. Now really is the time to let me know if you had issues with the first edition!

Updated, corrected with many thanks again to David Furcy.

The post GWT2 — a second instalment appeared first on Logic Matters.

Popper’s logic

There is a new book just published, collecting Karl Popper’s published papers on logic (mostly from the late 1940s), together with some contemporary reviews of them by, among others, Ackermann, Curry and Kleene, and also some further unpublished pieces by Popper (including one jointly with Bernays).

How much interest is there here for us now? What Popper gives us is an early form of inferentialism, in the sense that he proposes that the logical operators (the “formative signs”) be characterised entirely by their role in deductions. And deducibility is initially characterised in terms of very general structural properties (like weakening and transitivity, as we would say) which make for what Popper calls ‘absolutely validity’. Then he can say, in his earliest paper,

An inference is valid if, and only if, it is either absolutely valid, or it can be shown, on the basis of the inferential definition of the formative signs, to have been drawn in observance of absolutely valid rules.

We have a family resemblance here to themes now more familiar to us from Gentzen and those much influenced by him like Prawitz. Though Peter Schroeder-Heister (who has now written a number of times on Popper’s logic) has in the past argued that Popper’s views are in fact closest to Arnie Koslow’s variant programme in his A Structuralist Theory of Logic (though my good friend Arnie doesn’t mention Popper at all).

The editors of this volume — David Binder, Thomas Piecha, and Peter Schroeder-Heister — give us a 72 page introductory essay ‘Popper’s Theory of Deductive Logic’. I have to report, however, that those wanting an engaging overview will probably be pretty disappointed: it just isn’t that clear and inviting. So I certainly wasn’t left with a burning desire to dig further into Popper’s logical writings beyond the couple of papers I already knew. Except that I will read the joint work with Bernays, since I very much admire the latter.

One very good thing though. Springer have published this as an open access book: you can download the whole PDF here, and then judge for yourself how much you want to explore around.

The post Popper’s logic appeared first on Logic Matters.

GWT2 — a first instalment

I’ve decided to get to work, putting together a revised version of Gödel Without Too Many Tears. 

I’ll obviously correct the known glitches in the first edition. But as I start to read through the opening chapters, I find myself wanting to make quite a lot of little stylistic improvements. And there will be a couple of more significant changes, I think, later in book. So this will be, while not a radically different version, still rather more than a lightly corrected reprint. So we’ll count  it as a second edition, GWT2.

I’ll post revised chapters here in bite-sized instalments, from time to time over the next few weeks. As always, corrections and friendly suggestions are immensely welcome at this stage: now is the time to let me know if you had issues with the first edition.

Here then are the first fourteen pages, based on the old Chapters 1 and 2, now three chapters. Enjoy!

Added 9 July: With many thanks to David Furcy, I’ve already uploaded a corrected version, repairing about ten(!) minor typos.

The post GWT2 — a first instalment appeared first on Logic Matters.

Francesco Guardi’s Venice

One of the pictures I’d most like to smuggle home from the Fitzwilliam is Francesco Guardi’s View towards Murano from the Fondamente Nuove. Small enough, quiet enough, to live with — turning its back on the declining splendour of Venice to look over a group of working boats, on a cloudy day, out over the lagoon to a distant Murano. Even in many of Guardi’s grander vedute,  the wonderful buildings are receding, some rather shabbily, into the background as a busy life continues in the foreground. Here for example is his Santa Maria della Salute and the Dogana, the setting for the bustle on the canal rendered impressionistically, the Salute almost a dream-like presence. There are other fine examples of Guardi’s work in the Wallace Collection too (you can search here): but I’m particularly enjoying this  one as my current desktop picture.

While books in English about Canaletto are many, there doesn’t seem to be even one relatively recent one about Guardi. Which is odd, as his works are a significant presence in so many galleries, and he was rightly much admired by the later French impressionists. And more to the point, I find that his paintings have a certain resonance, as we too carry on against a background of decline.

The post Francesco Guardi’s Venice appeared first on Logic Matters.

A silly thinko in GWT

Oh drat. There’s a very silly thinko in Gödel Without Tears. On p. 28, I say that the logical vocabulary of BA, basic arithmetic, comprises just the identity predicate and negation. On p. 29 — yes, the very next page — I’m using the conditional in giving a schema for the axioms of BA; and the conditional features essentially in e.g. a BA derivation on  p. 32. But then on p. 33 — yes, the very next page — it is plainly said that the only wffs of BA are equations and their negations, and the conditional has been forgotten about again.

Ouch.

I think I can see that happened. I wanted to slightly simplify the presentation of BA from that in An Introduction to Gödel’s Theorems and in earlier versions of GWT; and I inattentively did so in an internally incoherent way. How annoying.

The current version of GWT with the flawed argument has been downloaded some 4500 times, while over 1400 pointed copies have been sold, and no one has noticed — or at least noticed and thought to tell me — until yesterday. So many thanks then to Ben Selfridge for pointing out the foul-up.

I’ll think about the neatest way of clearing up the mess on the corrections page for the book. But then it will be time, given that there is already a handful of other known typos, for (at least) a corrected reprint for the book. So if you know of any other glitches in the book, now is the time to tell me!

“To make no mistakes is not in the power of man.” Too true, Plutarch, too true. “But from their errors and mistakes the wise and good learn wisdom for the future.” Let’s hope.

The post A silly thinko in GWT appeared first on Logic Matters.

Trying to shed a bit of logical light

As I’ve said before, it seems that I just can’t resist the pedagogic imperative. So over the years I have sporadically contributed to that admirable and heavily used question-and-answer site,  math.stackexchange. I’ve learnt a lot from it myself, as there are some first-rate logicians who contribute there. And I occasionally try to do my bit, when the spirit moves, to answer some (usually pretty elementary) logic questions, trying to  Get Things Right.

I’ve now just hit my tenth anniversary there, and simultaneously just ratcheted up 50k “reputation” points (gosh, wot fun! — like getting a gold star at primary school). But is contributing to a question-and-answer site like this really worth doing?

I’d say yes. For a start, there are far worse ways of procrastinating on the internet! But anyway, I’ve just checked the estimate for the number of readers for my answers. And while we all know that idle browsing doesn’t in general mean that we are paying much attention, someone is unlikely to be visiting math.se and clicking on the link to an answer without some level of interest. I hope. Anyway, the stats are that approximately 1.8 million people have now viewed my answers there. Heavens above! Actually, I don’t really believe that figure: but even if the site’s algorithm heavily overcounts that’s still a goodly number of readers. And more than enough to encourage me to continue dropping by from time to time, trying to shed a bit of logical light.

The post Trying to shed a bit of logical light appeared first on Logic Matters.

Elisabeth Brauß at Wigmore Hall

The extraordinary Elisabeth Brauß played again last night at Wigmore Hall, to the warmest of receptions. The concert last night was live-streamed, and is available to watch for 90 days here. In an engagingly varied programme she offered us some rarely performed Hindemith, Brahms’ late four Klavierstücke, and Schumann’s Faschingsschwank aus Wien, all done with such verve and then wonderful delicacy, as variously called for — just a delight.

But the recital started Beethoven’s Op. 109 Sonata, which inspired Elisabeth to quite mesmerising playing with heart-stopping moments: transcendental music, and a performance to more than stand comparison with the very best I’ve heard. Extraordinary, as I say.

The post Elisabeth Brauß at Wigmore Hall appeared first on Logic Matters.