corpus.blog
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

Three reading recommendationsoriginal ↗
8 Sept 2026
BML on proof theory, revisedoriginal ↗
5 Sept 2026
BML on computable functions, formal arithmetic, and Gödel’s theoremsoriginal ↗
28 Aug 2026
Shostakovich on Sundayoriginal ↗
22 Aug 2026
A new chapter of recommended readings on FOLoriginal ↗
12 Aug 2026
BML: I need a plan …original ↗
4 Aug 2026
Set-theoretic troublesoriginal ↗
15 Jul 2026
Lea Desandre sings Handeloriginal ↗
3 Jul 2026
Postcard from Ljubljanaoriginal ↗
21 Jun 2026
Apologiesoriginal ↗
11 Jun 2026
Book note: The Open Logic FOL textsoriginal ↗
10 Jun 2026
Settling in – and a PHQ concertoriginal ↗
5 Jun 2026
A new hardback!original ↗
3 Jun 2026
New version websiteoriginal ↗
2 Jun 2026
Twenty years on, what next?original ↗
22 May 2026
Felicity Lott, 1947 – 2026original ↗
17 May 2026
ICT paperback is out!original ↗
17 May 2026
Proof-reading, with a bit of help from LLMsoriginal ↗
16 May 2026
A new version of ICToriginal ↗
13 May 2026
On the mathematical abilities of LLMsoriginal ↗
8 May 2026