Graduate studies at Western
Philosophia Mathematica 17 (2):208-219 (2009)
|Abstract||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.|
|Keywords||Gödel's Incompleteness Theorems Wittgenstein's philosophy of mathematics Paraconsistency|
|Categories||categorize this paper)|
Similar books and articles
Zofia Adamowicz & Teresa Bigorajska (2001). Existentially Closed Structures and Gödel's Second Incompleteness Theorem. Journal of Symbolic Logic 66 (1):349-356.
Mark Steiner (2001). Wittgenstein as His Own Worst Enemy: The Case of Gödel's Theorem. Philosophia Mathematica 9 (3):257-279.
Juliet Floyd (2001). Prose Versus Proof: Wittgenstein on Gödel, Tarski and Truth. Philosophia Mathematica 9 (3):280-307.
Panu Raatikainen (2005). On the Philosophical Relevance of Gödel's Incompleteness Theorems. Revue Internationale de Philosophie 59 (4):513-534.
Francesco Berto (2009). There's Something About Gödel: The Complete Guide to the Incompleteness Theorem. Wiley-Blackwell.
Raymond M. Smullyan (1992). Gödel's Incompleteness Theorems. Oxford University Press.
Roman Murawski (1997). Gödel's Incompleteness Theorems and Computer Science. Foundations of Science 2 (1):123-135.
Robert F. Hadley (2008). Consistency, Turing Computability and Gödel's First Incompleteness Theorem. Minds and Machines 18 (1):1-15.
Charles Sayward (2001). On Some Much Maligned Remarks of Wittgenstein on Gödel. Philosophical Investigations 24 (3):262–270.
Added to index2009-05-23
Total downloads179 ( #2,250 of 739,315 )
Recent downloads (6 months)42 ( #1,944 of 739,315 )
How can I increase my downloads?