Category Archives: This and that

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 | Leave a 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

Excluded middle, harmony, intuitionist logic for beginners

In the first two chapters on propositional natural deduction for my revised logic text — coming quite a way into the book — I start with a system for conjunction, disjunction and negation. There are the usual pairs of introduction/elimination … Continue reading

Posted in This and that | 6 Comments

A little writing about writing

A while back — a distressingly long time ago, actually, as it seems like only the day before yesterday — I wrote a couple of pages (that were linked here)  primarily aimed at beginning graduate students. One was on developing … Continue reading

Posted in This and that | 4 Comments

Trinity Poets

The answer to the quiz question? The first group, from George Herbert on, unlike members of the second group, might keep company together in an anthology of poets who were all members of Trinity, Cambridge. OK, if you are fussy, … Continue reading

Posted in This and that | Leave a comment

A literary quiz

Until more logical inspiration strikes, a literary quiz question for you. Where might George Herbert, Andrew Marvell, John Dryden, Lord Byron, Alfred Lord Tennyson and A. E. Houseman keep company with A. A. Milne and Vladimir Nabokov? And why haven’t … Continue reading

Posted in This and that | 1 Comment

MA Scholarship in Logic/Phil Math (Montreal)

Ulf Hlobil writes: “At Concordia University (Montreal), we want to do something about the gender imbalance in philosophy.  We offer specialized scholarships for female international students who are working ancient philosophy or logic and philosophy of mathematics.  Each scholarship is … Continue reading

Posted in This and that | Leave a comment

The Great Formal Machinery Works

I’d like to have had the time now to carefully read Jan von Plato’s new book and comment on it here, as the bits I’ve dipped into are very interesting. But, after a holiday break, I must get my nose … Continue reading

Posted in Books, This and that | Leave a comment

Postcard from the Lake District

After a week in the Lakes, here’s a photo taken walking back from Howtown to Pooley Bridge above Ullswater. Beautiful. Worries about Trump, Brexit, and even Begriffsschrift seem happily remote.

Posted in This and that | Leave a comment