Derrida and Formal Logic: Formalising the Undecidable

Derrida Today 3 (2):221-239 (2010)
  Copy   BIBTEX


Derrida's key concepts or pseudo-concepts of différance, the trace, and the undecidable suggest analogies to some of the most significant results of formal, symbolic logic and metalogic. As early as 1970, Derrida himself pointed out an analogy between his use of ‘undecidable’ and Gödel's incompleteness theorems, which demonstrate the existence, in any sufficiently complex and consistent system, of propositions which cannot be proven or disproven (i.e., decided) within that system itself. More recently, Graham Priest has interpreted différance as an instance of the general metalogical procedure of diagonalisation. In this essay, I consider the extent to which Derrida's key terms and the essential operations of deconstruction can be formalised. I argue that, if formalisation is indeed the technique of writing par excellence, then the formalisation of deconstructive concepts tends to show how the auto-deconstruction of total systems arises from the problematic possibility of writing itself. For instance, since diagonalisation permits the ‘arithmetisation of syntax’ whereby a formal system is able to formulate claims about its own logico-grammatical properties, we can understand its potential to inscribe the undecidable within the systematicity of language as simply one instance of the potential of writing, in figuring itself, to render inscrutable the trace of its own origin.



    Upload a copy of this work     Papers currently archived: 74,466

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library


Added to PP

152 (#81,493)

6 months
5 (#143,864)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Paul Livingston
University of New Mexico

References found in this work

Margins of Philosophy.Jacques Derrida - 1982 - University of Chicago Press.
State of Exception.Giorgio Agamben - 2004 - University of Chicago Press.

View all 26 references / Add more references