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: December 2007
"The best thing out there"
Cue sound of blowing one’s own trumpet. The first “Customer Reviews” on Amazon USA for the Gödel book have just appeared. And there is a quite terrific one by Jon Cogburn of LSU at Baton Rouge. Very cheering indeed! (Though … Continue reading
Posted in This and that
4 Comments
Logical Options, 1
As I noted in my last post, I’m going to be working through Bell, DeVidi and Solomon’s Logical Options in a seminar with some second year undergrads this coming term. To answer Richard Zach’s question, I might have used Ted … Continue reading
Posted in This and that
Leave a comment
Back to the grindstone
Hmmm, the next ten weeks or so are going to be busy. For a start, I must find time to finish reading the papers in the Absolute Generality collection, and I’ll no doubt continue to try to say something about … Continue reading
Posted in This and that
1 Comment
Absolute Generality 19: Lavine on McGee’s argument
There are still over twenty pages of Lavine’s paper remaining. Since, to be frank, Lavine doesn’t write with a light touch or Lewisian clarity, these are unnecessarily hard going. But having got this far, I suppose we might as well … Continue reading
Simple things are best.
I did fiddle around a bit today trying to get a hack to work for splitting long posts into an initial para or two, with the rest to be revealed by hitting a “Read more” link (if you want to … Continue reading
Posted in Geek stuff
Leave a comment
Absolute Generality 18: More on schematic generality
In a subsection entitled ‘Schemes are not reducible to quantification’, Lavine writes Schematic letters and quantifiable variables have different inferential roles. If n is a schematic letter then one can infer S0 ≠ 0 from Sn ≠ 0, but that … Continue reading
Posted in Logic
Leave a comment
Three cheers for the Stanford Encyclopedia
Richard Zach, one of the subject editors, has noted on his blog that there’s a new entry on the Stanford Encyclopedia by Herb Enderton on Second-order and Higher-order Logic. The SEP is really developing quite terrifically, and it seems to … Continue reading
Posted in Logic
Leave a comment
Absolute Generality 17: Schematic generality
In Sec. 7 of his paper, Lavine argues that there is a distinct way of expressing generality, using “schemes” to declare that ‘any instance [has a certain property], where “any” is to be sharply distinguished from “every”‘ (compare Russell’s 1908 … Continue reading
Posted in Logic
Leave a comment
Absolute Generality 16: Lavine on the problems, continued
(3) “The third objection to everything is technical and a bit difficult to state, and in addition it is relatively easily countered,” so Lavine is brief. I will be too. Start with the thought that there can be subject areas … Continue reading
Posted in Logic
Leave a comment
More introductions to forcing
I was going to post a follow-up to that link a few days ago to Tim Chow’s “Beginner’s guide to forcing”, but Richard Zach at LogBlog has beaten me to it.