{"id":29161,"date":"2014-06-29T07:07:25","date_gmt":"2014-06-29T06:07:25","guid":{"rendered":"http:\/\/monasandnomos.org\/?p=1895"},"modified":"2014-06-29T07:07:25","modified_gmt":"2014-06-29T06:07:25","slug":"the-reciprocal-double-articulation-of-sustainability-and-environmentality-or-the-mode-of-insisting-existence-proper-to-the-circular","status":"publish","type":"post","link":"https:\/\/meta.copyriot.com\/2014\/06\/the-reciprocal-double-articulation-of-sustainability-and-environmentality-or-the-mode-of-insisting-existence-proper-to-the-circular\/","title":{"rendered":"The reciprocal double-articulation of \u00bbsustainability\u00ab and \u00bbenvironmentality\u00ab or The mode of \u00bbinsisting existence\u00ab proper to the circular."},"content":{"rendered":"

abstract<\/strong><\/p>\n

This text inquires how Louis Hjelmslev\u2019s idea of \u00bban algebra immanent to language\u00ab can help us to characterize discretized probability densities as a kind of \u00bbsymbolic alphabeticity\u00ab. It is the manuscript for my talk at the 5th metalithikum colloquy in may 2014.<\/p>\n

 <\/p>\n

CONTENTS<\/p>\n

(1)\u00a0\u00a0\u00a0 Introduction<\/em>: The Materiality of sense, or: \u201ccapable of being continued\u201d<\/p>\n

(2)\u00a0\u00a0\u00a0 Tracing important distinctions regarding the notion of Quantity<\/p>\n

(3)\u00a0\u00a0\u00a0 Impredicativity, or The mode of insisting existance proper to the circular<\/p>\n

(4)\u00a0\u00a0\u00a0 The alphabetization of the numerical in computation<\/p>\n

(5)\u00a0\u00a0\u00a0 The cipher, and its quantum-body of objective neutrality: nothingness<\/p>\n

(6)\u00a0\u00a0\u00a0 Disparseness, or In the element of neutrality – the many bodies of nothingness<\/p>\n

(7)\u00a0\u00a0\u00a0 Glossematics: Theory conserves, circulates and differentiates the materiality of sense<\/p>\n

(8)\u00a0\u00a0\u00a0 Beyond the Apparatus, or: getting over the deadlock of tautology by repetition (alphabeticity)<\/p>\n

(9)\u00a0\u00a0\u00a0 \u00a0Signals and codes: the world translates itself in the elementary nature of thought<\/p>\n

 <\/p>\n

 <\/p>\n

Introduction<\/em><\/strong><\/p>\n

The Materiality of sense, or: \u201ccapable of being continued\u201d<\/em><\/strong><\/p>\n

In terms of literacy, people can be so more or less, it is not an absolute term. This is different for calculability \u2013 we tend to feel that something is either calculable or not. To say that computation may be seen as a literacy means to say that calculation too cannot be regarded as an absolute term. Someone who makes sense in what they say does not necessarily speak the truth. The extension of sense (inclusion of falsity and<\/em> truth) must be larger than that of knowledge (exclusion of the false from the true). It is from this gap between both that learning is possible, and that new knowledge can be constituted on the basis of sense. Yet how to think about such a notion of \u201csense\u201d, and why should we dare to reconsider well-established cultural techniques so fundamentally? It seems as if the limits of the representational paradigm for current notions of knowledge is being challenged by another one which we might simply call that of sustainability<\/em>.<\/p>\n

How could we frame this emerging paradigm? We might think of it by conceiving of literacy in a mutually reciprocal relation to calculation<\/em>. Neither one can be assumed to be absolute, and yet determinable within the constraints they mutually impose upon each other.<\/p>\n

What would this entail?<\/p>\n

One is dealing with letters of an alphabet, a finite and ordered set of elements each of which has a double make up: a letter embodies a quantity \u2013 usually we call it a phoneme<\/em>, the body of a sound \u2013 and the graphemes, the Gestalten of the signs which are capable of expressing the bodies of sound in such an orthogonally governed manner that they form complex units of meaning. The other is dealing with numbers, which are like the signs of the alphabet meant to express bodies of quantities such that they may form, in a well-governed manner, complex units. Yet with calculation, the manner of governing is not orthogonal (vertically oriented) but permeable (horizontally oriented) \u2013 everything variably factors in one another, as well as in the whole. From a different angle we are well familiar with these difference, we relate calculation to an economical order, and literacy to an order of political organization.<\/p>\n

Let us make this more concrete by thinking with this image about the theme of sustainability. First of all, we link the term up in a pair by coupling it with environment. A logics of the planet\u2018s oikos<\/em> is challenged to formulate an identity notion \u2013 that of the earth together with its environment \u2013 that does not exclude circularity<\/em> from the manner in which its definition is constituted: the environment is literally that which circum-gives the Earth, and which somehow is thought to be effect of how the planet\u2019s oikos, whose stocks are riches that regenerate themselves in cycles, exchange information between the compartments that together make up, somehow, the whole Earth including what circum-gives and protects it, the environment. Such communication between the compartments, I want to suggest, is a question of how different magnitudes, of which we don\u2019t know how they behave proportionally in relation to each other, factor in together<\/em> in the environment. Sustainability is all about how the Earth, and its Environment, can manage well together. In order to learn about sustainability in terms of geometry, we have to think of the circle in both its aspects \u2013 its perimeter and its area, and this in a temporalized relation that must be characterized as \u201cquick\u201d, \u201calive\u201d or \u201cself-maintaining\u201d.<\/p>\n

Thus, if neither one, literacy or calculation, can be considered as absolute, if both are determinable within the constraints they mutually impose upon each other, how might we tackle this entailment that urges us to engage \u2013 somehow \u2013 critically<\/em> with circularity?<\/p>\n

We can look to algebra, that part of mathematics which affords the \u201cunification of broken parts\u201d, as its name literally suggests. It is crucial that by characterizing algebra in this manner, we are NOT thinking that \u201cnature IS algebraic\u201d. We are in the realm of SYMBOLICAL STAGINGS. So then, lets see what the Stanford Encyclopedia of Philosophy states, that algebra can do, on this stage for symbolization: algebra provides ways of managing the infinite<\/em>. Let me clarify how I want to make sense of this: We are on a symbolical stage (in conceptual \u201creality\u201d) and we have Riches to be harvested and cultivated, by technics and by formal thinking which makes the cultivation possible as something which can be \u201ccommunicated\u201d. Thus, I would place such \u201calgebraicness\u201d, the stages it provides, as the ARCHITECTONICS and the RICHES OF THE UNIVERSE as the infinite which is being MANAGED by the structures of the architectonics. Thus, I would argue that it is not adequate to think about the symbolic structures and operators from the dipolar level of ontology and epistemology. This dipolar level, I would like to think, is enveloped within a comprehensive ARCHITECTONICS. There can be many such Architectonics, each producing particular epistemologies and ontologies. These Architectonics are how we settle, intellectually, on the world as a place in the universe. With it, we settle intellectually within the vastness of the universe.<\/p>\n

In the history of mathematics, there is a long tradition of thinking of the infinite through the figure of the circle. The circle has been thought of as an expression of the infinite because it can never exhaustively be measured. Algebra provides ways of managing the infinite according to methods of measuring the circle either by triangulation or by squaring. With triangulation we are operating algebraically in arithmetics, we partition and differentiate the circle\u2019s area. With squaring, we are operating algebraically in geometry and construct proportionalities that allow to approximate the length of the circles perimeter.<\/p>\n

The ways of managing that algebra is capable of providing, capture the data rendered by these ways of operating (triangulating and squaring, and collecting the results in tables) into generic<\/em> formulations. I call it generic because Algebra expresses its statements in terms of signs that envelop the quantitative bodies in an evaluative manner<\/em> \u2013 as values. We have in algebra, perhaps in algebra alone, an intermediate level of notational code and ciphering between \u201csigns\u201d and what they indicate. This intermediate level is introduced because algebra operates in symmetries: whatever a formula expresses produces a mapping (a function), but not one that stands for<\/em> something else, a representation. It produces mappings that can stand in for<\/em> that which has been articulated<\/em> in a formula. These mappings can stand in for their own \u201coriginal\u201d so to speak<\/em> \u2013 that is, they can articulate \u201cthe original\u201d in a tautological manner \u2013 and this needs not be seen as an absurdity, it is rather a manner of how Originality can be conitinuing itself, as originality.<\/em><\/p>\n

The mappings produced by formula (an EQUATION) are varying expressions of one and the same thing. They can be such if only we affirm that neither expression is ever capable of \u201cexpressing all that is to it at once\u201d. In other words: that which is expressed is of a vaster extension that any one of its symbolical expressions can ever be.<\/p>\n

In logics and in mathematics such peculiar, self-same mappings are called \u201eimpredicative\u201c. Impredicativity concerns self-referencing definitions that build on what they antedate. In a standard and symbolico-technical formulation from analytical philosophy, impredicativity is related to the so-called vicious circle principle<\/em>: it is impossible to define a collection S by a condition that implicitly refers to S itself. A definition is said to be impredicative if it invokes (mentions or quantifies over) the set being defined, or (more commonly) another set which contains the set being defined.<\/p>\n

One can easily see the relevance of this for any earth science, whose point is exactly that all distinguishable \u201ecompartments\u201c that together make up the planet involve such definitions.<\/p>\n

These problems with regard to the stating of a definition are intimately related to the representational paradigm. It appears questionable whether they are to be weighted in the same manner within a paradigm that seeks to make sense in terms of sustainablity<\/em>, meant as \u201ccapable of being continued\u201d.<\/em> It appears as if an embrace of just such circularity is<\/em> the way of learning to think \u201csustainably\u201d. Without such an impredicative space of self-same transformability \u2013 what I would call a symbolical body of reciprocity, a stage on which we settle into a certain ordinariness in our thinking \u2013 no code can operate as<\/em> a code. (We\u2019d not be aware of the symbolic make up of our \u201cordinariness\u201d). A code deals with values, within a systematical context that is closed upon itself. This is different for signs. They appear when such self-same symmetry is broken (when something breaks into the ordinariness we got used to in our symbolically set stage). When something factors in<\/em> that had not been taken into account<\/em>. When the self-maintaining balance is disturbed.<\/p>\n

So how can we think the relation between code and sign while appreciating both?<\/p>\n

This is the background context of my talk. It is what I hope to get clearer about with learning to understand what it entails to reciprocally relate literacy<\/em> to calculation<\/em> as two mutually constitutive realms of reasoning that is, essentially, circular.<\/p>\n

From this point of view, what can be learnt is more extensive a realm than any mapping that is possible at any one point of what can be known. This view sounds quite alien today, but it seems to have been much more natural before, when science and spirituality were not strictly kept apart. It we do not reduce learning to strictly mechanical repetition, it seems, we cannot maintain this categorical break.<\/p>\n

 <\/p>\n

Tracing important distinctions regarding the notion of Quantity<\/strong><\/p>\n

One first distinction we should attend to regards the relation between quantity<\/em>, quality<\/em>, and equality<\/em>. We are told by Aristotle (Cat. vi 6a27) that what is most characteristic of quantities is the attribution to them of equality and inequality. for him, to speak of equality in terms of qualitative aspects didn\u2019t make any sense. This is indeed what demarcates his philosophy as a realism \u2013 for him there are natural individuals<\/em>, not natural kinds<\/em> as for Plato: Aristotle gives primacy to the individual. It alone can be qualified, through specification, and through unifying species into genera. The qualitative was to be specified, and characterized according to how individual entities embody those qualities.<\/p>\n

Thus, it was the quantitative alone was referred to the universal, and hence could be treated in terms of \u201cequalities\u201d. In algebraic formula, this separation between a) the universal and quantitative, and b) the individual and qualitative, becomes complicated to sort out. Because here, the distinction between ratio<\/em> and quantity<\/em> is crucial, and the notion of ratio, as we have already seen, implies a presumed proportionality between \u201cnatural kinds.\u201d<\/p>\n

