Monthly Archives: December 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