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.
- Logic people might be interested in a PDF of an (old) biblio of Georg Kreisel … https://t.co/HnOdqqdR5W, Jan 20
- RT @Vella_Schiavo: “Tu non fai che cercar di tamponare la solitudine che sfugge da tutte le parti.” John Steinbeck ~ (Quel fantast… https://t.co/Sqqw9Mbxl9, Jan 19
- Logic people … what [metalanguage] symbol do you like to use for assigning a truth value to a wff??? https://t.co/OlouUTAzh0, Jan 13
- My version of dry January was to be not reading anything about blasted Br*x*t this month. Huh. Not going too well … I need to get a grip!, Jan 12
- RT @JoWolffBSG: Suppose you read a book a fortnight. And have an active adult reading life of 60 years. So that's only 1560 books i… https://t.co/8LI4iA7kDh, Jan 12