After the enjoyable Second Cambridge Graduate Conference on the Philosophy of Logic and Mathematics back in January, I wrote up some remarks I gave responding to a talk by Julien Murzi and Ole Hjortland, based on their ‘Inferentialism and the Categoricity Problem: Reply to Raatikainen‘ (which is coming out in Analysis). Luca Incurvati independently shared my worries about what they say about Smiley and rejection, and had more points to make about their remarks on intuitionism. Putting our thoughts together, Luca and I have come up with a joint paper “Rejection and valuations“, now also forthcoming in Analysis: it has, we hope, some stand-alone interest, if you want a steer on what is going on in Smiley’s original paper on Rejection. Enjoy!
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 to both of you. Looking forward to reading it.