I Genericness as the symbolical body of reciprocity
Enunciating the universal
Universal text, generic code, pre-specific data
Ada Lovelace, the Enchantress of Numbers
II Lemmata in how to theorise the universal while remaining neutral on matters of believe
Lemma 1: Universality in terms of objectivity
Lemma 2: Universality in terms of subjectivity
Lemma 3: Thanatology, or becoming generically human within an economy of death
Lemma 4: Outraged about modernism‘s hypocritical thanatocracy
Lemma 5: From inventories to apparatus
Lemma 6: Intellectual brightness beneath the light of the sun, and the world as a well- tempered milieu
Lemma 7: Two traditions of mathematical reasoning, the problematical and the axiomatical
Lemma 8: The idiosyncrasy of pure mathematics
III Realism of ideal entities: conceiving, giving birth to, and raising ideas on the stage of abstraction
Intellectuality has its natural residence in universal text whose corpus provides a collective body to think with and to reason in.
Homothesis as the locus in quo of the universal‘s presence
IV The amorous nature of intellectual conception
Textuality that conserves the articulations of a generic voice
Arché, Arcanum, and Articulation.
What is at stake with the notion of the universal?
„The paradox of the enunciation of the universal. Historical experience and the history of philosophy have made us highly sceptical towards the very possibility of enunciating the universal, yet the universal can be said to have become a fact of contemporary life, and the attempt at enunciating the universal remains an inescapable demand, in politics and notably in practice. Not to enunciate the universal is impossible, but to enunciate it is untenable.“
– Etienne Balibar 
Traditionally, the notion of the universal is one that is to comprehend what is a property of all things. If Balibar raises the problem of the universal within a dedicatedly political set-up (as is the case with the above citation), it is because the universal necessarily addresses the problems of justice and judgement. As a philosophical problem, the question of how to enunciate the universal is usually raised today in relation to secularised forms of power, e.g. by Carl Schmitt who famously declared that „[A]ll significant concepts of the modern theory of the state are secularised theological concepts.“ For Schmitt, the whole history of politics and law can be understood in relation to, and read indirectly through, the history of metaphysical systems. However we might think about his manner of making this postulate, the recent revival of „political theology“ certainly expresses the relevance of his perspective: Alain Badiou, Slavoj Žižek, Giorgio Agamben, all consider themselves atheists, and yet they have given fresh attention to arguments from religious traditions, especially to the writing of St. Paul, in order to formulate version of universalisms.
If we were to look for stages in the development of the concept (rather than what it is meant to refer to), we might perhaps say that in ancient Greek philosophy, the universal was articulated in the categories, as that in which the systemic structure is given from which an order of natural kinds may be deduced by proper reasoning; within the scholastic heritage of Greek thought, the idea of natural kinds gave way to the idea of divine predication, and the universal was addressed in the Christian terms as the Judgements of God. Against the background of this profile we can see how, as Schmitt points out, finding a way of dealing with the universal rests as a challenge at the very heart of the diverse modern processes of secularisation. Against the legacy of thinking identity according to a specifically general nature (antiquity) of how the universal is given in natural kinds, or according to an individual nature in scholastic theological philosophy, modernisation began to pose the problem of universal by seeking a non-individualistic identity notion in the split terms of a scientific objectivity which is to be determined by a political notion of subjectivity. Subjectivity, now, counts as what is predicated by the law in whose terms a national State is constituted. Within such terms, the universal is distributed according to a kind of grammar. But all descriptions which cannot refer to a positive notion of truth, are bound to remain entangled with a logics of salvation. This is how the problem of articulating and formulating the universal rests at the very heart of political modernity, through the status of political Law. The search for a positive notion of truth remains indispensable, it seems, even if nature is understood as a book written in the language of mathematics. The universal may well be formulate-able in the language of mathematics, yet with such formulation, it is not yet enunciated or articulated. At issue is the question of law and the question of how symbols are capable of contracting what is to count as truth. With this, also the political approach to the universal culminates in the problematical status of mathematical symbols. Even if we refrain from attributing them any kind of positivity, and in that respect the immenseness (literally the immeasurableness) of the very fact that there is life, nature, thought, consciousness, and death, by maintain that mathematical symbols are cyphers, the question of how we might reason the trias of arché, arcanum and articulation into a properly meaningful fabric of sense remains the crucial issue. Derrida and Badiou hold, for example, that mathematics deals with cyphers of voidness and absence, neither properly negative nor positive; with this, they both hold on to respecting the mystery of Being. But with positioning law as the cypher of finitude , politics comes to be subjected to an economy of death as the only assumedly possible framework within which one might attend to life-in-general. In this manner, mathematics, universality, and with that the very conditions for politics aspire to formulate generic life. And this shifts the concern with the universal in a political sense to another level: that of the forms of thinking according to which formulations of generic life formulate its „nature“ as „universal nature“. It is always systems of how to think about life in its „truth“ which constitute the basis for Law and political Rights. While metaphysical manners of thinking seek such nature in qualities, and emphasise conceptual forms of thinking about qualities, modern scientific as well as critical critical philosophy seek to formulate the nature of generic life quantitatively, and emphasise mathematical forms of thinking. The implicit assumption is in both cases that „naturalness“ – and hence the reference for how legal rights are distributed and articulated – be expressible primarily in either one of the symbolic forms, the conceptual or the mathematical. It is obvious how Schmitt‘s concern, that any purely secular understanding of politics and law must either consist in a certain forgetfulness of its own conditions, namely the theological principles that politics and law unwittingly invoke and require, or that they themselves must turn „religious“ (at least in a formal sense) when demanding of their subjects the schematically conforming performance of particular methods that are meant to counter such forgetfulness – a demand which is, inherently so, in contradiction with the acclaimed non-doctrinary character of experimental, critical, mathematical and objective science.
The dilemma of secularised politics and law consists in how to think the proper finitude that is to define the mathematical form of thought: method per se, without being rooted in some sense of transcendent nature like the Axiomatics of Euclidean Geometry or any other set of axioms that may be defined seems ill suited not for particular, but for principle reasons: mathematics itself is the domain where methods are being invented. As a form of thought, the mathematical is purely symbolic: the more rigorously methodical it becomes, the more abundantly inventive it becomes, this is what we can observe in the drastic evolution of mathematics since the 16th century. It constitutes a symbolic corporeality of reciprocal determinability. Mathematics is just as little a dead corpus as a language is a dead corpus. It lives within the infinite as its very element. Algebra, as we will see in a moment, is generally understood as „providing with finite means ways of managing the infinite“ . Like that, no particular body of reciprocal determinability ever exhausts the power of the infinite, of which mathematics captures, symbolises and appropriates more and more throughout its ongoing „genesis“. Hence, every sentencing of its vivid corporeality into a corpus that is stated introduces artificially, i.e. arbitrarily and deliberately, economical conditions that are to determine what may count as possible, impossible, feasible or likely and so on. These conditions are almost inevitably fitted for supporting the particular political manners of governing that claim to find their legitimisation in such a stated corporeality. If law and politics take as their „secular“ grounds of legitimation mathematical forms of thought, they must necessarily anchor themselves within a particular body of reciprocal determinability, and hence face the dilemma of sentencing the mathematical body within which they root to rigidly conform to one particular symbolic regime. In effect, law and politics elevate themselves above science precisely in aspiring to conform to nothing else but the manifestation of the most objective. This conflict indeed seems to be at stake in the co-called „foundational crisis“ during late 19th and early 20th century, when it became bluntly undebatable that the elements of mathematics are symbolically constituted, and hence rest, at least to a certain degree, on the conventional grounds of notational systems. George Boole reformulated around the 1850ies the legacy of syllogistic reasoning in such a manner that logics itself became the object „computable“ by algebra’s symbolic systems of reasoning – systems of reasoning in the plural, this is important. For Boole, it was clear that thinking itself must be attended in its bursting nature, a nature which necessarily exceeds any one form of thinking in particular. Yet such a view cannot be accommodated within a purely secular understanding of science, as it puts, at its very heart, a „spiritual“ nature. Undoubtedly, this is the background for people like Edmund Husserl as well as Sigmund Freud to have considered a genuinely psychical quantity notion, and to develop proper phenomenological and psychoanalytical methods of how they ought to be dealt with. What we have experienced throughout the 20th century is an unfortunate split in delegating all psychical aspects to „soft“ or „subjective“ side of sciences (the humanities), while maintaining an understanding of mathematical quantities largely untouched and non-responsive to their algebraic „deliberativeness“ for the „hard“ and „objective“ side of sciences (engineering and natural sciences).
It is with the popularisation of computers and information technology at large that this division into distinct departments becomes increasingly less tenable, as they produce in abundant manner artefacts which shape and condition our lived realities with „mathematical“ power combined with „subjective“ deliberation: The symbolic corporeality of reciprocal determinability has turned into a symbolic apparatus objectivity which can no longer be considered „natural“ as the other to „artificial“. Thus, the dilemma which Balibar‘s paradox formulates reaches deeper than the levels that he himself, and most of the political philosophers who theorise universality in relation to questions of legal rights, political subjectivity and citizenness usually address. The paradox at stake relates both strings together, that of natural belonging and that of mathematical truth. As such, enunciating the universal emerges as a paradox from the fact that (1) in any way which can claim to be objective, by the secular standards of scientific method rather than on grounds of a particular belief or ideology, we associate the universal with the mathematical, and (2) that no one is, properly speaking, „native“ to that realm of the mathematical. To put it in other words: anyone who wishes to enunciate a mathematical notion of universality must en-familiarise herself with it through intellectually appropriating the customs of this realm. Yet these customs, they lack an originality and pureness which could be restored, laid bare, or instituted in their proper rights. Rather, we might perhaps say, the realm of the mathematical is an abstract continent of ongoing origination, self-engendered through the symbolisations of its proper forms of thinking.
Thus, the problem again seems twofold. On the one hand, appropriating the customs of the mathematical is only possible at the price of huge costs, namely to deliberately grow into a stranger with regard to where we feel that we are, naturally so, native: the ways of every day conduct into which we are all, in our singular ways, born and within which we are more or less well accustomed. This, we feel in all the discourses around Identity Politics, Postcolonialism, International Law and so on. On the other hand, such en-familiarisation to an abstract symbolical continent comes at the cost of estrangement from ways of conduct in which we feel to be native, and which are dear and valuable for that reason, not only requires intellectual efforts for being achievable at all; but furthermore, it also animates intellectuality to grow capable of developing mastership on the new grounds – that of the mathematical – in an infinite variety of ways. Proportional to how well we are successful in en-familiarising ourselves to mathematical truth as our origin, we learn to avail over its conditions to greater or lesser degrees.
Attempts to „state“ the universal seem, inevitably, to corrupt the very intention behind doing so: namely to establish and control living conditions that may count as truly just and unbiased. Tragically so, the „mathematical language“ in which „the book of nature is written“ has turned out, between Galileo Galilei and, let say, Alexander Grothendieck, not to be a hoped for quasi-original language which would relief the people who speak it from all needs of and power to interpret and communicate. This is, or so we can at least speculate, why Balibar speaks of enunciation and thereby makes reference to Emile Benveniste‘s linguistic theory of utterances. Benveniste had raised thereby some structural problems of a general linguistics which, as I would suggest, extends no less over mathematical language than over the languages of mother tongues. With his theory of utterances, Benveniste sought to open up an intermediate condition between the formal space of statements in logics (in mathematical language this would correspond to algebraic sets and categories) and the morphological space of sentences in grammar (in mathematical language this would correspond to the diagrams in topology): „As individual production, utterance can be defined, in relation to language, as a process of ‘appropriation’“ he writes. „The speaker appropriates the formal apparatus of language and utters their position as speaker by means of specific signs, on the one hand, and by using secondary procedures, on the other.“ In consequence, he continues, „[T]he individual act of appropriation of language places the speaker in their own speech. The presence of the speaker in their utterance means that each instance of discourse constitutes an internal point of reference“. To put it a bit drastically, it seems as if the language confusion which is said, allegorically, to have resulted from building the Tower of Babel has spread from the realm of language and the conceptual to the realm of the mathematical. Instead of the allegorical diaspora of one people into many peoples which begin to occupy their respective territories in competitive manners, the abstract continent how promised to welcome and accommodate anyone who speaks the language of mathematics disperses into a number of bodies of reciprocal determinability, into many competing symbolical bodies of universal genericness, each of which provided and cultivates different customs of coding, and hence different realities of laws and rights. What I want to consider is that if we affirm that mathematics be a language, we can attend to its formulations and articulations as a kind of textuality that is liberated from a voice which, supposedly, has something to say that is relevant for many and that conserves its messages in written form. Rather, we can see in all that is computable instances of a generic textuality which does no more, but also no less, than providing and distributing the wealth of intellectuality throughout the reign of objectivity.
I Genericness as symbolical body of reciprocity
“Never forget the place from which you depart, but leave it behind and join the universal. Love the bond that unites your plot of earth with the Earth, the bond that makes kin and stranger resemble each other.”
– Michel Serres 
Enunciating the universal
When we attend today to Gailieo’s famous statement that Nature may well be written in a book, yet that this book be written in the language of mathematics, we usually treat it as a metaphorical statement. Mathematics is precisely not a language, we tend to feel. It is more immediate, a structure or an order that is independent of mediation, interpretation and rhetorical instrumentalisation. In this manner I referred to mathematics as an abstract continent, which has for centuries now promised to welcome and accommodate anyone who proceeds according to its methods. But with information based computation, the perspective of seeing in mathematics a language must appear much less metaphorical today. Hence, what I would like to consider in the following is how this dilemma is intimately related to the role of algebra within mathematics, and furthermore, with the constitutional status of algebra for computing. In computing, algebra indeed appears, in a sense that almost feels vulgar, as a kind of mathematical language. But the perspective of regarding algebra in this manner is far older than actual computers as we know them today, and it was perhaps most prominently pursued by Leibniz and Spinoza in the 17th century, and then again by the algebraists in the 19th century. At issue for this perspective was, then as today, how we could make sense of objects if their extension in time and space is rooted within an analytical and abstract construction, and not within a directly measurable, real and concrete immediacy of datum (givenness). To illustrate in perhaps the most quick manner what such rootedness within analytical extension involves, we can recall the Cartesian distinction between two substances, the Res Extensa and the Res Cogitans. This distinction is hardly overestimated if we consider it as the crucial one for modern science at large: science that is rational, experimental, objective, because it only settles with statements that are backed up empirically. Discarding mathematical proofs without empirical basis from scientific methods acted as a lever to lift science from dogma. But it also opened up a particular lacuna: symbolic notations multiplied, and acquired specific capacities. Whereas arithmetics used to be self-evidently applicable in uniform manner to all that can be counted, now there began to emerge particular systems of symbolic reasoning, of which not all embodied the same capacities for treating problems. In short, calculation acquired an indeterminate prefix, and began to need specification with regard to the nature of the system whose deduction it was to govern. By the time of the 19th century, there were numerous calculi around, and indeed, it became difficult even to distinguish between „a calculus“ and „an algebra“. It is in this situation that George Boole set out to postulate that there is a nature proper to thought in the same manner as there is a nature proper to physics. He conceived of his Laws of Thought not as axioms in any logically foundational sense, but as conservational laws in a manner analog to how the physical laws are conservational laws. In other words, Boole‘s laws of thought were not a kind of police system that is to control correct behaviour; rather, they are laws that allow for an empirical approach also to the Cartesian Res Cogitans. With such an outlook, the physical reality, in its status as the transcendent referent of mathematics, was challenged by a complementary „reality“, that of the symbolic. This is what stands behind the rising interest by mathematicians towards the end of the 19th century in establishing psychology as a natural science – on equal par and next to physics (e.g. Freud), or mastering over physics (e.g. Husserl), or subjected to physics (e.g. Russell, school of logical empiricism). We will come back to this bifurcation in the second chapter of this text, where we will discuss a few of the lemmata that arise from it in more detail, with an eye to their historical context and, especially, with regard to our question of what is at stake with the notion of the universal.
But first, let us attend to how these backgrounds have given way to the rise of programming languages, and how we might think about the „analytical extension“ at stake in computing as a universal kind of text whose elements are generic and whose extension is objective, in the sense of not being „authored“ by any one voice in particular.
Universal text, generic code, pre-specific data
Universal text, I will argue, manifests not only a kind of writing that is more profound, and decoupled from, writing that captures and represents voice and articulation, as Derrida suggests; rather I want to consider conceiving of universal text as a generic body-to-think-in, along the following lines: (1) Like language, universal text is collectively engendered before it can be individually appropriated. But, also like language, it dies, turns stiff and formulaic altogether once it ceases to be inhabited. (2) A generic body-to-think-in does of course have a form of organisation; but the referent of this form is not transcendent to it, rather it is engendered in an immanent manner. Conditions for transcendentality within the immanence of a distributed body, organised through the way this body collects itself, are provided from the distributed collectivity as it insists. A generic body-to-think-in does not, properly, exist; neither can we think of it as a being, because its essence is not perennial but self-predicative, it’s very nature is to engender its own nature. Rather, we would say, universal text conserves what remains invariant throughout all the forms and characters into whose expressions it might in principle engender itself. Universal text’s collective originality does not follow the linear order of progeny, but is comprehensively and circularly constituted. But unlike Derrida’s idea of an apparatus of arché-writing, generic textuality is not itself dead; it is quick and vivid, and its vividness is animated by no other transcendent principle than that constituted by the open totality of all the acts of learning which it comes to collect and organise. It is not a logics which follows an economy of parcelled finitude (death); it is an animal that lives and prospers from how it is being treated – generic textuality is animated by literacy. Appropriation of it does not deprive or consume it, but enrich and engender it. Thus, neither is it a logics which follows an economy of properties (life); rather might we see in it an infinitely wealthy principle, distributing rights of birth for all things in their universal origin.
Ada Lovelace, the enchantress of numbers
Let us begin by considering the backgrounds of programming languages. Ada Lovelace (1815-1852), the daughter of the somewhat scandalous poet (and freedom fighter) Lord Byron (1788-1824) is famous for perhaps the major leap in thinking which stands behind the paradigm of language for computation: she considered that Babagge‘s The Differential Machine, and its successor called Analytical Engine incorporate an abstract space in „manifest“ (symbolical) form, such that it could be coded. The problem that Babbage‘s machines address is a very pragmatical problem: they were both devised to automatically compute trigonometric calculations and logarithmic tables on which British Trade depended while sailing over the seas. The library entry of the European Graduate School gives a lively account: „Charles Babbage came up with the idea about the time the Analytical Society was founded in 1812. He was sitting in front of a set of logarithms that he knew to have errors. At that time there were people, called ‘computers’, that would compute parts of logarithms in a sort of mass productive enterprise. Babbage had the thought that if people could break down bits of a complicated mathematical procedure into smaller parts that were easily computable, that there must be a way to program a machine to work from these smaller bits and compute large mathematical computations, and to do so more quickly without human error.“ 
Ada Lovelace was a mathematician, but her interest in these engines was precisely not that they operated mechanically on bundling arithmetic sequences in handy bits and pieces, but that the numbers actually open up an entirely different kind of space to think in. She was the first to consider that the numerical space, as it is „manifest“ in such an engine, could actually have memory, and hence be structured in much more complex ways than the ideas of non-striated number spaces on which arithmetics usually relies. Much more, she thought, a numerical realm with memory and differential, heterogenous coordination, can be structured such that it can host activities not unlike the verbs are hosted by the grammatical structures of nouns, prepositions, and adverbs in language. That is, in different temporal forms that allow for story-telling, or, as we are more likely used to say, to encode several activities into a complex which we call procedures. From our perspective today we could say that she attended to the mediality of numbers, not only to their instrumentality: it is still means to an end, yet the end does not count as being predetermined in apriori manner. Rather, it is informed by what the means is capable of achieving – much like since the so-called linguistic turn in philosophy, we attend to the mediality of language within a transformational notion of grammar (Chomsky). Ada Lovelace has been called „the Enchantress of Numbers“ because she thought about the numbers in these engines as notational codes, and on this assumption she could invent the first theory of how to program. But these are retrospective descriptions, and I put them in somewhat suggestive terms, so let us see briefly how Lovelace speaks about this: „Many persons who are not conversant with mathematical studies, imagine that because the business of the engine is to give its results in numerical notation, the nature of its processes must consequently be arithmetical and numerical, rather than algebraical and analytical. This is an error. The engine can arrange and combine its numerical quantities exactly as if they were letters or any other general symbols; and in fact it might bring out its results in algebraical notation, were provisions made accordingly. It might develop three sets of results simultaneously, viz. symbolic results (…); numerical results (…); and algebraical results in literal notation.“ This latter, she continues „has not been deemed a necessary or desirable addition to its powers, partly because the necessary arrangements for effecting it would increase the complexity and extent of the mechanism to a degree that would not be commensurate with the advantages, where the main object of the invention is to translate into numerical language general formulæ of analysis already known to us, or whose laws of formation are known to us.“ We can see where her way thinking was to a certain degree conflicting with the pragmatic task at hand. „But it would be a mistake to suppose“ she is careful to point out, „that because its results are given in the notation of a more restricted science, its processes are therefore restricted to those of that science.“ It is this last remark, we might say, in which Ada Lovelace‘s leap in thinking mainly consists, and in which her approach was to contribute an additional and genuinely intellectual dimension to the mechanical instrumentality to the genius of Babbage. Thus let us look briefly, with Lovelace‘s leap of abstract conception still in mind, at the much more recent development of how such thinking, that situates itself in a literal number space which can host something like grammars for formulating computational utterances has developed since, and what we can imagine as these ,abstract‘ activities of which Lovelace envisioned that they could be staged and dramatised, through programming, in a number space that is, peculiarly so, literal.
There can be distinguished two very strong paradigms in programming throughout the last decades. Early languages such as Fortan, Ada, or C started out with a procedural paradigm. The main interest was to make available for easy application, as a kind of toolbox of “instruments” in coded “form,” the precise way of how a certain organisational procedure needs to be set up in order to function well. Think of SAP, for example. The developments in this paradigm are driven by the fact that every step of decision can thereby be “dispersed” into constitutive procedures, and hence, an infinitesimal limberness can be introduced into organisational forms.The paradigm subsequent to the procedural one pursued a much less directly hands-on approach, and instead became more didactical. With languages like smalltalk, Java, and C++, an object-oriented paradigm followed the procedural one, and it strictly kept apart the levels of what (described by procedures) and how (the specification of this what). Through this distinction, negotiation began to be supplied by “computational augmentation” about what is to be reached, and about how systems can be devised that allow the instantiation of procedures (whats) in much wider variations. Object-oriented programming allows devising entire “libraries” of “abstract objects” that depend on no statically specified order or classification system. Such abstract objects are called generic, and if we consider the algebraic genericness as the levels of abstraction in which things are treated in their powers, we can understand that they are not really “objects” at all—much more adequate would it be to say that they incorporate entire “objectivities“: they allow for one-of-a-kind particulars to “concretise” singularly, and optimally be fitted according to the local and contextual requirements of a task – and this not despite their mathematical formulation, but precisely because they are specified instances of universal enunciation, in the manner of algebra.
So let us look at algebra more slowly, by following its discussion in a dedicated article on Stanford Encyclopedia of Philosophy. Algebra is „a branch of mathematics sibling to geometry, analysis (calculus), number theory, combinatorics etc“ we are told, although, as the article continues, „in its full generality it differs from its siblings in serving no specific mathematical domain. Whereas geometry treats spatial entities, analysis continuous variation, number theory integer arithmetic, and combinatorics discrete structures“ the introductory paragraph continues, „algebra is equally applicable to all these and other mathematical domains.“ 
What we can immediately see from this is twofold: (1) it is custom to regard algebra as on equal par with other mathematical disciplines, in a manner that is „instrumental“, and not „constitutive“ as I would like to argue – it is presented as a brother or sister to them, not their parent; (2) yet we find support for the non-instrumental perspective immediately: unique about algebra among its siblings is, we are told, that it is independent of any domain in particular. A bit later on, when it comes to why algebra is of philosophical interest, the implications of this get even more explicit: „Algebra is of philosophical interest for at least two reasons. From the perspective of foundations of mathematics, algebra is strikingly different from other branches of mathematics in both its domain independence and its close affinity to formal logic.“ – so here we seem to be at the kernel of the problem at stake in conceiving of mathematics as language: there appears to be a competition about whether we should think of it as governed and organised by algebra or by logics. And yet, isn‘t it rather strange to see them in competition, if we follow how the article continues?
„Algebra has also played a significant role in clarifying and highlighting notions of logic, at the core of exact philosophy for millennia. The first step away from the Aristotelian logic of syllogisms towards a more algebraic form of logic was taken by Boole in an 1847 pamphlet and subsequently in a more detailed treatise, The Laws of Thought, in 1854. The dichotomy between elementary algebra and modern algebra then started to appear in the subsequent development of logic, with logicians strongly divided between the formalistic approach as espoused by Frege, Peano, and Russell, and the algebraic approach followed by C. S. Peirce, Schroeder, and Tarski.” 
This observation, that algebra has played a crucial role in the development of logics over the millennia, is the actual structure the Encyclopedia Article follows. On its basis, it distinguishes three „generations“ of algebra: elementary, abstract, and universal. The article makes no suggestion of how these three „generations“ are to be related to each other. This is rather confusing because the separation into „elementariness“, „abstractness“ and „universality“ seems to suggest that they all unfold within one common scale, within which they gradually, and in a kind of bottom up manner, extend their scope. This invokes a narrative of progressive approximation of a final goal – universality, the most recent generation of algebra, supposedly being the place to be reached. If we assumed instead that the generations correspond to different levels of abstractness, to each of which correspond simultaneously notions of elementarity, abstractness and universality specific to each level, we can rely on such a generational model of algebra in order to compare how these notions can be formulated in different manners. In the third part of this text, we will attempt to outline such a model by suggesting that each level of abstraction be a stage of „homothesis“, i.e. of how relations of equivalence and identity can be formulated. It is within such a space of homothesis, we will argue, that scenes of originality can be staged in different manners: elementarity associates algebra to geometry and forms, and establishes the construction frame of a space of homothesis; abstractness associates algebra to arithmetics and numbers, and provides the axiomatic frameworks within which particular inventories (calculi) of how to count, occupy and govern a space of homothesis can be developed; universality associates algebra with the alphabeticity of language and the articulation of invariant quantities, and allows to saturate the stage of abstraction with sense. The crucial shift in taking the mathematics-as-language-perspective culminates in the nature of these invariant quantities: they need not anymore be restricted to phonemes, to quantities that articulate the stream of breath, but rather we can read movement as a stream to be articulated, or equally, energy can be read as such a stream. But for now, and just to get more familiar with this difficult relation between logics and algebra, we will stick close to the generational distinction as is proposed in the Stanford Encyclopedia article. Let us recall, perhaps, that algebra provides „finite ways of managing the infinite“, as the article states, by elaborating general procedures of how we can enumerate and count possible solutions that can be found for a problem insofar as it is formulated in general terms.
The article speaks about elementary algebra as having provided, throughout the history of algebra until the 19th century, finite ways of managing the infinite. It elaborates: a formula such as πr² for the area of a circle of radius r describes infinitely many possible computations, one for each possible valuation of its variables. A universally true law expresses infinitely many cases, for example the single equation x+y = y+x summarises the infinitely many facts 1+2 = 2+1, 3+7 = 7+3, etc. Each of its methods is also applicable to many nonnumeric domains such as the subsets of a given set under the operations of union and intersection, the words over a given alphabet under the operations of concatenation and reversal, the permutations of a given set under the operations of composition and inverse, etc. Each such corpus of application is called „an“ algebra, and it consists of the set of its elements and operations on those elements obeying the laws holding in that domain. Here, each algebra is treated in a fixed and closed off manner. We can say that in them, what is provided are distinct inventories of coding. These inventories allow to encode particular situations (events) in manners that lets them appear as a case, that is, as an instance of a general form for which the inventory provides the means for computing possible articulations, declinations, conjugations, and so on.
We can imagine the relevance of these inventories for science by considering that it‘s symbolic constitution was, for example, crucial for learning to deal with quantities that must appear, in any intuitive sense, as genuinely „unreal“ – as negative values, infinitesimals, imaginary units. In effect of dealing with them purely symbolically, instead of intuitively, algebraic inventories allowed for example to go from mechanics to dynamics: elementary algebra opens up towards counting the movement of elements in space (mechanics), and the abstraction opens up to the interplay of elements in time (dynamics). Together, they introduce new magnitudes (speed, heat, eventually electricity and information) and thus engender a whole wealth of new possibilities that could now be realised – thermodynamics, the clocking and control of processes in systems with the steam engine, the translation of this systemical view to working conditions with the shift from manufacture to industrial fabrication in the factories, the invention of electricity, and so on. Algebraic inventories are dealing with symbols whose referents may be left arcane – like this, algebra can work with assumed quantities that, strangely so, are not really (physically) there – an infinitesimal is an infinitesimal exactly because it has no extension in space albeit it has one in time, and the imaginary unit not only proportionalises „complex“ quantities, but strictly speaking it proportionalises „virtual“ quantities: virtual in the sense that if we try to picture them, they have a discretised extension in time without having one in space. In his recently written History of Abstract Algebra , Israel Kleiner writes illustratively: “Bombelli [(1526-1572)] had given meaning to the ,meaningless‘ by thinking the ,unthinkable,‘ namely that square roots of negative numbers [these are imaginary units, VB] could be manipulated in a meaningful way to yield significant results. This was a very bold move on his part. As he put it: ‘it was a wild thought in the judgment of many; and I too was for a long time of the same opinion. The whole matter seemed to rest on sophistry rather than on truth. Yet I sought so long until I actually proved this to be the case.’“ Israel Kleiner describes what Bombelli means thereby: Bombelli developed a “calculus”, he explains, for how to manipulate these impossible quantities, and this was the birth of complex numbers. „But birth“, he points out, „did not entail legitimacy.” This legitimacy question arises because computing with such arcane symbols has added a new dimension to mathematics with striking consequences: the input of certain values in a formula may now not only turn out to be unsolvable because of lack of solutions, it may also yield a solution space that is so vast in options that none of the possible solutions seem more necessary than any other.
The next generation of Algebra then is called abstract algebra. Whereas elementary algebra is conducted in a fixed algebra, as distinct inventories, abstract algebra treats classes of algebras having certain properties in common, typically those expressible as equations. Such general properties represent an axiomatic unity. In this generation, which emerged no earlier than throughout the 19th century and is introduced via the classes of groups, rings, and fields, the inventories of elementary coding are comprehended within larger frameworks that allow to generalise their elements. With this, the central interest was not anymore to find a particular solution, but to modulate and synthesise entire solution spaces by exploring the symmetry structures among them. Abstract algebra establishes, we might say, on the basis of elementary inventories for coding, generic spaces of potentiality. Within these generic spaces, the main goal is to expand the vastness of generically formulated solution spaces. Such solution spaces are rendering spaces for transformations (temporal change). With them, algebraic inventories can be elaborated into ontologies, into generically „natural“ Gestalten.
With this, we are in the third generation of Algebra – Universal Algebra. In universal algebra, the movement of analysis is not anymore one that departs from cases and seeks to find a generalisation of them. Analysis in universal algebra is inverse: it assumes a generalisation speculatively, and computes „backwards“ in order to see whether one might indeed, i.e. empirically, find cases that correspond to these generalisations. Whereas elementary algebra treats equational reasoning in a particular algebra (inventory for coding), and abstract algebra studies particular classes of algebras (generic solution spaces), universal algebra studies classes of classes of algebras, by attending to the categoricity incorporated by the inventories. It begins to explore the problematicity proper to the abstract and generic solution spaces, we might say. Universal algebra does not apply inventories of coding, nor does it conform to the conceptual generalisation of the inventories into classes and sets (generically „natural“ forms); it adjoins speculatively-specified natures to the generic ontologies, and thus prevents them from resting firmly, by challenging them to grow ever more capacious. With this, universal algebra destabilises the link between mathematical formalisation and empirical falsification, because it treats any solution that can be computed as an arbitrary case. It regards any one formulation of a problem as problematical, that is, as genuinely indeterminate and yet (possibly so) resolvable.
Let us work out the contrast more strikingly: Abstract algebra operates within a notion of fully determined general and conceptual nature, where a correct computation corresponds to a necessary framework within which a solution is to be found, and within the confines of which it allows for gradual variation; universal algebra on the other hand operates within the impredicative horizon of definable frameworks, within which solutions can vary not only gradually, but also categorically – the values of its formulations can be predicated within varieties that may differ in kind.
This was indeed the key critique on George Boole‘s algebraic logics, and it is illustratively expressed in an open letter by one of his contemporaries in the mid 19th century: „The disadvantage of Professor Boole’s method is […] he takes a general indeterminate problem, applies to it particular assumptions […] and with these assumptions solves it; that is to say, he solves a particular determinate case of an indeterminate problem, while his book may mislead the reader by making him suppose that it is the general problem which is being treated of. The question arises, is the particular case thus solved a peculiarly valuable one, or one more worthy than any other of being solved? It is clearly not an assumption that must in all cases be true; nor is it one which, without knowing the connexion among the simple events, we can suppose more likely than any other to represent that connexion.“
Boole’s methods were not shown to be faulty or inconsistent—the reason why they had been disliked or even spurned by so many was the immense depth of horizon they had opened up. The openness of this horizon results from regarding intuition not as based in a sensible quantity notion, referring to something that extends in both time and space, but as referring to an intellectual quantity notion. It is a distinction which affects the very heart of critical philosophy. Immanuel Kant himself had considered this option before discarding it. In a short appendix to his Critique of Pure Reason, which is entitled „The amphiboly of concepts of reflection“, Kant criticised that Leibniz, in his thoughts on a universal characteristics, departed from an intellectual notion of intuition instead of a sensible one; he rightly observed that in consequence of this, judgements about a thing in general – i.e. about an object – can never be possible in an unproblematical manner. With this development, mathematics is opening up an abstract domain for developing and raising our faculties to make judgements – yet daringly decoupled from all grounds that could, unproblematically, be considered grounded in „natural“ reason. This is why, as I want to argue here, we ought to begin considering our abilities to compute in terms of literacy.
It is surely due to these reservations that Boole‘s algebra, like the contributions of Hermann Grassmann, Bernhard Riemann and others, were met with greatest possible suspicion by their contemporaries. It is hardly exaggerated to say that within philosophy, the view on algebra as a natural and vivid language that is capable of articulating the universal in different manners (either in the elementary or universal form of particular cases or in the abstract form of generic logics) fell nearly to oblivion except for some enthusiasts like Charles Sanders Peirce and Alfred North Whitehead, until Claude Shannon realised that Boole‘s Logic actually allows to be applied to electrical current. On this basis he invented his Mathematical Theory of Communication . The revival of the view on algebra as language, and as constitutional rather than instrumental for mathematics at large is very recent (category theory developed roughly since the 60ies) – and it is regarded as „too abstract to be useful“ by many.
And yet, in what kind of world would we find ourselves if we began to consider that through Information technology, universal algebra is de facto constitutive for nearly all domains in how we organize our living environments today?
II Lemmata in how to theorise the universal while remaining neutral on matters of believe
In this chapter, a few of the lemmata shall be raised which mark the current impasses and limitations in how to the universal may be theorised from a stance that wishes to remain neutral on matters of believe. We have already pointed out how towards the end of the 19th century, the project of developing a rigorous method for gaining insights on psychical phenomena that may count as objective as those gained on physical phenomena began to emerge broadly – in part from within the very heart of mathematics (namely number theory , in the case of Husserl’s phenomenological method), or by alluding to the new and emerging sciences of applied mathematics, namely the polytechnical sciences (thus in the case of Sigmund Freud, who set out to characterise the human psyche in the generic terms of a dynamical apparatus). The question that gradually gained importance thereby concerns the „nature“ (in the sense of „categorial status“) proper to technical objects: are they to be considered as generic objectivities? universal natures? deliberately designed artifacts? In the following I will move in indexical and annotating manner through some of those theoretical stances which deal today in an explicitly critical sense with the question of technics and artificiality, and their relevance for aiming to formulate universal objectivity
Lemma 1: the universal in terms of objectivity
Lemma 2: the universal in terms of subjectivity
In reasoning, so the agnostic stance maintains, there is a dimension at work in which we are all, as individuals, dispossessed. The objects of such reasoning are expected to be described in a universally valid manner: only under this condition can the concepts that comprehend such objects count as scientific concepts. Yet the question remained: To whom, to what subject, we might attribute such objective thinking to? A universal subject would be a subject which needs to be conceived, somehow, as being capable of predicating the objective without any personal investment, will, and appropriation as privation. Indeed, we can read much of contemporary political philosophy with the lens of how a universal subjectivity might be conceived – from this point of view, almost every contemporary contribution to the discourse roots back to Hegel’s Bureaucracy as such the universal class of such subjectivity, and Marx’s turn of it into the Proletariat: from Laclau’s and Mouffe’s heteronomeous condition of hegemoniality to Hardt and Negri’s Multitude, Badiou’s and Žižek’s ideas about how to conceive of such an abstract persona whose voice is to matter most (Žižek’s lacanian-hegelian Master Discourse; and Badiou’s Mathematical Ontology) to Agamben and Virno’s interest in personifying abstractly the (Marxian) concept of a General Intellect. What haunts political theory since the dawn of modernity is the idea of a subjectivity that were at one and the same time natural and universal, a truly „generic“ subjectivity. A subjectivity which can truly claim to qualify the genus it describes without any reference to properties that would not naturally belong to all of its instances equally – naturally meaning, by their birth, by that which is given from the beginning, with what a thing is ‘equipped’ to ‘set out’ and ‘start with’ in continuing to be itself. Robert Musil has famously written a novel of a man whom he portrayed in the light of such an essential abstinence from having individual quality and property, as the man who aspires to be, tautologically, nothing but a man (Der Mann ohne Eigenschaften, 1930-32). The trouble with which the novel struggles is that as a character with a life of its own, the protagonist of this novel is inevitably faced with what revolves throughout the novel like a sheer impossibility: Ulrich tries to find meaning for his life under the condition of resigning from all the possibilities offered to him by the particular class to which he happens to belong – as an intellectual, a mathematician by education – namely that of the Bourgeoisie. In vain attempts to reconcile “soul and exactitude”, his individual vocation and his individual profession, Ulrich searches for a place and role purely within the ‘universal class of mankind’ – that is, by refusing to accept any privileges that might be granted to him on the basis of his particular individuality-within-the-actuality-of-the-social. Musil’s novel is appreciated widely for its capacity to express and thematise in most subtle and differentiated ways a widely shared mood of the Zeitgeist, and counts today as one of the most influential books of the 20th century.
Lemma 3: Thanatology, or becoming generically human within an economy of death
Let us look at a more recent example which wrestles with the same topos, Bernard Stiegler‘s Technics and Time I – The Fault of Epimetheus (1994). Stiegler‘s book is concerned with the question of humanism. Against the pragmatical eagerness of anthropological attempts at answering to this question, Stiegler reminds us of the Aristotelian distinction between natural beings and technical beings: „Every natural being … has within itself a beginning of movement and rest, whether the ,movement‘ is a locomotion, growth or decline, or a qualitative change … [whereas] not one product of art has the source of its own production within itself.“ The essence of a technical being, in distinction to a natural being, Stiegler points out, is that no form of „self-causality“ animates it. Self-causality, this is the essence of nature – of things which are born and decay, things which continue a genealogical lineage which unites them, in distributed manner, through a shared generic origin. In the case of humans, and this is the trouble Stiegler wants to address by relating technics to time, is that both qualifications of the Aristotelian distinction apply to us: humans are natural, they are born and they die, but at the same time, humans are also the product of their own art, as the entire history of civilisation testifies. Similar like Musil‘s take on the theme, Stiegler also maintains that man is the animal without qualities; yet unlike Musil‘s narrative, which projects the personal story of an individual protagonist, Stiegler‘s narrative is to account for this theme on the level of history. Thus, Stiegler‘s concern is not primarily Ulrich‘s admirable naivety of attempting to continue with himself as purely himself yet in entirely generic terms. Stiegler‘s concern is a significant twist more abstract. It is precisely because we cannot possibly succeed in Ulrich‘s honourable ambition, he maintains, even if we tried hard, that we qualify as generically human. For Stielger mankind is not only, in its essence, the animal without quality. To him this is only a derivative observation. What really characterises man, according to Stiegler‘s narrative, is that he had gone forgotten in the original act when natural properties were being distributed among all kindred animals. What in Musil is the naivety of an individual‘s life-project, turns with Stiegler into a naivety that is man‘s original predicament. Stiegler refers thereby to the myth of Prometheus and his brother, Epimetheus, who, when the appointed time came for mortal creatures to be born, were told to distribute suitable powers as their natural properties among all animate beings. Epimetheus apparently begged Prometheus to do the distribution himself, and asked him to review it after it is done. Plato tells the story in his dialogue Protagoras:
„In his allotment he gave to some creatures strength without speed, and equipped the weaker kinds with speed. Some he armed with weapons, while to the unarmed he gave some other faculty and so contrived means for their preservation. To those that he endowed with smallness, he granted winged flight or a dwelling underground to those which he increased in stature, their size itself was a protection. Thus he made his whole distribution on a principle of compensation, being careful by these devices that no species should be destroyed … Now Epimetheus was not a particularly clever person, and before he realized it he had used up all the available powers on the brute beasts, and being left with the human race on the hands unprovided for, did not know what to do with them. While he was puzzling about this, Prometheus came to inspect the work, and found the other animals well off for everything, but man naked, unshod, unbedded, and unarmed, and already the appointed day had come, when man too was to emerge from within the earth into the daylight. Prometheus therefore, being at a loss to provide any means of salvation for man, stole from Hephastaeus and Athena the gift of skill in the arts, together with fire – for without fire, there was no means for anyone to possess or use this skill – and bestowed it on man. In this way, man acquired sufficient resources to keep himself alive, but he had no political wisdom. This art was in the keeping of Zeus … “ 
As such, Stiegler maintains, what is essentially human is to be in advance of one self – yet, he maintains, this advance is as much a delay as it is an advance. The means of salvation for man is skills in the art, and mastership of fire, yet it is an incomplete means because at the same time, humans lack of political wisdom. Without political wisdom, developing the power that is meant as their proper „means of salvation“ might as well turned against them.
Stiegler‘s narrative follows a proper logic which. Indeed, it is this logics which he believes to be capable of relaxing this predicament. It is a logics which lives not from thinking itself timeless, but one which must keep itself alive through remembering the mythical origin of the thought whose forms it organises. And the origin of such thought is its own original indetermination. According to the myth of Epimetheus and Prometheus, mankind owes its proper appearance in Genesis, as mankind, to having been forgotten. Prometheus equips mankind with the gifts of technics to compensate their being, originally, forgotten. Thus it is true that human being is, generically so, technical being; but coming to terms with our generic nature, for Stiegler, is bound to fail if we pursue it in terms of anthropology – i.e. in terms of a logics which assumes an original fullness and determinedness of mankind’s identity. Coming to terms with human nature can only succeed, possibly so, if pursued in what Stiegler calls thanatology: „The tragic Greek understanding of technics […] does not oppose two worlds. It composes topoi that are constitutive of mortality, being at mortality‘s limits: on the one hand, immortal, on the other hand, living without knowledge of death (animality); in the gap between these two there is technical life – that is, dying. Tragic anthropogony is thus a thanatology that is configured in two moves, the doubling-up of Prometheus by Epimetheus.“
The originality of mankind consists in its own origin as a default originally left empty, that is, pure form without specification. If we reconsider our nature in terms of an original in-determined-ness, which was only compensated for by the gifts that characterise mankind as a species, and if we invest our intellectual energies into actively remembering this origin, then the tragic way in which human capacity to intellect and reason seems to be bound up with the two generic temperaments of Prometheus (which is foresight) and Epimetheus (which is hindsight), might be temporarily postponed and controlled. Such investment of intellectual energies might well be made in the form of logics, and its pursuit for identifying the proper relations between things, yet it must be a logics which proceeds, first and foremost, by granting anything that presents itself – all apparent evidence – a proper autonomy and lawfulness of which all that can be said, is that it must be different from what appears evident. Stiegler follows closely, at this point, the doctrines of Jacques Derrida: We must think originality through writing, the latter maintains. For Derrida, writing must be bracketing an empty object, and considered as independent from the full presence of speech as, for Stiegler, the generic form of mankind must be bracketing an empty object, and considered as independent from the full presence of mankind in its assumed identity. Both hold on to how logics may organise the forms of life and thought, and for both it is a non-metaphysical logics of reproduction: for Derrida, literacy has to be considered as an apparatus , and for Stiegler, the nature of mankind has to be considered as an empty default. This relation between Derrida‘s thought about writing and Stiegler‘s thought about man‘s origin is important to consider. Only like this can we see that Stiegler‘s dramatisation of the Musilian theme – man without quality (or rather: positive properties) – would be ill understood as an anthropological theory. For neither does Stiegler’s position seek to define the generic identity of mankind, nor that which might count, in logical terms, as the negative other to such identity, and which Derrida calls Différance: „the history of life in general“. The whole problem consists, Stiegler writes, in this Derrida’en theme (the history of life in general), and in the sense that death acquires once the „rupture“ has taken place – the rupture being mankind remembering that what is essentially human is to be in advance of oneself: „life is, after the rupture, the economy of death. The question of différance is death.“  In this, Stiegler and Derrida agree; yet on its basis, the former articulates a theory of history as an apparatus that is to account for anthropogony, and the latter articulates a theory of literacy as an apparatus that is to account for the textuality of all knowledge.
Lemma 4: Outraged about the hypocrisy which reigns for principle reasons where thanatology is in power
Michel Serres is as outraged as Stiegler is outraged about any positivist anthropological project. For him too, there is a dimension of dispossession at work in what may count as generically human. Yet it is the individual dispossession which we experience in shared knowledge, literacy, and theory. „Today, it is all about mastering mastery, at stake is not anymore the mastering of nature“, he holds in his article „Betrayal: Thanatocracy“. What appears like the one and only outlook to Stiegler and Derrida – to write the history of life in general, according to a logics that organises its forms in apparatic terms – to him counts as the uttermost betrayal, as an act of servile hubris: for Serres, such aspiration seeks to realise the absurdity of eternal motion, or, as he sharpens the formulation of what this means: the mastery of „eternity in acth“ . Thus, Serres’ own outrage concerns a certain hypocrisy which he sees elevated to power once mankind settles in the conditions of thanatology. This is so for principle reasons, not for arbitrary coincidence: any apparatus, Serres calls to mind, must (1) be driven from a motor, and (2) feed from energy stocks. While the first point is considered by Derrida’s as well as by Stiegler’s apparatus (it is différance, literally the principle of any motor ), with regard to the second point there are problems with a logics that is conceived in the terms of an apparatus.
The act of striving to master eternity in actu requires to collapse our relation to the colossal, the immense, the only true source of all humbleness, as Serres holds – the very distinction that there are things which depend upon human powers, and things which don‘t. The very wish for mastering eternity in actu is growing out of fear, despair and violence in Serres’ opinion. What he sees shaped thereby is an instrument that, because it is declared to be absolute and uttermost mighty, has no purpose or project anymore – the most powerful and most productive „triangle“, as Serres calls it, the „triangle of industry, science, and strategy“ . He sees this instrument developing along a suicidal vector: it depends, for establishing the constitution necessary to support apparatic mastery (knowledge) on purely general grounds, upon activating all forms of reason into a restless state of available mobility within a closed, triangulated parcours . This parcour or pure instrumentality, without purpose, is characterised by Serres as a motor – „the abhorrent motor of modern history. Which reproduces itself by absorbing, within its exponential growth, all that it is not“ . There are several instances of it, as it is part of this motor’s structure to be „the greatest of all possible multiplicators“ . Without a proper purpose or project, within this closed parcours all forms of reasoning are subjected to the categorical demand of obeying to how a particular instance of this instrument „plays“ them. And each one of them is geared towards nothing else but feeding from what it is not – hence, the „true objective“ of each triangle apparatus „is the death of that which has produced the same infrastructure.“  Serres puts it drastically: „the sum total of all these objectives is genocide. Humanity has turned, collectively, suicidal.“  Knowledge-in-general literally rules in irresponsible manner, because it listens to nothing that comes from outside the institutions it sanctions. In servile and suicidally committed manner – „excited to madness“, Serres calls it  – institutionalised knowledge guides human politics not by striving to accommodate what is observed without ever having been expected; instead it rules idiotically, i.e. bare of inhibitions due to its own state of ignorance, sanctioned as the common denominator of all that counts in the name of thanatology’s voided forms of integrity. Institutionalised knowledge rules self-righteously, and hence merciless, by disposing over death in a manner almost completely immune towards irritation and doubt. Such knowledge decides and acts as if on a mission that takes place in the service of life. But life-in-general is life-in-theory, Serres maintains: it is theory raised to control actuality.
So let us look closer at the relation between motor and theory. „Every theory of motion and time, every theory of movement as history, names and constructs a motor which is to power and drive such movement“ . Here, Serres is in agreement with the point of view of thanatology: movement, theorised, is the quickness of death. Let me elaborate on Serres argument. A motor needs alimentation. If nothing were to exists outside or next to a motor – if, for example, we’d have a theory of motion and change that characterises life-in-general – then we’d have instituted a theory that governs eternity in actu: „If nothing exists except that which is moved, it can find its aliment only in that which it moves“. If we ought to find the motor within that which it moves – and nothing else is the claim of history! – that is, after the collapse of colossality as a category that hosts fate, and prevents the eternal from ever being fully actual, then the motor depends upon the reservoirs within the very element in which it exists and which it moves. „If the motor is within that which is moved, it functions by reserves, by stocks, by capital which it can find in there.“  It is a motor which drives time as it takes place, and which constitutes space as things happen in it – an existential motor – by corrupting the very existence driven by it. It is a cannibalistic motor. Theory which feeds on theory. History which feeds on history. Science which feeds on science. „The reservoir – a concept that we find in usage from Carnot to Bergson – keeps producing the energetic surplus which the motor adds to its inert running. This surplus, which provides a continuation. This additional more is a part which is taken from the whole, the reservoir, the capital. Thereby the entire question extends to these parts: to the sum of the reservoir, to the consummation of its sum total.“  Every attempt to measure the sum total of the reservoir meets at least three antinomies: that of space, that of time, and that of the unpredictability of that which can be exploited. „It is not enough to contest that what is moved be finite, that the reservoir be finite, because there are things finite that are of immense magnitude, practically impossible to enumerate, such that on human and historical scale it comes to be equivalent with the infinite. One only needs to consider the sum of energy which exists in the sun“.  But if measuring the reservoir is not a viable path to take, because it provides no ground for argumentation, then how to go about it? „One needs to describe directly how the motor functions“. Let us then follow Serres‘ description closely. Such a motor consists, he elaborates, in „the industrial complex at large, linked up with scientific research in its quasi-totality, whereby both are finalised through military application spectrums“. Such a motor, Serres continues, „is the most dynamical and most powerful that has ever been produced by history“. And yet, he pauses, it is first and foremost a motor, and this in several regards. (1): insofar as „it is the product (this means the intersecting plane) of our most effective multiplicators (intervention, production, innovation), it produces an inexorable, steadily accelerating movement“. Furthermore it is a motor insofar as (2) „it grows exuberantly and occupies space: it keeps growing, autonomously, and spreads equably from limit to limit, without the diverse conditions, which reign here and there, would affect it in any recognisable manner“. There is a third regard which we have to understand about this motor, Serres continues. It (3) subjects „a more and more able ensemble of material, economical, intellectual, human and political elements to its reign“ . And furthermore, (4), insofar as it „mobilises the most advanced innovation and realizes the majority, the growing majority of new products and new services.“  In short: „Propagation, movement, proliferation, expansion, control, novelty, all of these exist in this locus and through this locus“ , the locus proper to the motor. It is, finally, perhaps the motor per se, insofar as it (5) „homogenises the partitioning and represents the invariant through the diversity of its frames of reference“. 
Serres is careful to distinguish that all five points are nothing but a close description of how the motor works, and to draw a balance from it is a different matter. All of this description seems risky, but as long as the relation „between the exploit and the remuneration product“ is „partitive and move[s] between limits“ , the risk seems to be fairly small. But, and this is the crucial point, „the new products are of a powerfulness that equals the global reservoir“. The motor produces what Serres calls worldobjects: objects with the dimensions of the world, in the precise sense of the dimensional equations: for space (ballistic rockets), for the speed of rotation (stationary satellites), for time (the durability of atomic waste), for energy and for heat.  We are no longer playing with percentages and partitives, but „with the totality of the available capital, and the game is, decisively so, finite.“  This is what Serres means with his strong word of a collective suicidality in which he recognises the betrayal on life of which he accuses thanatocracy: continuing with generalising representations of the universal, while the motor that drives literacy and history shows in unambiguous manner that its finality is nothing less than lethal: „the totality of the product is geared towards the total destruction of the totality of the reservoir.“ 
It is important to realise that the „madness of theory“ of which Serres speaks does not identify a particular and unfortunate disfunction. For Serres, it is a principle madness that characterises all theory which does not consider its own measurements in terms of theatricality and dramatised activity. Theory which sets its own stage of abstraction transparent takes the triangle as an objective operator to measure what cannot be measured without specifying it, i.e. without depriving it of its generic universality. It attempts to measure, directly, what is immense. Immense, this does not mean incommensurable, contradictory, irreconcilable – these characteristics apply only if we subject immensity to a metrical principle. If we see geometry as an axiomatical system which represents the universal. But how could we think about geometry differently? Geometry can never give birth to what it measures except via physics, Serres maintains, and insists on applying geometrical measures not in a relation of ideal reference and representation, but within the (algebraic) lawful terms of conserving physical quantities: in the so-called Laws of Conservation (named after Emmy Noether), quantities can be measured of which all that needs to be specified is that they remain invariant throughout any transformation that is possible within a system. Such systems may count as perfectly generic, for example in the laws of conservation of mass-energy, or of linear momentum, angular momentum, electric charge, colour charge, or of probability. In all these systems, no positive definition of the characters of the conserved quantities are needed.
Before we will see in the next chapter of this text how Serres proposes we may account for the character of the universal in terms of invariances, let us take these critical considerations on direct measuring and the role of the triangle while turning back to Stiegler‘s and Derrida‘s point of view on how ontology must be approached as thanatology.
Lemma 5: From inventories to apparatus
Categories, in the empirical tradition after Aristotle, govern all notions of order independent of the assumption of one highest kind or an abstract universal principle, like those of Unity, Beauty, Justness and the like. Although, this is not really true: arguably, the sun must be understood as a universal principle of the empirical tradition, because it casts shadows on all things equally and hence renders them comparable by geometrical measurement and description: if we measure the shadows, anywhere and at any point in time, we will receive the same description – if only we do it systematically. Thus, by means of geometry, we can qualify the a thing’s nature, make it distinguishable and integrate-able into a collective. For that, measuring (magnitude, asking how much?) and counting (multitude, asking how many?) were intimately related and played together in a veritable philosophical grammar of quantity , the predecessor of our modern way of doing mathematics in the logical terms of sets. The outcome of categorial thought were inventories of pure forms that seek to characterise comprehensively all that is natural about natural beings. Aristotle distinguished ten different categories, among which we find for example quantity (e.g. four-foot), quality (e.g. white, grammatical), state (e.g. wearing shoes), date (e.g. yesterday, last year), relation (e.g. double, half). Perhaps the crucial point to change with the advent of experimental methods in science around the 16th century, as opposed to the Aristotelian empirical tradition, regards the role of these inventories. In science as well as in governance, the new manner of working systematically gradually began to discredit the manners of counting things on the basis of inventories that are to classify entities. Rather it began to realise that those inventories can be reckoned against each other, with significant profit. What counted as means to qualify different species of beings according to their different natures gradually turned into an index to being-in-general. The modern notion of laws came to factor out the authority of categories and their tabular organisation in inventories. Laws cease to count on the basis of particular inventories which claim to specify, as best as possible, what is actually given; rather, the legitimacy of a description rests on the success of general schema whose application in the description of a thing indicates what can be produced and reproduced.
Let us say, somewhat hyperbolically, that metaphysics as the study of the natural distribution of properties has gradually given way to dynamics as the study of the transformable distribution of properties. A notion of logics in the service of dynamics rather than metaphysics does not yield a natural order of things, but an apparatus that allows to transform all naturally distributed properties in their particular values.  For a logics that constitutes an apparatus, „everything begins with reproduction“ . In the beginning, Derrida points out, we find „original prints“ , not the plenty presence of speech or archetypes in full pureness. An apparatus‘ logics, so Stiegler agrees with Derrida, can no longer count as a logic of what is – being, life. It can no longer constitute an ontology; instead, it must count as a logic of original default. When logics no longer constitutes competing inventories, but one collective apparatus, we find ourselves within a logics of generative transpositions within systems. What is being transposed, for Derrida, is purely generic speech in the form of phonetic writing which characterises as „writing within writing“ . In technical terms, it is linear algebra which provides the mathematics in whose terms everything that works can be described in how it operates. Within it, we can do computations in the transformability space of purely formal, and hence generic, quantities. Derrida’s position negates the reality of a mathematical space of purely formal quantities and insists on the in-existence of an original and literal code; rather, he insists, this code is given only as cipher for which no key can possibly exist. Serres, on the other hand, seeks to abstract from the sheer operativity of linear algebra (rather than banning it to an impotent kind of being-negative, as différance, circulating and distributing quantities of death as the very essence of life-in-general), and shifts focus to universal algebra. With this, the generic stream of sheer circulation turns into a generic breath that can be articulated in universal manner – universal meant as corresponding to the universality that can be characterised by alphabets of code. We will come back to what this implies in a moment. For Derrida and Stiegler as well as for Serres, the crucial point regards how we think about the nature of generic quantities in whose transformation space we find ourselves, once logics turns away from the questions of why it might work (metaphysics), and instead focuses exclusively on how it works. Husserl, Heidegger, and in their continuation Derrida and Stiegler all thematise generic quantity in terms of a general energetics. It was clear already in the 19th century that such a quantity notion cannot be understood as strictly physical, but that it must count as a symbolical quantity notion. What this entails as a philosophical problematics has indeed been problematized by nearly all late 19th century mathematically-affine intellectuals, from which George Boole, Ferdinand de Saussure, Charles Sanders Peirce, Ernst Cassirer, Edmund Husserl, Bertrand Russell, Alfred North Whitehead all started out with distinct problematisations of the algebraic quantity question. 
Roughly speaking, the disputes unfolded around whether it ought to be addresses as logical or as psychological; if the former, whether logics ought to be addressed in terms of conserving knowledge, and accordingly through clarifying its „existential/semantical import“ (Frege), or in terms of mathematics as an art, the art of learning, and accordingly through developing and providing procedures and methods even if they resist universal applicability and depend upon a literacy that is more comprehensive than strictly mechanical, and that needs to be mastered individually (Boole, Peirce, Whitehead). In short, at stake, in this dispute, is once more the discarded metaphysical question of why mathematics works, beneath and above the sophistication of how it works.
Lemma 6: Intellectual brightness beneath the light of the sun, and the world as a well-tempered milieu
Let us see more closely how Stiegler frames this context as the „technicisation of mathematical thought by algebra, in terms of a technique of calculation“  in his introduction to the first volume of Technics and Time. At stake is the idea that geometry be the barer of all meaning insofar as we can consider it natural, objective, bare of willfullness and instrumentalisation. Stiegler continues the considerations brought forward by Husserl, according to which an arithmetisation of geometry has lead „almost automatically to the emptying of its meaning. The actually spatio-temporal idealities, as they are presented first hand in geometrical thinking under the common rubric of ,pure intuitions,‘ are transformed, so to speak, into pure numerical configurations, into algebraic structures.“ 
Numeration is considered, by Stiegler as well as by Husserl, as a loss of „originary meaning and sight“ . Universal meaning, the meaning of nature as nature – meaning bare from intellectual distortions – renders itself, through the algebraic method that arithmetises geometry, as symbolic meaning: „In algebraic calculation, one lets the geometric signification recede into the background as a matter of course, indeed one drops it altogether; one calculates, remembering only at the end that the numbers signify magnitudes. Of course one does not calculate ,mechanically‘, as in ordinary numerical calculation; one thinks, one invents, one makes discoveries – but they have acquired, unnoticed, a displaced, symbolic‘ meaning.“  With this emphasis on geometric signification, Husserl (as well as Stiegler and Derrida) remain attached to the sun as the universal „principle“ that was held central throughout the empirical tradition since Aristotle. All alphabetical characterisation that can be given of things must be grounded in the uniform play of natural light and shadow which the sun casts equally on all things being. With its emphasis on direct measurement, the empirical tradition has always countered a tradition which we might perhaps summarise as conceptual, and which held the discreet character of the phonetic alphabet as the governing principle over the elementariness of geometrical forms. While the former sought to comprehend of the world in purely natural light, the latter credited its symbolical domination by intellectual brilliance. Central to it is the rejection that measurement be possible in any direct manner, and it proceeded and developed around the symbolisation of this indirect or mediate nature of measurement. While such symbolisation was of course appropriated as legitimating evidence for distributing privileges, in religious and mystical interpretations, it seems safe to maintain that algebra itself is bare of any such appropriations. It proceeds with symbols in a purely formal manner, and contributed all the major steps in abstraction that have allowed us to deciphering nature through mathematics in more and more general terms. In this sense, I would like to speak of the algebraic method as a method of natural science on equal par with the geometric one, while bearing in mind that both of them have served ends that must be considered as not following the purely scientific interest of studying nature. Obviously, this is exactly what Husserl among many others in the 19th century would not grant; the insistence on „geometrical signification“ discredits algebraic symbolisation any natural and non-vested legitimacy.
But the geometric method and the algebraic method can be observed to have always challenged each other throughout the history of science. In antiquity, the algebraic method can be seen (however implicitly) at work in Plato’s Timeaus, and the role he ascribes therein to the triangle as a veritable geometric atom, capable of partitioning in due terms the physical elements of fire, water, earth and air which he conceived to be distributed proportionally among all sensible things. In this set up, the triangle is not only a pure and intelligible form, it also serves as a mediator between the spheres (the intelligible and the sensible), this is why we must regard it not only as a form but also as an atom. Furthermore, Lukrez’ atomism can be read in this tradition as well, and in more recent times, Leibniz stands out in this tradition. And it has perhaps been most duly worked out in his dream of a mathesis universalis, a philosophical projection of the alphabet into a general order of the alphabetical. Leibniz conceives of the universal not through an inventory of pure forms and deduced from an axiomatic system, but through the infinitary articulation of an axiomatic system with the help of a characteristica universalis. Such a method appears to Husserl, Heidegger, and many others, as Stiegler rightly summarises, as metaphysical. And indeed, there is plenty of reason for their caution, for it is not difficult to see Leibniz‘s dream in the long historical context of assuming there to have been, once, an Original Language in pure form, a language before the tower of Babylon, an Adamitic language even before the Fall. In short, an innocent and virginal language where all meaning is unambiguous and immediately transparent equally to everyone who speaks it; a language where neither lies nor poetry are possible (or necessary), where thinking needs not be guided by logics, nor has any use of sophistication, tactics, foresight and planning.  Any pursuit of such a language is deeply nested within the problematics of how to separate science from religion, and, ultimately, the question of how empowerment through learning (intellectual brilliance) can be affirmed through cruel narratives of salvation and apocalypse, understood in terms of necessary purification, absolution, and penitence.
Yet all this precaution disregards the infinitary mode of articulation which Leibniz was careful to attribute to his way of thinking about the character of the universal: he did not claim to have found a new alphabet, I wish to argue, but he raised the alphabet to the level of the alphabetical – by treating its space of symbolisation in a mechanical and operative manner. It must be distinguished from mechanical manners in general because it works with the discreetness of coded forms. Like this, Leibniz can introduce an infinitary way of proceeding by the „alphabetised“ geometrical method.
Lemma 7: Two traditions of mathematical reasoning, the problematical and the axiomatical
Thus, the caution regarding Leibniz‘s dream need not lead hastily to its judgement and condemnation. What I will try to argue and work out in the following is a misunderstanding that seems to underly the rejection of calling upon the universal in the operative terms which combine method with characteristics, rather than in descriptive terms which combine form and systems of rules. Indeed, we can pick up a distinction that goes back to Pappus of Alexandria in the 6c AC, between two vectors of interest in how to think about the relation of mathematics to nature, namely as „problematics“ and „axiomatics“ . Dan W. Smith summarises as follows: »The fundamental difference between these two modes of formalisation can be seen in their differing methods of deduction: in axiomatics, a deduction moves from axioms to the theorems that are derived from it, whereas in problematics a deduction moves from the problem to the ideal accidents and events that condition the problem and form the cases that resolve it.” We can characterise this distinction by profiling the two notions each in the light of the other: both relate mathematics to solving problems on the basis of experience already gained and documented, traditionally in the form of algorithmic tables.  Now while the former is more concerned with extracting from such experience more general procedures of how to pose problems such that they can be solved, the latter is concerned with articulating systematical forms of organisation which can integrate the diverse principles of how such experience based insight may be integrated into a common body of knowledge. Viewed along these lines, I would characterise the tradition of problematics with primary interests in operations – thereby choosing one of two fairly bitter pills, here the one of dealing with a diversity of manners of expression and formulation; the tradition of axiomatics on the other hand, I would characterise with primary interests in integrating particular applications of operations into a common compass, whose stability lives from unified manners of expression and formulation – choosing, in this case, another pill which is also fairly bitter, namely that of ignoring from further consideration all that tends to obstruct the established hierarchical system that is meant to represent such unified compass. The axiomatic tradition is what we came to call „theoretical mathematics“, while the computations of new general procedures is referred to as the heuristic and merely subservient „art of computing“, or „art of mechanics“, bearing on a sense of sight that belongs, so the accusation of modern morals, more to imagination than to theory.  Still today this distinction of different senses of inner sight – literally allowing us to reach „insights“ through thinking – is made reference to, even in common day conversations, as „intuition“; while intuition means for many some kind of singular and individual gut-feeling, the notion has meanwhile also come to be used as a veritable flag word in the defense, or, respectively, the attack of the superiority of the axiomatic tradition; in this tradition, the sense of the concept (intuition) is quite different – it names a general and inter-subjective, not singular and individually varying, sense of inner sight. The axiomatical tradition always took great pride in allowing no operations other than those that can be carried out by compass and ruler – this is important to remember, if we try to understand how the irrational value that characterises the diagonal of a square (the square root of 2) could be such an annoyance over centuries! With the invention of infinitesimal calculus and the elaboration of a general science of dynamics, this restriction was no longer tenable – for no other reasons than the sheer pragmatic success of symbolic notations.
In the narrative of Stiegler (following Husserl, Heidegger and Derrida), this is the beginning of techno-science: science which 1) arithmetises (and hence discretises) geometry, and 2) algebraises (and hence symbolizes) arithmetics: „With the advent of calculation,“ Stiegler writes, „which will come to determine the essence of modernity, the memory of originary eidetic intuitions, upon which all apodictic  processes and meaning are founded, is lost.“  Universality in relation to forms and rules that are deduced from how the forms can be combined, this is what Stiegler calls eidetic intuitions. It corresponds to the sense of inner sight we have aligned, above, with the axiomatic tradition. Before returning to how we can keep Leibniz‘s interest in a mathesis universalis and a universal characteristics distinct from participating in the apocalyptic or salvational narratives we touched upon in regard to the topos of an Original Language, let us point out the following: what Husserl, Heidegger, Derrida and Stiegler (among many others in mathematics and philosophy since the 19th century) mourn, is the eidetic intuition of „actual spatio-temporal idealities“  to which we must add, in the axiomatic tradition. The „geometric significance“, of whose loss Husserl speaks and for which he makes the development of algebraic methods and its symbolic notations responsible, concerns a notion of universality within the compass of a unified hierarchical system that allows for objective representation. It is significant within what we might call an approximated horizon, a horizon, hence, that not actually is a horizon, but one that is a represented horizon. Within it, geometry is appreciated as representing (however resistent to positivisation it may be considered) what remains constant. As such, geometry is taken into service of a representation of the Originary Language, the language before the fall, where neither care must be given, nor responsibility must be taken, of how we speak and communicate – because all meaning is immediately transparent. In the service of representation, geometry appears to have the capacity of purifying what can be named from all subjective investment, by measuring it objectively.
Lemma 8: The idiosyncrasy of pure mathematics
Vis-à-vis such a dream, the heuristics of algebraic computations that seek to render its equations solvable on further and further levels of abstraction seems to ridicule the orders among the fields that have already been „purified“ (conquered) and imprinted to one common plane of generality. This is how Stiegler can write: „the technicisation through calculation drives Western knowledge down a path that leads to a forgetting of its origin, which is also a forgetting of its truth. This is the ,crisis of the European sciences‘.“  Algebra behaves, as it always has within the problematic tradition, idiosyncratically. And this to an extent, in the 19th century, that has rarely, if at all, been achieved before – perhaps not any more since Pythagoras‘ times, with regard to the irrationality of the number which counts the diagonal of a square. As it was the case with Pythagoras’ irrationality of the diagonal, the two complementary ways of thinking about mathematics (axiomatics and problematics) were coarsely polarised in the 19th century into good and evil. Only, with the complication that somewhat schizophrenically, it was the symbolical which appeared as diabolic, because it renders explicit a plurality of notations rather than keeping with the notation of one, universal, meta-language.  Hermann Weyl has famously captured these sentiments in his often quoted phrase: „In these days the angel of topology and the devil of abstract algebra fight for the soul of each individual mathematical domain.“  Despite this drastic statement, Weyl was certainly one of those intellectuals at the time who would have readily agreed in not condemning and judging Leibniz‘s dream of a characteristica universalis too hastily. A main spokesman between the two predominant camps at the time with regard to the role of algebra for reasoning (the intuitionists and the formalists), Herman Weyl was eager to make explicit exactly the very same distinction which is crucial with regard to Leibniz as well: that the universal can on the one hand be systematised alphabetically in the operative terms of method and characteristics, and on the other hand in descriptive terms of conceptual form and numerical bodies of rules.  For him, the placement of intuition (as the natural faculty for insight) could not be decided simply in terms of „naturally given“ vs „intellectually achieved“. Rather, both play irresolvably together: „In the Preface to Dedekind (1888) we read that ‚In science, whatever is provable must not be believed without proof.’ This remark is certainly characteristic of the way most mathematicians think. Nevertheless, it is a preposterous principle. As if such an indirect concatenation of grounds, call it a proof though we may, can awaken any ‚belief’ apart from assuring ourselves through immediate insight that each individual step is correct. In all cases, this process of confirmation—and not the proof—remains the ultimate source from which knowledge derives its authority; it is the ‚experience of truth’.“  As I read this, Weyl does not position the algebraic procedures of proof against empirical procedures of induction, as many of his contemporaries suggested. Rather, he insisted that we need some kind of „inductiveness“ at work within the abstract symbolic procedures – that is, an empirical approach within symbolic reasoning. In this, arguably, he might agree with Dedekind, and also with Boole much more than he himself seems to believe in the above citation; both did not place algebra (proof procedures) under the regime of an axiomatic logics; rather, they both suggested that we need to always subject to empirical testing and questioning what may be perfectly substantiated by symbolical proof. Truth, according to this view, will never free itself and purify its statements from a certain deliberateness that corresponds to the amount of significance in which literacy is vaster than logics. It is in this aspect that their algebraic philosophy was at odds with the apologetics of geometrical ideality.
Michel Serres has attempted to put Leibniz‘ dream back into the context of this open issue. In a text entitled „Leibniz, translated back into the language of mathematics“ , he maintains that what has not enough been understood about Leibniz is that his philosophy must be regarded as systematic, of course, but in a manner that does not create one homogeneous system (an apparatus), but a two-fold one, an amphibolic one. Where this has indeed been noticed and accounted for – most prominently Immanuel Kant  – it has been taken as a flaw and mistake, a necessary absurdity which ought be avoided for the reasons just elaborated (relating to the algebraic quantity notion and the philosophical problems it entails). Serres ambition with „translating Leibniz back into the language of mathematics“ is to show that this structural amphiboly is not a malfunction or failure inherent to Leibniz‘ philosophy (in sofar as it aspires to be systematic), but quite inverse, that it is essential for it: „perhaps we ought to understand“, he holds, „that Leibniz conceived (at least) two systems in one; for sure, we ought to assume that combinatorics, which in initially was a technique for manipulation and which was eventually raised to the level of a universal doctrine, served Leibniz as a relational organ: an organ for relating a universal analytics with a universal aesthetics, for his system conceives firstly an analytics, and its morphology conceives an aesthetics.“  For Leibniz, and this is Serres point, mathematics does not allow us to clear our language into universal purity – mathematics is the universal language in which nature expresses and articulates itself. This inverses the relation fundamentally: learning to be clear in how we express thoughts still is in the service of filtering away what only appears, but is not; but there is no state of reference to be approximated, and laid bare, by this filtering. Clear and precise formulations express manifestations of symbolic solidity. Mathematics as universal language is a language that does not describe reality, it speaks reality: It collects reality, it comprehends reality. Its articulations manifest things in their symbolic consistency and reasonability. Mathematical language, in its formality, saturates itself with reality: „formalism is not opposing reality, if we ignore serious nonsense“  Serres maintains, „it is a technique of comprise, which is capable of saturating itself with a maximum of reality“.  This, he continues, is „the comprehensive paradox of a mathematics which is of ideal purity and plenary applicability: a language at the threshold to monosemy, hence the certainty of communication that is almost perfect, and at the same time bursting with polysemy, hence the promise of manifold transport. We are never deceived or deluded in it, and yet it is capable of saying all.“  We can think of this process of saturation perhaps best, if we consider the capturing process which it constitutes in analogy to how photovoltaics captures sun light and allows to store it as electricity. Albeit we must bear in mind that this analogy only works one-way: photovoltaics may help us to understand Leibniz’s idea of how the real can infinitely saturate itself, yet Leibniz’s manner of thinking will not be sufficient to understand how photovoltaics works. For this, we need the registers of quantums, as electro-dynamic units, and they must be considered as something different from Leibniz’s infinitesimals; in fact, it seems that they are inverse to each other: while Leibniz’s infinitesimals highlight continuity at work within discreetness, the quantum view highlights discreteness at work within continuity. But let’s make our analogy speak about the idea of saturation: there is a truly generic materiality to electricity, because its form remains indeterminate before it is translated into heat, pressure, impact and so on. It is crucial to distinguish photovoltaics from other ways of capturing energy, because it is the only source which comes from a without of the planet‘s ecosystem. Fossile energy, and also energy garnered from the weather like wind or tide, are different from solar: they merely shift around the distributions within the overall balanced system. Solar, on the other hand, adds to the amount total as it is manifest in it. From this, we can also see more clearly that Leibniz‘s universal language does in no way foreclose the question of how we orientate the development of intellectual power such that it turns out to be for the good, and not for the bad; indeed, it complicates possible answers as they exist, because it prevents the comfort of ever settling in one form or organisation. With this thinking, Leibniz introduces a new multitude to science – that of the infinitely small – and with it, also a new magnitude that will eventually constitute a notion of natural elements entirely dissolved into ratios of energy and matter, measurable in terms of heat, in thermodynamic systems.
In Leibniz‘ thinking about mathematical language that is capable of speaking real, the elementary units – the characters we might say – are monads. Serres specifies: monads „are the true atoms of nature; in one word, they are the elements of all things being,“  and indicates how we might read this: “the monads are for the nature of things being, what notes are to combinatorics, what letters are for written or what sounds are for spoken language, what points are for geometry, what truths are for logics of certainty, and so on: stoikeia.“  Yet, as he immediately points out, it would be a misunderstanding to think that monads were actually points, notes, atoms – rather, „they are elements of nature just like they are elements of languages, mathematics, music, and so on.“  Again, think of quantities of electricity gathered through photovoltaics – they can come to manifest in anything at all, in any form and any materiality, they are not, originally, food or wood or water or wind. Let us bear with this analogy between quantities of (solar) energy and monads for a moment. Monads are supposed to be true elements, simple and original entities – a monad is what cannot be divided ; and yet we must not think of them as elements that are naturally given. Leibniz’ does not argue for a literal interpretation of language in the sense that the reference relation were transparent and neutralised. It is not the case that for him, his language of monads would, miraculously so, be capable of expressing things in an immediate manner. The two-foldedness of his thought on systems, the amphibolic nature of a system’s structure, is essential to Leibniz’ thought: monads do not stand in for atomic elements, they count atomic elements by subjecting them to a symbolical order.The articulation of monads position and expose structures that may saturate themselves by capturing bits of indeterminate substance into the terms of the articulation: „Substantiae vel supposition“  as Serres puts it. The structure of exposition is symbolical, and arranged such that it may capture bits of the continuity of indeterminate substance just like the semiconductors of photovoltaic cells are structures that expose a symbolical net that captures, through filtering out of the indeterminate stream of light, quantums of electricity.
Again, it is with this analogy that we can understand better how formalisms, through being essentially saturateable, can speak real for Leibniz, as well as for Serres. Contrary to common understanding, which would think that system means state or stasis, Serres elaborates, what we can learn from Leibniz is the idea that „system means quickness (speed)“ . Analysis is amphibolic in the sense of being alphabetic, in this Leibniz’ian manner, and it counts universally in so far as it may take as its object anything at all, insofar as it is rendered into discrete and finite form, i.e. in all the manners in which the anything at all can be listed and catalogued by inventories of coding – in the words of Serres: „alphabets of linguistic, musical, signaletic, numerical kinds, the comprehensive project of the alphabet of human thought, calculated in its uttermost limits.“  Intellect, from this point of view, is not a transcendent voice which would give us unproblematic authority; rather it is „the playground of the possible“ . With this perspective, Leibniz frustrates the promise of comfort for gaining insight into an orbit of eternal stasis, through the development of intellectual capacity; but at the same time, he provides important grounds for shattering the power structures in the pre-enlightenment era of political and religious absolutism, which had instrumentalised and even monetarised just such hopes, and turned them into a veritable apparatus of oppression. 
Let us recapitulate briefly. Leibniz, in Serres‘s reading which we follow here, has raised mathematics to the level of self-awareness of its symbolic constitution: „The true presents itself with greater ease than the whole of reality, which remains for God‘s view alone. […] The true is but elected out of a completion, whose totality remains elusive to us“.  Analytical discovery and demonstration through proof do not depend upon exhaustive treatment of the real. If we comprehend of mathematics as a language, and its grammaticality as that of the alphabetical (any alphabet in general), consisting of universal characteristics (monads as mathematical terms ) and universal method (mathesis, equations as conservational laws), then technics is not the Other to natural beings. Technics can then be understood as what allows us to understand the nature of what we know. Michel Serres describes in his entire text what this perspective on algebra would change; let us quote two rather long passages in order to at least raise an idea of what is at issue: „We are in delay with a science of our own knowledge, just like with a science on the knowledge of an author,“  he holds, and asks „Why is it that we still don‘t have an articulate description of our spaces of perception … no articulate description of gestures, of conaesthetics, of introspection (Innenschau), of proprioceptive capacity, of the schemata of our bodies, the practical ways of conduct in work and craftsmanship, our sportive and artistic activities, of all the pathological composures of the body vis-à-vis itself and its environment?“  Topology is or contains, he maintains, an aesthetics „just like the logical-algebraic complex contains an analytics.“  Together they allow us to learn to understand the world according to a morphology of the forms in which we think, everyone individually and yet, because we can articulate thoughts in mathematical terms, also universally. „The weaver does not plunge his hand the same multiplicity as the mason, the athlete or the pianist; the claustrophobic does not develop the same topicality within one and the same ,space‘ as the actor, and so forth. How is it that we don‘t know, even though we do know? that theory is mistaking things, even though it would actually be ready; that we are immersed in precisely describable and highly differentiated multiplicity; that the individual differs, without doubt, and perhaps even determined by a peculiar profile within such manifoldness, in utterances which are extrapolated from that which Leibniz has said about manifoldness‘s topicalities? I don‘t see why these domains ought to be excluded from mathematical treatment.“ 
The morphology of the forms in which we think when we learn, when we exert mastership in craft and art or do science let us relate to nature in its bursting quickness: „All of nature is full of life. Nature is full, everywhere. How to describe such fullness, such continuity, these invariants which are stable across steady and continuous variations, these geneses which are coupled to processes of conservation, these interactions which rest on recursion?“  The morphology of quick manifoldness contains an aesthetics, because aesthetics is the one realm of judgements which cannot exhaustively be reasoned. This is why in Leibniz‘s double articulation of formalism and morphology, of analysis and aesthetics, of logical algebra and topology, never claims to exhaustively and comprehensively realise an accord (Einklang) between intellect and existence, between reason and liberty, monadology and monads, culture and nature. It contents itself with saying that it does realise one such accord: „Leibniz did not create a concluding mathematics of science, nor did he formulate a concluding metaphysics. This, he never claimed. He merely thinks that his two-fold philosophical system can realise such accord.“ 
III Realism of ideal entities: conceiving, giving birth to, and raising ideas on the stage of abstraction
„Language faces a truly boundless realm, that of the thinkable. It must make an infinitary use of a finite stock of means, and it can achieve this through the identity of the power which engenders thought as one and the same with that which engenders language. language is not to be treated as a dead something, engendered. It is not an ouevre (ergon), but itself activity (energeia).“
– Wilhelm von Humboldt 
The nature of the universal, according to the perspective we own to Leibniz (and Serres’ reading of Leibniz), can be separated neither from concrete sensible reality nor from the conceptual reality of that which is only intelligible. The nature of the universal is real, virtual, and dispersed equally much throughout the intelligible as throughout the sensible. The presence of what belongs to no thing in particular insists as the noisy confusion between the two spheres, and is hosted in nature’s comprehensive and bursting quickness of all that grows and decays. In the last two chapters of this text, I would like to return to the question with which we lead over to the lemmata discussed in the previous chapter: in what kind of world would we find ourselves if we began to consider that through Information technology, universal algebra is de facto constitutive for nearly all domains in how we organise our living environments today? Two things seem crucial: (1) we would have to assume that what we can calculate is not the necessary but the possible, and (2) theory must provide a basis for decision rather than relieving thought from the demand of „transcendental deliberation“ . If we regard mathematics (algebra) as a language, we must assume that ideas are essentially problematical and dependent upon clarification. In consequence, reasonable thought alone does not liberate us from the responsibility of power and the associated challenging task of dealing with moral value. Leibniz’s proposed system for philosophy suggests that we gain from it at once „an organon of intuition“ as well as „an architectonics of formal idealities“ . With this, we have a two-fold reality: organismic on the one hand, capable of metabolism and affectivity, as well a political complement, that of an architectonics, which gives rise to the question of where such natural reality of intellectuality may be thought to reside. So let me counter the lemmata discussed within the framework of a possible theorising of the universal that aspires to remain neutral on matters of believe with a brief and preliminary enunciation of how to dope such theorising without the aspiration to remain neutral with regard to matters of belief – neutral in a categorical sense, not in any specified one.
Intellectuality has its natural residence in universal text whose corpus provides a collective body to think with and to reason in
Text is not the scene of writing which hosts life-in-general, rather we might see in it the body of universal genitality. This body is the residence of the mathematical principle, which is host to all things generic and pre-specific. It governs magnitude, multitude, and value: symbolically. It is the master of all things that are most unlikely to ever happen or turn real. Universal genitality, incorporated in the principle of mathematics, is capable of performing incredible acts – like giving multitude an extension in time that is subjected to the fullness of space (Aristotelian ontology); or magnitude an extension in the fullness of time without having one in space (Dynamics); or it can give multitude an extension in the abundant plenty of space, together with a distributed-yet-collected one in time (probability amplitudes in quantum physics). Universal text is the body of an infinitely wealthy principle, its content is arithmetic and its form is restlessly generous; and yet it cannot give without demanding: it demands mastership in logics and in geometry by those who desire to receive what it has to give. Universal text as the natural residence of intellectuality is the also the collective body to think in. It is genealogical without originarily determined pureness; it is corporeal and yet arcane; it is natural in the sense of being sexed and gendered, yet impredicatively so: universal text is universal genitality. The architectonics of formal ideality is neither constructed from ultimate elements nor does it grow according to ultimate morphological body plans, rather, we might say perhaps, it takes shape through blossoming. It cannot be decided whether the character of the principle (mathematics), which is master in this residence, is a One or a Many. Rather, it is – symbolically so – both at once: it collects and comprehends confluxes from many geneses. This principle, which masters the natural residence of collective intellectuality, demands of its subjects nothing more than reasoning in a manner that proceeds archly, such that it may provide auxiliary structures of symbolical stages for abstract thought to conceive and engender objective ideas .
The elaboration of this lemma (or others that attempt to formulate the implications of regarding mathematics as language) into theorematical form remains an open task. But according to the suggested formulation above, we can at least begin to frame a preliminary answer to the main question of this text, namely What is at stake with the notion of the universal. What is at stake with enunciations of the notion of the universal, we might say, is the symbolical nature of the stage for abstract interplays between (1) the world as the entirety of the inhabited world (ecumenical movement), and (2) the state of public things in the world(republic). The promised reward of such a philosophical perspective should not be difficult to see, in a world whose marketplace extends globally, whose national governments are dependent upon each other and whose cosmopolitical citizens are communicating across all geographical, political and professional boundaries: even the mathematical and formal descriptions of things chemical, physical, or biological, are capable of manifold representation. Matter that is informed can be assumed to exist in universal and original form as little or as much as this can be assumed of language itself. This reverses the legendary confusion of speaking in many tongues which is said to have come over Babylon: while the Babylonian confusion usually exhibits that we have many names for the same thing, the informability of matter inverses the situation: we now have many things for the same name.
Hence, what I would like to suggest is a realist approach to the universal which considers it not as a space that gives room and hosts passively the extension to all things being, in sofar as they are pure and do not contradict each other. In terms of a realist understanding, the form of comprehension that is proper to the universal is communicational, and its nature is vivid and of infinite capacity. Unlike a notion of space that hosts the extension of things, which is supposed to be only giving without ever demanding anything, the communicational nature of the universal must be considered as being equally much giving as it is demanding: it gives everything that can be the object of intellection, and it demands to be received, spelt out, interpreted, formulated, and integrated into the architectonics of its formal ideality. It is a consequence of such communicational nature that nothing that corresponds to it – hence nothing that can be called universal – can ever be owned. But at the same time, it is not real unless it is being conquered and appropriated, intellectually. All communicational reasoning in the terms of universal text is archly reasoning, it is not reflective or projective reasoning. The nature of the universal is self-engendering, it does not, properly speaking, ever cease to take place or actually happen as long as it’s demand finds response and respect. We may think of it perhaps as an intermitting point, a moment that resides in its own lasting, or as a circle which desires to comprehend itself. All these circumscriptions, I would like to suggest, characterise the stage of abstraction from which the non-algebraic scene of writing, ultimately, accrues.
Michel Serres has drawn a portrait of Thales, and his conception of the famous theorem at the foot of the Pyramids, from which these ideas take much of their ésprit.  How can we face something impenetrable, immense and ultimately arcane, Serres’ text asks. What are we facing in the moments when we seek to elaborate symmetries through erected symbolical structures such that they are capable of conserving that of which all we can say is (1) that it must be considered invariant, and (2) that it can be passed on from one form to another form. Thus, in the remaining parts of this text we shall approach an elaboration of this infinite task and its reservoir for doping in indirect and iterative terms, by following Serres through the account he gives of how the birth of pure geometry has never happened
Homothesis as the locus in quo of the universal‘s presence
„Thales, who reads in the traces of the body, deciphers, ultimately, only one secret, that of the impossibility to enter the Arcanum of the solid body in which knowledge resides, buried forever, and out of which wells up, as if from a ceaselessly springing source, the infinite history of analytical progress.“
– Michel Serres 
In Serres text, we find ourselves in the desert with Thales, facing, in the pyramid, an impenetrable constellation. We might well recognise the pyramid’s outline as a triangle, but we know not how to measure it. We are taken to accompany Thales on an entourage that is pure concentration, a tour in the course of which we round ourselves and reach in circuitous manner, eventually, what is inaccessible straightforwardly and directly – a space in which measuring the pyramid becomes possible. It is an entourage in archly reasoning, reasoning which proceeds by an act of double-duplication: on the one hand, we duplicate the situation in which we find ourselves, and on the other hand, simultaneously, we duplicate ourselves as we find ourselves comprehended in that situation. All that is left for us to do, if we follow Thales and Serres, is giving an account of how we proceed by aspiring to measure each repetitious step taken. The cunning that drives such reasoning never properly manifests itself, neither positively nor negatively. It establishes, by what I will call double-duplication, a stage of abstraction that is capable of hosting a play of homothesis, as the dramatising establishment of „homology between the crafted and the craftsman” . The cunning by which we are driven manifests in no other way but in tending its own continuation. Tended by his own cunning, Thales’ double-duplication introduces a time that might remain, by giving way to the unlikeliness of finding an accord in which It (measuring what is overpowering, colossal and immense) acquires a space of possibility, exposed from elaborating the soundness of the presumed accord by computing auxiliary structures in all of which the same invariant quantity is at work. The postulation before Thales’ inner sight – a postulation in theory – of a module, from Latin modus, literally „a measure, extent, quantity, manner“, is enough to stage the invariant quantity at stake. This is what Serres tells us.
But how to find this quantity? All that there is to be contemplated, for finding an answer, so Serres tells us, is that Thales must find a unit of procedure, and that the quantity of this unit ought to be, if the procedure be feasible and valid, conserved by a structure. Thus, Thales must attempt to stage in abstract manner the very act of virtually en-familiarising himself with what is colossal and immense. Thales knows that the interiority of the pyramid is inaccessible, that it would be an unworthy violation to force his access into it. Thus, Thales pays all due respect to that and premises for his own symbolical double-duplication that the interiority spaced out in it be inaccessible as well. He treats the size of his triangle purely structurally – without knowing, at first, anything about this structure nor how he could possibly apply it for measuring. Thus, so we learn, Thales begins this elaboration by building a stock of experience – Serres calls it a résumée, from Latin resumere „take again, take up again, assume again“. Before Thales will be able to actually draw a circle, we learn as we go on, he has to factually go in circles. Many times. Learning to measuring, even in theory, Serres tells us, is an operation of application. One has to blossom into the capability of doing it. Thus Thales keeps beginning, and sums up what he finds along his iterations, and treats the sums he comes up with as a product of reciprocity, from reciprocus, „returning the same way, alternating.“ Gradually, so we are told, he invents a reproduction scale. How? All that we can say in this first iteration is that Thales measures the pyramid by postulating – on grounds no more „solid“ than the immateriality of a desire – that it be possible, and by striving to elaborate the conditions for his own postulation.
One idea Thales will substantiate, in the course of the elaboration of his postulate – that the inaccessible pyramid be measurable – is that the pyramid incorporates the principle of homothesis. Homothesis is, as we learn from Serres elsewhere , „one and the same manner of being there, of setting oneself into place“. The space of homothesis is a space of dis-location, deferral, and adjournment, with or without rotation, as he puts it.  Things that are governed by this principle, things that are tributary to the space of homothesis, are things that can be considered as equally bounded, in short, they can be considered as things that are commensurate. But what can be the source which sheds light to such a space for abstract intellection, and hence open it up to our intuitive sight? It is the sun which treats all things equally. Yet this equality, Serres calls us to beware, cannot in any direct manner be found in the sun itself, as if it were in immediate manner giving each thing its natural gloss. Nevertheless, we are told, the sun facilitates that an abstract space may be engendered. The engendering of such an abstract space is, for Serres, the Greek miracle whose revelation made eventually possible what he calls the fabrication of a mathematical language, the sole language which „knows how to resolve conflicts and which never depends upon translation“ . The language spoken in such abstract space is the sole language in which there are no barbarians, because everyone speaks it as an immigrant, with no political obligations of conforming to the mother tongue spoken by natives. 
This language allows articulations on the stage of abstraction, and for Serres, its possible articulations open up and constitute the scene of writing. Within a space governed by the principle of homothesis, the scene of writing is constituted around homology. For Serres, it is the Greek understanding of logos that will allow alphabetic writing to think of the cosmos not in the terms of genesis and progeny anymore, but in the terms of a logics that comprehends of the cosmos within the universe. Homology, he tells us, is threefold: number, relation, and invariance. Arithmetics, geometry, and physics. This fantastic premise of one universal logos, Serres maintains, allows Thales to see in the pyramid a manifestation of the homothetical principle. On its assumption can Thales postulate the invariance of form to complement the variations of quantity. Armed with such thinking, the colossality of the pyramid becomes less daunting, and this without the need to divest its constitutive secret, its inaccessible interiority. The archly reasoning that supports such thinking is not the reasoning of an individual subject uprising against the principle that governs its own predication. In Thales circuitous thought, there is nothing revolutionary whatsoever. The reasoning exerted in support of homology is an automatic reasoning, we are told, from autos „self“ + matos „thinking, animated“. As Serres puts it, it is the reasoning that happens as the world exerts itself upon itself , a world that thrusts forth and pushes out of itself, in order to ad-join to itself what happens to her. This, Serres calls the reasoning of how the gnomon counts, the reasoning that seeks to account for the objective ruler which sets the natural play of shadow and light in scene by collecting it with its own apparatus of capture. „Who knows? Who recognises? Throughout the entire antiquity, these questions have never been raised“  Serres maintains. The gnomon allows to indicate time, but foremostly it is an observatory which does not, like modern telescopes, bundle what it allows to gather specifically for the sight of an individual subject. In the events the gnomon is capable of staging, Thales (and anyone else) participates as nothing more than as a pointer, an index or cursor, since „we too cast shadows while standing upright, or, sitting and writing with a stylus in our hand, we leave traces“ . But aware of this precise circumstance, Thales now sets out to reason about how the gnomon stages, as an apparatus of capture, the play of shadow and light. In his double-duplication, Thales literally tries to catch up with the course of what he himself (as a gnomon) indicates, and hence makes observable. It is by trying to catch up with his own significance within the situation that Thales eventually begins to substantiate the concept of similarity as an invariance – or, to make Serres’ point more clear, as an idea contemplated by the world in its own automatic reasoning. Even though Thales is trying to catch up with his own significance within the situation, the active centre of knowing resides outside of Thales himself: „The world renders itself visible to itself, and regards this rendering of itself: here resides the meaning of the word theoria. To put it more clearly: a thing – the gnomon – intermits the world through stepping in, such that the world may read on its own surface the writing it leaves behind on itself. Recognition: a purse, or a fold.“ For Serres, the scene of writing is automatic too, as is the case for Derrida. But unlike its characterisation by Derrida, for Serres the scene of writing unfolds on the stage of abstraction, and is a dramatic, not a mystical, space. But it too is a space which knows no individual poets or playwrights. The dramas it puts forth are authored by a collective subjectivity that spells out the reasoning of a world that exerts itself upon itself.
Such a collective subjectivity depends upon an artificial memory. Serres finds such a memory in the canonical lists and tabularly organisation of practical problems, the preparation of how certain results to certain problems may be found more easily, based on how problems of a same kind have already been resolved whenever they have imposed themselves previously.  The problems thereby treated are mainly economical problems, they revolve around how to count what is given – but not around how we might account for the manners in which we do count that which is given. The tables in which the treatment of these problems is organised must be ordered around a step-by-step procedure which will lead whoever follows this way (applies this method) to the desired decision or solution. Such methodical, goal oriented procedures are what Serres calls algorithms.  They spell out how to reach all intermediary steps as one attempts to multiply quantities, to divide them, to raise them to a different power than that in which it is given, to extract the roots of a quantity or to sum up or divide them. The overall framework of these operations, one might say, consists in finding ways of counting, as exhaustively as possible, the possibilities hosted in a quantity‘s reciprocal value – these possibilities are the very substance of economic thought.  The methods of how such tabular organisation is gained, is strictly algorithmic. An algorithm is made up of techniques or operations of how to count, what we today summarise as the operations of arithmetics. Its procedures know three classes of numbers: the givens, the results, and the constants that are the step stones as one passes from given to desired results.  As long as possible manners of accounting for how what is given is being counted by these tables, quantities lack a proper generality; they are always concrete and singular. Generality is not seemed with regard to the things given, it applies to procedures only: an algorithm is an algorithm (and not an account of ones experience, like a fable or a tale, for example) because it is a general rule that can be reproduced in its experiential value by anyone who follows its steps. Once they are put in numerical form, one and the same algorithm can be applied arbitrarily to particular situations. Such algorithmic procedures were usually ending with the formulation: „look, in this same manner we can proceed with any numbered part we might encounter“.
Before this background we can see what Serres admires so profoundly in archly reasoning that puts not the particular economical interest of a people in its centre, but that fantasises a reasoning proper to the world itself. The homological dramas which unfold in his homothetical space of abstraction, and that are expressed in the scenes of writing which accrue from it, are full of brilliance; yet the intelligence which shines in it is not that of an extraordinary priest, king or an official expert, like in algorithmic reasoning where the manners of accounting in which that which counts are not to be questioned. The brilliance which shines in the archly reasoning of a world that exerts itself upon itself, by double-duplication, a world that collects and discretises itself in a genuinely public language (that of mathematics). For Serres, „intelligence is immanent to the universe, and without doubt, congruent with it“ . The world owns a huge stock in forms, he tells us, „there exists an enormous objective intelligence, of which the artificial one and the subjective one are but tiny subsets.“  The new economy that corresponds to the archly reasoning of the world feeds from the cornucopia of ideas the world might recognise as its own, while trying to keep track, in its reasoning, with who and what it actually is.
So let us turn back to Thales, and how he gradually invents a reproduction scale for measuring the colossal manifestation of the pyramid. Thales saw in the pyramid the eminence of a principle, we said, that of homothesis. But how can we learn to en-familiarise ourselves with the meaning of this? What we can learn from Serres is that homothesis abstracts from the tabulatory accounts which preserve and collect, in their algorithmic tables, all that the gnomon indicates. One way to put it is to say that Thales steps out of the apparatus of capture’s reign, and that he dares to multiply the very principle of its regime.
Let us recapitulate and see how Thales proceeds. Thales has no direct access to the object he wishes to measure, and sets out to establish the possibility of an indirect way, by double-duplicating the situation and engendering the form of this double-duplication as a reduced model. He proceeds to measure the pyramid by postulating that it be possible, and by proceeding to elaborate his own fantastic postulation before his inner sight, that is, in theory. He begins this elaboration by building a stock of experience – a résumée – or, as we might say now, by treating what appears to be given as data to be organised in algorithmic tables. What appears as given, he dares to think, is given by the gnomon and can count only as indexes to something that is not exhaustively given in what the gnomon collects. This something, he considers, must be of such a magnificent quantity that the form of reciprocity which hosts it also hosts the size of the pyramid as one of its possible variations. If one were to en-familiarise oneself with the dimensions of the monument, and hence be capable of measuring it, this magnificent quantity is what one would need to comprehend better. Thus, after having stepped out of the immediate reign of the gnomon’s apparatus, Thales gives way to a thrusting forth of his mind beyond what it is yet capable to encompass. He wants to learn. Following Serres in his account, we can remind ourselves that before Thales will know, and be able to draw his famous circle in order to measure the pyramid, Thales has to iterate and go in circles, on grounds no more solid than his desire that it be possible. He has to assume a result which seems, from all he can know, beyond reach – and it is on the premise of its assumption that he must try to find an algorithm which will guide his way to the result whose solvability he presumes against all odds. Thus Thales gradually builds up his résumé, he keeps beginning and sums up what he finds along his iterations, and attempts to treat the sums he comes up with as values proper to his hypothetical form of reciprocity of a quantity so magnificent that it hosts the invariant quantity that makes the pyramid comparable to the reduced models he is trying to build.
But from what stock of experience does he draw, when attempting to build a model? Going around in his circles, Thales regards the pyramid as an objective ruler. He begins by regarding it, as is the common manner of thinking, Serres suggests, as a sun dial. Thus he expects the pyramid to speak about the sun, and to indicate the hours of measuring. He marks the outlines of its shadows as time goes by, and faces a growing number of varying outlines, the longer he goes on. As he continues his circles, he begins to consider that the outlined shadows (which build his stock of experience, his résumé) must all be variations commensurate with one another by that module of which he knows nothing more than that he must proceed according to its proportionality in his attempted act of double-duplication. The way how Thales eventually succeeds in abstracting from the idea of the gnomon, so Michel Serres, is by changing the real setting of his exercise into a formal setting in theory: instead of bringing the pyramid to speak about the sun, he can now ask the sun to speak about the pyramid.  This perspective, which now is a theoretical one, not one based on experience alone, no longer requires that the magnificent quantity, whose form of reciprocity hosts the invariance he seeks, be real and actually given; it may remain a secret – like those secrets, inherent to materials and to tools, which forever inspire the development of a craftman‘s mastership. Hence, we can imagine how Thales’ view gradually begins to change. He ceases to contemplate the variations he observes and registers, as he goes in circles, for the sake of finding in them a new „given“, from whose concrete shape he learns a general procedure. Yet with it, he cannot mechanically compute, as it was custom with the algorithmic way of thinking, what may count as constant and common throughout the transformations among all the outlined shadows. No, he begins to take the stance of the artistic craftsman – and he is well aware that what he attempts to craft must remain abstract. He sets out to craft a genuinely theoretical object, one that duplicates the objectivity of the ruler. Now, the variations begin to interest him because they must host, he thinks, the essence of an invariant quantity which, like a guest, can never appear in its familiarity as long as it is respected as a guest (and not subjected to the customs of one’s own home). Like a guest who is not unfamiliar and strange due to willed disguise, but by lack of alphabetised commensurability, the invariant quantity must be treated in a space, and in a language, in terms of which the artistic craftman too is an immigrant and a stranger as is the quantity he seeks to get familiar with. It cannot be the concretely objective space of collective memory, hence, but it must be an abstract space that allows for the dramatical act of an inceptive conception. From now on, Thales strives to en-familiarise himself with the immenseness of the pyramid; he no longer hopes to succeed in subjecting it to an order that he would already by already familiar with. He aspires to do so by expecting from that which changes ceaselessly that it be capable of speaking about what is stable in an abstract, and non-concrete manner. He thinks about the setting in which he finds himself as a formal setting, not as a real setting, and with this, Thales can find a trick to render – against all likeliness – the course of the sun permanent. He no longer participates in the dictate of the gnomon as a real ruler, where what it points to must belong to what is already given, but to what can be seen in what is given only by pointers to something whose magnitude is magnificent, and as such bound to remain immense, and barred from being directly experienced.
With this leap into theory, Thales no longer uses space to indicate time, he arrests time through generalising one particular, and real, moment – that when our shadows and our bodies have the same length. As Serres puts it: „He homogenises the singularity of each day in favour of a general case – one has to stop time in order to evoke geometry“.  In other words, Thales must symbolise a world in which he could relate to a monument of such awesome greatness and vastness, from Latin colossus „a statue larger than life“ . Like this, Thales can think with all cunning and conquering reason he is capable of, and yet without being disrespectful to the secret at the center of the pyramids. Such is the symbolical nature of intellection, Serres seems to be saying, an intellectual nature which is not at odds with an ethics of mutual respect. We can see in the birth of mathematical theory the unlikeliness of beginning to converse abstractly.
Thales’ double-articulating application of the gnomon contemplates all possible variants of a triangle by inscribing them, theoretically, into a common compass: the course of the sun’s permanency. This is how Thales eventually succeeds in conserving, in his textual formula of right angled triangles, a universal and formal concept of similarity. Its compass is conceived by a reasoning that is proper to the world as it exerts itself upon itself – the course of the sun as collected by a duplication of the gnomon. Thales’ theorem states, as a means of conservation, that if A, B and C are points on a circle where the line AC is a diameter of the circle, then the angle ∠ABC is a right angle.
For Serres, as we will see in a moment, recounting what Thales might have seen at the foot of the pyramid is inevitably a text about originality. Like Thales himself, Serres is not interested in revealing the signification of this origin – by claiming to be familiar with it – but instead he wants to postulate, like Thales did, further theorems of universal value. Let’s see what some of Serres own postulations are, and how he sets out to elaborate on them.
IV The amorous nature of intellectual conception
Universal text that conserves the articulations of a generic voice
First we must see what is the object of Serres‘ own double-duplication. Thales, we said, double-duplicated the algorithmic way of iteration and established a textual formula which conserves an infinite amount of variations. As Thales put the algorithmic way of iterations at stake in order to generalise from it’s custom, Serres puts at stake Thales’ archly reasoning in duplicating the scene, in order to generalise from it. What happened in this Thales moment counts to Serres not so much as the origin of geometry (which is today’s customary association with this event), but as the inception of a stage for abstract thought. The inception of such a stage is necessary, he maintains, for developing proper alphabets of formal reasoning out of the formality of mathematical statements, alphabets which, like any alphabet, allow for expressing an infinity of articulations by a finite stock of elements. Thus, if Thales was capable of formulating his theorem by attending – theoretically – to the permanence of the sun’s course, Serres wants to re-introduce temporality and the vividness of real happenings into the formal settings established by Thales. If Thales questioned the principle of the gnomon by multiplying it, and thereby invented the space of theory (homothesis and homology, organised according to an abstract principle of similarity), Serres sets out to question the principle of theory by multiplying it, and to inventing an alphabetic view on the timeless space of formal theory. Such an alphabetic view is what to him counts as the birth of physics from the spirit of mathematics. 
Serres’s account sets out to speak about how the abstractness of an architectonics of formal ideality had been fabricated. The proposal is simple. What Thales realised, according to Serres, is threefold: 1) The possibility of reduction: Thales creates a model which extracts from the given situation a skeleton reduced from all singular context, and in favour of a general case. Furthermore, 2) Thales was tributing to the idea of a module: throughout all different sizes and scales, the quantities at stake must be commensurate, he assumed. And lastly, 3) Thales conceived of the model in a general, not in an iconic, representational manner: he invents a scale of reproduction. 
These are the conditions that make the creation of a model possible, as an intellectual act of engendering. Yet as conditions, they depend upon being bracketed and enciphered: Thales, trying to win the immense for a mutual encounter in a realm in which both are immigrants, all familiar constancy in terms of space, time, practice, perception must be put at stake and marked with a cypher. Driven by his desire, Thales treats them as coefficients that must, in some way of which he knows he can never see it in an immediate manner, be at work within what he seeks. And indeed, once Thales will have come to measure the pyramid, each one of them will be raised in their powers: space will host something that does not exist, a general model; time is arrested and one of its moments is rendered perennial; practice comes to envelop not a necessity, but something that appears necessary (a theory); measuring does not depend upon tactile perception, but upon visual sense. Thales, in the account Serres gives of him, invented the stage of abstract conception by conquering, without disgrace, what is, in its dignity, impenetrable: the arcanum of the pyramid’s lasting and unviolated immenseness.
Serres‘ own double-duplication of the Thales-Situation constitutes a model in turn. What he sees, while tracing the conquering movement of Thales’ act of intellection, lets him face something that appears to him as immeasurable as the pyramid must have appeared to Thales – let us call it the graceful desire by which the latter he sees the moved. The desire that desires the arcanum. The desire for revelation of what must remain, if one does not want to violate it, concealed. So what does Serres do, in his account of Thales? He sees in the Thales-situation a multiplication of originality in procedural, operative terms : algorithmic originality times gnomonic originality times formulaic originality, times textual originality (the originality he adds to it when he reads Thales’ story as a story of origins). The multiplication of origins supports a multiplication of how we can account with givens by rooting them in enciphered constants, and by symbolically domesticating the growth of what can be yielded from these roots (the variables in all possible variation) if we carefully tend their tabular organisation. The careful tending of such graceful desire consists in treating formulaic statements as theoretical fabrics, which aspire to caress the integrity of the colossal through offering dramatisations of possible rapports, in which the terms of such statements feature as protagonists, as actors on stage in texts of proper originality. In the plurality of such dramatised theoretical fabrics, we can render the givens comparable as something which remains, essentially, elusive and comes to the world from an outer space of universal intellection, as pointers to a magnitude with which we can en-familiarise ourselves only if we collect what marks it as indexical pointers to be integrated into a commensurate compass; stating what can be conserved into a formula depends upon abstract conception in a realm of theory, and this realm is, essentially, inexhaustible. More concretely, in his multiplication of originality Serres faces an immense product, a result that integrates the streams that spring from all these different originalities, as the confluence of multiple geneses.  The alphabetisation of the theoretical space must attempt to draw balances from this immense product. 
So how does Serres imagine that the Greeks achieved to conceive of the abstract stage of geometry? Through a fourfold genesis, he suggests:
1) A practical genesis which consists in „producing a reduced model, coming up with the idea of a module, tracing back what is afar to what is near“. 
2) a sensorial genesis which consists in „organising the visual representation of that which cannot be sensed immediately by touching“. 
3) a civic or epistemological genesis which consists in „departing from astronomy and inverting the problem of the sundial“ 
4) a conceptual or aesthetic genesis which consists in „stopping time in order to measure space, swapping the functions of variability and invariance“. 
From within this insubordinate happening of confluent streams, which Serres recounts while contemplating what Thales might have seen, Serres identifies three conditions that will, he suggests, firmly support to gracefully appropriate a sense of inner sight (theory) by building schemata in the form of optical diagrams.  Optical diagrams contain the essence of theory, he holds, yet this essence, as he sees it, is an act: that of transportation.  Theory, by sending on travels whoever reasons theoretically, allows him or her to grow more familiar with what manifests itself as immense. Let us recapitulate Serres‘ reasoning. The sense of sight, and that which it sees, presume the following givens: position and angle, a source of light, and an object which is viewed as either dark or bright.  The confluent streams are treated as processes of transportation, and the questions to be asked, Serres maintains, are questions of where that which is caught up in transport, properly resides:
1) „Where is the proper residence of position and angle? Anywhere. Where the source of light resides. Application, relation, measurement are possible because field markers are brought into constellation; one can see the sun and the peak of the pyramid in constellation, or one can see the peak of the tomb and the uttermost end of the shadow in constellation.“ 
2) „Where is the proper residence of the object? Also the object must be transportable. And in fact it is transportable: either because of the shadow which it casts, or because of the model that emulates it.“ 
3) „Where is the proper residence of the source of light? It varies, one only considers the sundial. It transports the object in the appearance of the shadow. It resides within the object, this, we will call the miracle.“ 
It is an enchanted world, the world in confluent streams of multiple geneses, and yet it is a world of objective reasoning. It is a world in which what testifies the immenseness of life and death can be encountered gracefully. Where a monument evokes a sense of tremendousness and seems to demand subordination, Thales shows us, in the account of Michel Serres, how we can en-familiarize ourselves with it by considering abstractly and carefully superordinate concepts, hypernyms, by dramatizing them. To conceive abstractly is a form of conquering that never annexes what it desires to co-extend with. To conceive abstractly brings to work what one is familiar with from where one comes from in an altogether original manner, by treating what appears to be constant as cyphers that need to be rooted in symbolic domains yet unknown, to be engendered by no other way than by archly reasoning.
On the stage of abstraction, all that features in it is immigrant. It is the stage on which to conceive of things in their genericness, and in their universal genitality. It is a theorematical stage, and it enables the unfolding of plays in the scene of writing: plays that perform the measurement of originality in theory. Nothing in these plays is native to their plots, everything that features in them is on travel. With regard to such measurement, no one can possibly be at home when he or she dares to make statements about what happens in a scene of originality. Such measurement depends upon one‘s own en-familiarisation with what is awe-inspiring – on the sole condition that we can count, if only the ways of conduct are not without grace, on the colossal‘s hospitality: „The theatre of measurement performs how a secret may be deciphered, how an alphabet may be deciphered, and how a drawing may be read“.
On Serres’ account of theory, mathematics is the key to history, not the other way around.  A scene of originality cannot be witnessed, he insists. In it, something immense is posed at the discretion of a theory, and a theory is the dramatisation of an arcanaum, a secret, an archly reasoning that seeks to engender a circuit. Nothing more. It cannot be witnessed, it can only be actualised. If the essence of theory is transport , then theory is never about identifying with the revelation which takes place, in abstract conceptions that are tributed to count as scenes of originality – like that of Thales and the inception of the theorem of angular measurement within a circle. It is not important whether Thales draws the circle around himself, or around a simple stick, as far as the statement of the scene in the form of a theorem is concerned. A theorem expresses a schema, an optical diagram, and the schema is a stable auxiliary construction that allows to transport a thing. Such auxiliary constructions render all things being mobile, they are vehicles.  They transport that about whose essence we can say nothing more than that it is immense, a crystallisation between life and death, a being about which no one knows anything beyond what can be stated of it in the universal terms of mathematical agreement. As a thing stated like that, in its dramatised originality, one can tap into the circuit of activity that is organised in its statement. And this without, properly speaking, understanding
But one needs to understanding the theorem. And this involves, ever again, to tribute ones coordination of familiarity, the elements of ones world, to the spelling out of the theorem. That is why mathematics, to Serres, is the key to history. What can be told by theorematical statements are dramatisations of an immense content, and in that, they are not much different from how the schemes in mythical tales work : A schema is what remains invariant throughout the many times a story is told, Serres reminds us. But the schema is not the origin of this invariance, it is its vehicle.  Every mythical tale is the dramatisation of a given content. The relation between a schema, and the mobilisation of an original thing which the schema affords, is essential for a tale to become tradable. Mathematics is a language, but one can speak in it only in the terms of a private, an unpublished story. Because what it expresses cannot be witnessed, it can only be actualised. Knowing a theorem means to have lived up to encounter the arcanum it hosts with grace. It can only be talked about from afar, through anecdote, on the relation between two cyphers that are, ultimately, not to be deciphered: „Thales’ geometry expresses, in the form of a legend, the relation between two blindnesses, that of the result of practice, and that of the subject of practice. It formulates and measures the problem yet without resolving it; it dramatises the problem’s concept, yet without explaining it; it poses the question in admirable manner yet does not answer it; it recounts the relation between two cyphers, that of the mansion and that of the monument, yet it deciphers none of them (…)“. 
A theorem renders available certain techniques, because techniques envelop a theory. They a stable coatings that package the acts of archly reasoning in scenes of originality. In abstract conception. In order to take these practices and do something with them, in order to apply these techniques, one needs not know the theory which they envelop. But without knowing it, one doesn‘t touch upon the question of originality. The entire question of originality reduces to the modalities of such envelop. It cannot be separated from the pride of a craftsman who seeks to become masterful, in the sense of conquering his material without disgracing it. As Serres puts it: „What is the status of knowledge that is contained in a technique? A technique is always a practice which envelops a theory. The entire question – in our case that of originality – reduces here to a question of mode, the modality of this envelop. If mathematics springs one day from particular techniques, it is without doubt because of an explication of such implicit knowledge. And if the arcanum (the secret) plays a certain role in the tradition of craft, then certainly because its secret is a secret for every one, including the master. There is a transparent knowledge which resides hidden in the hands of a craftsman and their relation to stone. It resides hidden, it is locked in by a double bar; it remains in the dark. It lies in the dark shadow of the pyramid. This is the scene of knowing, it is here that the possible, the dreamt, conceptualised origin is staged and put in scene. The secret of the architect and the stonemason, a secret for himself, for Thales and for us, this secret is the scene of shadow plays. In the shadow of the pyramid, Thales finds himself within the implicitness of knowledge, which the sun is supposed to render explicit from behind, in the absence of us.“ 
All things stated are artefacts, and artefacts conserve an implicit knowledge. Grasping how it is implied is the truly difficult thing, the impossible thing, because if one desires not to violate the secret, there will always be a remainder left. The circuit that can be established by archly reasoning cannot possibly exhaust its source. What reveals itself in scenes of originality, by abstract conception, is always impure. The universality of geometry resides in its application, and only there; in terms of purity, geometrical universality can never be born.  In other words, it can never become physics, it can never be considered natural. Mathematics as language, on the other hand, allows to consider all things natural. This is how Serres can claim that mathematics is the circuit of cunning reason, or archly staged scenes of conception. If originality is actualised in such scenes through theory, and if theory is transport and a theorem is a vehicle, then we can regard mathematical formula as textual in a sense not unlike semi-conductors are for electronics. This is indeed what Serres suggests: „Measuring, the direct or indirect field survey, is an operation related to application. In the sense, evidently, in which a metrics, a metretics, relies on an applied science. In the sense that in most cases, measuring constitutes an application in its essence [in German: Wesen der Anwendung, annotation VB]. But most of all in the sense of touching. A unit of measure or levelling rod is being applied to a thing which is to be measured, it is being laid alongside it, it touches, and this as many times as necessary. A direct or indirect measuring is possible or impossible when such application is possible. Inaccessible is, hence, what I cannot touch, where I cannot lay the levelling rod, what I cannot apply my measuring unit to. In such cases, so people say, we must go from practice to theory, we must come up with an artfulness and devise a replacement for those sequences that are inaccessible to my body, the pyramid, the sun, the ship at the horizon, the riverbank at the other side. Mathematics were, so considered, the quasi-electric circuit [in German: Stromkreis, annotation VB] of these cunnings.“ 
Yet to see in mathematics the quasi-electric circuit of cunning reason would be to underestimate the scope of practical activities. Because the established circuit bridges, archly, between tactility and sight. To theorise means to organise sight according to the quasi-tactility of a conceptual body which lives in the scenes that unfold on the stage of abstraction. Measuring puts two things in mutual relation, and a relation presumes a transport – of the levering rod, of the angle, of the things applied when measuring. There is an inexplicable intimacy between knowing and the problem such knowing lays out theoretically. Homothesis constitutes the stage of abstraction, and the homology – the variable equivalence – that can be expressed by the statements of homothesis regards the reality between product and producer. What is set up as equivalent in a formula is an invitation to read into what the formula states; it is not a question of addressing and answering. Reading mathematically means to stage a scene that supports trading the secret of the manifest body through scenes that are accessible only to an intellectual sense of sight. The anecdotes in which the origin of a theorem can be told imply a schema that lives forth in the dramatisations it supports. The schema, the optical diagram, can be traded only in written form. It keeps what is enveloped by practices through not explicating it. In proceeding like this, the schema demarcates something real, something stable and lasting which belongs to the manifest body one seeks to measure: its arcanum, its secret. And it demarcates this secret by treating it as an invariance that can only be conceived abstractly, by attributing it a measure, as a manner of how to proceed. The stage of abstraction is the theatre of measuring – what is being measured, by dramatisation, is the real as a black spectrum.  From the point of view of the craftsman who seeks to understand more about the origins implied in his material, the material‘s original reality resides in the shadow cast by the sun. It is the shadow which is bursting with spectral information: „Knowledge of things resides in the essential darkness of manifest bodies, in their compactness behind its faces“.  Knowledge about the real is natural not despite but only because it is conceived abstractly, and born. It is impure because it was conceived within the happenings of confluent streams of geneses, multiple ones, whose pool of possibilities cannot possibly be exhausted. It is from the essential darkness of things which can be rendered apparent on the stage of abstraction, in the plays that unfold in the scene of writing, where knowledge of real things lies buried, Serres maintains. From its source springs the infinite history of analytical progress: „The body which can never be exhaustively described from analysing it’s bounding surfaces retains in the safe depth of the bounding surfaces’ shadows a dark kernel“.  Remembering the stage of abstraction that supports real knowledge allows us to see the purity of mathematics instead of an ideality of representations. The purity of mathematics is constituted by nothing more and nothing less than the presumption that there be contained, within manifest bodies, ever more that can be explicated in theory. To see ideality in the geometrical forms, as Plato did, instead of assuming purity in the mathematical theorems, means to dislocate homothetics and homology into the eternity of the one moment that Thales arrested when he wished that time – the epitome of chance – might speak about the solidity of the thing he faces. It means that geometry is conceived yet cannot be born. It means to postulate that there be no reality to desiring conquest, that technics be either divine fate (Prometheus, Pandora, etc) or the stigma of decadence. It holds that revelation be apocalyptic, purifying, in that it clears the spectrums of recognition into the whiteness of virginity. This white spectrality, which supposedly allows us to recognise the identity of things as they ideally are, behind their disturbed appearance in actual existence, constitutes the idea of pure intuition. By insisting on the essential darkness of things, Michel Serres may well sound like a worried prophet; yet it would be the prophecy of a worldly nature and a natural sexuality that is driven by the desire to conquest and master what is never intended as possession: „[But] when the moment has come and this postulation of the purity of geometrical form, inherited from the Platonic legacy, will die because nothing can be supported by intuition, when the theatre of representation has closed its doors, then we will see secrets, shadows and implication explode anew in the world beneath abstract forms, and before the eyes of surprised mathematicians – explosions which have been prefiguring long before these deaths. The line, the plane, the volume, their distances and regions will once more be viewed as chaotic, dense, compact … entities, full of dark and secret angles. The simple and pure forms are not that simple nor that pure; they are no longer things of which we have, in our theoretical insight, exhaustive knowledge, things that are assumedly transparent without any remainder. Instead they constitute an infinitely entangled, objective-theoretical unknown, tremendous virtual noemata like the stones and the objects of the world, like our masonry and our artefacts. Form bears beneath its form transfinite nuclei of knowledge, with regard to which we must worry that history in its totality will not be sufficient for exhausting them, nuclei of knowledge which are profoundly inaccessible and which pose themselves as problems. Mathematical realism wins back in weight and re-adopts that compactness which had dissolved beneath the Platonic sun. Pure or abstract idealities will cast shadows once more, they are themselves full of shadows, they are turning black again like the pyramid. Mathematics unfolds, despite its maximal abstractness and the genuine purity which is proper to it, within the framework of a lexicon which results, partially, from technology.“  Technology manifests, as implicit ideality, that whose theorems are mobilised in the representations of its variables and coefficients, representations which are dramatised in myth and transported through language. Technology is bursting with implicit knowledge. Every technology is a text which hosts an account given about a scene of originality, of abstract conception. And this, with Serres, is no embrace of devotion to mysticism.
 Etienne Balibar, „Construction and Deconstruction of the Universal“, Critical Horizon, Volume 7, Number 1, 2006.
 Carl Schmitt, Political Theology: Four Chapters on the Concept of Sovereignty, transl. by George Schwab, University of Chicago Press 2006 . To briefly recall two of Schmitt’s favorite examples, the modern concept of political sovereignty is a transformed and disguised concept of God, and the modem concept of juridical decision is a transformed and disguised concept of the Miracle.
 Cf. for example: Alain Badiou, Saint Paul: The Foundation of Universalism, Stanford University Press, 1997; Giorgio Agamben, The Time that Remains, A Commentary on the Letter to the Romans, Stanford University Press, 2005; Slavoj Žižek, The Ticklish Subject, The Absent Centre of Political Ontology, Verso 2000.
 Alain Badiou, „Universal Truths and the Question of Religion“, Interview by Adam S. Miller in the Journal for Religion and Scripture, Volume 3, Issue 1, 2005, online: http://www.philosophyandscripture.org/Issue3-1/Badiou/Badiou.pdf
 Pratt, Vaughan, “Algebra”, The Stanford Encyclopedia of Philosophy (Spring 2014 Edition), Edward N. Zalta (ed.), forthcoming URL = <http://plato.stanford.edu/archives/spr2014/entries/algebra/>.
 Emile Benveniste, “L’appareil formel de l’enonciation”, In: Langages, Volume 5, Number 17, 1970, pp. 12-18, here p.14. My own translation.
 Michel Serres, The Natural Contract, University of Michigan Press 1995, p. 50.
 cited from the biography entry on Babbage at the online library of European Graduate School EGS: http://www.egs.edu/library/charles-babbage/biography/
 cf. a collection of Ada Lovelace’s writings edited by Betty A. Toole, Ada, the Enchantress of Numbers: A Selection from the Letters of Lord Byron’s Daughter and Her Description of the First Computer, Critical Connection 1998.
 Quotation from Ada Lovelace’s notes on her translation of L. F. Menabrea’s Sketch of the Analytical Engine Invented by Charles Babbage, Bibliothèque Universelle de Genève, October 1842, No. 82. Online: http://www.fourmilab.ch/babbage/sketch.html.
 Vaughan S. Pratt, “Algebra”, The Stanford Encyclopedia of Philosophy (Spring 2014 Edition), Edward N. Zalta (editor), http://plato.stanford.edu/archives/spr2014/entries/algebra/.
 The article thereby marks the developments in the 19th century which it labels „abstract algebra“ as a singular event in an otherwise continuous history, an event which shatters all continuity that could possibly be expected from the (contemporary) developments he labels as „universal algebra“. This is a view to which I do not subscribe. Much more plausible would it seem to treat what Pratt distinguishes as „elementary“ vs „universal“ as being a rotational return of the same elementary character of algebra, yet on a different level of abstraction. We could see then in abstract“ algebra, which Pratt treats as a singular and intervening event, the logical „lever-phase“ that institutes a new stage of abstraction. According to this scheme, we could look out for similar „lever-phases“, for example before the invention of infinitesimal calculus, or before the adoption of the decimal number system, and so on. But as this is not the place to develop this view in any adequate detail, so I will follow largely the structure proposed by the article.
 Israel Kleiner, A History of Abstract Algebra, Birkhäuser Basel 2007, p. 8.
 A letter by Henry Wilbraham, published in The Philosophical Magazine, supplement to vol. vii, June 1854, cited in: Rod Grow “George Boole and the Development of Probability Theory”, p. 8. available as a preprint version online (http://mathsci.ucd.ie/~rodgow/boole1.pdf).
 Claude E. Shannon, “A Mathematical Theory of Communication“, Bell System Technical Journal Vol. 27, Nr 3, p. 379–423.
 Cf Husserl’s early academic treaties on variational calculus and on the notion of number: Beiträge zur Variationsrechnung (PHD, 1882); Über den Begriff der Zahl: psychologische Analysen (Habilitation, 1887)
 Technics and Time, 1. The Fault of Epimetheus, transl. by Richard Beardsworth and George Collins, Stanford University Press,1998 , p. 1. Stiegler cites Aristotle: Physics, Book 2, §I: 329.
 ibid. p. 187/88, Stiegler citing Plato, Protagoras, 320d-322a.
 ibid., p. 188.
 Jacques Derrida, Of Grammatology, transl. by Gayatri Chakravorty Spivak, John Hopkin University Press 1997 
 Stiegler, ibid., p. 139.
 ibid., p. 139.
 Michel Serres, „Verrat: Thanatokratie“, in Hermes III, Übersetzung, transl. by Michael Bischoff, Merve Berlin 1992  p. 97-142, here p. 127. All translations from this text are my own.
 ibid., p. 136.
 cf. Michel Serres, „Motoren. Vorüberlegungen zu einer allgemeinen Theorie der Systeme”, in: Hermes IV.Verteilung, transl. by Michael Bischoff, Merve, Berlin 1992, pp.43-91. Ebenfalls: Vera Bühlmann, „Primary Abundance, Urban Philosophy. Information and the Form of Actuality“, in dies. with Ludger Hovestadt, Printed Physics, Metalithicum I, ambra, Vienna 2012, pp. 114-150.
 Serres, Thanatokratie, ibid., p. 104.
 ibid., p. 105.
 ibid.,, p. 105, translated in German „Der abscheuliche Motor der neuen Geschichte“.
 ibid., p. 105.
 ibid., p. 105.
 ibid., p. 105.
 ibid., p. 97.
 Serres, Thanatokratie, p. 135: „Jede Theorie der Bewegung und der Geschichte, der Bewegung der Geschichte, benennt oder konstruiert einen Motor, der diese Bewegung hervorbringen soll“.
 ibid., p. 136.
 ibid., p. 136.
 ibid., p. 136.
 ibid., p. 136/37
 ibid., p. 137.
 ibid., p. 137.
 ibid., p. 137.
 ibid., p. 137.
 ibid., p. 137.
 ibid., p. 137.
 ibid., p. 137.
 ibid., p. 137.
 ibid., p. 137.
 ibid., p. 139.
 ibid., p. 139.
 ibid., p. 139.
 ibid., p. 141.
 cf for a detailed discussion on this distinction Howard Stein, „Eudoxos and Dedekind: on the Ancient Greek Theory of Ratios and its Relation to Modern Mathematics“, in: Synthese 84: 163-211, Kluwer Academic Publishers, 1990. Especially the first paragraph entitled ,The Philosophical Grammar of the Category of Quantity‘, p. 163-166.
 Eventually, with electronics and information science, natural properties cannot only be transformed in their proper values, they can also be distributed among things in „unnatural“ manners. With the rise of organic chemistry around 1900, from pharmaceutics to the doping of semiconductors, the original default of things is not anymore its generic identity bare of all qualities but the other way around – its generic identity as having virtually all qualities distinguishable and distributable.
 Jacques Derrida, French Freud: Structural Studies in Psychoanalysis, Yale French Studies Nr. 48, Yale University Press 1972, p. 74-117, here p. 92.
 ibid., p. 92.
 ibid., p. 86.
 George Boole: An Investigation of the Laws of Thought on Which are Founded the Mathematical Theories on Logics and Probabilities (1854); Charles Sanders Peirce: various contributions to the principles of philosophy, exact logics, and diagrammatic reasoning based on a triadic notion of signs (from 1867 onwards); Ferdinand de Saussure: Mémoire sur le système primitif des voyelles dans les langues indo-européennes (1879) (annotation: Saussure attempted to quantize/quantify the phonetic ‘materiality’ of language in this treatise, which was to serve as the basis for a ‘general system of linguistics’); Edmund Husserl’s Dissertation: Beiträge zur Theorie der Variationsrechnung (1882) as well as his Habilitation: Über den Begriff der Zahl. Psychologische Analysen (1887); Bertrand Russell’s dissertation: An Essay on the Foundations of Geometry (1897); Alfred North Whitehead: A Treatise on Universal Algebra with Applications (1898); Ernst Cassirer: Descartes’ Kritik der mathematischen und naturwissenschaftlichen Erkenntnis (1899).
 Stiegler, ibid., p. 2
 ibid., p. 3, Stiegler cites Husserl from The Crises of European Sciences and transcendental Phenomenology, Transl. by John Barnett Brough, Northwestern University Press 1970 , p. 41.
 ibid., p. 3,
 ibid., p. 3, cited from Husserl ibid. p.44.45.
 Umberto Eco has written a fantastic book on this subject: Die Suche nach der vollkommenen Sprache, transl by Burkhart Kroeber, Deutscher Taschenbuch Verlag 2002 .
 Cf. Hintikka, Jaakko, und Unto Remes, The Method of Analysis. Its Geometrical Origin and Its General Significance, Boston 1974.
 Dan W. Smith, »Axiomatics and problematics as two modes of formalisation: Deleuze’s epistemology of mathematics«, in: Simon Duffy (Hrsg.), Virtual Mathematics. The logic of difference, London 2006, S. 145–168, hier S. 145.
 James Ritter in his articles „Babylon -1800 BC“, Michel Serres (ed.), Elemente, ibid., p. 39-72, as well as „Jedem seine Wahrheit: Die Mathematiken in Ägypten und Mesopotamien“ (individual truth for everyone: the mathematics (pl.) in Egypt and Mesopotamia), in Serres, Elemente, p.73-108.
 as in engineering still today, in its general sense of “inventor, designer”, derived from Latin Latin ingenium for “inborn qualities, talent”
 the famous Calculus War between Newton and Leibniz was not independent of this – other than Leibniz, who invented a particular system of notation (which we still, more or less, follow today), Newton insisted on what he called „the tangential method“, a method which allowed him to keep working with ruler and compass; accordingly, what to Leibniz were „infinitesimal numbers“, i.e. a fictitious multitude, was an elusive and non-graspable magnitude to Newton – he called them „fluxions“.
 apodictic is a term from Aristotelian logics which means capable of demonstration. It is central for notions of logical certainty. For Aristotle, apodictic meaning „scientific knowledge“ contrasted with dialectic, which means merely „probable knowledge“. In his Critique of Pure Reason, Kant contrasted apodictic statements with other qualifications of them as assertoric and problematic. The former means that something can merely be asserted to be the case, and the latter (problematic) asserts only the possibility for a statement to be true.
 Stiegler, ibid., p. 3.
 ibid., p. 3.
 ibid., p. 3
 the Greek term for symbol derives from syn-ballein, literally meaning that which is thrown or cast together, while dia-ballein meant its opposite, namely casting apart. The diabolical hence denotes the symbolical’s other, that which keeps from fitting and unifying, thus that which introduced discord and disprecpancies et cetera.
 Weyl, Hermann (1939b), “Invariants”, Duke Mathematical Journal 5 (3): 489–502, here p. 500.
 Cf Herman Weyl,The Continuum: A Critical Examination of the Foundation of Analysis, tr. S. Pollard and T. Bole. Kirksville, Mo.: Thomas Jefferson University Press 1987 ,
 Weyl, ibid., p. 119.
 Michel Serres, „Leibniz, in die Sprache der Mathematik rückübersetzt“, in Hermes III, Translation, Merve Berlin 1992 , translated from French by Michael Bischoff. The english translations are my own.
 Kant, „Amphiboly of concepts of reflection“, Appendix to The Transcendental Analytic of Kant’s Critique of Pure Reason. Cf. the article on Kant’s own approach to what he called „Transcendental Deliberation“ by Andrew Brook, from Carleton University and Jennifer McRobert from Acadia University, „Kant’s Attack on the Amphiboly of the Concepts of Reflection“, published online: https://www.bu.edu/wcp/Papers/TKno/TKnoBroo.htm
 Serres, „Leibniz, translated back into the language of mathematics“, ibid., p. 151.
 ibid., p. 158.
 ibid., p. 158.
 ibid., p. 158.
 ibid., p. 154.
 ibid., p. 154.
 ibid., p. 155
 „The Monad, of which we shall here speak, is nothing but a simple substance, which enters into compounds. By ‚simple‘ is meant ‚without parts’“, thus Leibniz begins his Monadology (Gottfried Leibniz, La Monadologie, trans. by Robert Latta 1898 ).
 Serres, ibid. p. 155.
 ibid., p. 158.
 ibid., p. 155.
 ibid., p. 154.
 In the sense that people were promised, salvation can be bought from the representatives of the church – a veritable economical market offering „units of absolution“ to be brought into circulation.
 Serres, ibid., p. 175.
 ibid., Serres writes for example: „The original is a term“ (p. 153), or „What might we understand by ‚system‘ if not first and foremost a sum?“ (p. 156), or in a passage which is most explicit in how the infinitary resolution of mathematical terms in systems of equations can be understood, Serres writes for example „Only the written equation provides for the totality of the possible“ (p. 218, cf the entire passage p. 217-220.
 ibid., p. 164.
 ibid., p. 163.
 ibid., p. 164.
 ibid., p. 164/165
 ibid., p. 163.
 ibid., p. 166.
 Wilhelm von Humboldt, Über die Verschiedenheit des menschlichen Sprachbaus, 1836, § 13; my own translation. In original German: „Denn sie steht ganz eigentlich einem unendlichen und wahrhaft grenzenlosen Gebiete, dem Inbegriff alles Denkbaren gegenüber. Sie muss daher von endlichen Mitteln einen unendlichen Gebrauch machen, und vermag dies durch die Identität der Gedanken- und Sprache erzeugenden Kraft. Man muss die Sprache nicht sowohl wie ein totes Erzeugtes, sondern weit mehr wie eine Erzeugung ansehen. Sie selbst ist kein Werk (Ergon), sondern eine Tätigkeit (Energeia).“
 cf. Andrew Brook and Jennifer McRobert, „Kant’s Attack on the Amphiboly of the Concepts of Reflection“, published online: https://www.bu.edu/wcp/Papers/TKno/TKnoBroo.htm
 Serres, ibid., p. 165.
 Michel Serres, „Was Thales am Fusse der Pyramiden gesehen hat“ (What Thales saw at the foot of the pyramids), in Serres, Hermes II, Interferenz, Merve 1992 , p. 212-239.
 „If one were to understand by the birth of geometry the rise of absolute purity out of the grand ocean of these shadows, then we might as well, a few years after geometry’s death, say that it had never actually been born“ – this is Serres’ answer to Husserl’s mourning in the end of his article, ibid., p. 238/39.
 ibid., p. 232.
 ibid., p. 226.
 Michel Serres, „Gnomon, die Anfänge der Geometrie in Griechenland“, in Serres (Ed.), Elemente einer Geschichte der Wissenschaften, Suhrkamp 1998 , p. 128.
 ibid., p. 128.
 ibid., p. 114.
 ibid., p. 114.
 from ex- “out” + serere “attach, join”
 Serres, Gnomon, ibid., p. 118.
 ibid., p. 114.
 ibid., p. 125.
 ibid., p. 126ff.
 ibid., p. 146.
 In these descriptions, I follow mainly the account given by James Ritter in his articles „Babylon -1800 BC“, Michel Serres (ed.), Elemente, ibid., p. 39-72, as well as „Jedem seine Wahrheit: Die Mathematiken in Ägypten und Mesopotamien“ (individual truth for everyone: the mathematics (pl.) in Egypt and Mesopotamia), in Serres, Elemente, p.73-108.
 Ritter, Jedem seine Wahrheit, ibid., p. 93.
 Ritter cites from the Papyrus Rhind. My own translation from the German: „Sieh, auf die gleiche Weise tut man es für jeden vorkommenden Bruch“, Ritter, Babylon, ibid., p. 102.
 ibid., p. 139
 ibid., p. 139.
 Serres, Thales, ibid., p. 218.
 Serres, Thales, ibid., p. 219.
 Michel Serres, The Birth of Physics, transl. by Jack Hawkes, Clinamen Press 2000 .
 Serres, Thales, ibid., p. 214.
 ibid., p. 219, as Serres literally puts it: „a multiplication of genetic procedures“, and „the origin of geometry is a conflux of geneses.“
 Serres, Thales, ibid., p. 219ff.
 in Gnomon, ibid., Serres writes: „It doesn’t seem that the old masters seeked for or conceived absolutely ultimate and prime elements: there are elements everywhere, on the respective tables“. He explains: „The notion of elements, which translates the title used by Euclid (and before him, without doubt, by Hippokrates of Chios) to latin and to our modern languages, derives originally from the letters L, M, N, just like hte alphabet spells out the first Greek letters (alpha, beta) and the solfeggio sings the musical marks (so, fa); the literal title Stoicheia means nothing else but letters, conceived as the elements of a syllable or of a word“. Or further: „Once again: what is an element? Those marks, these traces, the dash, the line, the musical mark, in the Leibnizian sense of these words. And in plural: an entirety of these marks. An entirety which is usually grouped into a table or a tabular list of points and lines, of verses and columns, well ordered. The elements of geometry, they too consist of points and lines; all we have to learn is how they are to be drawn. But most of all, they are being composed into tables, then as today, tables which resemble each other: made out of the letters of different alphabets, the numbers of all number systems, of axioms, of simple bodies, of planets and marks in the sky, forces and corpuscles, truth functions and amino acids … our memory conserves them so easily that they form memories all in themselves: objective, artificial, formal memories. In just the same sense as the old tables of law do. What does the notion of elements mean, all in all? A table that is open for all possible tables; universal memory: that which knowledge ceaselessly refers to. Like this, the Euclidean elements develop a system in the ordinary, logical sense of the word system, one which proceeds deductively and which has conditions, yet one which also has a memory in the threefold sense of history (hence the comments), automaton, and algorithm.“ p. 159/160.
 ibid., p. 219.
 ibid., p. 219.
 ibid., p. 219.
 ibid., p. 219.
 ibid., p. 221.
 ibid., p. 221.
 ibid., p. 219/220
 ibid., p. 220.
 ibid., p. 220
 ibid., p. 220.
 ibid., p. 229.
 ibid., p. 221.
 ibid., p. 219.
 ibid., p. 221.
 ibid., p. 221.
 ibid., p. 221.
 ibid., p. 225.
 ibid., p. 223.
 cf. ibid., p. 238/39.
 ibid., p. 215.
 ibid., p. 232.
 ibid., p. 232.
 ibid., p. 232.
 ibid., p. 237.