Derrida and Formal Logic: Formalising the Undecidable

Derrida Today 3 (2):221-239 (2010)
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.3366/drt.2010.0205
 Save to my reading list
Follow the author(s)
My bibliography
Export citation
Find it on Scholar
Edit this record
Mark as duplicate
Revision history Request removal from index
Download options
PhilPapers Archive

Upload a copy of this paper     Check publisher's policy on self-archival     Papers currently archived: 23,316
External links
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
References found in this work BETA
Jacques Derrida (2008). The Gift of Death. University of Chicago Press.

View all 21 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
Jack Reynolds (2002). Jacques Derrida. Internet Encyclopedia of Philosophy.
I. I. I. Wheeler (1999). Derrida's Differance and Plato's Different. Philosophy and Phenomenological Research 59 (4):999-1013.
Samuel C. Wheeler Iii (1999). Derrida's Differance and Plato's Different. Philosophy and Phenomenological Research 59 (4):999 - 1013.

Monthly downloads

Added to index


Total downloads

103 ( #43,897 of 1,926,208 )

Recent downloads (6 months)

25 ( #20,756 of 1,926,208 )

How can I increase my downloads?

My notes
Sign in to use this feature

Start a new thread
There  are no threads in this forum
Nothing in this forum yet.