Year: 2019

IFL2: Table of Contents

I am posting here the detailed section-by-section Table of Contents of the first parts of IFL2.

Chapters 1 to 7 are introductory (informal notions of validity, proof, counterexample, etc.) Chapters 8 to 18 introduce the notion of formal PL languages, tautological entailment, the material conditional, etc. Chapters 19 to 22 introduce a natural deduction system for PL inferences. The detailed ToC gives a pretty good idea, I think, of what the chapters cover.

I won’t post all those chapters here in this blog (in part for copyright reasons, not wanting to upset CUP). I will however probably post the full ND chapters for comment when I’ve had another look at them. But drop me an email if you would be interesting in seeing all these chapters and perhaps commenting on (some of) them — under the usual rules, i.e. the chapters aren’t for further circulation. The book has already been much improved thanks to the kindness of strangers; but I’m sure there are more improvements to make!

Seven books: Anton Chekhov

Once upon a very long time ago, there were — as well as the usual commercial cinemas — no less than three cinemas in Cambridge showing foreign and/or older films. There was the lovely small Arts Cinema in the middle of town; out along Mill Road there was the Kinema; and then there was the huge Rex Cinema in Magrath Avenue. The last two were very run down and had seen much better days. But they would, in term time in my student days, each show two programmes a week, each programme showing two films — often in mini-seasons, say of Garbo’s films, or Eisenstein’s films, or classic westerns, or the then-new French nouvelle vague. I and my friends saw a lot of films. And the seasons would repeat too for new generations of students. I must have seen Jules et Jim five or six  times if I saw it once.

One film I particularly fell in love with was that most perfect of literary adaptions, the 1960 Russian film of Chekhov’s “The Lady with the Little Dog”, Dama s sobachkoy. Seeing it again after all these years, it is still magically evocative, and so very true to Chekhov’s story as I soon discovered. For it was the film that introduced me to the writing, firstly in that old Penguin collection Lady with Lapdog and Other Stories. And I must have taken the now rather battered copy from the shelves most years since to re-read a story or two, though most often by far that title story again.

That book led to other collections of Chekhov stories, and eventually to the plays. One of the great theatre experiences of my life was seeing a touring production of Three Sisters when living in Aberystwyth.  The staging and acting — I think originating from Theatr Clwyd — were brilliant. But what made the atmosphere in the theatre so intense was that so many of the audience there really did dream of going to Moscow, to Moscow. Or at least away from that remote part of Wales. There is a Chekhov story there …


IFL2: Propositional truth trees

[Reposted] The first edition of An Introduction to Formal Logic did logic by trees. The main text of the second edition will do natural deduction, Fitch-style. But chapters on truth trees will still be available, as two online appendices. And these appendices will, indeed, together make a brisk stand-alone introduction to logic by trees for a reader who knows the basics about the languages of propositional and predicate logic.

Here, then, is the first appendix, on propositional truth trees (pp. 27). This is a slightly revised version from the one posted a few days ago. It is free to use and distribute. And the plan is for it to remain freely available, through the IFL2 page. Needless to say, all further comments/corrections gratefully received.

Seven books: Georg Christoph Lichtenberg

It’s a thing on Twitter at the moment — people posting the covers of seven books that have meant something to them, without comment, and nominating others to join in and post their choices in turn. Actually, I’d prefer to see at least brief comments and explanations, for these can be half the interest and enjoyment; but it got me thinking about what books I’d choose (putting aside the likes of, say,  Anna Karenina and other books which have perhaps meant the most, but hardly need words of approbation from me!).

Here then is one I’d perhaps choose for my seven — appropriate at any rate to this day, for it happens to be the 220th anniversary of Lichtenberg’s death. I must have bought J. P. Stern’s Lichtenberg: A Doctrine of Scattered Occasions as a student — it was remaindered in Galloway and Porter of fond memory. I was told about the book, I think, by another student who had gone to talk to Stern about Wittgenstein. I’m not sure why I found Lichtenberg’s aphoristic take on the world, his disorderly mind, so appealing: a counter, perhaps, to my mathematician’s over-orderliness. And he can suggest so much in a striking hint  —  ‘He was astonished that cats have two holes cut in their fur at precisely the spot their eyes are’. Over the years, I have kept returning to his humane reflections, to his jottings on the complexity of our human world and of the natural world. I find something immensely likeable  about the man who reveals himself here.

There’s a much more recent and wider selection from his ‘Wastebooks’ to be found in  Georg Christoph Lichtenberg: Philosophical Writings (trans. Steven Tester, SUNY, 2012). But it is to Stern’s insightful book which I still return with pleasure.

Conference on proof-theoretic semantics

There are so many really interesting-looking logic conferences these days. The Third Tübingen Conference on Proof-Theoretic Semantics, 27–30 March 2019 promises to be particularly good, and an earlier time-slice of me would have been very tempted to go. I do hope the organisers video the sessions, when speakers are happy about that, and put the the videos and/or the written papers online.

IFL2: Two chapters on conditionals

How do you say enough about conditionals at an introductory level, to motivate the truth-functional material conditional to beginners? On the one hand, you want to avoid telling outright fibs or entirely glossing over problems. On the other hand, you don’t want to tangle with issues about conditionals to the point where the student reader  is left puzzled about why we are sticking with what has been made to seem such a dodgy rendition of the conditional. How to steer a helpful middle course?

