Yearly Archives: 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