Ratios figured only in the framework of a formula (an equation), within which they are proportionality established between the terms that are being set \u201cequal\u201d. We can easily see in the schema of a proportion, A : B = C : D, that the distinguished terms are treated as quantities, whereas the sides right and left of the equation sign is treated as ratios. The cunning involved in algebraic reasoning consists in allowing one quantity to be unknown (or more than one, in more complex systems of equations), and to establish procedures of determining it according to (within the confines of) a proportional framework. The incomplete proportion x : B = C : D makes the assumption that x must be a value of A<\/em>, and on the basis of this assumption, algebraic reasoning proceeds by factoring out the terms into several equations and linking them up into a system of equations that co-constitute a solution space. In other words, the cunning in algebraic reasoning involves dealing with both, quantity and ratio, via recourse to a third and mediating notion, that of value<\/em>. And values apply to both, qualities and quantities, or rather: they apply to qualities insofar as they are measured in order to expose similarities between the individuals (and thus allow for speciation, generalization).<\/p>\n

Values, we can say, arise from the interplay between logics and geometry, ratios<\/em> (and their logical analog proportion) and quantities <\/em>(each made up of magnitude and multitude). Values are what mediates this very interplay<\/em>. Why is this important? Because it is through this mediating notion of \u201cvalue\u201d that \u201cidentity\u201d comes into play, is being temporalized and through that coupled with a level of \u201cindividuality\u201d, and through that, \u201cequality\u201d has to be distinguished from \u201csameness\u201d.<\/p>\n

To decipher these differences, we need to recall a further distinction that was crucial for all of mathematics until the advent of conceptual mathematics with set theory, namely that between magnitude and multitude. Magnitudes answer to questions of how much?<\/em>, and they require a metrical measure that is specific, a means common to the different kinds of magnitudes; multitudes, on the other hand, answer to the question how many?<\/em>, and they are assumed to reign universally. In other words, multitudes are held to count and govern magnitudes.<\/p>\n

In a recent article entitled \u201eEudoxos and Dedekind: on the ancient Greek theory of ratios and its relation to modern mathematics\u201c Howard Stein elaborates that the difference between magnitude and multitude \u201eis quite alien to our present way of thinking about such matters, for us, to say that two distinct triangles are equal in area is to say that they have<\/em> ,the same area\u2018.\u201c His argument is that in Antiquity quantity was a category for which an entire<\/em> philosophical grammar<\/em> existed. It is this grammar that the thinking in terms of ratio (proportionality, analogicity, logics) would apply \u2013\u00a0thus, there is an intermediate level between the registered or recorded quantities and their physical referents. Today, this intermediate level is nor usually evoked. It plays in whenever we try to be differentiated with regard to local and global properties and their relations. But overall, we have come to treat both, magnitude and multitude, as particulars that are governed conceptually<\/em> (as finite sets). And these concepts are not thought of anymore as grammatical (which would place them in literacy), but as strictly formal and logic. What used to be a grammar<\/em> for articulating quantities has thereby turned into a logics<\/em> \u2013 with that, we have made a step from what may be called natural mathematics in distinction to conceptual mathematics. We can easily see the relevance of this for our interest in literacy: while grammar enables literacy in the comprehensive sense, logics seeks to strip literacy\u2019s extension of that which makes sense from the false, and to purify what is to legitimately make sense from all suggestiveness of eloquence in expression.<\/p>\n

According to the philosophical grammar, where no such conceptual logics was available, Stein says: \u201eit would be incorrect to speak of ,the area of this triangle\u2018\u201d because \u201ca triangle does not have<\/em> an area, it is<\/em> an area \u2013 that is, a finite surface\u201d. According to the philosophical grammar of quantity, \u201cthis area means this figure, and the two distinct triangles are two different, but equal, areas.\u201c His point is that within such a grammar, entities are<\/em> universal in their nature, whereas with the shift to conceptual mathematics, entities have<\/em>a universal nature. So I am nor arguing that the \u201cgrammar\u201d is something we have lost and should regain, with out emphasis on \u201cconceptual logics\u201d. Because it is only with the abstraction from words of grammar onto a formal level that we can address the question of how Values factor in, in how \u201cequality\u201d is established. Once we take values into account, we would not seek to identify \u201cequality\u201d, rather we are speaking of \u201cequivalence\u201d. We become aware that in our \u201cgrammar of quantity \u201c we are in a formal space. Our problem today is that we think this formality is Universal<\/em>, or at least uniformally Existent<\/em>. It is here that the Sheaf and Category way of thinking in formal concepts appears so interesting to me.<\/p>\n

But lets stay with the grammar of quantity more closely and see more how can we imagine it (as something different from quantified formal concepts) \u2013 in order to think about how we might think of \u201cquantized\u201d formal concepts.<\/p>\n

So, a grammar of quantities.<\/p>\n

We can regard multitudes like the VERBS<\/em> that take nouns or pronouns as their transitive objects, upon which they exert the activity they incorporate. Magnitudes, within this analogy, can be regarded like the transitive OBJECTS<\/em> of the multitudes(VERBS). Let us take this analogy as a kind of \u201cauxiliary construction\u201d, and put some more stress to it: we can see that multitudes occupy the role of verbs, and magnitudes that of objects, but with regard to the subject position \u2013 the voice of mathematical articulation<\/em> \u2013 the two notions that together make up \u201cquantity\u201d is indeterminate<\/em>. That is, its position is left blank<\/em>.<\/p>\n

My point is that it is the role associated with the subject position<\/em> that is acted out by the genuinely mediating notion of values. In other words, the values, in their acting out, individualize the subject.<\/p>\n

But how can we say they are mediating? Mediation needs at least some sort of \u201csubstrate\u201d on which it can act (information, energy, ether or whatever). In the case of our quantitative grammar, the position of the subject is void \u2013 subjectivity is acted out in the absence<\/em> of a unified identifiable actor.<\/p>\n

In short, my point is that we take this \u201cabsence\u201d as something to work with. We can understand it as \u201cdedicated place for something to actualize\u201d.<\/p>\n

We can conceive of this mediation as the peculiar contribution of algebraic forms, that is of equations<\/em>, and their capacity to express \u201cidentity\u201d inversly<\/em>. And we can conceive of such algebraic identity as the symbolic establishment of a tautological relation that characterizes neutrality, encoded as a cipher. A cipher has a transcendent referent, yet its power consists in \u201cpresenting\u201d this transcendent referent symbolically while leaving it absent<\/em>, just like words are capable of evocating something absent into presence. We can regard a cipher as a symbolical body of a self-referential relation whose identity is being articulated, not represented. I call it a body because we must think of it as a relation that can be organized corresponding to a particular codes, their inventories and rules. If equations are not considered in terms what they might \u201crepresent\u201d in a world conceived to be exterior to it, but in terms of what they articulate and express through partitionings extracted out of that formalities own interiority. Such articulated formality cannot be separated from the characters and rules used in the applied notation systems.<\/p>\n

Hence, we can think of a cipher, together with a particular code in terms of which we can decipher it, as a virtual body of reciprocity<\/em>. Such a virtual body cannot be addressed in terms of equality<\/em>, it must pay tribute to the equivalence<\/em> that establishes it symbolically. The \u201cidentity\u201d is an actor on stage. Hence we have, with this perspective, gained a distinction with regard to how we can think of \u201cidentity\u201d \u2013 we can speak of equality with regard to the actuality (verbs) and object positions that are affected by such actuality, and we can speak of sameness with regard to the virtuality of the subject position. The \u201cidentity\u201d an equation expresses, then, is doubled-up into a complementary (mutually implicative) interplay between its factuality, objectivity, and subjectivity \u2013 all three of which must be conceived of as in the infinite tense.<\/p>\n

A short interlude, perhaps, to help you keeping track of where I will be going with this. My interest with revisiting these conventions from pre-19th<\/sup> century philosophy and science is that we can gain from them a generic<\/em> notion of essence, which need not invoke a scholastic and canonical order or natural kinds. But we need the notion of essence when we want to keep a notion of learning from the infinite, in which thought necessarily plunges when it learns something new.<\/em> A generic notion of essence would allow us to resist the dogmatic decoupling of learning from the infinite that the positivist stances in science and in philosophy have instituted throughout the last 15 decades or so.<\/p>\n

In his lecture The Law of Identity<\/em> (1957) Martin Heidegger drew attention to this distinction between equality and sameness, which has, he suggests, been lost in modern science and philosophy. Heidegger\u2018s argument is that the law of identity, in logics, has, as its essence, sameness<\/em>. By insisting on an essence that were proper to a logical law, Heidegger discredits the legitimacy of logics to embody positive foundations for reasoning. Essence is the one concept that has, traditionally, linked up logics within a metaphysical framework \u2013 since essence is that which can neither be created nor destroyed, and it persists throughout all forms of becoming, invariantly. But whereas metaphysical discourses have tried to identify<\/em> essences through representation, and in the sense of stripping identity to equality, Heideggers own stance suggests a different kind of engagement with it. His distinction into ontic and ontologic, Dasein\/Existence and Being, suggest, in radical critique of the metaphysical tradition, that nothing of essence<\/em> can ever be identified through representation in terms of stated equalities. Thereby, what he holds to be essential \u2013 a generic essentiality, as I would suggest \u2013 is violently muted. Thus, instead of separating learning from an infinite essence we must hold on to the notion of essence (Wesen, Wesentlichkeit) as the spiritual Other that is at work within modern, secular, science and its propositional statements. Heidegger links the question of essence to the question of learning, and hence suggests to not forget, over the huge successes of applied<\/em> mathematics, about the traditional sense of pure mathematics as \u201cthe art of learning\u201d.<\/p>\n

By saying that sameness (not equality) be the essence of an equation he suggests that we ought not only apply the knowledge contained in and explicated from formula, in pragmatic vein, but that equations must remain to be the object of contemplation as well. He finds the rituals for such contemplation in the structural ways of proceeding in mathematical proofs. Only mathematical proofs can relate to the purely quantitative without seeking to externalize and objectify (identify through representations) the essence inherent to the symbolical terms that bound a formula. Quantity, that of which we can say that it is characterized by \u201cequality\u201d, is a concept of pure understanding <\/em>(Verstandesbegriff). It is \u201e[…] nothing else but the synthesis which empowers appearances to appear as specific figurations in space (Raumgestalten)\u201d[1]<\/a><\/p>\n

