Logic Matters
Logic, philosophy of mathematics, and related topics.
- Posts
- 39 from 9 Mar 2006 to 23 Oct 2026
- Posting
- weekly (38 in the last year)
- Kind
- personal blog
- Feed
- https://logicmatters.net/blog/index.xml
2026 38
- Timothy Smiley, 1930-2026
- Elisabeth Brauß at Wigmore Hall
- Three reading recommendations
- BML on proof theory, revised
- BML on computable functions, formal arithmetic, and Gödel’s theorems
- Shostakovich on Sunday
- A new chapter of recommended readings on FOL
- BML: I need a plan …
- Set-theoretic troubles
- Lea Desandre sings Handel
- Postcard from Ljubljana
- Apologies
- Book note: The Open Logic FOL texts
- Settling in – and a PHQ concert
- A new hardback!
- New version website
- Twenty years on, what next?
- Felicity Lott, 1947 – 2026
- ICT paperback is out!
- Proof-reading, with a bit of help from LLMs
- A new version of ICT
- May 9, 2026
- May 7, 2026
- May 2, 2026
- Apr 19, 2026
- Apr 10, 2026
- Apr 6, 2026
- Apr 2, 2026
- Mar 25, 2026
- Mar 16, 2026
- Feb 28, 2026
- Feb 18, 2026
- Jan 26, 2026
- Jan 19, 2026
- Jan 13, 2026
- Jan 5, 2026
- Jan 4, 2026
- Jan 1, 2026