Skip to content

Research at St Andrews

Wittgenstein on incompleteness makes paraconsistent sense

Research output: Chapter in Book/Report/Conference proceedingChapter


School/Research organisations


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.



Original languageEnglish
Title of host publicationParaconsistency
Subtitle of host publicationLogic and Applications
Number of pages20
ISBN (Electronic)9789400744387
ISBN (Print)9789400744370
Publication statusPublished - 1 Jan 2013

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. Modal Meinongianism: conceiving the impossible

    Berto, F., 2 Jan 2020, Graham Priest on Paraconsistency and Dialetheism. Başkent, C. & Macaulay Ferguson, T. (eds.). Cham: Springer, p. 3-19 (Outstanding contributions to logic; vol. 18).

    Research output: Chapter in Book/Report/Conference proceedingChapter

  2. The fundamental problem of logical omniscience

    Hawke, P., Özgün, A. & Berto, F., 20 Dec 2019, In : Journal of Philosophical Logic. Online First, 40 p.

    Research output: Contribution to journalArticle

  3. Logica con i social network

    Plebani, M. & Berto, F., Nov 2019, Rome: Carocci. 112 p.

    Research output: Book/ReportBook

  4. Impossible worlds

    Berto, F. & Jago, M., 13 Jun 2019, Oxford; New York: Oxford University Press. 336 p.

    Research output: Book/ReportBook

  5. The logic of fast and slow thinking

    Solaki, A., Berto, F. & Smets, S., 1 Jun 2019, In : Erkenntnis. In press

    Research output: Contribution to journalArticle

ID: 261203165