iiinova — where your digital self keeps evolving

Logic Matters @logicmatters.bsky.social · 29/09/2026

Not the greatest month. And hence it wasn't possible to get to London to attend Elisabeth Brauß's lunchtime concert in the Wigmore Hall Autumn International Piano Festival at Wigmore Hall on Monday. But -- a delight -- the concert was broadcast live on BBC Sounds. #classical #mozart

Elizabeth Brauß playing at an earlier Wigmore Hall recital

111

Logic Matters @logicmatters.bsky.social · 09/09/2026

A quick reminder for new semesters/terms. There are now FIVE Rig Red Logic Books free to download. My (ex-CUP) Intro to Formal Logic, and Gödel's Theorems. The shorter Gödel Without Tears. A Study Guide to Math Logic. And Introducing Category Theory. logicmatters.net/books/ #philsky #mathsky

130

Logic Matters @logicmatters.bsky.social · 09/09/2026

Three (non-logic) book recommendations -- James Marriott's *The New Dark Ages*, Lettice Cooper's *Fenny*, Kathleen Jamie's *The Overhaul*. logicmatters.net/blog/recent-... 💙📚 #booksky

logicmatters.net

Three reading recommendations – Logic Matters

Three non-logic books to read!

060

Logic Matters @logicmatters.bsky.social · 06/09/2026

I am so late to discover Kathleen Jamie. But her *Overhaul* is wonderful, isn't it? 💙📚 #booksky

Cover of poetry collection, showing beached boat

050

Logic Matters @logicmatters.bsky.social · 06/09/2026

As announced before, I am beginning slowly to revise the 2022 *Beginning Mathematical Logic* Study Guide. Here is the third updated chapter -- this one is on proof theory. (Not major revisions, but improved, I hope!) logicmatters.net/tyl/pdfs/Pro... #philsky, #mathsky

030

Logic Matters @logicmatters.bsky.social · 29/08/2026

As announced before, I am beginning to revise the 2022 Beginning Mathematical Logic Study Guide. Here is the second updated chapter: on computable functions, formal arithmetics, and Gödel’s theorems. Enjoy! logicmatters.net/tyl/pdfs/Ari... #philsky, #mathsky

logicmatters.net

051

Logic Matters @logicmatters.bsky.social · 23/08/2026

In the most recent issue of the BBC Music Magazine, the “Building a Library” feature is devoted to Shostakovich’s much played, much recorded, 8th String Quartet. And the chosen top recommended recording is – not surprisingly – the astonishing performance by the Pavel Haas Quartet. 1/2

100

Logic Matters @logicmatters.bsky.social · 14/08/2026

Characteristically interesting new blogpost by Tim Gowers, "What sort of maths are LLMs good at?" gowers.wordpress.com/2026/08/12/w... #MathSky

001

Logic Matters @logicmatters.bsky.social · 13/08/2026

I am starting to update the *Beginning Mathematical Logic* Study Guide (logicmatters.net/tyl) Here's the first newly revised chapter, a list of recommended (and not-recommended) reading on First Order Logic, logicmatters.net/tyl/pdfs/FOL... Suggestions? Corrections? #MathSky #PhilSky

logicmatters.net

The Study Guide and Book Notes – Logic Matters

020

Logic Matters @logicmatters.bsky.social · 07/08/2026

A reminder, if you are taking a category theory course next term/semester. There is a page of links to reasonably accessible and (legally!) freely downloadable lecture notes etc. at logicmatters.net/categories. You could very well find there some helpful preliminary/parallel reading. #MathSky

logicmatters.net

Category theory: online lecture notes, etc. – Logic Matters

161

Logic Matters @logicmatters.bsky.social · 16/07/2026

Pleased to see that the Guardian’s most viewed piece this morning is ‘Zara death pants’: are these the world’s most dangerous trousers? Shows a proper sense of priorities….

000

Reposted by Logic Matters

Richard Pettigrew @wiglet1981.bsky.social · 08/07/2026

I always like the end of the famous passage from William James’s Will to Believe on this…

