Monthly Archives: January 2017

Since it is Schubert’s birthday ….

Barbara Bonney, soprano; David Shifrin, clarinet; André Watts, piano. Der Hirt auf dem Felsen, “The Shepherd on the Rock”, D. 965

Posted in Music | Leave a comment

Conditionals again

Here are two draft chapters on conditionals for the second edition of my Introduction to Formal Logic (to replace chapters 14 and 15 of the current edition). I’ve got to the point that I’d very much welcome comments on these. … Continue reading

Posted in This and that | 11 Comments

Serendipitous distractions

So the CUP Book Sale is over for another twelve months — and with changed rules after last year’s unseemly scrums, this year’s Sale was a very much more enjoyable and civilised affair. After a few pretty abstemious visits, I still came away … Continue reading

Posted in This and that | Leave a comment

Frege on “if”

I’ve been looking at the passage early in the Begriffsschrift where Frege introduces the material conditional — not, of course, using that label, and not of course with our notation. He notes that can be affirmed when A is denied or when … Continue reading

Posted in Logic | 6 Comments

Scott Aaronson on P ?= NP

As of course is the way with these things, no sooner had I put online TYL2017 than something appears which I would like to add to the Guide. Scott Aaronson has put together a 120 pages survey article on the … Continue reading

Posted in This and that | Leave a comment

Tom Leinster’s Basic Category Theory

I just love the opening two sentences of Tom Leinster’s 2014 introductory book, which still seem about as good a minimal sketch of what category theory is up to as you could hope for: Category theory takes a bird’s eye … Continue reading

Posted in Category theory | Leave a comment

Teach Yourself Logic 2017

The Teach Yourself Logic 2016 Study Guide was viewed an astonishing 51K times and download 3K times from my academia.edu page last year. It was also downloaded another 1.4K times from this Logic Matters site. I guess (or at least, hope!) … Continue reading

Posted in Logic, TYL | 3 Comments