Let us rephrase this sentence, to consider actively what it states. Quantity is a concept of pure understanding, that is, its role is with regard to learning, not to knowing (these would be concepts of pure reflection). As such, quantity is not something immediate but constituted by acts of synthesis<\/em> \u2013\u00a0and the very act of synthesizing quantity is what \u201cempowers appearances to appear as specific figurations in space\u201d. We can see what this emphasis on learning, with regard to the quantitative, entails: intuition is not a natural sense of sight, innate and common equally to anyone who reasons carefully. What can be intuited is strictly dependent on our powers of synthesis (powers of imagination and fantasy). In Heideggerian idiom: \u201cIt is the same precondition which allows the encounter of that which encounters, which arrests what counters into a constellation\u201d (in German: \u201cals Gegen zum Stehen bringen\u201d).<\/p>\n

But what is this precondition? It can be grasped, for Heidegger, from within in the mathematical notion of proof. With his emphasis on learning, the very dilemma which mathematical proofs posed to critical Kantian philosophy and science \u2013 namely that a proof merely guarantees the consistency of the terms in which a thought is formulated and expressed, but not the existence\/truth of the idea that is being formulated thereby (think of the proofs of the existence of God) \u2013\u00a0this very dilemma is why Heidegger can affirm the mathematical as a spiritual practice that can never turn dogmatic precisely because its relation is inseparable, must be enacted, and dissolves in all attempts to represent it. \u201cProof is a going in circles [ein Kreisgang]. If we see through and enact this going in circles [diesen Kreisgang], we may receive, as knowledge, the pivot around which everything circles\u201c.<\/p>\n

How is this possible? The mathematical is for Heidegger \u201cwhat we intrinsically already know about things, what we do not have to extract or abstract from things but what we, in a certain way, bring along ourselves\u201c. This understanding holds that all things must be attributed generic and indeterminate essentiality of \u201csameness\u201d, or in other words, the circle\u2019 infinity. The Universal property of all things, for Heidegger, is not the quantitative, but generic<\/em> essence. In my emphasis on literacy, I would say that in so far as we are literate, we are \u2013 virtually- what everyone else is as far as they are capable of articulating themselves.<\/p>\n

In this way, mathematics is giving to a thing what it already has. A thing, in Heidegger, has<\/em> its being \u2013 in this respect, every thing is original, the singular finitude of a thing consists in a thing\u2018s actual becoming what it virtually already is. This virtuality, and that is why Heidegger\u2018s position is so radical, is, essentially, not bounded. Heidegger\u2018s urge to see the essence of mathematics in the infinitary way of proceeding in circular manner \u2013 as Kreisgang<\/em> \u2013\u00a0identifies all that can be learnt as the object of mathematics. For this view he finds support in the etymology of the term, Gk. mathema<\/em> means \u201ethat which can be learnt\u201c, a mathematikos<\/em> is \u201eone who is learnt\u201c, in all generality. The understanding of mathematics in its essence attributes infinity as a universal property to all that one can familiarize herself with, in short to all that can be considered, learnt, understood, known.<\/p>\n

For Heidegger, the circle as a virtual body of pure indefiniteness \u2013 it is the cornucopia that engenders knowledge. The universal itself is this cornucopia! Everything we can articulate mathematically, everything we can learn to understand, springs from attempting to take the point of view of the perfect compass. But this, Heidegger holds, is not possible by merely measuring<\/em> the circle \u2013 it must be appreciated<\/em>, in a spiritual sense, if its abundant givings are to be received.<\/p>\n

And this, as I understand it, is Heideggers main critique on algebra. He sees it merely as providing mechanical recipes, inventories after inventories of how the circle\u2018s infinity can be managed<\/em> \u2013 and he sees questions of esteem, the humbleness in which finite life must relate to life\u2018s infinity, recede from attention behind sheer pragmatism. Mathematics is valued only through its applications. Thereby, the universal, as the object of wanton management, is caught up in affairs that are largely trivial, and unrewarding. But what is the structure of the triviality Heidegger perceives?<\/p>\n

 <\/p>\n

Impredicativity, or the mode of insistent existence proper to the circular<\/strong><\/p>\n

But more exactly, what is the problem inherent to such trivialization? For Heidegger, it sets in place what he calls a general condition of \u201efacilitation\u201c (in German: Einrichtung<\/em>). The critique thereby does not merely regard an emergent general state of comfort societies boredom, due to dulled senses and undertrained intellectual faculties. His critique is more profoundly that of totalitarian control. Facilitation implies, so he argues, to anticipate the future on the grounds of scientific laws alone; the suspension of philosophical principles count to him as constitutive for the age of research in terms of purely operative business. And research in such terms, as purely operative business \u2013 strictly applied<\/em> and case based<\/em>, we might say today \u2013 this, Heidegger stigmatizes as \u201cinauspicious\u201d and \u201cmalign\u201d in an \u201cobjective\u201d sense, not according to some ill will or intention, but according to the very logics that immanently governs such research.<\/p>\n

Heidegger specifies his critique as follows. A scientific law, he says, as opposed to a philosophical principle, draws its legitimation on the inductive basis of experimentation. An experiment, so Heidegger puts it, is this: \u201eTo imagine a condition according to which a particular dynamical complex (in German: Bewegungszusammenhang<\/em>) may be traced in how it necessarily behaves, and this means, such that it may be rendered a subject to proleptic control\u201c_<\/sup>. The malignity Heidegger exposes in his anticipation of technical evolution is not ascribed by him to technics itself \u2013 and neither is it ascribed to mathematics per se \u2013, but to logically and circularly stated<\/em> definitions on grounds that are, necessarily so, elected and exclusively declared to act as a frame of reference. In short, Heidegger\u2018s critique concerns the impredicative basis of inductive procedures in general. He exposes the inductive procedures of experimental science as presuming a metrical notion of space in order to support the objectivity an experiment seeks to expose; yet the symbolical spaces that even the science that was then contemporary actually works with, Heidegger is well aware, does not, strictly speaking, support such objectivity: vectorial spaces are spaces that may each host a multiplicity of feasible descriptions, of which the possible constellations so described may even diverge and be incommensurable within one and the same space, depending on the level of abstraction.<\/p>\n

By \u201elevel of abstraction\u201c here I mean the resolution of the numerical domains, that the coefficients, which are to anchor the variable values in the formula, are considered to range over. Heidegger did not address the problem of impredicativity in these number theoretical terms, but instead in terms of temporality as a dimension that is more comprehensive than spatial extension<\/em>, and that must even count as constitutive for space. If we think about what adding, subtracting, dividing and multiplying vectors entails, in a common-sensical, non-technical sense, this thought that temporality must be thought of as more extensive than spatiality does not even seem very abstract: vectors are used in probability spaces where each \u201csegment\u201d of a line carries with it a probability cloud of possible inclinations according to different circumstances. Newtons famous arrow of time is multiplied here, when we add vectors we add different arrows of time, so to speak, and we compute in quantum space not only with probabilities, but with probability amplitudes.<\/p>\n

Thus we will not follow Heidegger here to where he goes in Being and Time<\/em>. Because at work in his critique regarding a general condition of facilitation<\/em>, and its inherent trivialization of knowledge, is, I want to argue, the entire problematical complex surrounding the notions of magnitude, ratio, value, and the role played by algebraic symbolization in how these notions may be related to each other. And in the contemporary practices of computational<\/em> experimental science, it is this number theoretical complex which makes Heideggers thinking relevant in a new manner that goes beyond Heideggers own discretion of it: Electric facilitation \u2013 in his extended sense – is modulated in the realm of quantums proper to electro-magnetism.<\/p>\n

The role that mathematics came to play for experimental science largely rests on subjecting experiments to the so-called Induction Principle in Arithmetics<\/em>. In Turings and Churchs\u2019 notion of \u201ccomputable numbers\u201d, it is this very principle that governs the suggested class of numbers declared to be \u201ccomputable\u201d. The principle states that if a property holds for 0, and that whenever it holds for a number n it also holds for n + 1, then the property holds for all numbers. The principle thus guarantees the universal applicability of arithmetics. And yet, it is exactly the uniformity implied thereby which reveals itself to be, more and more, problematical.<\/p>\n

Edward Nelson, in his book Predicative Arithmetics<\/em> (Princeton University Press, 1986), states the reason why the induction principle began to be mistrusted in the following way:<\/p>\n

\n

\u201eThe reason for mistrusting the induction principle is that it involves an impredicative concept of number. […] That is, the induction principle assumes that the natural number system is given.\u201c<\/p>\n<\/blockquote>\n

He drastically describes the shift to conceptual mathematics:<\/p>\n

\n

\u201eA number is conceived to be an object satisfying every inductive formula; for a particular inductive formula, therefore, the bound variables are conceived to range over objects satisfying every inductive formula, including the one in question.\u201c<\/p>\n<\/blockquote>\n

In 1986, when Nelson\u2018s book appeared, he could still observe with some amazement that<\/p>\n

\n

\u201e[I]t appears to be universally taken for granted by mathematicians, whatever their views on foundational questions may be, that the impredicativity inherent in the induction principle is harmless \u2013 that there is a concept of number given in advance of all mathematical constructions, that discourse within the domain of numbers is meaningful.\u201c<\/p>\n<\/blockquote>\n

With drastic vehemence he contradicts this view by holding:<\/p>\n

\n

\u201eBut numbers are symbolic constructions; a construction does not exist until it is made; when something new is made, it is something new and not a selection from a preexisting collection.\u201c<\/p>\n<\/blockquote>\n

Thereby, he is well aware that the issue is not a strictly scientific one, ; indeed, he concludes his introduction with expressing a sensitivity strikingly similar to Heideggers concerns regarding his diagnosis of our age as the age of world-pictures: \u201eThere is no map of the world because the world is coming into being.\u201c<\/p>\n

The entire context of science shifting from natural<\/em> science to a science of technologically facilitated<\/em> environmentality<\/em> (our manners of facilitation) which we evoked in the beginning of this talk, makes evident the very pragmatical relevance of this \u2013 beyond any \u201civory tower interests\u201d as which such philosophical considerations are often discredited.<\/p>\n

 <\/p>\n

The alphabetization of the numerical in computation<\/strong><\/p>\n

Today, Nelsons insistence on the symbolical make-up of number concepts, and on the impredicativity of an inductively verified formula, must appear much more urgent and important to the eyes of anyone who is slightly familiar with state of the art computer science. Here, impredicativity is welcomed<\/em> with an open mind as \u201eparametric polymorphism\u201c. We can learn the basic interest of this affirmation from the wikipedia article which characterizes parametric polymorphism as \u201ea way to make a language more expressive\u201c. What can we understand by this? \u201eUsing parametric polymorphism, a function or a data type can be written generically so that it can handle values identically without depending on their type.\u201c This may sound very technical, but such functions and data types are called generic functions <\/em>and generic datatypes<\/em> respectively, and they form the basis of what is called generic programming. As we can learn again from wikipedia: \u201eIn the simplest definition, generic programming is a style of computer programming in which algorithms are written in terms of to-be-specified-later types<\/em> that are then instantiated when needed for specific types provided as parameters.\u201c Important for our context is that by regarding the metrical diagonal as the scalar product in a notion of space whose constitution is vectorial, confronts us with an understanding of space that is neither static nor dynamic, but rather vibrant and burstingly full of possible and probable<\/em> extensions.<\/p>\n