Judging by the frequency of questions about the material conditional on math.stackexchange along the lines of “what is going on here!?”, this is a tricky issue for any entry-level lecture course or textbook. Here then is the latest version of my introductory effort for IFL2  (there’s another later chapter about rules of inference for the conditional in a Fitch-style ND system which reinforces the point made at the very end of these chapters).

Do point students to these chapters (if you think they might be helpful)! And/or send me comments (if you spot typos or can think of ways to improve them!).

Not so explosive …

There’s no doubt that Sue Prideaux’s I am Dynamite is a highly entertaining read, and rattles along wonderfully well as a late-night distraction. It has its jaw-dropping moments. Wagner comes across as a ludicrously bombastic figure (who could possibly have guessed that from the music?). And Nietszche cuts a sad figure, plagued with ill-health, fizzing with quarter-baked ideas, writing far too fast when he does, and never slowing, it seems, for the hard graft of actually working things through, and worrying little about contradicting himself. So he leaves us with cloudy and fragmentary mirrors in which all kinds of readers can and do glimpse what they want to find.

Reading (or rereading) more Nietzsche was on my retirement list of cultural gaps perhaps to fill — though I can’t say I’ve been attracted by past acquaintance. I’m quite grateful, then, to Sue Prideaux, for she has rather inoculated me against that idea. (Her concluding pages of Nietzschean aphorisms which had particularly struck her obviously struck me very differently!). I might well, however,  be reading more Prideaux …

IFL2: Three chapters on natural deduction (for propositional logic)

I won’t bore you by reviewing the crooked path by which we got here. But I’m steadily working on the draft second edition of my intro logic book, with a cheerier feeling about the project.

And I can now offer you — drumroll! — some excerpts from three chapters on a Fitch-style natural deduction system for propositional logic, covering the rules for conjunction, disjunction and negation (and outline soundness/completeness proofs). For copyright reasons, these are excerpts of a few pages here and there, rather in Google books style, so the text jumps forward a couple of times. But the pages should be enough for you to be able to tell if you are interested in seeing more!

If you would like to see these chapters in full, about forty reasonably polished pages, do please drop an email to the address on the top of the PDF. The understanding is that if you ask to see more, then you won’t put the chapters into general circulation, and you will try to give at least some minimal comments (and certainly let me know about any errors you spot). At this stage in the game, even an encouraging ‘looks pretty ok to me!’ is welcome and helpful.

Review: Ivana Gavrić at Kettle’s Yard.

Out on a bitter evening to Kettle’s Yard for a concert by the pianist — and one-time Cambridge student — Ivana Gavrić.

I’m not sure why, but I haven’t been to a concert there for a number of years. It is a delightfully intimate space; however, the acoustic is a bit challenging for piano music. Hard walls and a tiled floor make for harshness (would it help to have a carpet under the paino? or to keep the lid near closed?). This I think particularly affected the opening Haydn sonata (no. 38, H XVI:23) — partly because one’s ears hadn’t adjusted yet, and partly because Gavrić was already aiming, I think, for a bright transparency of tone suited to early Haydn. But in that unforgiving context, she could perhaps have softened and relaxed the rather lovely Adagio.

But her following Schubert D784 was terrific. I’ve recently heard Mitsuko Uchida in concert playing this in a way that struck me as having become far too  mannered and excessive in dramatic emphasis. Gavrić by contrast had the drama under such thought-through control, with some wonderful phrase-shaping, particularly in the weighty first movement.

After the interval, Gavrić played Janácek’s four pieces In the Mists. I first got to really know these, indeed, from her much admired CD. Heard live, I found the pieces in places rawer, more challenging, than I’d remembered, making me very much want to return and listen again to her recording with new ears.

Next, Four Lyric Pieces, short homages to Haydn, Schubert, Janácek and Grieg by Gavrić’s Cambridge contemporary Cheryl-Frances Hoad. I’m not sure I ‘got’ the Schubert in particular,  but these were pleasing enough pieces with a slight jazz inflection, and we could  draw breath after the intensity of the Janácek.

In one of her engaging short introductions, talking to the audience, Gavrić said that her final piece, Grieg’s Ballade, had rather fallen out of favour on the concert platform. And arguably it does rather seem to run out of interesting ideas before the end. But I did very much warm to  Gavrić’s performance of it (as it seems did the rest of her audience).

For me, though, the high point of the evening has to be the Schubert — but then that’s Schubert for you! And I do hope that one day Ivana Gavrić returns to record more of his music. Meanwhile, her D784 (again) on her first CD is very fine.

IFL2: Some propositional logic!

For whatever reasons, the writing of the later chapters for IFL2, the new edition of  Introduction to Formal Logic, has been going really slowly. But I am at last reasonably content at least with the first third or so of the book, having had some recent very useful comments. And so I would now like to  “sign off” these chapters for now and declare them … well, if not in an ideal state, at least more than good enough!

So: for your delight and delectation, here (just for a while) are Chapters 1 to 16 (c. 150 pages). The Table of Contents and the review at the beginning of the final Interlude will tell you what is in these chapters. [Link now removed — email me if you are interested in getting a copy!]

When I have previous posted excerpts like this, I have had some extremely useful comments, and even now I’d certainly be very happy to get more. Perhaps not comments that basically say that I’m writing the wrong book! But corrections of typos, indications of expressions that stump the reader for whom English is a second language, pointers to passages that stand out as more difficult to understand — not to mention corrections of downright mistakes and suggestions for improvement. All would be still most welcome.

(If, in particular you have students — or indeed, are a student — please do spread the word to anyone who might be interested in reading and commenting, even on just scattered chapters. For, at this stage, further student feedback could be invaluable.)

Scroll to Top