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
Error: Twitter did not respond. Please wait a few minutes and refresh this page.
Monthly Archives: October 2007
Eating ice cream in Naples
There are noticeboards immediately outside my office, where seminars in other faculties are advertised. It’s often rather jaw-dropping what other people think it worth getting up to. For example, the History Faculty is running a series on “Consumption”, and the … Continue reading
Posted in This and that
1 Comment
Blackburn, religion and respect
I have mentioned Louise M. Antony’s Philosophers without Gods before. But I have only just discovered that perhaps the best of the essays in the book — though it is a close run thing: the collection is consistently good — … Continue reading
ACA0, #6: ACA0 vs ACA, and more
Rather than keep posting longer and longer contributions on ACA0 here, I’ve put together some thoughts on this and related stuff into the beginnings of a long draft essay. This is very much work-just-starting rather than work-in-progress, and I’m not … Continue reading
Posted in Logic
Leave a comment
ACA0, #5: An aside on PA + Th versus T(PA)
Suppose we bolt onto to first-order PA the axioms of Th, the arithmetization of a natural theory of a new truth-predicate T, in a way that – prima facie – shouldn’t upset even a deflationist/minimalist about truth. As we’d expect, … Continue reading
Posted in Logic
Leave a comment
We’re off!
We’re off! The first logic lecture of the year done. No disasters. The data projector behaved. The last slide popped onto the screen with one minute to go. I talked mostly good sense. Bits of explanation had a beginning, middle … Continue reading
Posted in This and that
1 Comment
Giving it to ’em with both barrels
There’s a kind of stupidity that is, to put not too fine a point on it, morally offensive. I don’t mean common-or-garden dimness and/or a propensity for making daft mistakes (we’ve all been there!). I mean the “only I’m right … Continue reading
Posted in This and that
Leave a comment
Of making many books (again)
Michael Potter has just told me that the Schilpp volume on Michael Dummett is out. (Of course, the Library of Living Philosophers hasn’t been edited by Schilpp for nearly twenty years, but that’s how we still refer to the books, … Continue reading
Posted in Books
Leave a comment
Suddenly there is bustle ….
After weeks when the faculty has been almost deserted apart from the admin staff, suddenly there is bustle in the philosophy grad. centre outside my room, and the place is filling up again. It is one of the main delights … Continue reading
Posted in This and that
3 Comments
ACA0, #4: And what about ACA?
I’ve been trying to get my head around the significance of (i) the relation between ACA0 and ACA (the theory you get by keeping arithmetic comprehension, but allowing induction for any second-order wff) and (ii) the relation between ACA and … Continue reading
Posted in Logic
Leave a comment