What I would like to suggest is that such a notion of space can most adequately, perhaps, be illustrated by relating it to the infinity of the space that is contained, immanently, in the characters of an alphabet. Wilhelm von Humboldt, the great empirical<\/em> linguist in the 19th century, has characterized such a notion of literal space with great sensitivity:<\/p>\n

\n

\u201eLanguage faces a truly boundless realm\u201c, he held, \u201ethat 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 active (energeia).\u201c_<\/sup><\/p>\n<\/blockquote>\n

In similar manner, we ought to conceive of a notion of intellegibility that is to bound what can be computed. Indeed, it seems as if the respective developments have engendered a veritable alphabetization of number through programming languages. The authors of that book which most prominently raised interest in parametric polymorphism, Design Patterns. Elements of Reusable Object-Oriented Software<\/em> (1994), Erich Gamma, Richard Helm, Ralph Johnson and John Vlissides note in dry understatement that this technique is very powerful, but that \u201e[dynamic], highly parameterized software is harder to understand than more static software.\u201c_<\/sup><\/p>\n

An alphabetization of number means to decouple numbers from the apparent sequentiality that constitutes the Induction Principle in Arithmetics, and instead to treat them like the letters of an alphabet. In a text, the appearance of a B does not necessarily follow an A, as it would according to the positional system within the alphabet. Instead it can just as well precede, lets say, an E in order to form the word BE. Of course, with this analogy I do not mean that numbers might be compassed by the alphabets of languages as we treat them in (mainstream, structural and transformational) linguistics. Rather, we might say that the elements of language and the elements of arithmetics belong together within a third, and this third is symbolicity as a quasi-material elementarity<\/em> which is governed<\/em> by Laws, in distinction to the logicist idea of it as a symbolic Order that is stateable<\/em> by Laws.<\/p>\n

It is here that Louis Hjelmslevs quest for a general linguistics that builds around \u201can algebra that were immanent to language\u201d becomes to relevant. We will come back to this in a moment.<\/p>\n

In any case, we would be mistaken, or at least acting prematurely, if we reduced our speaking of the alphabetization of number to a merely metaphorical usage; indeed, it is the essence of coding to establish finite and symbolical alphabets, within which the place-value logics of natural numbers (as we have it for example in the decimal number system) is combined with the mathematical notion of information in terms of quantities that can thus be positioned within a numerical space. In information science information is not, like we would expect from linguistics, semantically or materially determined (e.g. nuclei of meaning, or the phoneme as the basic element of sound). Instead it is a strictly symbolical notion, which is determined by taking a symbolization of chance<\/em> as its quasi-material, or quasi-semantic \u201emagnitude\u201c \u2013 magnitude because in such symbolizations, chance is counted by an indefinitely stated, yet finite variable (the so-called \u201echance-variable\u201c), whose values sum up all the combinations possible for the elements of the coding-alphabet. This is what renders chance measurable. All probabilistic procedures depend upon such alphabets.<\/p>\n

It is with their help that algebra manages the infinite today in manners as yet unseen._<\/sup> Yet from a philosophical point of view, the meaning of this characterization of algebra entirely depends upon our notion of the infinite \u2013 do we mean, by the infinite, only what we can account for by enumeration, i.e. in regard to number, or do we mean, by the infinite, also what we can learn to account for by qualitative specification of that which we can, symbolically, enumerate as entities, i.e. in regard to the modularization<\/em> form,<\/em> and that which gives measure. From the literature on mathematical practice, the common assumption today seems to be the former. On this assumption, the status of algebra in what we can know is subordinated and instrumental. Algebra, according to this understanding, can only be applied to what is assumed to be identical in its kind by nature<\/em>, independent of how we think about it. Algebra in this understanding can help us to find out how what is<\/em> identical in kind, and hence potentially<\/em> determinable, can actually<\/em> be determined through reason. According to the latter characterization of the infinite, on the other hand, identity itself is the nature that is engendered by the contracts worked out with symbolical procedures.<\/em> A thing\u2018s determinability, here, is not independent from the thinking that appropriates and develops the skills of actually determining it on reasonable grounds. The status of algebra according to this latter view is not only instrumental in how<\/em> we can learn to know, but also constitutive for what<\/em> we can learn to know.<\/p>\n

 <\/p>\n

The cipher, and its quantum-body of objective neutrality: nothingness<\/strong><\/p>\n

So let us sharpen this line of thought: our contemporary form of technics is algebraically constituted \u2013 electricity and information are both concepts with real and physical manifestations, even though they are formalized in terms of symbolical quantities. Both of these formalizations work by symbolizing their systematicity in terms of entropy. The concept of entropy originates in the science of dynamical systems, i.e. in thermodynamics._<\/sup> Here, entropy is a measure of the number of specific ways in which a thermodynamic system may be arranged<\/em>. Thermodynamic systems are systems constituted by an operative measure<\/em> that acts upon a temporal happening, not by a particular design of a constructive order that would apply to a static constellation. Yet in order to still count as a system, i.e. in terms of a finite number of specific ways in which it can be arranged, thermodynamics must assume the state of an ideal balance for each system \u2013 what is called their state of maximum entropy. This state is an ideal state because it describes a state in which, paradoxically, nothing actually happens<\/em>. As long as such a system can count as real, it never is in this ideal state. This ideal state is commonly called \u201edisorderly\u201c. Yet what is referred to in terms of \u201edisorder\u201c here is ill understood if we conceive of it as chaotic in any genuine sense: such a state is not confused in the sense that it lacks determinability; quite oppositely, maximum entropy in fact denotes a state of too much<\/em> determinability \u2013 namely the state where any way of arranging the system\u2018s course is equally likely to happen._<\/sup><\/p>\n

So entropy is a measure, and dynamical systems are dynamical because they are constituted not by one particular order, but a structure that supports the full operability of this measure. To picture what this means, we could say that the metrical constitution of these systems extends as the totality of all the orders that can be constituted by applying the measure. Maximum entropy, hence, would be the state of a system in which its constitutive measure measures nothing but itself.<\/em><\/p>\n

The ideal state of maximal entropy is like an impredicative definition in logics, i.e. a definition that is self-referentially defined. Hence, the thermodynamic idea inverses the scheme of how philosophy has traditionally thought about order and disorder._<\/sup> Here, ideality is not linked to pure order, and reality is not linked to deficient and confused order, but the other way around. Ideality is disorder because it is a too much in possibilities<\/em>, a system is the more real the less ideality characterizes it. In other words, a system whose dynamics unfolds in approximatively uniform manner counts as a \u201cwell-ordered\u201d system, whereas one which remains difficult to predict in its behavior counts as a \u201cdisordered\u201d system. Noise is actually the amphibolic milieu in which a signal will trigger effects. There are interesting links here to Simondon\u2019s theory of individuation \u2013 in a way that would lift his \u201cemphasis\u201d on physical instruments and apparatus (their \u201cmode of existence\u201d) to the level of the symbolic schemes and forms that constitute their mechanical workings.<\/p>\n

The concept of entropy has been introduced early in the rise of thermodynamics (it is already stated in the first law), but at first it merely played a theoretical and postulational role, its assumption was necessary for accounting how a thermodynamic system can conserve energy (however asymmetrically). It was only with a formula that assumed the number of ways in which the energy of a system may be distributed to its parts can be identified globally, for all thermodynamic systems, as a constant. With this formula, Ludwig Bolzmann introduced a way of how the particular entropy of a system could actually be determined in predicative<\/em> (not in self-referential and impredicative<\/em>) terms._<\/sup><\/p>\n

This inverted set-up in thinking about order and disorder is constitutive for how the entropy concept has been appropriated in information science. In the mathematical theory of communication, a message is considered within a probabilistic framework, analogous to how thermodynamical systems are regarded in nature. In communication technology, the technological pendant to \u201cnature\u201d in thermodynamics is the \u201cchannel\u201d. Here, entropy also counts as a measure of disorder, i.e. as an excess in ways of how the structure of the message (conceived as a dynamical system) might be arranged. Thus, from the point of view of communication technology, this line of reasoning results in the following proportionality: The higher the entropy with which a message arrives at the destination of its transmission through a channel, the higher the amount of information involved in the act of communication. It was the genius of Claude Shannon to find a formula for statistically determining the value of entropy in informational systems analog to that found by Bolzmann. With recourse to George Boole\u2018s binary algebra, and through applying Boole\u2018s notational code not to the consistency of logical arguments (this is what Boole himself applied his algebra to_<\/sup>) but to the conductivity of electricity, he was able to introduce a binary unit of information, the BIT, and hence think about the transmission of messages \u201emathematically\u201c.<\/p>\n

As a unit, the BIT is conceived such that it is thought to count a magnitude<\/em>; yet this magnitude is entirely pre-specific<\/em>. It is Chance rendered measurable by having it articulatable by a particular alphabet (whose possible articulations sum up to the symbolical totality of a chance variable). Such a magnitude is pre-specific not only because it represents the continuity of a magnitude in discrete manner, but also because the kinds of the magnitudes which the BIT discretizes are relative to a finite alphabet of coding<\/em>, the sum of whose elements constitutes the \u201ehorizon of events\u201c which operates, in probabilistics, as the particular magnitude\u2018s form<\/em>. This horizon of events is a so-called \u201echance variable\u201c. Hence, from the point of view of communication technology, anything at all<\/em> can count as a \u201emessage\u201c as long as it can be encoded within the finite characters of an alphabet (morse code, color code, musical scores, the laws of kinetics, those of dynamics, those of quantum states, the table of chemical elements, elements of DNA, etc)._<\/sup><\/p>\n

We can see where the initial and ingenious analogy between nature and a particular probabilistic framework gives rise, meanwhile, to all the confusions regarding the not-strictly technical status of the concept of information: Information technology renders plainly evident that the \u201enature\u201c of any probabilistic framework is a symbolically contracted nature<\/em>. Therefore, the particular status of the symbolical in probabilistic reasoning has turned problematical: It is with regard to this peculiar status of the symbolic that our initial question regarding infinity matters so much: symbolical procedures are not only instrumental in how<\/em> we can learn to know, but also constitutive for what<\/em> we can learn to know.<\/p>\n

 <\/p>\n

Disparseness, or In the element of neutrality – the many bodies of nothingness<\/strong><\/p>\n

