Posts feed
Explore all this site
Tag Cloud
Archives
Recent Comments
- 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
- David Auerbach 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
Blogroll
Tweets @PeterSmith
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
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
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.