Be warned that the term 'overview' is apt. In particular the section on philosophy of mathematics is extremely brief, and misses out many important positions and issues in contemporary philosophy of mathematics. A better survey appears in the Stanford Encyclopedia of Philosophy.
There are also some strange passages, for example where Simpson suggests that Hilbert could have profited from examining Aristotle's distinction between potential and actual infinities. It is strange because Simpson does not say how Hilbert's finitism would have benefited from this distinction, although it is certainly a historically important one. Hilbert's immediate influence in this regard was Cantor, who essentially rebelled against the dogma of his day which held strongly to the Aristotelian line (albeit with exceptions; for examples see [1]).
Cantor's set theory treated infinite collections as 'completed' infinities which could be studied and manipulated mathematically just as finite objects can be. However, in a sense he merely tweaked Aristotle's doctrine, pushing allowable cardinalities far into the transfinite, but stating that 'absolute' infinity (such as the mathematical universe as a whole) was unattainable. Michael Hallett's book Cantorian Set Theory and Limitation of Size contains a good exposition of Cantor's position. A lecture on Cantor's philosophy was given last year at Bristol University by Leon Horsten, which you can download as an mp3. [2]
I've put this link in a web page and pointed you at that rather than submitting the PDF URL diectly, because I refuse to submit a PDF as a link, knowing that it would get scribd'd.
http://plato.stanford.edu/entries/philosophy-mathematics/
There are also some strange passages, for example where Simpson suggests that Hilbert could have profited from examining Aristotle's distinction between potential and actual infinities. It is strange because Simpson does not say how Hilbert's finitism would have benefited from this distinction, although it is certainly a historically important one. Hilbert's immediate influence in this regard was Cantor, who essentially rebelled against the dogma of his day which held strongly to the Aristotelian line (albeit with exceptions; for examples see [1]).
Cantor's set theory treated infinite collections as 'completed' infinities which could be studied and manipulated mathematically just as finite objects can be. However, in a sense he merely tweaked Aristotle's doctrine, pushing allowable cardinalities far into the transfinite, but stating that 'absolute' infinity (such as the mathematical universe as a whole) was unattainable. Michael Hallett's book Cantorian Set Theory and Limitation of Size contains a good exposition of Cantor's position. A lecture on Cantor's philosophy was given last year at Bristol University by Leon Horsten, which you can download as an mp3. [2]
[1] http://plato.stanford.edu/entries/settheory-early/
[2] http://www.bris.ac.uk/philosophy/podcasts_html/Cantor_by_Leo...