Category Archives: This and that

Dry January

For my Dry January, I tried to quit reading stuff about Brexit (after all, surely nothing much was going to happen for a month). Well, I miserably failed to quit outright. But I did cut down a bit, and I … Continue reading

Posted in This and that | Leave a comment

Georg Kreisel — partial bibliography

Clearing out an old box, I’ve come across a crumpled xerox of a bibliography of some two hundred papers and other pieces by Georg Kreisel, covering up to the early 1990s. I believe this biblio was passed on to me … Continue reading

Posted in This and that | Leave a comment

Symbol for assignment of a truth-value?

Here’s an odd thing. There seems, browsing along my shelves, to be no really standard symbolic metalinguistic shorthand used in elementary books for assigning a truth-value to a wff (say, in the propositional calculus). You would have expected there to … Continue reading

Posted in This and that | 6 Comments

A Christmas card

With every good wish for a happy Christmas and a peaceful New Year

Posted in This and that | Leave a comment

Bob Hale (1945-2017)

I am very sorry to hear that the philosopher Bob Hale has died. I have always admired his work, and when — back in the day — we used to bump into each other at conferences, he always struck me as … Continue reading

Posted in This and that | Leave a comment

When I were a lad …

When I were a lad, a conference on logic/phil maths was rare indeed, and got you a wet weekend in Keele, if you were lucky. Now there are more conferences than you can shake a stick at, and in delightful … Continue reading

Posted in This and that | Leave a comment

Excellence for free! — and any others I should know about?

It is very good to note that the excellent A Friendly Introduction to Mathematical Logic by Christopher Leary and Lars Kristainsen is now available as PDF for free download from the book’s webpage here (as well as still being available as a very … Continue reading

Posted in This and that | 2 Comments

Opera in Prague

One of the delights of Prague is that the opera tickets are extraordinarily cheap. So in our week there, we went twice — to see Aida and then Rusalka. I must have listened a few dozen times over the years … Continue reading

Posted in This and that | Leave a comment

Logical snippets

There are now over 125 answers to various questions that might be of interest to beginning/intermediate logic students at the Logical snippets page. Do please spread the word to those who might find something useful here! (And if anyone can … Continue reading

Posted in This and that | 1 Comment

Postcard from Prague

A rather wintry week in a cold and (often) wet Prague. The first time I have been here since the days of communist rule, when I was a student. Do the math. How very fine the centre of the city … Continue reading

Posted in This and that | Leave a comment