Taller Sobre Badiou y la Lógica Matemática en la Ciudad de México

As I mentioned in an earlier post, I will be holding a three-seminar workshop this Tuesday and Wednesday at La Universidad Iberoamericana, in Mexico City. The seminars will be held in a combination of English and Spanish (I took the trouble to putting together my slides in Spanish, but will probably swing back and forth between the two languages as necessary. It's been a while since I my Spanish was at a fluent conversational level). I'll post my powerpoint slides to the blog after the seminars, if anyone's interested.

1. Sobre El Concepto de Modelo de Alain Badiou, (martes 10 de mayo, de 9am a 10:30 am y de 11 am a 12 pm)


2. El Concepto y La Categoría de Forcing (Forzamiento), de La Subversión Infinitesimal al Ser y el Acontecimiento, (Miércoles 11 mayo, de 9 am a 10:45 am)


3. El Proyecto Lógico de Jean-Yves Girard, como Radicalización Lógico-Matemático de la Critica de el 'Espejo-Mito' de Saber Criticado por Althusser y Badiou, y como una Condición Contemporánea para la Filosofía, (Miércoles 11 mayo, de 11:15am a 1:00pm)

LECTURAS PARA LOS SEMINARIOS

El seminario donde el text se va usar se indica en abrazaderas, en la forma [S#].

Textos citados por negritos son fuertemente recomendados. Los otros son algo opcionales.

Unos de estes textos se pueden encontrar al sitio de Jean-Yves Girard: http://iml.univ-mrs.fr/~girard/Articles.html

o el sitio dedicado a los Cahiers pour l’analyse: http://www.web.mdx.ac.uk/cahiers/

Althusser, Louis. “Prefacio: De El Capital a la filosofía de Marx,” in Para leer el Capital. Buenos Aires: Siglo XXI. [S1]

Althusser, Louis. Curso de filosofía para científicos (introducción: Filosofía y filosofía espontánea de los científicos, 1967). [S1]

Badiou, Alain. 2009 (1969). El Concepto de modelo: Introducción a una epistemología materialista de las matemáticas. Trad. Vera Waksman. Buenos Aires: La Bestia Equilátera. [S1, S2, S3]

———. 1967. La Subversion infinitesimale. En Cahiers pour l’analyse, Vol. 9. [S1]

———. 1968. Marque et manque: à propos de zéro. En Cahiers pour l’analyse, Vol. 10. [S2, S3]

———. 1999 (1988). El Ser y el acontecimiento. Trad. R. Cerdeiras et al. Buenos Aires: Manantial. Meditaciones 31, 33, 34, 35, 36. [S2]

Cohen, Paul. 2008 (1966). Set Theory and the Continuum Hypothesis. Mineola, NY: Dover. [S2]

Miller, Jacques-Alain. 1987 (1967). Acción de la estructura. En Matemas I. Buenos Aires: Manantial. (En francés: Action de la structure. En Cahiers pour l’analyse, Vol. 9.) [S2]

Girard, Jean-Yves. Proofs & Types. Trans. P. Taylor & Y. Lafont. Cambridge: Cambridge University Press, 1989. Vean especialmente Chapters 1-5. [S3]

———. Linear Logic, Theoretical Computer Science, London Mathematical 50:1, pp. 1-102, 1987. Restored by Pierre Boudes. [S3]

———. On the meaning of logical rules I: syntax vs. semantics, Computational Logic, eds Berger and Schwichtenberg, pp. 215-272, SV, Heidelberg, 1999. [S3]

———. Locus Solum, Mathematical Structures in Computer Science 11, pp. 301-506, 2001. (Vean la “Dictionary”, en particular.) [S3]

———. Le fantôme de la transparence, pour les 60 ans de Giuseppe Longo.
 Identité, égalité, isomorphie ; ou ego, individu, espèce. D'après une exposé à la réunion LIGC opus 10, Firenze, villa Finaly, 18 Septembre 2009. [S3]

———. La syntaxe transcendantale, manifeste, Février 2011. [S3]

(Todos éstos textos de Girard son para examinar ligeramente. No se preocupen por los detalles muy difícils o técnicos. Están disponible a http://iml.univ-mrs.fr/~girard/Articles.html)

Joinet, Jean-Baptiste. 2009. ‘Introduction’ a J-B. Joinet y S. Tronçon (eds.), Ouvrir la logique au monde: Philosophie et mathématique de l’interaction. Paris: Hermann. [S3]