Believe truth! Shun error!—these, we see, are two materially different laws; and by choosing between them we may end by coloring differently our whole intellectual life. We may regard the chase for truth as paramount, and the avoidance of error as secondary; or we may, on the other hand, treat the avoidance of error as more imperative, and let truth take its chance. Clifford, in the instructive passage which I have quoted, exhorts us to the latter course. Believe nothing, he tells us, keep your mind in suspense forever, rather than by closing it on insufficient evidence incur the awful risk of believing lies. You, on the other hand, may think that the risk of being in error is a very small matter when compared with the blessings of real knowledge, and be ready to be duped many times in your investigation rather than postpone indefinitely the chance of guessing true.
I myself find it impossible to go with Clifford. We must remember that these feelings of our duty about either truth or error are in any case only expressions of our passional life. Biologically considered, our minds are as ready to grind out falsehood as veracity, and he who says, "Better go without belief forever than believe a lie!" merely shows his own preponderant private horror of becoming a dupe. He may be critical of many of his desires and fears, but this fear he slavishly obeys. He cannot imagine any one questioning its binding force. For my own part, I have also a horror of being duped; but I can believe that worse things than being duped may happen to a man in this world: so Clifford's exhortation has to my ears a thoroughly fantastic sound. It is like a general informing his soldiers that it is better to keep out of battle forever than to risk a single wound. Not so are victories either over enemies or over nature gained. Our errors are surely not such awfully solemn things. In a world where we are so certain to incur them in spite of all our caution, a certain lightness of heart seems healt…

184

Logic Matters @logicmatters.bsky.social · 07/06/2026

Wonderful concert by the Pavel Haas Quartet at Wigmore Hall, playing a selection of Dvorak's Cypresses, and then Dvorak's "American Quaret". After the interval they are joined by Boris Giltburg and Petr Ries to play Schubert's Trout Quintet. Stunningly good. www.youtube.com/watch?v=Qj2c...

youtube.com

Pavel Haas Quartet, Boris Giltburg and Petr Ries | Dvořák and Schubert - Live from Wigmore Hall

YouTube video by Wigmore Hall

010

Logic Matters @logicmatters.bsky.social · 06/06/2026

I'd say that this was quite extraordinarily good -- except that the Pavel Haas Quartet are always exceptional. Pavel Haas Quartet, Boris Giltburg and Petr Ries | Dvořák 'American' Qt and Schubert 'Trout' -- www.youtube.com/live/Qj2cPuj... via @YouTube

youtube.com

Pavel Haas Quartet, Boris Giltburg and Petr Ries | Dvořák and Schubert - Live from Wigmore Hall

YouTube video by Wigmore Hall

000

Logic Matters @logicmatters.bsky.social · 06/06/2026

logicmatters.net now points to a new, minimalist, GitHub-hosted static site. Oh what nerdy fun migrating from a bloated Wordpress version (with more than a little help from my friend Claude). I hope note too many links have got broken in the transition -- let me know about annoying cases!

logicmatters.net

Logic Matters

031

Logic Matters @logicmatters.bsky.social · 04/06/2026

An inexpensive hardback of Introducing Category Theory was published on June 1st, and is beginning to appear listed on booksellers’ online sites — search with the ISBN 106834671X. #mathsky #philsky

173

Logic Matters @logicmatters.bsky.social · 03/06/2026

I'm migrating Logic Matters from an expensively hosted Wordpress incarnation to a freely hosted GitHub site. Wish me luck! Here's a first version -- all comments most welcome. logicmatters.github.io/logic-matter... #philsky #mathsky

logicmatters.github.io

Logic Matters

0153

Logic Matters @logicmatters.bsky.social · 21/05/2026

The revised/corrected third edition of *Introducing Category Theory* is now available as a paperback. To keep the cost down it is Amazon-only print-on-demand with ISBN 1068346728. Sorry! -- but the PDF remains freely downloadable from logicmatters.net for Amazon refuseniks ...

010

Reposted by Logic Matters

John C. Baez @johncarlosbaez.bsky.social · 17/05/2026

I never knew what was so great about the "great icosahedron". Now I do! Take a regular icosahedron whose vertices have coordinates in ℚ[√5]. Apply the nontrivial element of the Galois group: that is, replace √5 by -√5. You get the great icosahedron! (1/n)

A "great icosahedron" - a star-like 3-dimensional shape with the same vertices as a regular icosahedron, but with large pentagram-shaped faces that intersect each other instead of the usual equilateral triangles. That is, each vertex is no longer connected to its 5 nearest neighbors, but instead its 5 second-nearest neighbors.

From here: https://en.wikipedia.org/wiki/Great_icosahedron

47116

Logic Matters @logicmatters.bsky.social · 18/05/2026

There have been so many moving obituaries and fond tributes. Here, to mark her passing, is Felicity Lott at the start of her stellar career, singing Pamina at Glyndebourne, almost fifty years ago. How joyous.

youtu.be

Bei Männern, welche Liebe fühlen - Die Zauberflöte I Felicity Lott & Benjamin Luxon

