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

Posted in Logic | 1 Comment

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.

Posted in Logic | 1 Comment