This Archive is still in its nascent state, and hasn't yet been given any real organization or structure. Below, you'll find links to a number of texts that, for some reason or other, have fallen within the scope of interest of the Form & Formalism working group. Suggestions are welcome (please leave any requests in the comments section). I'll be adding to this list, myself, when I have time.

Adorno, Theodor. Negative Dialectics

Arruda, A.I., R. Chuaqui & N.C.A. Da Costa (eds.), Mathematical Logic in Latin America

Apostel, Leo. Logique et dialectique

Bachelard, Formation of the Scientific Mind.

Badiou, Alain. Being and Event

———. The Concept of Model

———."L'autonomie du processus esthétique."

———. "Mark and Lack: On Zero."

———."(Re)commencement du materialisme dialectique."

Birkhoff, Garret. Lattice Theory

Brandom, Robert.  Locke Lectures (initial form of Between Saying and Doing)

Châtelet, Gilles. Figuring Space

Cohen, Paul.  "The Discovery of Forcing."

Connes, Alain. Noncommutative Geometry

Derrida, Jacques.  Introduction to Husserl's 'Origin of Geometry'.

Dubarle, Dominique & André Doz. Logique et dialectique

Easwaren, Kenny. "A Cheerful Introduction to Forcing and the Continuum Hypothesis."

Eley, Lothar. "Life-world Constitution of Propositional Logic and Elementary Predicate Logic."

Frege, Gottlob. The Foundations of Arithmetic: A Logico-Mathematical Enquiry into the Concept of Number.

Girard, Jean-Yves. "Towards a Geometry of Interaction."

———. "The Phantom of Transparency"

———. Locus Solum

———. The Blind Spot

———. "The Meaning of Logical Rules I"

———. "Normativité, locativité, identité."

———. "Linear Logic"

———. "From Foundations to Ludics"

———.  "Normativity"

———. "Syntaxe transcendentale, manifeste"

———. Translations from the Philosophical Writings of Gottlob Frege

Grothendieck, Alexandre. Recoltes et semailles

———. Translation of the Tohoku article (Original here.)

Grompone, Juan. Estudios sobre la lógica dialéctica

Hegel, G.W.F. The Science of Logic 

———. The Phenomenology of Spirit (Pinkard's 2010 translation, in parallel with German text, available on his website)d

Hintikka, Jaakko. Knowledge & Belief: An introduction to the logic of the two notions

Kauffmann, Louis. Knot Logic

Lacan, Jacques. Écrits (full Fink translation)

Lawvere, F.W. "Quantifiers & Sheaves."

———. "Adjointness in Foundations."

———. "Diagonal Arguments and Closed Cartesian Categories."

———.  "Unity and Identity of Opposites in Calculus and Physics."

Lawvere, F.W. & S.H. Schanuel. Conceptual Mathematics

Lefebvre, Henri. Dialectical Materialism

Lecomte, Alain & Samuel Tronçon (eds.). Ludics, Dialogue and Interaction

de Lorenzo, Javier. Introducción al estilo matemático.

Mao Tse-Tung. On Practice & Contradiction. (Verso edition)

Patterson, Anna & Tom Costello. "Exponentials as Projections from Paraconsistent Logics" (abstract)

Petersen, Uwe.  "Logic without Contraction as Based on Inclusion and Unrestricted Abstraction." 

Petersen, Uwe & Valerie Kerruish. "Philosophical Sanity, Mysteries of the Understanding and Dialectical Logic."

Sartre, Jean-Paul. Critique of Dialectical Reason, vol 1

Simondon, Gilbert. Selections from the Mellamphys' translation of Du mode d'existence des objets techniquesPart I: Genesis and Evolution of Technical Objects (trans. Ninian Mellamphy); Part 3: The Essence of Technicity (trans. Dan Mellamphy & Nandita Biswas Mellamphy)

Sohn-Rethel, Alfred.  Intellectual & Manual Labour

———. Warenform und Denkenform

Wagner, Pierre.  La machine en logique

Zalamea, Fernando. Filosofía sintética de las matemáticas contemporáneas

———. América: una trama integral

———.  Ariadne y Penelope

———. Peirce's Continuum Part 1 and Part II

———. Los gráficos existenciales peirceanos

———. Razón de la frontera y fronteras de la razón

———. Signos triadicos Parte I and Parte II


What I think is a complete ZIP file of the Cahiers pour l'analyse.


AAAAARG, of course, where a wide selection of texts (predominantly coming from continental philosophy and political theory), which is even bigger, and whose immense archive contains ebooks, scans and galley proofs of every variety and on every topic -- including a number of the overpriced books on mathematics and logic that the parasite queens Springer, North-Holland, Kluwer, etc. are hoarding.