- Logic Matters
Logic Matters. Peter Smith's Logic Matters blog, plus pages for his Intro to Formal Logic, Gödel books, and Logic Study Guide. Also LaTeX...
Read Logicmatters.net news digest here: view the latest Logic Matters articles and content updates right away or get to their most visited pages. Logicmatters.net belongs to a large group of moderately popular websites, with around 45K visitors from all over the world monthly. It seems that Logic Matters content is notably popular in India, as 21.6% of all users (9.6K visits per month) come from this country. We haven’t detected security issues or inappropriate content on Logicmatters.net and thus you can safely use it. Logicmatters.net is hosted with Google LLC (United States) and its basic language is English.
- Content verdict: Safe
- Website availability: Live
- Language: English
- Last check:
-
1 482
Visitors daily -
1 482
Pageviews daily -
5
Google PR -
542 254
Alexa rank
Best pages on Logicmatters.net
-
Peter Smith's Logic Matters blog, plus pages for his Intro to Formal Logic, Gödel books, and Logic Study Guide. Also LaTeX for logicians.
-
Slow logic - Logic MattersLogic Matters
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...
-
OUP philosophy book sale - Logic Matters
In case you missed an announcement, OUP has a sale offer on philosophy books with 30% off across the board. (Go to the OUP site, click on the left at the top of the menu “Academical and Professional”)...
Logicmatters.net news digest
-
13 days
About eighteen months ago, I noted here that a project was underway to verify Randall Holmes’s rather impenetrable claimed proof of the consistency of NF, using the Lean proof verification system.
The project has now been completed by Sky Wilshaw, a Part III student in Cambridge, building on the earlier work of some other students. Here is a new paper by Holmes and Wilshaw explaining the proof in its current version. The introduction reads:... -
27 days
Jonathan Bennett (1930-2024), Michael Tanner (1934-2024)
The deaths have been announced of two Cambridge philosophers.
Jonathan Bennett was here from 1956–1968, and I was and remain a huge admirer. His early little book Rationality is a masterpiece, and for a good few years I was much intrigued by his defence of a Gricean programme in the philosophy of language which... -
1 month
Category Theory I — now in paperback
Sound the trumpets! Or at least, let me give a small toot …
Category Theory I: A gentle prologue is now available as a print-on-demand paperback. This is Amazon only (sorry, but that’s easiest for me and cheapest for you), with ISBN 1916906389, at £5.99, $8.25, €7.50. Those prices are only trivially rounded... -
1 month
The death was announced a few days ago of W.W. Tait, whose work I have much admired over the years. His early technical work was on proof theory, and then he wrote with great knowledge and insight on the philosophy of mathematics and its history. His...
Domain history
Web host: | Google LLC |
Registrar: | Tucows Domains Inc. |
Registrant: | Contact Privacy Inc. Customer 0162125340 |
Updated: | July 29, 2023 |
Expires: | August 25, 2024 |
Created: | August 25, 2008 |
Whois record
Safety scores
Trustworthiness
N/AChild safety
N/A