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: April 2008
[P] Portishead in Portishead
A recorded ‘studio’ performance of much of Third.
Posted in This and that
Leave a comment
[P]
When I lived in Sheffield, there was a record shop which had a wonderful stock of second-hand classical CDs (frequently topped up by a couple of people living in the area who reviewed for music magazines and sold off heaps … Continue reading
Posted in This and that
2 Comments
Gödel exercises
OK, I’ve at last really started what I’ve been promising to do ever since my Gödel book finally went to press, namely get sets of exercises up onto the book’s website. There’s now a slightly improved set of exercises for … Continue reading
Posted in Books, Logic
Leave a comment
Philosophy of Religion 10: Anti-theistic arguments
Where have we got to, then, a bit over half way through Murray and Rea’s An Introduction to the Philosophy of Religion? Religious belief has been tied (I’d say pretty misguidedly) to “perfect being” theology. Murray and Rea have a … Continue reading
Posted in Books, Religion
9 Comments
Non-Classical Logic
I’ve just picked up a copy of the second edition of Graham Priest’s An Introduction to Non-Classical Logic from the CUP bookshop. More than twice the length of the first edition which just covered propositional logics, this covers their extensions … Continue reading
Posted in Books, Logic
Leave a comment
Order and ordinals
One nice feature of Thomas Forster’s quirky but fun Logic, Induction and Sets is that it brings out how the theory of ordinals can be developed before doing any serious set theory, and why doing things that way round is … Continue reading
Posted in Books, Logic
Leave a comment
Philosophy of Religion 9: Theistic arguments
Chapter 5 of the Murray/Rea Introduction is called “Theistic arguments”. They start off — perhaps rather too predictably — by considering at length the tricksy argument which philosophy of religion courses seem to get obsessed with, but which (at least … Continue reading
The joy of The Joy of Sets
I’d not really come across Keith Devlin’s book The Joy of Sets before. But I was looking for something to recommend the first few chapters of — as a taster, so to speak, giving a sense of the structure of … Continue reading
Posted in Books, Logic
Leave a comment
Philosophy of Religion 8: Pluralism
No. I’m not giving up my day job. A new logic book project is under way and taking nearly all my attention. When I’m more confident that it is “taking off” and going places, I’ll say more about it here: … Continue reading
Posted in Books, Religion
3 Comments
Philosophy of Religion (an aside)
Luca Incurvati has just drawn my attention to this metaphysical speculation on the incarnation. Of course, the question whether you should be a counterpart theorist takes us into a whole different ballgame!
Posted in Religion
Leave a comment