41554 blogs · [ { "id": "01a0879c-0ef7-72f6-8727-11d52e34940f", "title": "Three reading recommendations", "url": "https://logicmatters.net/blog/recent-readings.html", "published_at": "2026-09-08T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d52e698389", "title": "BML on proof theory, revised", "url": "https://logicmatters.net/blog/proof-theory-revised.html", "published_at": "2026-09-05T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d52e8a431a", "title": "BML on computable functions, formal arithmetic, and Gödel’s theorems", "url": "https://logicmatters.net/blog/arithcomp.html", "published_at": "2026-08-28T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d52ef28795", "title": "Shostakovich on Sunday", "url": "https://logicmatters.net/blog/aug26_varia.html", "published_at": "2026-08-22T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d52f255270", "title": "A new chapter of recommended readings on FOL", "url": "https://logicmatters.net/blog/fol.html", "published_at": "2026-08-12T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d52fd82197", "title": "BML: I need a plan …", "url": "https://logicmatters.net/blog/need-BML-plan.html", "published_at": "2026-08-04T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d530cd7b5f", "title": "Set-theoretic troubles", "url": "https://logicmatters.net/blog/set-theoretic.html", "published_at": "2026-07-15T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d53163c557", "title": "Lea Desandre sings Handel", "url": "https://logicmatters.net/blog/desandre.html", "published_at": "2026-07-03T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d53182020f", "title": "Postcard from Ljubljana", "url": "https://logicmatters.net/blog/postcard-fron-ljubljana.html", "published_at": "2026-06-21T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d5323d86b3", "title": "Apologies", "url": "https://logicmatters.net/blog/apologies.html", "published_at": "2026-06-11T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d53258b209", "title": "Book note: The Open Logic FOL texts", "url": "https://logicmatters.net/blog/open-logic.html", "published_at": "2026-06-10T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d533318e08", "title": "Settling in – and a PHQ concert", "url": "https://logicmatters.net/blog/settling-in.html", "published_at": "2026-06-05T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d533a4a152", "title": "A new hardback!", "url": "https://logicmatters.net/blog/new-hardback.html", "published_at": "2026-06-03T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d534051547", "title": "New version website", "url": "https://logicmatters.net/blog/new-version-website.html", "published_at": "2026-06-02T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d534d0ccf5", "title": "Twenty years on, what next?", "url": "https://logicmatters.net/blog/twenty-years-on-what-next.html", "published_at": "2026-05-22T23:00:00+00:00" }, { "id": "01a0879c-0ef7-72f6-8727-11d535bf7d09", "title": "Felicity Lott, 1947 – 2026", "url": "https://logicmatters.net/blog/felicity-lott-1947-2026.html", "published_at": "2026-05-17T23:00:00+00:00" }, { "id": "01a0879c-0ef8-70d9-a67d-58b81d9940d9", "title": "ICT paperback is out!", "url": "https://logicmatters.net/blog/ict-paperback-is-out.html", "published_at": "2026-05-17T23:00:00+00:00" }, { "id": "01a0879c-0ef8-70d9-a67d-58b81e6c1d3a", "title": "Proof-reading, with a bit of help from LLMs", "url": "https://logicmatters.net/blog/proof-reading-with-a-bit-of-help-from-llms.html", "published_at": "2026-05-16T23:00:00+00:00" }, { "id": "01a0879c-0ef8-70d9-a67d-58b81f3bd29d", "title": "A new version of ICT", "url": "https://logicmatters.net/blog/a-new-version-of-ict.html", "published_at": "2026-05-13T23:00:00+00:00" }, { "id": "01a0879c-0ef8-70d9-a67d-58b81f46c197", "title": "On the mathematical abilities of LLMs", "url": "https://logicmatters.net/blog/on-the-mathematical-abilities-of-llms.html", "published_at": "2026-05-08T23:00:00+00:00" } ] posts Claim your blog
Back to Logic Matters
Blog · corpus.blog/blogs/logicmatters.net/posts

Logic Matters

logicmatters.net

2026