Strictly speaking we are, with probablistic reasoning, not in the realm of nature any more. We are in a duplication of the natural<\/em> in a manner similar to how cities were always conceived to be duplications of the cosmos<\/em>. We are in a symbolically contracted element of naturalness, we are in a civic<\/em> nature. Ludwig Wittgenstein\u2019s theory of rule following is highly aware of this, and placed by him within a philosophical grammar<\/em> once more: Ask yourself whether our language is complete, he challenged us. Whether it was so before the symbolism of chemistry and the notation of the infinitesimal calculus were incorporated in it. \u00bbOur language can be seen as an ancient city: a maze of little streets and squares, of old and new houses, and of houses with additions from various periods; and this surrounded by a multitude of new boroughs with straight regular streets and uniform houses\u00ab, he suggested. Rule following and learning need not exclude each other, if we let go of the idea that that which we have learnt mimics nature. But if we are in such a civic nature, a technically mannered duplication of the natural, the creativity involved in thinking it can only be approached by a philosophy for which origin and originality is placed in the world, and thus, a philosophy which has overcome the distinction between the natural and the cultural, and which instead embraces \u2013 as its very element \u2013 \u201cformality\u201d. As an element, we are speaking here about \u201cformality\u201d as \u201cstuffness\u201d, not as \u201cpure form\u201d or something like that. It is a philosophy which does not seek complicity with an assumed \u201cpure interiority\u201d of the natural, by recollecting<\/em> ones own participation in it (in the Platonic manner of Plato, continued by Husserl, Heidegger, Derrida, Stiegler today) but one which enjoys encountering<\/em> it with grace<\/em>, as something to be praised and appreciated, as something which will remain, essentially, arcane. We take this to mean that thought which encounters the locus of originality (every philosophy departs from this) must necessarily behave discretely<\/em>. It can encounter it in a space of homothesis, a formal space where thought can be precise, witty, responsible, caressing, and self-confident, because it knows itself in an abstract space (where both time and space are indefinite) it engenders specifically for its encounters with the locus of originality.<\/p>\n

But is this not a contradiction with the very possibility of learning? If we can behave always already only within a very element we have, ourselves, contracted? No one can learn without repetition. How could we possibly learn form repeating within a space where no real events, no real limitations, bare of all deliberations, would by our guide? This question is at the very core of Gilles Deleuzes philosophy, which discredits the dialectic circle of identity and contradiction<\/em> in favor of a virtualized dialectic circle<\/em> which revolved around difference and repetition<\/em>. If we are, in thinking, in an element of pure formality \u2013 on a stage of abstraction on which we participate in the drama of an encounter with originality \u2013 than that which \u201cstands out against\u201d is not a contradiction but an indication of the naturally dispars<\/em> (unequal and vanishing) materiality of sense in its formlessness<\/em>:<\/p>\n

\n

\u00bbRepetition is […] the formless power of the ground which carries every object to that extreme ‘form’ in which its representation comes undone. The ultimate element of repetition is the disparate [dispars], <\/em>which stands opposed to the identity of representation. Thus, the circle of eternal return, difference and repetition (which undoes that of the identical and the contradictory) is a tortuous circle in which Sameness is said only of that which differs.\u00ab[2]<\/a><\/sup><\/sup><\/p>\n<\/blockquote>\n

For our interest in literacy, sense must condition knowledge, not the other way around. The dialectical circle Deleuze is proposing makes this its point of departure. Much of the unease that rises against Deleuzian philosophy stems from this characterization of the dialectical circle (which is circle of learning, in Deleuze no less than in Plato or Hegel) \u2013 because a virtualized dialectic revolving around difference and repetition is, in a certain sense, painful as learning too is painful. Deleuze calls it a \u201ctortuous\u201d circle.<\/p>\n

If we forget that this dialectic circle relates to individual historicity, not to history in any general sense, then this this seems to suggest that we simply have to settle and accept a violent wielding of the powers of the real, and live with the irrevocability of unequality. In its political implications, this seems completely unacceptable \u2013 for well understandable reasons! It seems to strip all faith in intellectuality from its hope of being salvational. But \u201ctortuous\u201d has these connotations only in a sense that derives from our familiarity with the dialectical circle of identity and contradiction, not in the Deleuzian virtualized form as one revolving around difference and repetition. \u201cTortuous\u201d means, primarily, as the etymologoy of the notion tells us: \u201csinous, winded, twisted, spiral\u201d. Now, if we acknowledge that (1) we can never form complicity with an interiority of nature, but (2) that we also can not avoid duplicating it in a contractual, symbolical sense, then there can be no talk of \u201chaving to settle and accept a violent wielding of the powers of the real\u201d. Because the virtuality ascribed to this circular and dialectical thinking has, as the very element, in the sense of \u201cstuff\u201d, the unequal and ceaselessly vanishing materiality of sense. The characterization of \u201ctortuous\u201d appears in a different light.<\/p>\n

We can comprehend of the virtuality<\/em> proper to the materiality of sense<\/em> if we assume an atomism of the power to imagine that is at work in sense-making<\/em>. This \u201catomism\u201d must be providing symmetry structures for sub-atomic particles, and it can be conceived as equally electrified like the sub-atomic particles are conceived in quantum physic. Virtuality, then, is not another name for \u201cpotentials\u201d \u2013\u00a0it is potentials considered in the totality of the articulatable probability spaces that are thinkable. The virtual, then, is a force, but one which does not harvest positive resources, but which gains strength and develops through the tortuous<\/em> character of the disparse<\/em>: its sinuous, winding, entropic <\/em>(!) character.<\/p>\n

