Category Archives: This and that

Jeanne Moreau, 23.i.1928 – 31.vii.2017

Posted in This and that | 1 Comment

Holiday readings

Here are three suggestions for fun holiday reading — none of them new books, as it happens, but ones I’ve particularly enjoyed in the last few weeks. So, warmly recommended if you haven’t yet read them and are looking for pleasing distractions: Robert … Continue reading

Posted in This and that | 3 Comments

Slow logic

I’m all for taking things slowly. But this is getting ridiculous. But then, despite my all best resolutions, the lead up to the General Election here and its aftermath have all been quite ridiculously distracting. No wonder that the writing for the second edition of … Continue reading

Posted in This and that | 9 Comments

Dummett on Frege: a modest proposal

I’ve been wanting to think a bit about Frege on assertion (and the assertion sign, content stroke, judgement stroke, etc.). So after revisiting Frege himself — not at his best, here — it was natural to turn to Dummett’s great book. Except … Continue reading

Posted in This and that | 2 Comments

Postcard from Cornwall

A photo taken along the South West Coast Path, as it runs to St Anthony Head in Cornwall. It’s a particularly beautiful stretch of the path, and a quick ferry ride takes us across the bay from the apartment we rent this time of … Continue reading

Posted in This and that | Leave a comment

Maddy on sets, categories, and the multiverse

Here are three large-scale issues. First, in what good sense or senses, if any, does ZFC provide a foundation for mathematics. Second, can category theory provide an alternative(?), or better(?) foundation for some or all mathematics? Third, should set theory … Continue reading

Posted in This and that | 2 Comments

Empty domains #3 – from Vej Kse

The following was posted as a comment to Empty domains #1 by Vej Kse — but I think it is particularly interesting and worth highlighting as a stand-alone post.  There is an elegant and natural (from a user’s perspective) way to allow … Continue reading

Posted in This and that | 7 Comments

Empty domains #2

Here is a long quotation from Oliver and Smiley in their Plural Logic, motivating their adoption of a universally free logic (i.e. one allowing empty domains and empty terms). If empty singular terms are outlawed, we are deprived of logic as a tool … Continue reading

Posted in This and that | 6 Comments

New foundations?

This I find intriguing: Can we actually use [homotopy] type theory as the foundation for mathematics? That is, must we consider the objects of mathematics to “really” be built out of sets, with “types” just a convenient fiction for talking … Continue reading

Posted in This and that | 5 Comments

As good as it gets

We have been to some excellent local concerts over the last few months which I haven’t mentioned here (from the likes of Igor Levit, Rachel Podger and the English Concert, Cuarteto Casals, and a particularly on-form Academy of Ancient Music … Continue reading

Posted in This and that | Leave a comment