YouTube video by L'opera

012

Logic Matters @logicmatters.bsky.social · 14/05/2026

There's a newly revised version of my *Introducing Category Theory* notes -- correcting an embarrassing number of typos and a few thinkos in the previous version. A pbk follows, but meanwhile here's a link to the (free!) PDF: www.logicmatters.net/resources/pd... #Mathsky #Philsky

logicmatters.net

031

Logic Matters @logicmatters.bsky.social · 20/04/2026

Elizabeth Brauß gave a really wonderful performance of Schubert’s first set of Impromptus at a concert a few years ago. The BBC have broadcast it again. Listen -- it will make your day better! www.bbc.co.uk/sounds/play/... (starting at 5.12.40 in) #Schubert #Piano

020

Logic Matters @logicmatters.bsky.social · 07/04/2026

It almost seems a shame to hide the new wallpaper with books ... but needs must! #booksky

Empty bookshelves in newly redecorated room with William Morris wallpaper behind

050

Logic Matters @logicmatters.bsky.social · 07/04/2026

A quick blog post commenting on the claim by Alex Oliver and Tim Smiley to have shown that the “easy” direction of Church's Thesis is wrong. I'm not persuaded -- and neither should you be! www.logicmatters.net/2026/04/06/p... #philsky #mathsky

logicmatters.net

Partial functions and Church’s Thesis - Logic Matters

Alex Oliver and Tim Smiley’s magnum opus Plural Logic runs to some 340 pages before the end matter in the second edition. The final chapters are heavy going, involving detailed developments of some cu...

131

Reposted by Logic Matters

Frank Beck @diehoren.bsky.social · 24/03/2026

One of my favorite works by Schubert -- his Impromptu No. 3 in G-flat major -- played superbly by German pianist Elisabeth Brauß and posted by German public broadcasting. www.youtube.com/watch?v=4tWc...

042

Logic Matters @logicmatters.bsky.social · 17/01/2026

Elisabeth Brauss played Mozart's 23rd Piano Concerto at the Cartagena Festival de Música ten days ago.A terrific performance she evidently much enjoyed. www.youtube.com/watch?v=rX5c...

000

Logic Matters @logicmatters.bsky.social · 13/01/2026

There's a new version of my *Introducing Category Theory* now available -- a freely downloadable PDF and also a very-cheap-for-its-size pbk. Enough corrections/improvements to count as a "third edition". For info/link see logicmatters.net/categories Please spread the word! #MathSky #PhilSky

053

Logic Matters @logicmatters.bsky.social · 06/01/2026

The second issue of the new Journal for the Philosophy of Mathematics is now online (open access). Includes five pieces on sets and pluralities which (on a quick browse) seem interesting and good. Take a look! #MathSky #PhilSky riviste.fupress.net/index.php/jpm

riviste.fupress.net

Journal for the Philosophy of Mathematics

031

Reposted by Logic Matters

Bob Hawkins @bobhawkins.bsky.social · 05/01/2026

Today’s epiphany… here the adoration of the magi by Fra Angelico & Fra Filippo Lippi 1440-60. National gallery of art Washington DC.

142

Logic Matters @logicmatters.bsky.social · 28/12/2025

A new blog post about using AI in proofreading the upcoming revised 2nd edition of my category theory book. Might be of interest to other maths writers. www.logicmatters.net/2025/12/28/a... #MathSky

031

Logic Matters @logicmatters.bsky.social · 05/12/2025

There will be a revised version of my category theory book in January. Mostly minor changes for reader-friendliness. But I have expanded the short chapter on ETCS at the very end of the book into two short chapters. Here's a draft: www.logicmatters.net/resources/pd... Comments very welcome! #MathSky

logicmatters.net

020

Logic Matters @logicmatters.bsky.social · 05/12/2025

Wonderful concert by Elisabeth Brauss at Wigmore Hall on Tuesday. Her Beethoven Op. 110 particularly moving -- www.youtube.com/watch?v=Puyd...

youtube.com

Elisabeth Brauss | Beethoven, Grieg, Hans Abrahamsen and Liszt - Live from Wigmore Hall

YouTube video by Wigmore Hall

100

Reposted by Logic Matters

Chris Satoor @nieaufgehenderrest.bsky.social · 21/04/2025

Paul Klee The Bounds of the Intellect, 1927

04910

Logic Matters @logicmatters.bsky.social · 21/09/2025

