Francesco Berto has recently written “The Gödel Paradox and Wittgenstein's Reasons,” about a paradox first formulated by Graham Priest in 1971. The major reason for disagreeing with Berto's conclusions concerns his elucidation of Wittgenstein's understanding of Gödel's theorems. Seemingly, Wittgenstein was some kind of proto-paraconsistentist. Priest himself has also, though in a different way, tried to tar Wittgenstein with the same brush. But the resolution of other paradoxes is intimately linked with the resolution of the Gödel Paradox, and with understanding (...) Wittgenstein's views of Gödel's theorems. So this paper discusses some other paradoxes before looking at Wittgenstein's relevant views. (shrink)

In this paper, I offer a close reading of Wittgenstein's remarks on inconsistency, mostly as they appear in the Lectures on the Foundations of Mathematics. I focus especially on an objection to Wittgenstein's view given by Alan Turing, who attended the lectures, the so-called ‘falling bridges’-objection. Wittgenstein's position is that if contradictions arise in some practice of language, they are not necessarily fatal to that practice nor necessitate a revision of that practice. If we then assume that we have adopted (...) a paraconsistent logic, Wittgenstein's answer to Turing is that if we run into trouble building our bridge, it is either because we have made a calculation mistake or our calculus does not actually describe the phenomenon it is intended to model. The possibility of either kind of error is not particular to contradictions nor inconsistency, and thus contradictions do not have any special status as a thing to be avoided. (shrink)

According to some scholars, such as Rodych and Steiner, Wittgenstein objects to Gödel’s undecidability proof of his formula $$G$$, arguing that given a proof of $$G$$, one could relinquish the meta-mathematical interpretation of $$G$$ instead of relinquishing the assumption that Principia Mathematica is correct. Most scholars agree that such an objection, be it Wittgenstein’s or not, rests on an inadequate understanding of Gödel’s proof. In this paper, I argue that there is a possible reading of such an objection that is, (...) in fact, reasonable and related to Gödel’s proof. (shrink)

In the 1951 Gibbs lecture, Gödel asserted his famous dichotomy, where the notion of informal proof is at work. G. Priest developed an argument, grounded on the notion of naïve proof, to the effect that Gödel’s first incompleteness theorem suggests the presence of dialetheias. In this paper, we adopt a plausible ideal notion of naïve proof, in agreement with Gödel’s conception, superseding the criticisms against the usual notion of naïve proof used by real working mathematicians. We explore the connection between (...) Gödel’s theorem and naïve proof so understood, both from a classical and a dialetheic perspective. (shrink)

In his Remarks on the Foundations of Mathematics, Wittgenstein claims, puzzlingly, that ‘the proof creates a new concept’ (RFM III-41). This paper aims to contribute to clarifying this idea, and to showing how it marks a major break with the traditional conception of proof. Moreover, since the most natural way to understand his claim is open to criticism, a secondary goal of what follows is to offer an interpretation of it that neutralizes the objection. The discussion proceeds by analysing a (...) well-known geometrical proof. (shrink)