Since the publication of the Remarks on the Foundations of Mathematics, Wittgenstein’s interpreters have endeavored to reconcile his general constructivist/anti-realist attitude towards mathematics with his confessed anti-revisionary philosophy. In this article, the author revisits the issue and presents a solution. The basic idea consists in exploring the fact that the so-called “non-constructive results” could be interpreted so that they do not appear non-constructive at all. The author substantiates this solution by showing how the translation of mathematical results, given by the (...) possibility of translation between logics, can be seen as a tool for partially implementing the solution Wittgenstein had in mind. (shrink)

In the scholarship on Wittgenstein’s later philosophy of mathematics, the dominant interpretation is a theoretical one that ascribes to Wittgenstein some type of ‘ism’ such as radical verificationism or anti-realism. Essentially, he is supposed to provide a positive account of our mathematical practice based on some basic assertions. However, I claim that he should not be read in terms of any ‘ism’ but instead should be read as examining philosophical pictures in the sense of unclear conceptions. The contrast here is (...) that basic assertions that frame philosophical ‘isms’ are propositional such that they are subject to normal argumentative evaluation, while pictures in Wittgenstein’s sense are non-propositional—they lack a clear truth condition. They, therefore, need clarification rather than argumentation. In this paper, I provide a detailed analysis of Wittgenstein’s treatment of philosophical pictures with special focus on his argument on contradiction. I begin by explaining the problem with this trend of theoretical interpretation, taking Steve Gerrard’s otherwise excellent interpretation as a representative example and pointing out why it is problematic. Next, I will argue that those problems do not arise if we take Wittgenstein’s task as the clarification of philosophical pictures. I do this, first, by explaining Wittgenstein’s method using his argument concerning the Augustinian Picture in Philosophical Investigations and then pointing out that the same method can be identified in the crucial arguments in his philosophy of mathematics. Finally, in order to connect my interpretation with the current scholarship, I will explain the relation of my interpretation with those of New Wittgensteinian scholars. (shrink)

In classical logic, a contradiction allows one to derive every other sentence of the underlying language; paraconsistent logics came relatively recently to subvert this explosive principle, by allowing for the subsistence of contradictory yet non-trivial theories. Therefore our surprise to find Wittgenstein, already at the 1930s, in comments and lectures delivered on the foundations of mathematics, as well as in other writings, counseling a certain tolerance on what concerns the presence of contradictions in a mathematical system. ‘Contradiction. Why just this (...) spectre? This is really very suspicious.’ ( Philosophical Remarks III–56) In the last decades, several authors (e.g. Arrington, Hintikka, Van Heijenoort, Wright, Wrigley) have been digging into Wittgenstein’s rather non-standard standpoint on what concerns the interpretation and import of contradiction in logic and mathematics, and many other authors (e.g. da Costa, Goldstein, Granger, Marconi) have been investigating the possibility of taking Wittgenstein seriously as one of the early forerunners of paraconsistency. While many advances have been made on the first front, the second set of investigations has led almost exclusively to negative results: no, no operational proposal about the construction of a logic in which (some) contradictions are made inoffensive can be read from Wittgenstein’s philosophical work; in fact, it appears that the most one can find there is the exhortation for mathematicians to alter their attitude with respect to contradictions and to consistency proofs. The play is done, and one looks for a resume of the opera. This paper fills that blank, as a thorough investigation of the possible relations between Wittgenstein and paraconsistency. DOI:10.5007/1808-1711.2010v14n1p135. (shrink)

According to Wittgenstein, mathematical propositions are rules of grammar, that is, conventions, or implications of conventions. So his position can be regarded as a form of conventionalism. However, mathematical conventionalism is widely thought to be untenable due to objections presented by Quine, Dummett and Crispin Wright. It has also been argued that only an implausibly radical form of conventionalism could withstand the critical implications of Wittgenstein’s rule-following considerations. In this article I discuss those objections to conventionalism and argue that none (...) of them is convincing. (shrink)