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: August 2008
Parsons’s Mathematical Thought: Secs 16, 17, Modalism
In Sec. 16, “Modalism”, Parsons considers the stratgegy of rescuing eliminativist structuralism from the vacuity problem by going modal. To recap, we’re considering the schematic idea that an ordinary arithmetical statement is elliptical for something along the lines of For … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
The joys of Italian TV
This is fun. We’ve just got a small satellite dish installed and can now watch Italian TV (for free) while at home in Cambridge. The hope is that we pick up a little more of the language in a fairly … Continue reading
Posted in Italian matters
1 Comment
Killing Time
I’ve only just got round to reading Paul Feyerabend’s short autobiography Killing Time, which he finished just before his death. (I was stunned when I opened it to find that it was published in 1995: I can’t believe that I’ve … Continue reading
Posted in This and that
Leave a comment
Parsons’s Mathematical Thought: Sec. 15, Mathematical modality
Chapter 3 of Mathematical Thought and Its Objects is called “Modality and structuralism”. Before turning to discuss modal structuralism in Secs. 16 and 17, Parsons discusses what kind modality it might involve. Setting aside epistemic modalities as not to the … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
Parsons’s Mathematical Thought: Sec 14, Structuralism and application
We’re considering the schematic idea that an ordinary arithmetical statement is elliptical for something generalizing over structures, along the lines of For any N, 0, S, if Ω(N, 0, S) then A(N, 0, S), where Ω(N, 0, S) lays down … Continue reading
Posted in Math. Thought and Its Objects
Leave a comment
One book done, another started …
So, at long last, I’ve actually sent off to CUP the PDFs for the reprint of An Introduction to Formal Logic. And no, I’ve not been spending months non-stop on the revisions. But overall, I have now spent quite a … Continue reading
Posted in This and that
4 Comments
Wittgenstein’s trousers
Jeanette Winterson in yesterday’s Books supplement to The Times. I am not an absent-minded person, and certainly not like Wittgenstein who had to summon his friends to help him fasten his braces — he couldn’t match the loops to his … Continue reading
Posted in This and that
2 Comments
IFL again
It turned out that it wasn’t exactly urgent to get the revised version of my Intro to Formal Logic off to CUP when I got back from Italy. So I put it to one side to take another look at … Continue reading
Posted in This and that
2 Comments
[P] Portishead live at La musicale
Maybe one of my many wise and insightful readers could explain why someone whose main musical passions are for keyboard and chamber music from Bach to Schubert (especially Schubert) should be so smitten with Portishead. Well, an odd conjunction perhaps, … Continue reading
Posted in This and that
2 Comments