This article examines Hilary Putnam's work in the philosophy of mathematics and - more specifically - his arguments against mathematical realism or objectivism. These include a wide range of considerations, from Gödel's incompleteness-theorem and the limits of axiomatic set-theory as formalised in the Löwenheim-Skolem proof to Wittgenstein's sceptical thoughts about rule-following, Michael Dummett's anti-realist philosophy of mathematics, and certain problems – as Putnam sees them – with the conceptual foundations of Peano arithmetic. He also adopts a thought-experimental approach – a (...) variant of Descartes' dream scenario – in order to establish the in-principle possibility that we might be deceived by the apparent self-evidence of basic arithmetical truths or that it might be ‘rational’ to doubt them under some conceivable set of circumstances. Thus Putnam assumes that mathematical realism involves a self-contradictory ‘Platonist’ idea of our somehow having quasi-perceptual epistemic ‘contact’ with truths that in their very nature transcend the utmost reach of human cognitive grasp. On this account, quite simply, ‘nothing works’ in philosophy of mathematics since wecan either cling to that unworkable notion of objective truth or abandon mathematical realism in favour of a verificationist approach that restricts the range of admissible statements to those for which we happen to possess some means of proof or ascertainment. My essay puts the case, conversely, that these hyperbolic doubts are not forced upon us but result from a false understanding of mathematical realism – a curious mixture of idealist and empiricist themes – which effectively skews the debate toward a preordained sceptical conclusion. I then go on to mount a defence of mathematical realism with reference to recent work in this field and also to indicate some problems – as I seethem – with Putnam's thought-experimental approach as well ashis use of anti-realist arguments from Dummett, Kripke, Wittgenstein, and others. (shrink)

In this essay I consider what is meant by the description ‘great’ philosophy and then offer some broadly applicable criteria by which to assess candidate thinkers or works. On the one hand are philosophers in whose case the epithet, even if contested, is not grossly misconceived or merely the product of doctrinal adherence on the part of those who apply it. On the other are those – however gifted, acute, or technically adroit – to whom its application is inappropriate because (...) their work cannot justifiably be held to rise to a level of creative-exploratory thought where the description would have any meaningful purchase. I develop this contrast with reference to Thomas Kuhn’s distinction between ‘revolutionary’ and ‘normal’ science, and also in light of J.L. Austin’s anecdotal remark – à propos Leibniz – that it was the mark of truly great thinkers to make great mistakes, or to risk falling into certain kinds of significant or consequential error. My essay goes on to put the case that great philosophy should be thought of as involving a constant readiness to venture and pursue speculative hypotheses beyond any limits typically imposed by a culture of ‘safe’, well-established, or academically sanctioned debate. At the same time – and just as crucially – it must be conceived as subject to the strictest, most demanding standards of formal assessment, i.e., with respect to basic requirements of logical rigour and conceptual precision. Focusing mainly on the work of Jacques Derrida and Alain Badiou I suggest that these criteria are more often met by philosophers in the broadly ‘continental’ rather than the mainstream ‘analytic’ line of descent. However – as should be clear – the very possibility of meeting them, and of their being jointly met by any one thinker, is itself sufficient indication that this is a false and pernicious dichotomy. (shrink)

An interpretation of Wittgenstein’s much criticized remarks on Gödel’s First Incompleteness Theorem is provided in the light of paraconsistent arithmetic: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was drawing the consequences of his deliberate rejection of the standard distinction between theory and metatheory. The reasoning behind the proof of the truth of the Gödel sentence is then performed within the formal system itself, which turns out to be inconsistent. It is shown that the features of paraconsistent arithmetics match (...) with some intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question. (shrink)