New double CD of Lea Desandre and Thomas Dunford (and the Jupiter Ensemble) performing Dowland and Purcell. Absolutely superb playing and often extraordinarily moving. (Had the good fortune to see them live at Wigmore Hall last week -- just stunning.)

CD cover ...black and white photo of Lea and Thomas

010

Logic Matters @logicmatters.bsky.social · 23/08/2025

CD Forthcoming soon! Love the cover photo :)

Cover of forthcoming CD by the Pavel Haas Quartet

110

Logic Matters @logicmatters.bsky.social · 13/07/2025

First 5 star Amazon rating AND first typo report for new edition of *Introducing Category Theory*. Ah well ...

020

Logic Matters @logicmatters.bsky.social · 28/06/2025

I've updated my page of links to entry-level lecture notes and online books on category theory. The page is visited a lot (3K times a month) so I ought to try to keep it in good shape. So any additions/corrections will be really welcome! www.logicmatters.net/categories/ #mathsky #philsky

0113

Logic Matters @logicmatters.bsky.social · 27/06/2025

ICYMI At last, there is a pbk version of my notes *Introducing Category Theory*, 2nd edn., ISBN 1068346701. Amazon-only print on demand to keep the price minimal for a 500pp book. Or you can still download the PDF from logicmatters.net. Spread the word :) #mathsky #philsky

Part of cover ... author/title in white on red background

182

Logic Matters @logicmatters.bsky.social · 26/06/2025

Sound the trumpets ... At last, at last, there is a pbk version of my notes *Introducing Category Theory*, 2nd edn., ISBN 1068346701. Amazon-only print on demand to keep the price minimal for a 500pp book. Or you can still download the PDF from logicmatters.net. Spread the word :)

Part of cover image, author/title in white on red background

051

Logic Matters @logicmatters.bsky.social · 18/06/2025

The linked piece by Keith Frankish on what LLMs are doing is (characteristically) excellent.

151

Logic Matters @logicmatters.bsky.social · 13/06/2025

Simply wonderful Schubert playing from Elisabeth Brauß www.bbc.co.uk/sounds/play/... From about 18 mins into the programme (available for about a month).

000

Logic Matters @logicmatters.bsky.social · 05/06/2025

You can now download a complete version of *Introducing Category Theory* from www.logicmatters.net/categories. Just needs final proofreading. Has it any virtues? Well, at least it might distract you for a while, as the world goes to hell in a handcart ... #mathsky #philsky

Excerpt from book cover, white author name/title on red background

23110

Reposted by Logic Matters

London Review of Books @lrb.co.uk · 19/04/2025

‘The Easter bunny was a hare long before he was a rabbit; the hare was sacred to Eostre, the Saxon goddess of spring – no rabidly cute bundle of fluff.’ Katherine Rundell considers the hare: www.lrb.co.uk/the-paper/v4...

lrb.co.uk

Katherine Rundell · Consider the Hare

‘The cat of the wood,’ Heaney calls them. ‘The stag of the cabbages.’ If there is magic in this world, some part...

85318

Logic Matters @logicmatters.bsky.social · 28/05/2025

Elisabeth Brauß playing the last movement of Beethoven's 4th Piano Concerto. Joyous! www.youtube.com/watch?v=OJX0...

youtube.com

Elisabeth Brauß: Beethoven - Piano Concerto No.4 (Mvt. 3)

YouTube video by Elisabeth Brauß

020

Logic Matters @logicmatters.bsky.social · 26/05/2025

Here are links to a dozen blog posts "Schubert on Sunday", linking mostly to some wonderfully good YouTube videos. You might well have missed some -- take a quick look! #Schubert www.logicmatters.net/tag/schubert...

logicmatters.net

Schubert on Sunday Archives - Logic Matters

000

Logic Matters @logicmatters.bsky.social · 25/05/2025

There's a terrific new Schubert CD by Charlotte Saluste-Bridoux and her piano duo partner Joseph Havlat. www.delphianrecords.com/products/sch... Here's a link to their playing the Fantasia D. 934 at Wigmore Hall (and some other Schubert links too). Enjoy! www.logicmatters.net/tag/schubert...

BW photo of Charlotte Saluste-Bridoux and Joseph Havlat from their recording session

000

Reposted by Logic Matters

Boerps ☑️ @boerps.nrw.social.ap.brid.gy · 14/05/2025

@classicalmusic Wolfgang Amadeus Mozart - 12 Variationen über "Ah, vous dirai-je Maman" für Klavier C-Dur, KV 265 Elisabeth Brauß, Klavier www.youtube.com/watch?v=3d7L14O9BOY #music #classic #piano

002