Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- Peter Milne on Carnap and the Diagonalization Lemma (Continued)
- Peter Milne on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- Peter Smith on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
- scott on Gödel’s First Theorem, from Gödel 1931 to Kleene 1943
Blogroll
Tweets @PeterSmith
- String quartets (currently playing) I most want to listen to. 1. Takacs. 2. Belcea. 3. Pavel Haas. Your favourites? #classical Posted 18 hours ago
- Tickets arrived for the Pavel Haas Qt @Wigmore-hall in July. Should be great. (Tickets still available … Just saying) Posted 18 hours ago
- Hmmmm. Supposed I better check what I've written more carefully or it will be hemlock for corrupting the youth. Again. Posted 19 hours ago
Monthly Archives: June 2010
Field: what am I missing?
As I mentioned in the last post, it fell to me to introduce the last two chapters in Part III of Field — namely, Ch. 17 in which he rounds out his key technical construction, and Ch. 18, ‘What Has … Continue reading
Posted in Books, Logic
12 Comments
Field, revised again
A few survivors are still battling through Field’s desperately ill-written Saving Truth from Paradox in a reading group here (just on the matter of writing, contrast, e.g. Scott Soames beautifully lucid book Understanding Truth). We are going to stop having … Continue reading
Posted in Logic
Leave a comment
Italian renaissance drawings
To London today for the annual meeting of the Analysis Committee. The journal seems in cheering health (though it seems as if the now out-of-control “publish or perish” pressures are leading to almost absurd numbers of submissions). Then, across the … Continue reading
Posted in This and that
2 Comments
The end of the journey
The third double-CD has recently been released of Imogen Cooper’s stunning journey through late Schubert in her QE Hall recitals in 2008 and 2009. The first two pairs of disks got some extraordinarily warm reviews, and this too strikes me … Continue reading
Posted in Music
Leave a comment
The Bertrand Russell Professorship
In the official words of the Cambridge University Reporter, The Council submits the following Graces to the Regent House. … (3) That the Professorship of Philosophy (1896) be retitled as the Bertrand Russell Professorship of Philosophy. This means that when … Continue reading
Posted in Academic life
1 Comment
Galois enthusiasm
Heck, that’s rather surprising! Over sixteen hundred and sixty people have now downloaded the notes on the Galois connection between syntax and semantics which I posted a link to here just a few days ago. Who knows why some pieces … Continue reading
Posted in Logic
2 Comments
Postcard from New Providence
Given that casinos aren’t my thing and old Nassau is half an hour away and hardly worth more than a short morning, there’s not much to do on New Providence but go to the nearby beach and then sit in … Continue reading
Posted in This and that
2 Comments
Some recent (un)publications
In an idle moment (well, it is very hot here in the Bahamas!), I’ve put together a page of links to various bits of stuff from the last three years which were dashed off in the interstices of book-writing. Mildly … Continue reading
Posted in Logic
Leave a comment
The Liar expresses no proposition
A couple of posts ago, I expostulated about Field’s over-hasty rejection of what I called the no-proposition response to the Liar. As it happens I found myself this morning reading (in the welcome shade of some pines at the top … Continue reading
Posted in Logic
Leave a comment
The Galois connection between syntax and semantics (updated)
In his classic Dialectica paper `Adjointness in foundations’ (1969), F. William Lawvere writes of `the familiar Galois connection between sets of axioms and classes of models, for a fixed [signature]‘. But even if long familiar folklore to category theorists, the … Continue reading
Posted in Logic
5 Comments