Introduction

This seminar, led by Paul Livingston, Rocco Gangle, Graham Priest and John Bova, will provide an overview of formal methods and results to yield an understanding of the argument of Badiou’s Being and Event as well as further implications of formalism and formalization for contemporary ontological and political questions.

The course is divided into three parts: Part 1, taught by Paul Livingston, will provide an introduction to set theory along with its implications for Badiou’s conception of mathematical ontology, the structure of representation and the state, and the schematism of the transformative event.  Part 2, taught by Rocco Gangle, will treat the second half of Badiou’s argument in Being and Event, including the structure of the subject, Badiou’s critique of constructivism, and Paul Cohen’s theory of forcing in application to the problem of political transformation.  Part 3, taught by Graham Priest and John Bova, will provide a broader introduction to dialetheism, the theory of diagonalization, fixed points, and incompleteness (following on Gödel’s incompleteness theorems) and their implications for contemporary thought. In each part, the emphasis will be on obtaining a clear working understanding of the relevant formal theories and structures while continuously considering their implications for contemporary problems of engaged thought and action.

The recorded lectures are part of the GCAS Forms and Formalization Group Fall 2014 Series.

Modules

Here is the course outline:

1. Overview

This course will provide an overview of formal methods and results to yield an understanding of the argument of Badiou’s Being and Event as well as further implications of formalism and formalization for contemporary ontological and political questions.

Welcome Note

2. Introduction to set theory and formal methodology, I

This two-part module, taught by Paul Livingston, will provide an introduction to set theory along with its implications for Badiou’s conception of mathematical ontology, the structure of representation and the state, and the schematism of the transformative event.

Lecture #1

3. Introduction to set theory and formal methodology, II

This two-part module, taught by Paul Livingston, will provide an introduction to set theory along with its implications for Badiou’s conception of mathematical ontology, the structure of representation and the state, and the schematism of the transformative event.

Introduction to set theory and formal methodology, II

4. Introduction to model theory and Cohen’s forcing

This module, taught by Rocco Gangle, will treat the second half of Badiou’s argument in Being and Event, including the structure of the subject, Badiou’s critique of constructivism, and Cohen’s theory of forcing in application to the problem of political transformation.

Introduction to model theory and Cohen's forcing

5. Dialetheism, diagonalization and metalogic

This module, taught by Graham Priest and John Bova, will provide a broader introduction to dialetheism, the theory of diagonalization, fixed points, and incompleteness (following on Gödel’s incompleteness theorems) and their implications for contemporary thought.

Dialetheism, diagonalization and metalogic