The first issue of The Review of Symbolic Logic is out and available online (if your library has the right subscription). And two Cambridge friends have papers in it, both on set theory. Luca Incurvati has a piece on Kripke semantics in set theory, and Thomas Forster discusses the iterative conception. Excellent stuff.
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.
Thanks!
Interesting stuff.
I also enjoyed reading about your visit to Italy.
You’ve dealt a few times the issue of how clearly (or not) various philosophers write, so this might interest you:
http://leiterreports.typepad.com/blog/2008/06/philosophers-wi.html