Wittgenstein on incompleteness makes paraconsistent sense

0Citations
Citations of this article
2Readers
Mendeley users who have this article in their library.
Get full text

Abstract

I provide an interpretation of Wittgenstein’s much criticised remarks on Gödel’s First Incompleteness Theorem in a paraconsistent framework: in taking Gödel’s proof as a paradoxical derivation, Wittgenstein was consequent upon 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. I show that the model-theoretic features of paraconsistent arithmetics match with many intuitions underlying Wittgenstein’s philosophy of mathematics, such as its strict finitism and the insistence on the decidability of any mathematical question.

Cite

CITATION STYLE

APA

Berto, F. (2013). Wittgenstein on incompleteness makes paraconsistent sense. In Paraconsistency: Logic and Applications (pp. 257–276). Springer Netherlands. https://doi.org/10.1007/978-94-007-4438-7_14

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free