The Law of the Subject: Alain Badiou, Luitzen Brouwer and the Kripkean Analyses of Forcing and the Heyting Calculus
Graduate studies at Western
Cosmos & History 2 (1):92-133 (2007)
|Abstract||One of the central tasks of Badiou’s Being and Event is to elaborate a theory of the subject in the wake of an axiomatic identification of ontology with mathematics, or, to be precise, with classical Zermelo-Fraenkel set theory. The subject, for Badiou, is essentially a free project that originates in an event, and subtracts itself from both being qua being, as well as the linguistic and epistemic apparatuses that govern the situation. The subjective project is, itself, conceived as the temporal unfolding of a ‘truth’. originating in an event and unfolding in time, the subject cannot, for Badiou, be adequately understood in strictly ontological, i.e. set-theoretical, terms, insofar as neither the event nor time have any place in classical set theory. Badiou nevertheless seeks to articulate the ontological infrastructure of the subject within set theory, and for this he fastens onto Cohen’s concepts of genericity and forcing: the former gives us the set-theoretic structure of the truth to which the subject aspires, the latter gives us the immanent logic of the subjective procedure, the ‘law of the subject’. Through the forcing operation, the subject is capable of deriving veridical statements from the local status of the truth that it pursues. Between these set-theoretic structures, and a doctrine of the event and temporality, badiou envisions the subject as an irreducibly diachronic unfolding of a truth subtracted from language, a subject which expresses a logic quite distinct from that which governs the axiomatic deployment of his classical ontology. This vision of the subject is not unique to Badiou’s work. we find a strikingly similar conception in the thought of L.E.J. Brouwer, the founder of intuitionist mathematics. Brouwer, too, insists on the necessary subtraction of truth from language, and on its irreducibly temporal genesis. This genesis, in turn, is entirely concentrated in the autonomous activity of the subject. Moreover, this activity, through which the field of intuitionistic mathematics is generated, expresses a logical structure that, in 1963, Saul Kripke showed to be isomorphic with the forcing relation. In this essay, I take up an enquiry into the structure of these two theories of the subject, and seek to elucidate both their points of divergence and their strange congruencies; the former, we will see, primarily concern the position of the subject, while the latter concern its form. The paper ends with an examination of the consequences that this study implies for Badiou’s resolutely classical approach to ontology, and his identification of ontology as a truth procedure.|
|Keywords||Badiou Ontology Intuitionism Truth Forcing Mathematics|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Ray Brassier (2006). Presentation as Anti-Phenomenon in Alain Badiou's Being and Event. Continental Philosophy Review 39 (1):59-77.
Taylor Hammer (2007). The Role of Ontology in the Philosophy of Gilles Deleuze. Southern Journal of Philosophy 45 (1):57-77.
Antonio Calcagno (2008). Alain Badiou: The Event of Becoming a Political Subject. Philosophy and Social Criticism 34 (9):1051-1070.
Jamie Morgan (2011). The Significance of the Mathematics of Infinity for Realism: Norris on Badiou. Journal of Critical Realism 10 (2):243-270.
Zachary Luke Fraser, This Infinite, Unanimous Dissonance : A Study in Mathematical Existentialism Through the Work of Jean-Paul Sartre and Alain Badiou.
Dan Mellamphy & Nandita Biswas Mellamphy (2008). Paulitics. Symposium 12 (2):127-146.
Added to index2009-01-29
Total downloads18 ( #74,684 of 740,907 )
Recent downloads (6 months)1 ( #61,957 of 740,907 )
How can I increase my downloads?