The disparate is the very positivity of the unequal<\/em>: if we place this determination in what we have discussed about entropy, as the virtual state of the impredicative amount of specific ways in which a dynamic or communicational system may be arranged, <\/em>it is clear that we are in state of pure in-sinuosness where possibilities are vibrantly co-existing. To regard the element of sense as such an entropic materiality, then this suggests that learning derives its force from its discretionary power<\/em> over nothingness<\/em>, or, less threateningly, over the cipher<\/em>. Learning derives its force from inventing codes that allow thought to appropriate virtual bodies of reciprocity, as I have called them earlier, that is a cipher together with a particular code in terms of which we can decipher what can be rendered out of it<\/em> (the application of mathematics to physics, or any other domain, does nothing else!<\/p>\n

With this, we are back to the distinction we have gained earlier regarding two different manners of thinking \u201cidentity\u201d. In the pre-modern philosophical grammar of quantity, we saw that equality is only suitable for addressing the actuality position (verbs) and the object position, but not the subject position. It is in this sense, the sense as a subject<\/em>, that a symbolic body of reciprocity cannot be addressed in terms of equality<\/em>. It is a \u201csubject\u201d because it must pay tribute to the codes that establish and contract the relation of equivalence<\/em> which it states formally<\/em>. We have in such bodies a \u201csubjectivity\u201d which is genuinely \u201cneutral<\/em>\u201d \u2013 in all implications of this word. To put it drastically: we have symbolical corporealities of pure neutrality. They are bodies of entropy.<\/p>\n

But, after all, what does this have to do with the energetics on a sub-atomic level, as which I have suggested to characterize this peculiarly in-sinous, unequal and vanishing materiality of sense?<\/p>\n

Let us attend to quantum physicist and feminist scholar Karen Barads remarks in her booklet \u201cWhat is the measure of nothingness\u201d. She writes:<\/p>\n

\n

\u00bbThe electron is a structureless point particle “dressed” with its intra-actions with virtual particles: it intra-acts with itself (and with other particles) through the mediated exchange of virtual particles. (For example, an electron may intra-act with itself through the exchange of a virtual photon, or some other virtual particle, and that virtual particle may further engage in other virtual intra-actions, and so on.) Not every intra-action is possible, but the number of possibilities is infinite. In fact, the energy-mass of this infinite number of virtual intra-actions makes an infinite contribution to the mass of the electron\u00ab.[3]<\/a><\/sup><\/sup><\/p>\n<\/blockquote>\n

But what is a \u00bbvirtual particle\u00ab supposed to be? In quantum field theory, and this is her major thesis, the so-called virtual particles do not stand for an epistemological uncertainty, but for an objective and ontological indeterminacy. [4]<\/sup><\/a><\/sup> \u00bbVirtual particles: virtual particles are quanta of the vacuum fluctuations. That is, virtual particles are quantized indeterminacies-in-action.\u00ab The difficult to swallow implication of this is that \u00bbVirtual particles are not in<\/em> the void but of<\/em> the void\u00ab. Nothingness is not some sort of receptacle, which supposedly can be endowed with particles. Rather, it is contractually bound up with the particles it is endowed with. Nothingness is of a contractual nature which must count as positive and material, even though this regards as symbolic and purely formal sense \u2013 that\u2019s why she insists on the positivity of an ontological indeterminateness. Only in this \u201cnature\u201d can particles be virtual. Nothingness, the void, the vacuous is ascribed, thereby, a material elementarity of sheer neutrality. Such neutrality, I would like to suggest, is civic nature. Every \u201cchance variable\u201d we compute with is of this nature.<\/p>\n

Before turning to Hjelmslev, who indeed invented an utterly general theory of pure\/stuffy\/elemental \u201cformality,\u201d where everything is engendered out of the measurement of nothingness, I would like to add a lenghty quote from how Barad illustrates her point about ontological indeterminacy:<\/p>\n

\n

\u00bbThey are on the razor edge of non\/being. The void is a lively tension, a desiring orientation toward being\/becoming. The vacuum is flush with yearning, bursting with innumerable imaginings of what could be. The quiet cacophony of different frequencies, pitches, tempos, melodies, noises, pentatonic scales, cries, blasts, sirens, sighs, syncopations, quarter tones, allegros, ragas, bebops, hip hops, whimpers, whines, screams, are threaded through the silence, ready to erupt, but simultaneously crosscut by a disruption, dissipating, dispersing the would-be sound into non\/being, an indeterminate symphony of voices. The blank page teeming with the desires of would be traces of every symbol, equation, word, book, library, punctuation mark, vowel, diagram, scribble, inscription, graphic, letter, inkblot, as they yearn toward expression. A jubilation of emptiness.<\/p>\n

Don’t for a minute think that there are no material effects of yearning and imagining. Virtual particles are experimenting with the im\/possibilities of non\/being, but that doesn’t mean they aren’t real, on the contrary. Consider this recent headline: “It’s Confirmed: MatterIs Merely Vacuum Fluctuations.” The article explains that most of the mass of protons and neutrons (which constitute the nucleus and therefore the bulk of an atom) is due not to its constituent particles (the quarks), which only account for 1 percent of its mass, but rather to contributions from virtual particles. Let’s try to understand this better\u00ab.[5]<\/a><\/sup><\/sup><\/p>\n<\/blockquote>\n

The measurement of nothingness involves turn nothing into a ciphered body of neutrality (reciprocity is another word for it). A cipher-turned nothingness includes the code that establishes it as a cipher. It is in the characteristics of this code that the cipher is the sign<\/em> for nothingness. Perhaps we can say that \u201cNothingness\u201d stands for all that which has not yet been learnt by anyone ??<\/p>\n

Whatever its transcendent referent might be, the cipher represents literally nothing but itself.<\/em> That is, it poses an enigma \u2013 the enigma that there is something rather than nothing. The enigma of thinking, learning, understanding. It poses the enigma in a self-engendering manner: operatively, characterizable, such that it can be rendered intuitable and discretable. The cipher is the symbolic \u201cdegree zero\u201d, the being of the void<\/em>. It affords the neutral space for any determination<\/em>.<\/p>\n

If I\u2019d try to put this in suggestive terms: the cipher, together with its lofty skeleton (the code) is a symbolical body which insists in all determinability as a distributed and hence desiring quantum-body. This quantum-body is what it is only because it is dressed up as cipher. Its \u2018disguise\u2019 is no concealment, it is Heidegger\u2019s sameness of the infinite\u2019s identity<\/em>, invariant and insistent generic essence. The Parmenid\u2019ean \u201cimpossibility\u201d it incorporates is that it cannot exist barely, nakedly. Yet this impossibility is not a lack, but a cornucopia of abundant sense that can be made, of a knowledge of a nature which is mannered, civic.<\/p>\n

It is the body of the intelligible Earth as it engenders and gives birth to itself. It is the Earth\u2019s natural body, whose nakedness is the neutrality of the cipher \u2013 seeking to glance at its bareness is nothing but obscene. It insists on being paid respect through discreetness \u2013\u00a0like the circle, the elusive figure of infinity \u2013\u00a0while at the same time it will always resist being the object of discretion. It places us in a position of modesty that is not in conflict with the pursuit of intellectuality \u2013 quite opposite. The main requirement for this modesty not to be a false modesty is to pursue distinctiveness, formality, eloquence, power, sophistication \u2013 in the awareness that these abilities are conditioned and grounded in an abstract space of symbolical contracts, in the being of the Earth\u2019s body of neutrality, the cipher. Symbolical contracts constitute stages for abstract thought \u2013\u00a0such stages can be thought of as cities that desire to accommodate nature in its universality. Cities where no one is native, and where everyone who wants to learn is welcome.<\/p>\n

 <\/p>\n

Glossematics: Theory conserves and circulates and differentiates the materiality of sense<\/strong><\/p>\n

The first inception of such a space is usually associated with Thales, whose theorem states how quantities might be extended or diminished to infinity while keeping their ratio as well as their proportionality. The theorem postulates a Logos, as \u201ca manner of speech\u201d which articulates an identical relation, the invariance of one and the same form. It is a logos of similarity whose operative metrics is not external to itself, such speech bears it immanently. It is the logos of speaking mathematically, and that is why its constitutive metrics needs not be external to it. Conceived of as a logos, as a linguistic characteristics, mathematics is a cornucopia which donates infinitely much out of almost nothing at all, as Michel Serres has put it.<\/p>\n

Electricity and information technology reminds us that the most formal manner of thinking we know, mathematics, is not the silent, non-conversing Other to natural (or \u201coriginal\u201d) language\u2019s eloquence, but that it too is communicational. It is caught up in the conversation about originality which is, even though it is a conversation, not idle talk but the springing source of intellectual mastership which we associate with \u201cKnowledge\u201d.<\/p>\n

The Danish linguist Louis Hjelmslev has begun to link back to the space of homothesis and he has come up with a \u201eGeneral theory of linguistics\u201c which is set up, as I would like to argue, as a kind of theoretical geometry<\/em> (this is the meanig of the Thales moment in geometry, the inception of theoretical geometry) of anything that can be uttered in a manner that makes sense \u2013 now or at anytime. He called it Glossematics, from the Greek glossa<\/em> for \u201cobscure word, a word that requires explanation, a foreign word, a word by a foreign tongue\u201d. His ambition is to come up with a theory of language which must take nothing for granted, a theory which carries its own principle of metricality within itself just like theoretical geometry after the theorization by Thales and others. \u201cSuch a linguistics\u201d he writes, is distinguished from conventional linguistics, and \u201cwould be one whose science of the expression is not a phonetics and whose science of the content is not a semantics. Such a science would be an algebra of language, operating with unnamed entities […].\u201d These entities are the glossemes around which he constitutes his theory. Glossematics \u201c[…] aims to produce just such an immanent algebra of language. To mark its difference from previous kinds of linguistics and its basic independence of non-linguistically defined substance, we have given it a special name, which has been used in preparatory works since 1936: we call it glossematics <\/em>(from ‘Yhwuua <\/em>‘a language’), and we use glossemes <\/em>to mean the minimal forms which the theory leads us to establish as bases of explanation, the irreducible invariants.\u201d<\/p>\n

Hjelmslevs theory is availabe in his \u201cprolegomena to a general theory of language\u201d<\/em> as well as in his posthumeously published \u201cR\u00e9sum\u00e9 of a theory of language\u201d.<\/em> Both texts are utterly formalized, and form a system. In that, they are not unlike Ludwig Wittgenstein\u2019s Tractatus<\/em>. Thus, it would be vain if I tried to introduce it on a technical level as a basis for you to relate to in my discussion of it. Instead, I have tried to prepare the stage for my consideration of glossematics with regard to CHARACTERIZING DISCRETIZED PROBABILITY DENSITIES AS A KIND OF ALPHABETICITY .<\/p>\n

Hjelmslev continues the structural approach of Saussure, with perhaps no more than one crucial divergence. It concerns the manners of dealing with negative values. As is well known, Saussure\u2018s key stroke was to assume<\/em> negative values and thus to think about language as a system, with a proper structure, the elaboration of which was his key interest. Saussure marks the beginnings of engaging with language systematically and constructively. This was only possible because he did not seek to characterize instances of text descriptively, according to what features in a particular instance of text, but by placing each and every instance within one horizon of possible features. Like this, he hoped to find a way of formalizing linguistic substance (the meaning of a word or a grammatical, morphological etc feature) without having to assume an essential positivity for it \u2013 instead, as he saw it, we need to analyze text differentially, and in absence<\/em> of the very movement one tries to trace, just like distributed distinctive points are integrated by calculus in mathematical analysis. Signification, for him, is the relation between Signifier and Signified, and yet, this relation is never congruent with a sign itself. Signs are what counts as \u201cdistinctive points\u201d in the analysis of dynamics, and Saussure assumed that no sign exists outside of its relationality with all the other signs. Harald Weinrich describes as follows:<\/p>\n

\u201cEvery linguistic sign has a determinate value<\/em> insofar as it differs from all the other signs within one and the same linguistic system. With regard to this, Saussure conceives of signs as \u2018terms\u2019 within a relational complex. The relation between one term and all the other terms of language is, by principle, a differential relation, oppositional and negative. All that matters is that a linguistic sign be not all the other signs of the same language.\u201d Saussure himself puts this plain and simple: \u201cDans la langue il n\u2019y a que des diff\u00e9rences sans termes positifs\u201d or: \u201ctout est n\u00e9gatif dans la langue.\u201d Thus, linguistic analysis which aims at positif results would have to go through all the negatives to all the signs of a linguistic inventory \u2013\u00a0a pragmatical burden which has lead to the oblivion of Saussures \u201ctheory of values\u201d aspect. Instead, structural linguistics was pursued for example on the basis of a particular notion of the phoneme as a \u201cnucleus of positivity\u201d such that linguistic analysis may provide an empirical and inductive basis for logical foundations of meaning, semantics, syntax, etc.<\/p>\n

Well, this is exactly the point where Hjelmslev continues the Saussurean legacy. The pragmatical issues regarding inventories of signs to be \u2018overcomplex\u2019 to be treated according to the value theory,<\/em> rather than as variations from a particular magnitude (the phoneme) did not bother him \u2013 the dedicated goals of his theory was not to provide an inductive basis for systems of logical foundation, but an economical<\/em> one: to conserve and cultivate the \u201cinexhaustibel abundance of manifold treasures\u201d through which language is \u201cmankind’s patent of nobility\u201d.<\/p>\n

As disturbing as this sounds to our ears \u2013 a patent of mankind\u2019s nobility \u2013 it bears the aspect under which I would like to raise the question of my title: is \u201can algebra immanent to language\u201d suitable for characterizing discretized probability densities as a kind of mathematical alphabeticity<\/em>.<\/p>\n

With this twist it is clear that I don\u2019t treat this question as a question which could be \u201cverified\u201d or \u201cfalsified\u201d empirically. Rather, I treat it as the question of \u201cunder which considerations could we hold it to be suitable, or non-suitable\u201d.<\/p>\n

 <\/p>\n

Beyond the Apparatus, or: getting over the deadlock of tautology by repetition (alphabeticity)<\/strong><\/p>\n

This means that we have to look closer at what such an \u201calphabeticity<\/em>\u201d would entail, from what it would distinguish itself, and what would be its promise. Let\u2019s begin then by contrasting it to what is the common practice today \u2013 namely to affirm that the characterization of probability densities must enable us to deal with them \u201cmechanically\u201d<\/em>.<\/p>\n

To treat them mechanically involves considering them as potentials in the thermodynamic, energetic sense. But when natural kinds are symbolized by categories<\/em>, categories explicate the notion of forms<\/em>, and properties<\/em> do not belong to things, neither individually, specifically or generally, but extend into a qualitative space whose principle is logical, then probability densities are caught up in a virtuality that results from <\/em>their status as ciphers, as entropic bodies of neutrality. We can characterize this status as the mutual implicativity of \u201cepistemological uncertainty\u201d and \u201contological indeterminacy\u201d, but it is not enough. This virtuality introduces to quantum physics the entire range of expression that is proper to literacy: grammatical correctness and logical consistency as well as poetic voice, varying degrees of mastership in the sophistication and eloquence in expression and articulation, instrumental and strategic use of \u201cquantitative\u201d speech and writing, involving dramatization, narration, humor and lies. A mechanism, we are used to thinking, liberates us from all the difficult interpretations of sorting out the reliability of a statement in this manner \u2013\u00a0mechanisms never lie<\/em>. They never instrumentalize you. They never try to trick you into a position you don\u2019t want to find yourself in. They are purely general and objective. Isn\u2019t this what we are used to thinking? Is this not why we trust academic language if it is as in-eloquent as possible, as conforming and general as is established in and demanded by the communities of expertise?<\/p>\n

And yet \u2013\u00a0don\u2019t we experience in all those information-based infrastructures that condition our current manner of \u201cbeing facilitated\u201d the almost exact opposite of this? Do not all the technologies impose \u201cimperatives\u201d on their users \u2013 especially if they are supposedly straight forwardly mechanical?[6]<\/a> Well exactly. The idea that mechanism are straightforwardly what they are corresponds to mechanism applied to sets of particles where each one is replaceable with any other one without change in the smoothness of how the mechanism works. But in information technology, the (classical, non-virtual, non-quantum) physical \u201cparticles\u201d are expressed as \u201cvalues\u201d in a \u201cvariable\u201d which ranges over \u201cmagnitudes\u201d. This is what makes \u201cmechanisms\u201d in information technology parametrizable according to different \u201cweightings\u201d. Operating with \u201cparticles\u201d expressed as \u201cvariables\u201d, mechanisms turn \u201cgeneric\u201d. Generic mechanisms do not directly transform \u201cforces\u201d (as we would say for mechanisms that operate on particles that are not expressed as values) \u2013 they do so within an environment of power<\/em> within which they modulate how<\/em> they transform forces. The interplay of such value-based mechanisms are more adequately conceived as \u201cinstruments\u201d, not unlike \u201cinstruments\u201d in Music.<\/p>\n

Michel Serres has given a characterization of language which very well summarizes Hjelmslevs concerns with his insistence on \u201cnobility\u201d: \u201eLa langue n\u2018est pas, elle peut\u201c, and further \u201eune langue vivante, c\u2018est une puissance\u201c. The symbolical techniqes of discretion in language are alive, and as long as they are alive, they are capable of saying all: \u201eUne langue a la capacit\u00e9 de dire ce qu\u2018elle ne dit pas encore<\/em>, elle est creative, elle invente\u201c. The same holds for \u201cmechanisms\u201d in technics based on information\/quantum physics.<\/p>\n

Thus, it is Saussures \u201clost beginning\u201d of developing a theory of language based on values in all their algebraic complexity (which cannot be captured by \u201csign-based representations of signifying relations) that is continued by Hjelmslev. Half a decade later, the resistance towards it is still the same as in Saussures time: too abstract, difficult and demanding, if viewed proportional to what it can yield. Similar concerns are raised against category and sheaf theory today.<\/p>\n

But the singular \u201cbenefit\u201d of these approaches is that value-based theories, not representation-based theories, can be conceived as \u201cinstruments\u201d rather than as \u201cinventories\u201d or \u201clogical grids that are grounding explanation\u201d. They can be conceived as being capable of saying even that which it cannot say yet<\/em> \u2013\u00a0a theory\u2019s virtual possibilities. The music that can be made with a violin can never be exhausted. And so is the case, if we follow Hjelmslev and Serres, for theories. The influence between a theory and the object that it makes understandable are not one-way (inductive, the object informing the theory, or deductive the theory informing the object), but reciprocal. That is why Serres, as well as Hjelmslev, maintain that a characteristics, an alphabet that is capable of symbolizing something, maintains relations to theories as instruments like musical notations maintain to mustical instruments: \u201ea characteristics peut dire tout ce qui est \u00e9crit, et on peut inventer avec un piano.\u201c<\/p>\n

Theories, then, can be as much or as little \u201cverified\u201d as the compositional notations for a musical piano piece. They do not themselves \u201cexplain\u201d something \u2013 they can be \u201cplayed\u201d (more or less well) to produce \u201carticulations\u201d of a perspective (theoria) offered and grounded in the object around which it revolves. This refrains from a \u201crealist\u201d position \u2013 language does not describe objects independent of it. But it also does not follow a correlational point of view, where the \u201creal things\u201d were always already constituted by a formal language \u2013 rather it maintains that we ought to treat \u201cobjects\u201d as ciphered \u201cinvariants\u201d, which cannot be comprehended without articulating them in their totality. This totality, and that is the crucial point, is itself an articulation of the totality\u2019s infinity. They ways we can to think about that is not that the articulation provides a representation or description of it, but rather that it sets in place within language the homothetical realm of theory where the object can be staged and saturated with its own objectivity. Hence a theory does give us the real<\/em> object, but it does so in lesser or greater richness. That\u2019s where how Hjelmslev gives priority to literacy rather than to logics or grammatical correctness. He declares:<\/p>\n

\n

\u201cNaive realism would probably suppose that analysis consisted merely in dividing a given object into parts, i.e., <\/em>into other objects, then those again into parts, i.e., <\/em>into still other objects, and so on. But even naive realism would be faced with the choice between several possible ways of dividing. It soon becomes apparent that the important thing is not the division of an object into parts, but the conduct of the analysis so that it conforms to the mutual dependences between these parts<\/em>, and permits us to give an adequate<\/em> account of them. In this way alone the analysis becomes adequate and, from the point of view of a metaphysical theory of knowledge, can be said to reflect the “nature” of the object and its parts.\u201d<\/p>\n<\/blockquote>\n

and he continues:<\/p>\n

\n

\u201cWhen we draw the full consequences from this, we reach a conclusion which is most important for an understanding of the principle of analysis: both the object under examination and its parts have existence only by virtue of these dependences; the whole of the object under examination can be defined only by their sum total; and each of its parts can be defined only by the dependences joining it to other coordinated parts, to the whole, and to its parts of the next degree, and by the sum of the dependences that these parts of the next degree contract with each other. After we have recognized this, the “objects” of naive realism are, from our point of view, nothing but intersections of bundles of such dependences. That is to say, objects can be described only with their help and can be defined and grasped scientifically only in this way. The dependences, which naive realism regards as secondary, presupposing the objects, become from this point of view primary, presupposed by their intersections.\u201d<\/p>\n<\/blockquote>\n

Totality, on which his entire approach to pursue a value-based theory of language hinges, must not be thought of as consisting of \u201celements\u201d, \u201cparts\u201d, \u201cthings\u201d \u2013 but of relationships. Of course these relationships contract \u201csubstance\u201d that is being totalized \u2013 but \u201csubstance\u201d must be dealt with like \u201cenergy\u201d in physics, that is entirely without a positive or a negative, (a semantically determined) definition of it. We can operate with the concept of energy precisely because its sole scientific relevance stems from the internal and external relations that can be examined by the Laws of Conservation: we can articulate structures of reciprocal transformation on the premise that the quantity of \u201cenergy\u201d \u2013 whatever it may be, it is dealt with as an unknown quantity \u2013\u00a0remain invariant throughout the transformations. This is how Hjelmslev suggests to think about substance (of real things) that is expressed in language. To do linguistics systematically for him is like establishing a network for the circuit of \u201csubstance\u201d not unlike the networks for \u201ccircuiting\u201d energy \u2013 which lies at the very basis of chemistry, physics, biology, etc. System, if it is not to give a representation, affords logistic infrastructures. In the case of linguistics, hence, systematical theories provide logistical infrastructures to make sense of the world in its abundant richness. This is indeed how he begins his treaties:<\/p>\n

\n

\u201cLanguage-human speech-is an inexhaustible abundance of manifold treasures. Language is inseparable from man and follows him in all his works. Language is the instrument with which man forms thought and feeling, mood, aspiration, will and act, the instrument by whose means he influences and is influenced, the ultimate and deepest foundation of human society.\u201d<\/p>\n

[[\u201cBut it is also the ultimate, indispensable sustainer of the human individual, his refuge in hours of loneliness, when the mind wrestles with existence and the conflict is resolved in the monologue of the poet and the thinker. Before the first awakening of our consciousness language was echoing about us, ready to close around our first tender seed of thought and to accompany us inseparably through life, from the simple activities of everyday living to our most sublime and intimate moments \u2013 those moments from which we borrow warmth and strength for our daily life through that hold of memory that language itself gives us. But language is no external accompaniment. It lies deep in the mind of man, a wealth of memories inherited by the individual and the tribe, a vigilant conscience that reminds and warns. And speech is the distinctive mark of the personality, for good and ill, the distinctive mark of home and of nation, mankind’s patent of nobility.\u201d]]<\/p>\n<\/blockquote>\n

Obviously, this raises the theme of \u201cknowledge\u201d and \u201canthropocentrism\u201d. My whole point is that such an anthropocentric approach to literacy, and \u201crooting\u201d formal value-based theories therein, is exactly the way to keep \u201cknowledge\u201d free from anthropocentric dogmatism in science. It we forget that we are speaking \u2013 if neurons are believed to be \u201cimmediately the thing itself\u201d \u2013 well, then we are back in the rich legacies of our past, when science was pursuing to lay bare an Original Language, an Adamitic Language. The language in which we express science is never<\/em> natural \u2013 it is highly ciphered, symbolized, and formalized.<\/p>\n

This feels very counter intuitive and even paradoxical today. Just like the insistence that systematical thought must needs hold on to \u201ctotality\u201d \u2013 in fact, that only thinking in terms of totalizations, that is, insisting on finite forms in science \u2013 can prevent totalitarianism. But only if thought plunges in an infinite element of abundant plenty of things to be known.<\/p>\n

So, in all brevity, how is the set up of such a conservational theory of language?<\/p>\n

It presumes the \u201cinfinite element of abundant plenty of things to be learnt and known\u201d as \u201cpurport\u201d. Purport literally means that which is contained, conveyed, carried forth. Purport itself is the \u201creal body of linguistical substance\u201d \u2013 that is, not its invariant and infinite substance but the bodies that incorparate this substance in finite manners. In an analogy we could say that like all things existing incorporate \u201cenergy\u201d, or all animate beings incorporate \u201clive\u201d, thus all that is purported incorporates \u201clinguistic substance\u201d \u2013 spirituality? breath? meaning? It doesn\u2019t matter how one sympathizes to characterize this substance in semantic terms. As an invariant which can only be \u201ctrafficked\u201d it can be treated entirely formal and void of attributed characteristics. Purport, to Hjelmslev, is the body of language that is alive. Hence, purport itself cannot be represented or described \u2013 it can only be articulated. What Hjelmslev introduces into the immediacy of articulation (and the metaphysics of presence it seems to be entwined with) is a level of mediacy<\/em> by making it constitutive for all analysis and systematical theorization of the alive bodies of language (literacy) that they must be dramatized on an abstract stage of homothesis, where the equivalence of an articulation with what it purports, must be established.<\/p>\n

It is the set up of such a stage that is formal apparatus must provide. The following ingredients are crucial: the stage of homothesis is made up of two coordinated planes, each of which unfolds around an axis: a) between form and content, and b) between substance and expression. We have a fourfold set-up, to planes that are per declaration to be congruent. Congruence is a property that must old between a content<\/em> that is articulated, and the form<\/em> in which it is articulated. The measure according to which it must be congruent must be derived \u2013\u00a0by the sole criteria of adequacy \u2013\u00a0from the other plane, that between substance and expression. For Hjelmslev these are the two respective procedures which constitute an articulation as mediate<\/em>, and hence as the possible object of scientific treatment: that is, an articulation as being irreducibly double, corresponding to the homothetical space: the consistency of an articulation is relative to a particular manner of partitioning.<\/p>\n

