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.
Monthly Archives: January 2008
Three cheers for Jonathan Bennett
I rather doubt that it is worth teaching history of philosophy to undergraduates very early in their careers (ok, they might profitably read small gobbets, ripped from their contexts, but that’s not the same, is it?). To my mind, the … Continue reading
Posted in This and that
3 Comments
Logic Options, 2: Reprise
Having given the seminar, and also found out what Michael Potter was saying about related stuff in lectures, I’ve redone/expanded the stuff on natural deduction in my reading notes on Logical Options Sec. 1.5. Each round of tinkering makes the … Continue reading
Posted in Logic
2 Comments
Another day, another logic lecture
These days, I use a data-projector for all my intro logic lectures. Mostly that works really well (I mean, compared with old-school chalk-on-the-blackboard, or fiddling about with transparencies on an OHP). Still, it can lead to new kinds of foul-ups. … Continue reading
Posted in This and that
1 Comment
Logic Options, 3: Reading Dummett
I’ve just been putting together the third instalment of notes on Logical Options. In part these briefly comment on some things in the first half of Bell, DeVidi and Solomon’s Chapter 2, and review some key definitions (preparatory to doing … Continue reading
Posted in Logic
2 Comments
Kilvert’s Diary
The Guardian last weekend had a piece on Kilvert’s Diary which recounted the distressing history of the wanton destruction of the most of the originals, with only a small fraction published. It also claimed ‘The one-volume abridgement, published by Penguin, … Continue reading
Posted in Books
Leave a comment
Theories, models and Galois Connections
Our second meeting of the Model Theory Reading Group, and Nathan Bowler — a category theory PhD student — gave a terrific overview talk taking us through the rest of the second chapter of Hodges. Moreover, he briefly introduced us … Continue reading
An Even Shorter Model Theory
Justin Bledin, a grad student at Berkeley who gave a paper today at the conference here, has a useful seeming 35 page set of notes on material drawn from Chang and Keisler, and from the shorter Hodges, outlining some of … Continue reading
Posted in Logic
Leave a comment
Superdegree theories of vagueness
The first day of the first Cambridge Graduate Conference on the Philosophy of Logic and Mathematics. It seems to be going quite well. I was responding briefly to the first paper, by Elia Zardini, on a kind of degree theory … Continue reading
Stewart Shapiro, “Computability, Proof, and Open-Texture”
It was my turn briefly to introduce the Logic Seminar yesterday, and we were looking at Stewart Shapiro’s “Computability, Proof, and Open-Texture” (which is published in Church’s Thesis After 70 Years). I’ve blogged about this before, and although I didn’t … Continue reading
Starting the shorter Hodges
First model theory seminar today. We were just limbering up reading the first chapter and a bit into the second chapter. It fell to me to try to say something to introduce the reading — difficult as nothing very exciting … Continue reading
Posted in Logic
7 Comments