Yearly Archives: 2016

The material conditional — analysis or replacement?

Update. I posted a couple of chapters, just 22 pages, hot off the laptop, from a bit later in the draft second edition of my Intro to Formal Logic about the material conditional. I’m now a little unhappy with them, … Continue reading

Posted in IFL, Logic | Leave a comment

Generating truth-tables in LaTeX

I have just added to the “Logicians’ miscellany” page of LaTeX for Logicians a new heading “Help for generating truth-tables”. There is now a link there to a Truth Table Generator webpage by Michael Rieppel. This page contains a JavaScript program … Continue reading

Posted in Geek stuff | 3 Comments

Unsatisfying satisficing

There’s no getting away from it. You know perfectly well you can’t try to optimize a book — that way madness lies (or at least, never finishing). You know perfectly well you have to satisfice. But that is oh so … Continue reading

Posted in IFL, Logic | Leave a comment

Plural Logic, again

A second, paperback, edition of Plural Logic by Alex Oliver and Timothy Smiley is now out from OUP. As the cover says, it is ‘Revised and Enlarged’ – in fact it is almost fifty pages longer, with some new sections and … Continue reading

Posted in Category theory, Logic | 1 Comment

Category Theory in Context

Congratulations to sometime Cambridge student Emily Riehl, now at Johns Hopkins. Her very illuminating lecture notes, aimed at beginners in category theory (albeit mathematically perhaps rather sophisticated beginners) have become a book, Category Theory in Context, published in a new … Continue reading

Posted in Category theory | Leave a comment

Postcard from Paris

So, as it happened, we left for Paris on the day of the Presidential Election, and woke up in our hotel to the grim news the next morning. At least, being away from home, with so much else to distract … Continue reading

Posted in This and that | Leave a comment

Life’s choppier waters

My non-logical readings are rather random, except for one pretty firm rule — I try to alternate between reading something new (or at least, new to me), and re-reading something familiar (or at least something that would be familiar, if only … Continue reading

Posted in Books, This and that | Leave a comment

In another troubled world …

In another troubled world, a young woman – enigmatically beautiful – forever wanders the streets of modernist suburban Rome. In this equally troubled world of ours, Monica Vitti, who played her so unforgettably, is 85 today. Which makes me feel rather old.

Posted in Italian matters | Leave a comment

The Greeks win (2)

On the question of metavariables — relaxed italics versus Greek letters. Which do you prefer? Those who voted in the poll  (and too late, I realized I should have had added a  “really don’t care” option), preferred Greek letters by 4 … Continue reading

Posted in Logic | 2 Comments

The Greeks win (1)

To the Cambridge Greek Play a dozen days ago. Every three years, student actors and a professional directing team put on one or two plays, in the original Greek — this year, a double bill of Antigone (predictably wrenching) and … Continue reading

Posted in This and that | 1 Comment