So what is being staged, in such a set-up? How are \u201cvalues\u201d dealt with purely formally, by an algebra immanent to language? Values are treated as the \u201cUnkonwn Quantities\u201d that are being determined by the procedures to manage the infinite which every algebra produces. Language, the totality of what is being purported, serves as the alive and empirical \u201cworld\u201d with which calculated designations of the values must be brought into contractual agreement<\/em>.<\/p>\n

How precisely does this work: Signs are central to glossematics \u2013 and signs are conceived as functions. The crucial distinction vis-a-vis propositional calculus is in the insistence that the form of functions itself cannot be left transparent:<\/p>\n

\n

\u201eAvoid the ambiguity that lies in the conventional use made of it in science, where \u201efunction\u201c designates both the dependence between two terminals and one or both of these terminals.<\/em>\u201c<\/p>\n<\/blockquote>\n

\n

For Hjelmslev, \u201cA dependence that fulfills the conditions for an analysis we shall call a function. <\/em>Thus we say that there is a function between a class and its components (a chain and its parts, or a paradigm and its members) and between the components (parts or members) mutually. The terminals of a function we shall call its functives<\/em>, understanding by a functive <\/em>an object that has function to other objects. A functive is said to contract <\/em>its function. From the definitions it follows that functions can be functives since there can be a function between functions. Thus there is a function between the function contracted by the parts of a chain with each other and the function contracted by the chain with its parts.\u201d<\/p>\n<\/blockquote>\n

The functives, as the terminals of a function, must be regarded in a manner decoupled form the relation captured in the one function, are the \u201cbodies\u201d of the values. These bodies are indeterminate but determinable. They are thought to be the \u201csubjects\u201d whose integrity is granted the dignity of an \u201cactive\u201d being, an \u201cagent\u201d, but in a \u201cnoble\u201d sense, not in a \u201cgeneral\u201d sense. These bodies of values are the \u201csubjects\u201d between which the \u201ccontracts\u201d of the formal theory are worked out.<\/p>\n

\u00a0<\/strong><\/p>\n

Signals and Codes: The world translates itself in in the nature of thought<\/strong><\/p>\n

