<?xml version="1.0"?>
<?xml-stylesheet href="/transform" type="text/xsl"?>
<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml" xmlns:bibo="http://purl.org/ontology/bibo/" xmlns:bs="http://purl.org/ontology/bibo/status/" xmlns:ci="https://vocab.methodandstructure.com/content-inventory#" xmlns:dct="http://purl.org/dc/terms/" xmlns:foaf="http://xmlns.com/foaf/0.1/" xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:xhv="http://www.w3.org/1999/xhtml/vocab#" xmlns:xsd="http://www.w3.org/2001/XMLSchema#" lang="en" prefix="bibo: http://purl.org/ontology/bibo/ bs: http://purl.org/ontology/bibo/status/ ci: https://vocab.methodandstructure.com/content-inventory# dct: http://purl.org/dc/terms/ foaf: http://xmlns.com/foaf/0.1/ rdf: http://www.w3.org/1999/02/22-rdf-syntax-ns# xhv: http://www.w3.org/1999/xhtml/vocab# xsd: http://www.w3.org/2001/XMLSchema#" vocab="http://www.w3.org/1999/xhtml/vocab#" xml:lang="en">
  <head>
    <title property="dct:title">Moving Society Past Information Hegemony</title>
    <base href="https://doriantaylor.com/moving-society-past-information-hegemony"/>
    <link href="document-stats#EmG5AButH71Gia9ZwhJnKJ" rev="ci:document"/>
    <link href="elsewhere" rel="alternate bookmark" title="Elsewhere"/>
    <link href="this-site" rel="alternate index" title="This Site"/>
    <link href="http://purl.org/ontology/bibo/status/published" rel="bibo:status"/>
    <link href="" rel="ci:canonical" title="Moving Society Past Information Hegemony"/>
    <link href="lexicon/#EqIUfKvI93wG3TQRQDwoVJ" rel="dct:audience" title="Information Architect"/>
    <link href="person/dorian-taylor#me" rel="dct:creator" title="Dorian Taylor"/>
    <link href="//www.amazon.com/dp/0195019199" rel="dct:references"/>
    <link href="//www.amazon.com/dp/0674627512" rel="dct:references"/>
    <link href="//www.amazon.com/dp/1476718962" rel="dct:references"/>
    <link href="person/dorian-taylor" rel="meta" title="Who I Am"/>
    <link about="./" href="3f36c30c-6096-454a-8a22-c062100ae41f" rel="alternate" type="application/atom+xml"/>
    <link about="./" href="f07f5044-01bc-472d-9079-9b07771b731c" rel="alternate" type="application/atom+xml"/>
    <link about="./" href="this-site" rel="alternate"/>
    <link about="./" href="elsewhere" rel="alternate"/>
    <link about="./" href="e341ca62-0387-4cea-b69a-cdabc7656871" rel="alternate" type="application/atom+xml"/>
    <link about="verso/" href="3f36c30c-6096-454a-8a22-c062100ae41f" rel="alternate" type="application/atom+xml"/>
    <link about="verso/" href="this-site" rel="alternate"/>
    <link about="verso/" href="elsewhere" rel="alternate"/>
    <meta content="moving-society-past-information-hegemony" datatype="xsd:token" property="ci:canonical-slug"/>
    <meta content="A political scientist considers how the way information is organized can be used to control people. I agree, though I am also optimistic about the future." name="description" property="dct:abstract"/>
    <meta content="2010-09-10T17:41:33+00:00" datatype="xsd:dateTime" property="dct:created"/>
    <meta content="moving-society-past-information-hegemony" property="dct:identifier"/>
    <meta content="2010-09-10T19:50:04+00:00" datatype="xsd:dateTime" property="dct:issued"/>
    <meta content="2010-09-10T19:51:05+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2010-09-10T19:52:05+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2010-09-10T20:16:43+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2014-07-31T06:31:25+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2022-05-31T04:18:52+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta content="2022-05-31T15:10:50+00:00" datatype="xsd:dateTime" property="dct:modified"/>
    <meta about="person/dorian-taylor#me" content="Dorian Taylor" name="author" property="foaf:name"/>
    <meta content="summary" name="twitter:card"/>
    <meta content="@doriantaylor" name="twitter:site"/>
    <meta content="Moving Society Past Information Hegemony" name="twitter:title"/>
    <meta content="A political scientist considers how the way information is organized can be used to control people. I agree, though I am also optimistic about the future." name="twitter:description"/>
    <object>
      <nav>
        <ul>
          <li>
            <a href="ia-summit-2017" rev="dct:references" typeof="bibo:Article">
              <span property="dct:title">IA Summit 2017: Intentionally Intensional Information Architecture</span>
            </a>
          </li>
          <li>
            <a href="no-user-serviceable-parts-inside" rev="dct:references" typeof="bibo:Article">
              <span property="dct:title">No User-Serviceable Parts Inside</span>
            </a>
          </li>
          <li>
            <a href="on-exploitation" rev="dct:references" typeof="bibo:Article">
              <span property="dct:title">On Exploitation</span>
            </a>
          </li>
          <li>
            <a href="pot-pourri" rev="dct:references" typeof="bibo:Article">
              <span property="dct:title">Pot-Pourri</span>
            </a>
          </li>
          <li>
            <a href="document-stats#EmG5AButH71Gia9ZwhJnKJ" rev="ci:document" typeof="qb:Observation">
              <span>urn:uuid:986e4006-eb47-4ef5-91a2-6bd6708499ca</span>
            </a>
          </li>
        </ul>
      </nav>
    </object>
  </head>
  <body about="" id="EteaEsYn_cHaR_vKIE25XI" typeof="bibo:Article">
    <section id="EnXd7exPGL03aqviiiS8EK">
      <aside role="note" id="EiUOvj_KlZgQOH1tfCKSJK">
        <p>The <a href="http://en.wikipedia.org/wiki/Financial_crisis_of_2007%E2%80%932010" title="Financial crisis of 2007-2010 &#x2014; Wikipedia" rel="dct:references">global financial crisis</a> has saddled me with a penchant for economics blogs. This interest has led me to look not only at the relationship of information to economics, but the economics and <em>physics</em> of information itself. <a href="http://rortybomb.wordpress.com/" title="Rortybomb" rel="dct:references">Mike Konczal</a>, a blogger whose perspective I have come to respect, <a href="http://twitter.com/rortybomb/status/23965756870" title="Twitter / Mike Konczal: rt @normative The brillian ..." rel="dct:references">recently mentioned an article</a> that ties a lot of this thinking together. Below is my complement.</p>
      </aside>
      <p>I just finished reading <a href="http://www.cato-unbound.org/2010/09/08/james-c-scott/the-trouble-with-the-view-from-above/" title="Cato Unbound &#xBB; Blog Archive &#xBB; The Trouble with the View from Above" rel="dct:references">an essay by James C. Scott</a> on the effects of <a href="http://en.wikipedia.org/wiki/Extension_%28semantics%29" title="Extension (semantics) &#x2014; Wikipedia" rel="dct:references">extensional</a>, top-down classification schemes on the concentration of political and administrative power, and the inherent fragility of rationally- and prescriptively-engineered systems. It reminds me a great deal of <a href="http://www.johnralstonsaul.com/menu_en.html" title="John Ralston Saul" rel="dct:references">John Ralston Saul's</a> central argument in his book <a href="http://www.amazon.com/dp/1476718962?tag=doriantaylor-20" title="Voltaire's Bastards: The Dictatorship of Reason in the West">Voltaire's Bastards</a>, which I have <a href="scientia-potentia-est" title="Scientia Potentia Est" rel="dct:references">considered in the past</a>. While I accept <span class="parenthesis" title="mostly unconscious">the use</span> of such structures as expedients by vested interests, it seems as if there is also a element pertaining to the technological constraints of information management which have for some time been obsolete and appear to be maintained only through the combined forces of tradition, authority and the immense investment that goes along with them.</p>
    </section>
    <section id="EjxxKfBEwNDdNSxjl6my9I">
      <h2>Hierarchies are Warehouses</h2>
      <p>If you observe the <a href="http://en.wikipedia.org/wiki/Organizational_structure" title="Organizational structure &#x2014; Wikipedia" rel="dct:references">structure of organizations</a> and <a href="http://en.wikipedia.org/wiki/Taxonomy" title="Taxonomy &#x2014; Wikipedia" rel="dct:references">methods of classification</a>, they come apart in the same way as the contents of a warehouse. There is a strict hierarchy of <a href="http://en.wikipedia.org/wiki/Orthogonality" title="Orthogonality &#x2014; Wikipedia" rel="dct:references">orthogonal</a>, non-overlapping components which completely contain their subcomponents, like sets of <a href="http://en.wikipedia.org/wiki/Matryoshka_doll" title="Matryoshka doll &#x2014; Wikipedia" rel="dct:references">Matryoshka dolls</a>, laid out from A to Z. This is perfectly <a href="http://en.wikipedia.org/wiki/Rational_number" title="Rational number &#x2014; Wikipedia" rel="dct:references"><span class="parenthesis" title="literally">rational</span></a>, as physical objects cannot occupy two spaces at once, nor can two objects occupy one space at once. Likewise the whole must be oriented somehow in physical space such that a person can unambiguously locate any element to his or her desired precision.</p>
      <p>Scott also considers the introduction of an official name, a <em>cardinal <a href="http://en.wikipedia.org/wiki/Identifier" title="Identifier &#x2014; Wikipedia" rel="dct:references">identifier</a></em>, by highlighting the invention of certain relevant mechanisms. These include surnames and other forms of personal identification, highway route numbers and the metric system. He follows with the argument that this disambiguation enabled central authorities to measure, quantify and tax much more effectively than before it existed. It is important to recognize, though, that this is another side effect of the shackling of information to physical space.</p>
    </section>
    <section id="EZLG9Ss-cj87KIefQv6vTL">
      <h2>We Have These Great Things Called <q>Computers</q></h2>
      <p>This technical constraint has since been removed by the computer, which decouples the <em>logical</em> values and relationships of <em>symbols</em> from their <em>physical</em> representations and relationships in <em>space</em>. This affords informational structures of much greater, yet still manageable complexity. Structures may simultaneously take the form of <a href="http://en.wikipedia.org/wiki/Set_%28mathematics%29" title="Set (mathematics) &#x2014; Wikipedia" rel="dct:references">overlapping sets</a> and <a href="http://en.wikipedia.org/wiki/Digraph_%28mathematics%29" title="Digraph (mathematics) &#x2014; Wikipedia" rel="dct:references">tangled networks</a>, and identifiers may be linked by networks of synonyms. Despite this new ability, the extensional, orthogonal, hierarchical model of organizing information &#x2014; the <em>One True Taxonomy</em> &#x2014; persists, perhaps most evidently in the <a href="http://en.wikipedia.org/wiki/File_system" title="File system &#x2014; Wikipedia" rel="dct:references">file systems</a> upon which virtually all electronic data is stored.</p>
      <aside role="note" id="Ebub3-Eaxp-K0b0xQDdq7K">
        <p><em>Nitpickers</em>: I am using the term <em>network</em> in place of <em>graph</em> so as not to confuse it with a <em>chart</em>. I know it isn't completely accurate. I am also not specifying whether or not graphs are directed because it doesn't really matter at this level (and besides, lots of semantic relationships are symmetric).</p>
      </aside>
    </section>
    <section id="E8lh6QVlk5pgh0CkDNVJ1J">
      <h2>A Forest is Not a City (is Not a Tree)</h2>
      <p>A side effect of these antiquated models of information is that if an entity, that is to say a <em>cardinal identifier</em> isn't in the catalogue, it may as well not exist to that catalogue's administrator. Scott brings this to light in a poignant account of overzealous classification leading to the engineering of perfectly rational <q>forests</q> in 18-century Prussia. While convenient for loggers, these evenly-spaced rows of identical trees fell victim to every abuse Nature could throw at them. Perhaps most interesting is that <a href="http://www.edge.org/3rd_culture/taleb08/taleb08_index.html" title="Edge: THE FOURTH QUADRANT: A MAP OF THE LIMITS OF STATISTICS By Nassim Nicholas Taleb" rel="dct:references">others are aware of this category of weakness</a>.</p>
      <p>The doctoral thesis of the architect <a href="http://patternlanguage.com/" title="Pattern Language.com" rel="dct:references">Christopher Alexander</a>, <a href="http://www.amazon.com/gp/product/0674627512?ie=UTF8&amp;tag=doriantaylor-20&amp;linkCode=xm2&amp;camp=1789&amp;creativeASIN=0674627512" title="Notes on the Synthesis of Form">Notes on the Synthesis of Form</a>, discusses a method of decomposing complex design problems. In it, Alexander exposes how <a href="http://en.wikipedia.org/wiki/Concept" title="Concept &#x2014; Wikipedia" rel="dct:references">concepts</a> can either be referred to by <a href="http://en.wikipedia.org/wiki/Extension_%28semantics%29" title="Extension (semantics) &#x2014; Wikipedia" rel="dct:references">extension</a>, that is by their <em>position</em> in a directory, or by <a href="http://en.wikipedia.org/wiki/Intension" title="Intension &#x2014; Wikipedia" rel="dct:references">intension</a>, that is by their <em>content</em>. His argument is that the optimal pattern of breaking a complex problem into simple problems belies the extensional approach because there are <a href="http://en.wikipedia.org/wiki/Order_of_magnitude" title="Order of magnitude &#x2014; Wikipedia" rel="dct:references">orders of magnitude</a> more possible decompositions than can be handled by natural language. Simply put, there aren't enough <em>words</em>, let alone concept hierarchies, to describe them all. Moreover, the few patterns that <em>do</em> conform are <a href="http://books.google.ca/books?id=Kh3T3XFUfPQC&amp;lpg=PP1&amp;dq=notes%20on%20the%20synthesis%20of%20form&amp;pg=PA68#v=onepage&amp;q=english&amp;f=false" title="Notes on the Synthesis of Form - Google Books" rel="dct:references">almost surely far from optimal</a>. Indeed, the very nature of an extensional classification scheme assumes that such a structure is already known.</p>
      <p><a href="http://www.rudi.net/books/200" title="Christopher Alexander: A City is not a Tree part 1 | RUDI - Resource for Urban Design Information" rel="dct:references">In a later publication</a> (<a href="http://www.rudi.net/books/201" title="Christopher Alexander: A City is not a Tree part 2 | RUDI - Resource for Urban Design Information" rel="dct:references">part 2</a>), Alexander discusses the layouts of planned vs. organically-grown cities, which expounds on his earlier work. Scott's analogue of the rationally engineered forest ends with a similar conclusion to Alexander's.</p>
      <aside role="note" id="E1e9tzAT6bywPIukKIjxBI">
        <p>The work in <em>Notes on the Synthesis of Form</em> and <em>A City is Not a Tree</em> manifests most famously in the opus <a href="http://www.amazon.com/gp/product/0195019199?ie=UTF8&amp;tag=doriantaylor-20&amp;linkCode=as2&amp;camp=1789&amp;creative=9325&amp;creativeASIN=0195019199" title="A Pattern Language: Towns, Buildings, Construction (Center for Environmental Structure Series)">A Pattern Language</a>. It is also worth noting that <a href="http://www.pnas.org/content/107/17/7658.short" title="" rel="dct:references">recent scientific evidence indicates</a> that just about everything to do with the layout of forests is <a href="http://en.wikipedia.org/wiki/Fractal" title="Fractal &#x2014; Wikipedia" rel="dct:references">fractal</a>.</p>
      </aside>
    </section>
    <section id="EJQ9GFO-WvMvrRVTNgj0sJ">
      <h2>Extensional Classification Systems Hate Freedom</h2>
      <p>Tongue firmly planted in cheek, but it's actually somewhat true. The benefit of extension is the administrative efficiency of an absolute index over a set of entities. In such a system, a <a href="http://en.wikipedia.org/wiki/Controlled_vocabulary" title="Controlled vocabulary &#x2014; Wikipedia" rel="dct:references">single, cardinal identifier per entity</a> is all that is necessary, in fact adding synonyms would only slow it down and make room for error. We can easily imagine the power of such a structure reinforcing its own continuity as well as that of its maintainers. I submit, however, that the One True Taxonomy is, until very recently, all even the most powerful interests had time for. Consider the following:</p>
      <ul>
        <li>Orthogonality, the property of non-overlapping, is a practical constraint of an information system in which the contents are bound to distinct, static, physical objects.</li>
        <li>Hierarchy, the shape of a tree or pyramid, is an artifact of orthogonality, since in this model a container would indeed have to physically envelop its contents in order to be considered one.</li>
        <li>Rationality and linearity, the ideas that space can be divided up into pieces and compared to one another, are practical requirements of the system being operable directly by human beings, given these prior constraints.</li>
      </ul>
      <p>The way you make an extension is by going around collecting a number of entities, which itself is potentially a costly process. Then you test each one against a <a href="http://en.wikipedia.org/wiki/Predicate_%28mathematical_logic%29" title="Predicate (mathematical logic) &#x2014; Wikipedia" rel="dct:references">predicate</a>, a simple yes/no question. Then you compose a list of those entities for which the predicate is true. To extend the extension, repeat the process to get a list of lists. An additional arbitrary cost lies in finding a set of predicates for which every entity is only ever true for exactly one of. If you can't, your results will include omissions or duplicate entries.</p>
      <aside role="note" id="E4Y5VBxRkPqKnGGn-UWQ-I">
        <p style="font-style: italic">Suppose you were to try to sort your kitchen junk drawer. How would you do it? Shape, colour, purpose? What about oddly-shaped items? Or those of more than one colour? Or more than one purpose, or no discernible one? Which dimension would you pick first? Why? Is it possible that this exercise might enable us to say something about why kitchen junk drawers are cluttered by definition?</p>
      </aside>
      <p>Imagine, then, that the elite of the <a href="http://en.wikipedia.org/wiki/Age_of_Enlightenment" title="Age of Enlightenment &#x2014; Wikipedia" rel="dct:references">Enlightenment</a> onward, using the tools available to them, effectively took on the great task of sorting the junk drawer that was western Europe, its colonies, and finally the world. The result, as evidenced by our current situation, is a massive leap in efficiency and economy, through which most of the people of the world ultimately profited. No small number of people, mind you, more than completely lost out. I believe that it is only within the last few decades that this approach could even begin to be made subject to any critical examination.</p>
    </section>
    <section id="E79IoqvleOyPQu6LggC9lI">
      <h2>Extension is Not Enough</h2>
      <p>The complement to extension is intension, which behaves much like the social relationships of <em>sibling</em>, <em>friend</em> or <em>spouse</em>. You navigate a system organized this way just as you would play <a href="http://en.wikipedia.org/wiki/Six_Degrees_of_Kevin_Bacon" title="Six Degrees of Kevin Bacon &#x2014; Wikipedia" rel="dct:references">a once-popular trivia game</a>. The benefit is that you can eventually reach any point in the network from any other. The down-side is that when the links are bound to geography, doing so has all the trappings of a scavenger hunt.</p>
      <p>We can say that we need both extension <em>and</em> intension to make use of information: intension to provide access to the material, extension to provide the shortcuts.</p>
    </section>
    <section id="EwCrzq0oiF7dUA60tWVokJ">
      <h2>On Identifiers and Private Language</h2>
      <p>Economy is sought through division of labour, or perhaps in more modern terms, the distribution of a grand computation. Absent a tyrant administering orders backed by threats, this division must come about voluntarily between peers. We call this notion cooperation, or perhaps collaboration, its more involved cousin.</p>
      <p>The only remaining requirement for cooperation or collaboration, after mutual wherewithal, is the ability to negotiate mutual intent. This problem is ultimately couched in establishing a common language, such that one party understands what the other is talking about. This language need not be perfect, only expressive enough to establish the value of the transaction and carry it out. It need also not exist in advance, but often benefits from being established ad hoc as part of the negotiation process.</p>
      <p>In a private language, words can take on special meanings or be minted anew. The only requirements are that all those involved have a consistent understanding of the underlying concept for a given term. Herein, however, lies a caveat.</p>
      <p>When we develop a private language, it is only in our most parochial of interests not to take steps to eventually reconcile at least <em>some</em> of it with the common lexicon. To integrate our language is to increase our opportunities and broader appreciation for our offerings. If we keep the language private, we only frustrate negotiations with outsiders, and eventually fragment into tribes, classes and orders, for whom combat may become preferable to trade. Only when the cost of reconciliation outweighs the benefits does it make sense to avoid it, but a preventative measure is as simple and cheap as a policy of diversifying who we talk to.</p>
    </section>
    <section id="EmgwCzkNHz4E-5dS8HCMSK">
      <h2>Now it Gets Technical</h2>
      <p>We have had the ability to compete with the One True Taxonomy for some time. That you have found and are reading this piece is evidence, albeit tangential, that this competition has already begun.</p>
      <p>The strategy for defeating official taxonomies is to <em>absorb</em> them. Mathematically, a <a href="http://en.wikipedia.org/wiki/Tree_%28graph_theory%29" title="Tree (graph theory) &#x2014; Wikipedia" rel="dct:references">hierarchy</a> dissolves into a <a href="http://en.wikipedia.org/wiki/Digraph_%28mathematics%29" title="Digraph (mathematics) &#x2014; Wikipedia" rel="dct:references">network</a> without a trace. In this new model, nested categories are transformed without harm into <a href="http://en.wikipedia.org/wiki/Set_%28mathematics%29" title="Set (mathematics)" rel="dct:references">sets</a>, and their important <span class="parenthesis" title="intensional!">property</span>, <em>containment</em>, is safely commuted to <a href="http://en.wikipedia.org/wiki/Inclusion_%28set_theory%29" title="Inclusion (set theory) &#x2014; Wikipedia" rel="dct:references">inclusion</a> with respect to other sets and <a href="http://en.wikipedia.org/wiki/Element_%28mathematics%29" title="Element (mathematics) &#x2014; Wikipedia" rel="dct:references">membership</a> for everything else. This enables us to add new sets which overlap and intermingle with the existing sets, and entities to exist in more than one set at once.</p>
      <p>The network also permits a much richer array of intensional relationships between entities, which can be used to compose even more sets and so on. Perhaps most remarkable is that extra overhead of finding the optimal structure for organizing knowledge is not <span class="parenthesis" title="which is impossible to achieve by definition">paid up front</span> but amortized over time, without disturbing the structure that came before it. Through this mechanism, we can achieve a much more powerful and nuanced view of the world around us, yet still find our way back to the official taxonomies while they remain relevant.</p>
      <p>As for symbols, names, identifiers, handles, monikers, whatever you want to call them: the same system works for joining them together. We connect symbols together in the network by the symmetric relationship typically called <em>synonym</em>. The only requirement is that each can be used as an entry point to find the entity to which they refer, and that they do not <em>collide</em>, such that the same name has more than one meaning. If this happens, we can add more information to clear up the ambiguity, or narrow our context to clear unwanted meanings out of scope.</p>
    </section>
    <section id="E7ZcVJ7EhkmcoGeKGnIcpI">
      <h2>Freedom of Computation</h2>
      <p>Despite what I mentioned above about connecting our private language to the public, there are instances in which it is useful, if not <em>essential</em>, to keep it at least temporarily under wraps. If we didn't have <em>some</em> administrative discretion, we would constantly have to sell, justify or fight just to be able to carry on the most basic activities. <a href="scientia-potentia-est" title="Scientia Potentia Est" rel="dct:references">This is the value of privacy</a>, and as long it is legitimate to store and operate on information in our own private space, there is little danger of wholesale compromise.</p>
      <p>Fetching, archiving and operating on information once took copious resources. It is now for the most part practically free. The franchise is being extended <a href="http://en.wikipedia.org/wiki/Moore%27s_law" title="Moore's law &#x2014; Wikipedia" rel="dct:references">at an exponential rate</a>. For the first time in a long time it has become feasible, if not practical, to concoct our own point of view instead of subscribing to established dogmas. It is also just as feasible to reconcile those dogmas with our own point of view. We have arguably never been more at liberty to architect our own reality, which is a prospect as unnerving as it is inspiring. One fact, however, should have become evident: the power of the One True Taxonomy is only what we permit it to be.</p>
    </section>
  </body>
</html>
