In the Wednesday Logic Reading Group, where we are working through Sara Negri and Jan von Plato’s Structural Proof Theory, I today introduced Chapter 6, ‘Structural Proof Analysis of Axiomatic Theories’. In their commendable efforts to be brief, the authors are sometimes a bit brisk about motivation. So I thought it was worth trying to stand back a bit from the details of this action-packed chapter as far as I understood it in the few hours I had to prepare, and to try to give an overall sense of the project. These are the notes I wrote for myself. As often with such middle-of-term efforts dashed off in a couple of hours, I both would have liked to have been clearer and do more justice to what we are reading, but I also just don’t have time to do more now than make a few corrections to the first version. The logic enthusiasts at the seminar seemed to find the remarks useful, though, so for what they are worth (and you don’t have to have read the book to get the gist) here there are. The usual warning applies: caveat lector.
- Was fine exhib at Nat Gal of C19 purchases, incl “Botticelli” that’s now OBV not! Bet this’ll be in 2117 exhib of… https://t.co/RAqeFr6Xsx, Nov 16
- RT @JohnRentoul: @georgeeaton Let’s build on it & create an island megalopolis! https://t.co/vc4bjQGR3c, Nov 16
- RT @venezia_56: Dogana da Mar #Benoni Punta della Salute Sull' orizzonte la Giudecca e la Chiesa e Ospizio delle Zitelle… https://t.co/QVvYr6qAOK, Nov 16
- Rather disappointed to see that only one minister had resigned in the time the opera took …, Nov 8
- Aida at Prague National Theatre. Production rather clunky — but Veronika Hajnová a terrific Amneris who made the evening., Nov 8