This is more than a metaphorical way of speaking, Hjelmslevs\u2019 glossematics is a veritable law-based politics \u2013\u00a0yet the laws are natural, not political, in the same sense as Newton\u2019s laws are \u201cnatural\u201d: understanding them affords mastership and understanding of natural processes \u2013 only here, it the nature of thought itself that can be learnt to be mastered. The nature of thought is civilized by stating it not into propositions, that hold true in a referential sense, but by bringing it into the terms of contracts that need to be worked out continuously. The subjects, as integral bodies of values<\/em>, are themselves not being formalized \u2013\u00a0here lies the crucial difference to \u201cagent-based\u201d theories of networks like Bruno Latours ANT or Manuel deLandas assemblages. And it is in this sense that Hjelmslves framework of a \u201cpolitics of the nature of thought\u201d links up so helpfully with Gilbert Simondon\u2019s theory of individuation. As bodies of values<\/em>, these \u201cimpersonal\u201d subjects are truly capable of learning through the communicational environments which they \u201cinhabit\u201d. Because these environments are made up of disparate magnitudes only \u2013 the kind of magnitudes we ascribed to the bodies of neutrality earlier. These communicational environments are \u201centropic\u201d, entirely symmetrical and reciprocal, yet not in the sense of disorderly but in the sense of impredicativity.<\/p>\n

I would like to end my talk by characterizing such communication more precisely through the work of Gilles Deleuze. Like in Hjelmslev, sign-systems are a contractual settlements within a nature that is law-based. There is no causality in Signs themselves, causality resides in the laws. Inbetween the two we have the play of signals. Signals are neither signs, and neither are they physical materials. They have a materiality that is symbolic.<\/p>\n

\u201c[…] it is not the elements of symmetry present which matter for artistic or natural causality, but those which are missing and are not in the cause; what matters is the possibility of the cause having less symmetry than the effect.\u201d As Deleuze puts it. The effect, this is what is being contracted on the level of signification, and the inversion that is so difficult to get is that signification introduces symmetry through differentiation. Signals are the translators between the physical and the significant. He continues:<\/p>\n

\u201cFor this reason, the logical relation of causality is inseparable from a physical process of signaling, without which it would not be translated into action.” He specifies:<\/p>\n

(1)\u00a0\u00a0\u00a0 By ‘signal’ we mean a system with orders of disparate size, endowed with elements of dissymmetry;<\/p>\n

(2)\u00a0\u00a0\u00a0 by ‘sign’ we mean what happens within such a system, what flashes across the intervals when a communication takes place between disparates. The sign is indeed an effect, but an effect with two aspects: in one of these it expresses, qua <\/em>sign, the productive dissymmetry; in the other it tends to cancel it. The sign is not entirely of the order of the symbol; nevertheless, it makes way for it by implying an internal difference (while leaving the conditions of its reproduction still external). (Deleuze DW p.x)<\/p>\n

But how can it do that \u2013 not entirely be of the order of the symbol, and yet implying an internal difference while leaving the conditions for its reproduction external? Learning takes place not in the relation between a representation and an action<\/em><\/strong> (reproduction of the Same) but in the relation between a sign and a response<\/em><\/strong> (encounter with the Other). Signs involve heterogeneity in at least three ways:<\/p>\n

(1)\u00a0\u00a0\u00a0 first, in the object which bears or emits them, and is necessarily on a different level, as though there were two orders of size or disparate realities between which the sign flashes;<\/p>\n

(2)\u00a0\u00a0\u00a0 secondly, in themselves, since a sign envelops another ‘object’ within the limits of the object which bears it, and incarnates a\u00a0natural or spiritual power (an Idea)<\/strong>;<\/p>\n

(3)\u00a0\u00a0\u00a0 finally, in the response they elicit, since the movement of the response does not ‘resemble’ that of the sign.<\/p>\n

\u201cThe negative expression ‘lack of symmetry’ should not mislead us: it indicates the origin and positivity of the causal process. It is positivity itself.\u201d (Deleuze)<\/p>\n

 <\/p>\n

With this I would like to end, thank you.<\/p>\n

 <\/p>\n

****************************************************************************************************<\/p>\n

[1]<\/a>\u201eDieser reine Verstandesbegriff Quantit\u00e4t ist aber nichts anderes als jene Synthesis, kraft deren Erscheinungen als bestimmte Raumgestalten erscheinen k\u00f6nnen. Also sind alle Erscheinungen als Anschauungen Quantit\u00e4ten, und zwar extensive (Raum). Es ist dieselbe Bedingung, die das Begegnende begegnen l\u00e4sst und die es als Gegen zum Stehen bringt. Der Beweis ist ein Kreisgang. Wenn wir diesen Kreisgang als solchen durchschauen und vollziehen, gehen, bekommen wir eigentlich zu wissen, worum sich alles \u201edreht\u201c.\u201c<\/p>\n

[2]<\/sup><\/sup><\/a> Gilles Deleuze, Difference and Repetition<\/em> S. 57.<\/p>\n

[3]<\/sup><\/sup><\/a> Ebd., S. 30.<\/p>\n

[4]<\/sup><\/sup><\/a> Sie konturiert den Hintergrund dessen wie folgt: \u00bbDie so h\u00e4ufig erz\u00e4hlte Geschichte von der Existenz virtueller Teilchen Iautet, dass sie ein unmittelbares Resultat der Heisenberg’schen Unsch\u00e4rferelation sei. Doch die \u203aUnsch\u00e4rfe\u2039- Relation (sic) von Energie und Zeit ist weit davon entfernt, ein best\u00e4ndiger Sachverhalt zu sein. Vor allem die neuere Forschung st\u00fctzt die Deutung dieser Relation eher unter dem Aspekt der Unbestimmtheit als der Unsch\u00e4rfe. Zur Debatte steht mithin eine \u203aobjektive [ontologische] Unbestimmtheit\u2039(Paul Busch), nicht jedoch eine epistemologische Unsch\u00e4rfe. Siehe zum Beispiel Paul Busch, \u203aThe Time-Energy Uncertainty Relation\u2039, in: Time in Quamum Mechanics, hrsg. v. Juan Gonzalo Muga, Rafael Saia Mayato und Inigo L. Egusquiza, 2. Auf., Berlin: Springer 2008 [Orig. 2002]. F\u00fcr eine ausf\u00fchrliche Darstellung der Deutungsunterschiede, die durch Fragen der \u203aUnsch\u00e4rfe\u2039(Heisenberg) vs. \u203aUnbestimmtheit\u2039(Bohr) gekennzeichnet sind, siehe auch Barad, Meeting the Universe Halfway (Anm. 3).\u00ab<\/p>\n

[5]<\/sup><\/sup><\/a> Ebd., S. 30.<\/p>\n

[6]<\/a>do not all the discussions around systems-optimization and efficiency, around securing the smooth control of networks on which many sub-structures depend, scare us with the threat of systems-breakdown, corruption (what exactly is meant by this??), into willingly subjecting to the dictates of those imperatives? Do not our discussions around the \u201cintolerability\u201d of privacy and the demand for \u201ctransparency\u201d touch upon exactly the insufficiency of thinking that \u201cmechanisms\u201d spare us from critical evaluation, interpretation, and our exhausting efforts in striving to be convincing? Critical evaluation and interpretation requires the possibility for taking a distance to demands that make themselves noticed as only apparently real and immediate necessities.<\/p>\n

 <\/p>\n

 <\/p>\n

cf in relation to this text also my other articles on articulation, computability, entropy, especially:<\/p>\n

Atomism, alphabet and idiosyncrasy (the amorous nature of intellectual conception)<\/a><\/p>\n

Articulating a thing entirely in its own terms, or What can we understand by the notion of engendering?<\/a><\/p>\n

Arch\u00e9, arcanum, articulation. The universal and its characteristics.<\/a><\/p>\n

Articulating quantities. If things depend on whatever can be the case.<\/a><\/p>\n

Continuing the Dedekind Legacy.\u00a0Computing within the open totality of what can be the object of thought.<\/a><\/p>\n

The idea of a characteristica universalis between Leibniz and Russell, and its relevancy today.<\/a><\/p>\n

How to substantiate liminitudinality: Gilles Deleuze and the formula of capitalism \u2013 towards an entropic economy.<\/a><\/p>\n

Quantum City: from the cosmological city to the articulated city\u00a0I: A psycho-political essay.<\/a><\/p>\n

Quantum City: from the cosmological city to the articulated city\u00a0II\u00a0<\/a><\/p>\n

 <\/p>\n

 <\/p>\n

 <\/p>\n

\"\"<\/a> \"\"<\/p>\n","protected":false},"excerpt":{"rendered":"

abstract This text inquires how Louis Hjelmslev’s idea of »an algebra immanent to language« can help us to characterize discretized probability densities as a kind of »symbolic alphabeticity«. It is the manuscript for my talk at the 5th metalithikum colloquy in may 2014.   CONTENTS (1)    Introduction: The Materiality of sense, or: “capable of being … Continue reading →<\/span><\/a><\/span>\"\"<\/p>\n","protected":false},"author":883,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","ast-disable-related-posts":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"categories":[678,1],"tags":[1159,1258,1261,1174,1270,1253,1204,1280,1281,1282,1189,1175,1289,1290,1294,1295,1296,1297,1298,1299,1300,1198,1301,1126,1302,1303,1304,1305],"class_list":["post-29161","post","type-post","status-publish","format-standard","hentry","category-dates","category-syndicated","tag-algebraic-concepts-characterized","tag-arithmetics","tag-cipher","tag-distinguishing-the-general-from-the-generic","tag-entropy","tag-gilles-deleuze","tag-glossematics","tag-information","tag-karen-barad","tag-le-dispars","tag-literacy","tag-metalithikum","tag-neutrality","tag-nothingness","tag-quantization-and-partitionability","tag-quantum-physics","tag-ratio-and-proportion","tag-symbolic-alphabeticity","tag-the-electron","tag-the-law-of-identity-heidegger","tag-the-new-literacy-episteme","tag-the-universal","tag-the-void","tag-thinking-as-an-algebraic-mechanist","tag-value-in-saussures-linguistics","tag-virtual-particle","tag-virtualization-of-dialectics","tag-voice-of-mathematical-articulation"],"_links":{"self":[{"href":"https:\/\/meta.copyriot.com\/wp-json\/wp\/v2\/posts\/29161","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/meta.copyriot.com\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/meta.copyriot.com\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/meta.copyriot.com\/wp-json\/wp\/v2\/users\/883"}],"replies":[{"embeddable":true,"href":"https:\/\/meta.copyriot.com\/wp-json\/wp\/v2\/comments?post=29161"}],"version-history":[{"count":1,"href":"https:\/\/meta.copyriot.com\/wp-json\/wp\/v2\/posts\/29161\/revisions"}],"predecessor-version":[{"id":29197,"href":"https:\/\/meta.copyriot.com\/wp-json\/wp\/v2\/posts\/29161\/revisions\/29197"}],"wp:attachment":[{"href":"https:\/\/meta.copyriot.com\/wp-json\/wp\/v2\/media?parent=29161"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/meta.copyriot.com\/wp-json\/wp\/v2\/categories?post=29161"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/meta.copyriot.com\/wp-json\/wp\/v2\/tags?post=29161"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}