Tuesday, 16 December 2014

'It's not about you.'

Amidst a hardnosed assessment of just what an ineffective figleaf PGP is over the hairy, ugly, naked information-leak that is SMTP, I find this sharp little response to the 'I've got nothing to hide' defense:

'It's not about you, it's about your civic duty not to be a member of a predictable populace. If somebody is able to know all your preferences, habits and political views, you are causing severe damage to democratic society.'
Ouch!  This one hit home for me.  It's a strategy I've taken refuge in: my attitude toward secrecy in my early 20s owed a little too much to Ayn Rand -- namely the notion that if you act with integrity you can't be blackmailed, so the important thing was to own your actions and never do anything that could be used against you.  This meshed well with the blase attitude I pretended to have about taboos -- I actually would 'do it in the road' if it wouldn't disturb anyone else, I thought, and my understanding of privacy mostly revolved around considerations of relevance and propriety.  If you see me naked, I thought, then that's your problem, not mine.

This rationale allowed me to hit the snooze button on an intimidatingly enormous problem -- to wit, increasingly vast asymmetries in the access to information between corporations and stakeholders (a.k.a. governments and citizens).  If I believe the information they have access to can't be used to harm me, I can justify ignoring it.

The most obvious weakness of this position is that you can only hold it if you're living a completely conventional existence.  It presumes an improbably fortuitous harmony between individual integrity and social mores -- the conflict between which has been the subject of so much dramatic art (especially Ayn Rand's!) that to presume their alignment is to postulate the proverbial spherical cow.

It is, in fact, entirely possible for the hive mind to turn on you for arbitrary and atrocious reasons no matter how clean your conscience is, and a prudent simian is forewarned and forearmed against this possibility.  A little education in the internal political history of the CCCP (or better yet, Geneva under Calvin), should be enough to inoculate you against the notion that being a good comrade is any insurance policy whatsoever against chistka.  Or if that's too distant for you -- who didn't like Martha Stewart?  But she makes one little prudent financial decision that just happens to violate federal finance law, and all of a sudden she's a figure of public disgrace.  I have watched news of a complicated domestic dispute spread a miasma over someone's entire social life.  It can happen to you -- never doubt it.

Of course there's also a less obvious weakness to this ethos, which is that even if you're quite protected the people you care about may not be.  The knee-bone is connected to the thigh-bone, and when your nephew is arrested for buying an 8x11" of LSD it's not just his life that gets upset.  Weren't you two quite close?  Didn't you take him out on a little trip across the border just last month?  Could you pop your trunk for me, sir?

Or, on a completely different tack: how comfortable are you with marketers having an ever more precise idea of how to nudge you into making purchases?  Again, if you believe you cannot be gamed and suckered by somebody who knows what you like, you are precisely the person they're looking for.  It can be as simple as seeing a book recommendation pop up on your F******k feed for something you were just browsing earlier on A****n, which pushes you over the edge into buying it: sheer generation of coincidence can drive fads and fashions because we unreflectively and automatically interpret them as meaningful, and it does not take a lot of effort to generate artificial coincidences when your main information sources are colluding to sell you shit.  It's just con artistry 101 on a vast scale.  Even if you're a 9th dan blackbelt in the arts of eluding marketing, your friends and family mostly aren't, and do you want to live in a society that's so easily manipulable?  For real fun: do you think politicians won't use this stuff, too?

This nexus of influence can be expanded ever further, but you get the idea: the principle is that observation facilitates control, and systematic obfuscation can make control prohibitively expensive to exercise.  If you make yourself hard to observe, you make yourself hard to control, thereby retarding the accumulation of vast imbalances of power.  Julian Assange quite explicitly used the converse principle in his little bit of information warfare -- if you make secrecy costly, it gets used less, and a transparent government is easier to control.

This all has very sharp, pointy teeth to it for anyone already living in a regime where the government is actively and explicitly malevolent.  But even for those of us in constitutional democracies, there is nothing but a thin tissue of legal precedent separating us from, say, Iran.  That tissue may hold out in the end, but I don't want to bet anyone's life on it.

Friday, 28 November 2014

Ignoratio elenchi

What is it, to make a mistake?  To commit to a false analogy.  Most human error is a matter of tacitly importing presuppositions into a situation where they're irrelevant; most confusions are covert equivocations, where some slippage of meaning has occurred between the major and minor premises of a practical syllogism.  The result is the equivalent of making a chess move in checkers: you've inadvertantly imported abstractions from one domain into another, and the result is nonsense.  A well-designed interface does everything it can to prevent this; a poorly designed one encourages it.

Monday, 17 November 2014

Finding Snowden

I saw Citizenfour at the theatre recently; it's a suberbly minimalist documentary which is less art than political act.  As a rule I hate political docs because most of them are hamfisted attempts to cajole you into a belief; this one is exceptional insofar as it's simply showing the true story of one guy following his concscience against terrible existential threats.  The emotional resonance of that is reason enough to see it: it will, if you're a thinking, feeling human being of any sensitivity, nudge you in the direction of being a better person.  

One thing the film indicated in passing rather than hammering on was that we're living in a perilous situation where the only thing keeping a monstrous apparatus of intrusive surveillance from being unleashed on us all is sheer legal tradition; all it will take is a couple of rulings that go the wrong way and set the wrong precedents and we will in fact find ourselves very rapidly in a very scary world.  There are known technical fixes to help prevent this world from coming about; all that's actually lacking is enough people who appreciate their importance enough to implement them.  I could hate on Apple and Google all day long, but the fact that they're actually moving in the direction of automatically encrypting everything in their OSes, in part due to the cultural influence of the Snowden leaks, is enormously to their credit.  

One thing the film crystallized for me is that, while I'm used to thinking of tech from the standpoint of aesthetics and power, the ethical dimensions of it loom very large in the background and should be more often discussed.  It doesn't take a lot of acuity -- just a sprinkle of cynicism -- to see that you keep people from being oppressed not by reciting pious mantras but by making them hard to oppress, and that any tech that makes it easier to oppress people is evil.  The problem is that a lot of things that get foisted on us in the name of 'efficiency' also make oppression efficient by creating single points of control.  They also make disruptions efficient -- oppressors here can be governments or rogues, and what makes us safe from both is an infrastructure that lacks such privileged nodes to be manipulated in the first place.

I've found it easy to be fatalist about a lot of things over the years, but the film helped awaken my inner Snowden -- realizing that it actually is possible to stop a lot of this insanity, if enough people wake the fuck up and do something intelligent about it. 

Friday, 19 September 2014

Don't cross the streams

One of the rudest things any program can do is to unpredictably jam its output stream into the operator's input stream.  It sounds like such a basic and obvious no-no, but it is astonishing how many pieces of software fail this basic etiquitte test.  'Stealing focus' is just the most common example, but in general anything that breaks your flow is a candidate.  The machine should only alter your behavior in cases where something critical depends on it, and so the fault here is that whoever designed the program has an inaccurate sense of what's actually important to you, and when it's important.

This is one argument for radically reconfigurable computing systems, but leaving that aside I often cannot fathom what thought process somebody went through to decide that it was worth interrupting my flow for something.  Or maybe they just didn't test the damned thing enough -- programmers should always have to eat their own cooking every day for a month before they even think about releasing it on an unsuspecting public.

The point is that output alters the user's behavior, and you only want to do that if the user is currently behaving inappropriately.  Superfluous output is wasted cycles on both the machine and user side, and the further sin of shoving that output directly in the user's active input stream is shitting where you eat.

(Addendum: A more insidious version of this is anything that assumes you want information dumped in your face, rather than waiting for you to tell it so.  This is why google.com is a nice interface while facebook.com is a rude one.  Also why all phones should come with a person-by-person ring setting, i.e. I want my phone to ring when my sister calls but not when my creditors call.)

Friday, 12 September 2014

Beauty and the Beast

I'm not the first to gripe about this, but one more voice in the chorus never hurts: it is an absolutely insane state of affairs that the conventional environment for something as nice and relatively ageless as Common Lisp is something as hoary and archaic as Emacs.  Forcing somebody to get used to the arcane and arbitrary keybindings in Emacs before they can enjoy Lisp is like making them learn to type with their toes in order to use a laptop.  It's utterly senseless, and I'm pretty sure the only reason it is this way is that once you've invested the months it takes to feel at home in Emacs, you have no incentive to create a more natural environment.

I'm currently playing around with Sublime Text with the SublimeREPL add-on, modded out to run CLISP.  As an environment it's cloying in its own way -- no, ST, I don't actually want you to insert that close-paren or quote mark for me, thanks anyway you interfering smartarse -- but the fact that I don't have to get a repetitive stress injury in my pinky or remember entirely un-mnemonic commands is a major plus.  Lack of a simple, standardized, intuitive environment that just works (like Racket has) makes CL substantially less 'approachable' -- Emacs-hate was precisely the reason I didn't bother diving deep into CL years ago, and if a more accessable environment had existed back then I might be a CL guru by now.

Sadly, this is indicative of the mindset of the CL community, which has a very 'eat your fucking vegetables' attitude -- not necessarily a bad thing, but certainly an impediment to widespread Lisp dominance.  You can have your elitism and complain about how brain-dead the rest of the world is, or you can work to enlighten the commoners and fill the world with beautiful things -- pick one.

Thursday, 28 August 2014

Ethereum: solving the right problem

Some months ago I ruminated, not terribly productively, on what's conceptually muddled about bitcoin.  The conclusion I came to, but did not clearly state, is that since the most essential function of money is as a reliable standard of deferred payment, market transactions are best thought of as problems of contractual obligation rather than 'exchange of value', and that we should be pointing the tech at this more general and more fundamental problem, treating currency as a special case.  This is not a new thought, but good old thoughts are worth re-thinking from time to time.

A scant few days later, I discovered that somebody had already gone through this thought-process at lightning speed, and invented Ethereum.  These guys have thought all this through very well, and they are more on the right track than anybody else in the running right now; I strongly encourage anyone who's interested in the future of commerce to read their whitepaper.  This isn't merely another bitcoin hack like Namecoin; it's a proper ground-up generalization, crafted with a wide range of particular applications in mind.

As they put it on the main site, the concept behind Ethereum is: 'Turing-complete contracts on a blockchain.'  What they've done is to construct a fully loaded programming language, which can do anything C or Python can, on top of the same type of cryptographic infrastructure bitcoin uses (with some important tweaks).  'Contracts' are reduced to programs, autonomous pieces of code living a distributed life in an ever-growing ecology coded as a hashtable, and enforcement is automatic.

One result of this will be a closer approximation to real personal cloud computing than anything yet implemented, since you can frictionlessly contract out machine resources; it is not totally wrong to think of Ethereum as a distributed operating system for the cloud.  Another result will be a host of experiments in social organization, since the costs of starting and maintaining distributed organizations will be drastically lowered; another will be that most existing legal practice will be obviated, since formal languages are transparent and unambiguous in a way that natural languages aren't, making agreements both self-interpreting and, because of the crypto and the economics of the protocol, self-enforcing.  If the dubious reaction of governments to bitcoin is amusing, the reaction of lawyers when they figure out that Ethereum is about to eat their lunches is sure to be hilarious.

My coding project next year will be to write an Ethereum implementation in Common Lisp; given the pace I work at, almost surely somebody else will get there first, but it's more about the journey.  If I were to hazard a prediction, I'd guess Ethereum will also be a source of great employment for those wise in the ways of macros.  Because as Doug Hoyte puts it, macros make every other language a wrapper around Lisp, and I can think of no language better suited for such a dynamic problem-space, for crafting contracts that write contracts, etc.

Tuesday, 19 August 2014

Two Kinds of Hubris

I found a little essay, 'On Generalization', which is good but should have been titled 'On Premature Generalization' -- which deserves to be recognized as an anti-pattern.  The nut of this essay is that generalization is a form of prediction, which is a nice way of putting it; the obvious inference is that premature generalization is the equal and opposite error of premature optimization, which as we all know is evil.  Inappropriate generality and inappropriate particularity can both get us into trouble and waste a lot of time, but the problem is not the generality or the particularity but rather the impropriety -- attempting to fit the future to an ideal that turns out to be irrelevant.

What would be more helpful is guidance on when to generalize or to particularize, in the vein of the 'design patterns' way of thinking.  Some very rough guidance can be found in Christopher Alexander's notion that each pattern -- that is, each generalization -- arises naturally in response to tensions among desiderata, and is a way of coordinating the forces naturally present in a way that relieves the tension. So the most general answer is: examine the context, and ask what problem you're actually trying to solve, and why.

(Addendum: Subsequently found this quote from Emil Persson: 'Premature optimizations can be troublesome to revert, but premature generalizations are often near impossible.'  This gets to the heart of the matter much more concisely: the information thrown away in any act of abstraction is not, in general, easily recoverable.  Deleting is easy; rebuilding is hard.)

Metaphor, Analogy, Abstraction, Method


'Strictly speaking, metaphor occurs as often as we take a word out of its original sphere and apply it to new circumstances.  In this sense almost all words can be shown to be metaphorical when they do not bear a physical meaning; for the original meaning of almost all words can be traced back to something physical; in our first sentence above, for instance, there are eight different metaphors. Words had to be found to express mental perceptions, abstract ideas, and complex relations, for which a primitive vocabulary did not provide; and the obvious course was to convey the new idea by means of the nearest physical parallel.'  (Henry Fowler, The King's English)

I like this quote because it indicates a deep relationship between metaphor and abstraction -- the act of abstraction is the first step in the metaphor, and the second step is the application of the abstracted method to the new domain.  The graft takes if the two contexts are analogous; that is, if the relevant meanings inherent in them are commensurable though different.  Analogy is defined by equivalence of methods: 'what works here, also works there'.

But equivalence is not indistinguishability, and the difference between domains is what gives force to the metaphor: the power of a metaphor is proportional to how much variety it can successfully subsume under a common method.  When we lose sight of the differences, the metaphor becomes 'dead', i.e. nolonger capable of evoking the same emotion.  When the differences suddenly reassert themselves in the form of a contradiction, the magnitude of the emotion felt is apt to be proportional to that of the living metaphor -- albeit with the sign reversed!

The Significance of Style


I've previously linked to David Stove's infamous little stinkbomb, 'What is Wrong With Our Thoughts?'.  After opening with a series of illustrative examples and wisecracks, Stove considers and rejects a number of facile answers to the titular question.  I want to isolate a couple of points he touches on in passing, but is, characteristically, too quick to dismiss:

'Defects of empirical knowledge have less to do with the ways we go wrong in philosophy than defects of character do: such things as the simple inability to shut up; determination to be thought deep; hunger for power; fear, especially the fear of an indifferent universe. These are among the obvious emotional sources of bad philosophy. . . . Still it is, of course, an understanding of bad thoughts that we are after, rather than of bad hearts: of public intellectual effects, rather than of private emotional causes. . . . 

'That philosophers' errors are usually most intimately connected with their abuses of language, I not only do not deny but am most anxious to affirm. Far more often than not, their intellectual crimes and their literary ones are inextricably interwoven. . . . The exposure of philosophers' errors, consequently, is likewise often literary as much as it is intellectual. Hume, in his justly famous paragraph about 'is' and 'ought,' brought a fundamental logical truth to light, by complaining of a certain common literary sleight-of-hand. . . . It cannot be an accident, any more than it is an accident that our mental and our bodily powers are extinguished together at death, that thought and language arrive together, in Hegel, at the highest degree of corruption of which either is capable.'  (ibid.)
I've concatenated these two paragraphs because although Stove seems clearly to think of them as quite separate, it seems obvious to me that they're deeply related: after all, Hegel's dry, boorish and obscure style probably accurately reflects a dry, boorish and obscure character -- just as Schopenhauer's fiery, direct, and cranky style probably accurately reflects a fiery, direct and cranky character.  As the latter says in The Art of Literature:  'Style is the physiognomy of the mind, and a safer index to character than the face.'

The common term between language and character, then, is style, and what's wrong with our thoughts is what's wrong with our style.  This doesn't answer the question, but shifts it to a more tractable domain: we know less about good thinking than about good style, and if the two turn out to be the proverbial obverse and reverse of eachother then we're already halfway to a solution.  The early prototype of Stove's nosology of thought can be found in Fowler's The King's English, which contains not merely diagnoses but remedies for a host of minor illnesses.  If Fowler's moralizing tone seems antiquated to us now, that's to our detriment -- his vehemence about proper use stems from the conviction that stylistic defects are intellectual defects are moral defects.

Which is a good occasion for a little digression.  Elsewhere in the essay, Stove writes (only a little untruthfully): 'Nothing which was ever expressed originally in the English language resembles, except in the most distant way, the thought of Plotinus, or Hegel, or Foucault. I take this to be enormously to the credit of our language.'  Which is incredibly funny if you're familiar with the evolution of English, because it's only since the 18th century that English has even been a serviceable medium for expressing abstract thought in any degree of sophistication.  (If you doubt this, R.F. Jones' The Triumph of the English Language is a book that can prove it to you.)  You might even say that until the 19th century there was something of a wilful hostility toward abstraction in the tradition of English vernacular. 

Earlier along that path, here and there we see a figure like Chaucer or Shakespeare who manages to heroically improve the language by working with the grain of it; but you can equally well see sad spectacles like Francis Bacon or Richard Hooker struggling mightily against English to little avail.  For serious intellectual work, Bacon, like almost everyone else up until the late 17th century, used Latin.  Even into the 20th century, one can find an American with antique sensibilities like C.S. Peirce faintly complaining that ancient Greek is a far superior language for thinking in.


Of course, Stove also might be less of a chauvinist if he spoke German -- I'm a novice at it, but it does have obvious virtues that English lacks, such as much greater freedom to form compound words.  This is a famously mixed blessing, as people have been known to fall into a stupor before reaching the end of a convoluted sentence in technical or bureaucratic German; but I have it on good authority that once you've tasted the Germanic power of compounding you can't help but feel a little hampered thinking in English.  Like most forms of power, this is magnetic to the corruptible: having a less restricted vocabulary means you can much more easily form thoughts that don't make any damned sense, and many do abuse it thus.  It might actually be the saving grace of the English that their language is less expressive. 

I don't know much about the evolution of German, but given that Germanic peoples historically tend to lag behind the rest of Europe by a couple of centuries in most intellectual trends, it's not too surprising if by the 19th century Hegel is still having some problems thinking coherently in an abstract style.  Impossible though it may be to believe when you try to read the Logic, Hegel was quite capable of crafting a sound sentence in German the moment he descended to concrete matters.  He was, as he went along, making up a style to suit his end -- which was, very roughly, to do for Protestantism what Thomas Aquinas had done for Catholicism six centuries prior, but without the advantages of Latin.  Small wonder the product is a bit of a monster.

To get back to the main point, the ways in which English thinking can go wrong are different from those in which German or French or Roman or Greek thinking can go wrong, and so also for individual cases within a common linguistic tradition.  These differences are not merely cosmetic, and study of them should sharpen our appreciation of the merits and demerits of the different styles of thinking they enact -- and, perhaps, reveal some invariant features of good thinking.  But this kind of study isn't merely logical, as Stove points out; it's also aesthetic and ethical, and necessarily historical -- it's a comparative study of styles.  Because thinking is not something that happens merely in the head: our every act is evidence of it. 


* * * * *

Addendum:

Since dashing this post off, I came across a dissenting opinion, expressed in the context of what makes for bad code:
'The disease is ignorance of the language's features, not poor programming style. Once the features are fully understood, the correct styles are obvious. An auxiliary theme of this book, one that applies to any programming language, is that in programming, style is not something to pursue directly. Style is necessary only where understanding is missing.'  (Doug Hoyte, Let Over Lambda)
I'd say this is a distinction without a difference: bad style and ignorance go together like love and marriage, and the upshot is the same in any case -- strive to understand what the language affords and your expression will improve automatically, but the expression itself is a learning experience and good style is the aesthetic confirmation that you've understood.

Wednesday, 26 March 2014

Bitcoin: some historical context

Bitcoin is possibly the most clever and ambitious case of 'solving the wrong problem' the world has ever seen.  Its failure will demonstrate the failure of the particular way of thinking about money which inspired it.

I will explain, but first for the sake of context let me yield the floor to Uncle Joe, speaking to us remotely from 1954:
Even today, textbooks on Money, Currency, and Banking are more likely than not to begin with an analysis of a state of things in which legal-tender 'money' is the only means of paying and lending. The huge system of credits and debits, of claims and debts, by which capitalist society carries on its daily business of production and consumption is then built up step by step by introducing claims to money or credit instruments that act as substitutes for legal tender and are allowed indeed to affect its functioning in many ways but not to oust it from its fundamental role in the theoretical picture of the financial structure.  Even when there is very little left of its fundamental role in practice, everything that happens in the sphere of currency, credit, and banking is construed from it, just as the case of money itself is construed from barter.

Historically, this method of building up the analysis of money, currency, and banking is readily understandable: from the fourteenth and fifteenth century on (and even in the Graeco-Roman world) the gold or silver or copper coin was the familiar thing.  The credit structure -- which moreover was incessantly developing -- was the thing to be explored and to be analyzed.  The legal constructions, too -- remember that most economists who were not businessmen were jurists -- were geared to a sharp distinction between money as the only genuine and ultimate means of payment and the credit instrument that embodied a claim to money. But logically, it is by no means clear that the most useful method is to start from the coin -- even if, making a concession to realism, we add inconvertible government paper -- in order to proceed to the credit transactions of reality. It may be more useful to start from these in the first place, to look upon capitalist finance as a clearing system that cancels claims and debts and carries forward the differences -- so that 'money' payments come in only as a special case without any particularly fundamental importance. In other words: practically and analytically, a credit theory of money is possibly preferable to a monetary theory of credit.

(J.A. Schumpeter, A History of Economic Analysis, p. 717)
Bitcoin begins with the error of, as Schumpeter puts it, starting with the coin.  If you start this way and then ask a question like 'how is money created?', the answer you get is something like 'somebody makes it, either by mining gold out of the ground or by printing bills'.  The concept of 'mining' bitcoin by performing expensive calculations is merely an ingenious conceptual twist on metallism, and makes perfect sense only within that framework.  Outside of that framework, it is simply bonkers.

* * * * *

When smart people try to think carefully about the function of money, three phrases usually come to their minds: 'medium of exchange', 'store of value', and 'unit of account'.  None of these descriptions are wrong per se, but if you examine each function carefully you'll notice that they form a chain of dependencies: money couldn't be a good medium of exchange if it weren't an effective store of value, and it couldn't be an effective store of value if it weren't a universal unit of account.

But then, how does it get to be a universal unit of account?  Account of what?

Strangely enough, most 20th century economics texts never ask this question, leaving the whole theory of money hanging in mid-air.  To even get the merest hint that this was ever an open question, we have to travel all the way back in time to 1919, and take a look at Ralph Hawtrey's Currency and Credit, which was widely read up until WWII or so.  In its first chapter we find a sketchy example of just what Schumpeter suggests: an illuminating analysis of an imaginary non-monetary market, conducted entirely on the basis of debit-and-credit book-keeping amongst producers and bankers.  The first chapter is only sixteen pages long, it is available for free, and is remarkably lucid (though dense), so you really have no excuse not to read it.  Go on, I'll wait.

What Hawtrey shows is that the one essential function of money is to act as a standard of deferred payment -- in other words, as a reliable means for the legal discharge of debt.  In fact, most economic activity could go on virutally unaltered in the absence of money, using only credit issued by banks.  However, says Hawtrey, there is a complication:

. . . in the absence of money there is a certain difficulty in closing transactions.  The value of a debt depends upon the solvency of the debtor.  The credit of the ordinary debtor is not good enough, or at any rate not well enough known, for his debt, unsupported by security or guarantee, to be a suitable means of payment.  The use of bank credits would be necessary for this reason alone.  But even banks are not always of unquestionable solvency, and in the exchange of a credit on one bank for a credit on another there is no finality.  The need for a medium of payment which cannot be legally disputed is obvious.  (R.G. Hawtrey, Currency and Credit, p. 15)

This is a neat way of glossing over what, historically, has actually happened over and over: the introduction of the rule of law administered by a sovereign legal entity has coincided with the imposition of money by fiat -- if the sovereign has to deal with disputes over debts anyway, it can save itself considerable hassle (and indeed, profit quite considerably) by imposing a standard, legally unambiguous way of terminating debts.  The king's head on the coin means: 'The buck stops here.'

Nowhere, to my knowledge, do you see any of this explicitly pointed out in any economics text written after 1919.  Even Hawtrey, having climbed this ladder, proceeds to discard it once he arrives at the higher abstraction layer of monetary analysis that fills the rest of the book -- a bit like how modern computer science students are required to take one course where they write a compiler in assembly code, and then expected to promptly forget all that nasty stuff for the remainder of their careers.  Economics has sufficiently advanced in its senility, apparently, than even understanding the miracle the great financial 'compiler' performs is regarded as nolonger necessary. 

Perhaps there is a reason for this.  After all, two obvious implications of this point of view are:

1) That chartalism is after all a perfectly accurate theory of fiat money, so far as it goes, its main fault being that it's properly speaking a historical and legal theory rather than an economic theory, which has little to say about the really interesting aspects of economies.  Admitting this would of course draw attention to the fact that money and power go together like carriage and horse, and help us to untangle economy and polity from the hopeless conceptual muddle they've been in since the 15th century, and of course make it obvious to everyone that economists are the handmaidens of state power.  Er, whoops, did I say that out loud?

2) That if we had some alternative way to reliably and efficiently 'close transactions', i.e. a trustworthy mechanism to resolve debts frictionlessly, we would have no need whatsoever of money -- and hence no need of monetary theory.  Hmm.  The silence on this point is suddenly less surprising.

So, it seems that if we really want an honest opinion from an expert without vested interests, we're going to have to go back a little further in time.

* * * * *

If we set our DeLorean for just a few years earlier, back to 1913, we get a real treat: in an essay which innocently asks 'What is Money?', the scholarly (and independent) diplomat Alfred Mitchell-Innes, something of an amateur time-traveller himself, begins at the same place as Hawtrey and then goes backward instead of foreward.

He points out that so far as the bulk of historical evidence is concerned there has never been any evidence for the 'metallic' theory of money -- that, for example, there has apparently never existed any stable relationship between monetary units of account and the material nature of the coinage. Quoth Mitchell-Innes: 'There can be no doubt that all the coins were tokens and that the weight or composition was not regarded as a matter of importance. What was important was the name or distinguishing mark of the issuer, which is never absent.'

The value of the coin lay entirely in the mark of the issuer, you say?  Why, that sounds less like money and more like credit!  Interesting!  But this might motivate a person to think heretical thoughts, like: perhaps money merely represents the debt of the sovereign, which we the subjects hold as credit?  Indeed, perhaps that money is itself just credit?  And indeed this is precisely where Mitchell-Innes takes us: 'Credit is the purchasing power so often mentioned in economic works as being one of the principal attributes of money, and, as I shall try to show, credit and credit alone is money.' 

Less concisely:

. . . while a debtor must be in a position to satisfy his creditor, the really important characteristic of a credit is not the right which it gives to "payment" of a debt, but the right that it confers on the holder to liberate himself from debt by its means -- a right recognized by all societies. By buying we become debtors and by selling we become creditors, and being all both buyers and sellers we are all debtors and creditors. As debtor we can compel our creditor to cancel our obligation to him by handing to him his own acknowledgment of a debt to an equivalent amount which he, in his turn, has incurred. For example, A having bought goods from B to the value of $100, is B's debtor for that amount. A can rid himself of his obligation to B by selling to C goods of an equivalent value and taking from him in payment an acknowledgment of debt which he (C, that is to say) has received from B. By presenting this acknowledgment to B, A can compel him to cancel the debt due to him. A has used the credit which he has procured to release himself from his debt. It is his privilege.

This is the primitive law of commerce. The constant creation of credits and debts, and their extinction by being cancelled against one another, forms the whole mechanism of commerce and it is so simple that there is no one who cannot understand it. Credit and debt have nothing and never have had anything to do with gold and silver. . . .

The value of a credit depends not on the existence of any gold or silver or other property behind it, but solely on the "solvency" of the debtor, and that depends solely on whether, when the debt becomes due, he in his turn has sufficient credits on others to set off against his debts. If the debtor neither possesses nor can acquire credits which can be offset against his debts, then the possession of those debts is of no value to the creditors who own them. It is by selling, I repeat, and by selling alone -- whether it be by the sale of property or the sale of the use of our talents or of our land -- that we acquire the credits by which we liberate ourselves from debt . . .

(A. Mitchell-Innes, 'What is Money?')

Ka-pow!  He also amply backs up Hawtrey's logical analysis with historical evidence that not only can a lot of economic activity go on in the absence of money proper, but in fact that it apparently did in many places and many times, by debit-credit accounting devices of varying degrees of sophistication.  All of it based, more or less explicitly, on the sanctity of an obligation.  Anyone familiar with the instances of delayed reciprocity among various animals should not be terribly surprised at the idea that modern human commerce is merely an elaboration on this.

Mitchell-Innes then followed this straight left with a hard right, in another essay published the following year with the more confident title of 'The Credit Theory of Money' (emphasis mine):
A government dollar is a promise to "pay," a promise to "satisfy," a promise to "redeem," just as all other money is. All forms of money are identical in their nature. It is hard to get the public to realize this functional principle, without a true understanding of which it is impossible to grasp any of the phenomena of money. Hard, too, is it to realize that in America to-day, there are in any given place many different dollars in use . . . . Everybody who incurs a debt issues his own dollar, which may or may not be identical with the dollar of any one else's money. It is a little difficult to realize this curious fact, because in practice the only dollars which circulate are government dollars and bank dollars and, as both represent the highest and most convenient form of credit, their relative value is much the same, though not always identical.  (A. Mitchell-Innes, 'The Credit Theory of Money')
Alfie, dude, you're blowing my mind here!  It is, of course, important to recognize a terminological difference between Mitchell-Innes and Hawtrey, and in the span of time between them (a span not without sigificance) we can actually watch the worm turn: for Mitchell-Innes, money is credit in the widest sense; for Hawtrey, money is fiat money in the narrow sense.  The semantic drift the former bemoans in 1913 is virtually complete by the time the latter is writing in 1919.  (This in itself would make a good dissertation topic, if anyone in the humanities is looking for one.)

Which use of the term is right?  In one sense it doesn't matter since they're in full formal agreement about what's actually going on; in another sense, though, this kind of lexical instability is bad for the brains since it makes straight thinking harder and provides all manner of opportunities for bad ideas to slip past us by trading on the ambiguity of the embattled term.  Money, credit, currency -- are these synonymous or different, and if they are different what is the difference?  Sadly, no 20th century economist can help us here.  Back into the DeLorean, kids!

* * * * *

To see an early example of the kind of confusion this ambiguity induces even in the most incisive intellect, we can make a pit-stop back in 1876, and summon William Stanley Jevons to the bench.  In his Money and the Mechanism of Exchange we can see the first clear-eyed, explicit acknowledgement of money as a standard of deferred payment:
Every person making a contract by which he will receive something at a future day, will prefer to secure the receipt of a commodity likely to be as valuable then as now.  This commodity will usually be the current money, and it will thus come to perform the function of a standard of value.  (W. S. Jevons, Money and the Mechanism of Exchange, p.14)
As well as an acknowledgement that all of the aforementioned functions of money must be kept conceptually distinct even if in practice they travel together:

It is in the highest degree important that the reader should discriminate carefully and constantly between the four functions which money fulfils, at least in modern societies.  We are so accustomed to use the one same substance in all the four different ways, that they tend to become fused together in thought.  We come to regard as almost necessary that union of functions which is, at the most, a matter of convenience and may not always be desirable. (ibid., p. 16)
He goes on to point out that in fact a number of different commodities have in the past been used as currency for the sake of fulfilling each of these distinct functions -- which, having the benefit of our Mitchell-Innes, we might regard as evidence that perhaps our insistence on identifying currency with commodity is in fact a source of faulty thinking.

And yet, on the very next page he deftly resists the temptation to think such thoughts: 'There is evident convenience in selecting, if possible, one single substance which can serve all the functions of money.'  This happens depressingly often in the history of science: an intrepid thinker catches tiny glimpses of the cold light, before promptly returning to the warm dark.

If that is not enough for you, prepare for an irony overload as we flash forward to 1976, the centennial of Jevons' little book on money.  We find Friedrich Hayek, who had certainly read his Jevons very closely, digressing on Jevons' 'four functions' in the midst of his Denationalisation of Money.  After having repeated the Austrian credo that 'medium of exchange' is the essential function of money and that the other three functions will naturally gravitate toward whatever becomes current in this sense, he admits quite honestly in the next breath:
. . . although at first different attributes of money may seem desirable for its different uses, money renders one service, namely that of a unit of account, which makes stability of value the most desirable of all.  Although at first convenience in daily purchases [i.e. as currency] might be thought decisive in the selection, I believe it would prove suitability as a unit of account that would rule the roost. (F.A. Hayek, The Denationalisation of Money, p. 67)
Wait, what?  Function as liquid currency is most essential, but function as a stable standard of calculation is most causally efficacious in determining what gets used as money?  There is something . . . not . . . quite . . . right . . . about this thinking.  And again, on the next page: 'The chief demand for holding would probably be in the currency in which people expected to have to pay debts.'  You see, when we consider the celestial phenomena in detail it is almost as if the earth revolves around the sun, but we know this cannot be true because Aristotle said otherwise.

What's going on here is that Hayek's decades of thinking deeply about capital and business cycles have forced certain uncomfortable realities about the role of credit upon him, which are in direct conflict with the hypothesis of the origin of money that he cut his teeth on.  A little earlier in the book, again the heavens part and again the scholar averts his gaze:
Occasionally we shall also speak of 'money substitutes' when we have to consider borderline cases in the scale of liquidity -- such as traveller's cheques, credit cards and overdrafts -- where it would be quite arbitrary to assert that they either are or are not part of the circulation of currency. (ibid., p. 58)
If liquidity -- that is, ease of circulation -- is the measure of moneyness, and liquidity is a continuous variable, then it is evident that everything is money to varying degrees.  Again, this should set off alarm bells: this does not sound like a stable conceptual foundation upon which to build a theoretical edifice, so perhaps we should reconsider our starting-point.  This is a textbook case of an abstraction leaking out all over and flooding your basement.  But no, you see, these 'borderline cases' can be handled adequately by the expedient of a few epicycles -- and possibly a lot of caulk and duct tape.

I single out Hayek here because his case is particularly poignant after having just had your world rocked by Michell-Innes: the latter, uninhibited by any commodity theory of money, simply goes in one giant leap all the way in the direction the former wants to go but must struggle for every inch of ground as though against a giant ball and chain.  It costs Hayek great intellectual pains to make a tentative case for free banking, while Mitchell-Innes can boldly state that all of this is irrelevant once we understand credit and that any legal person that can issue credit is already, in principle, issuing currency -- the only question is whether they're doing it intelligently or not, and what ways the law affords them to do so. 

The hypothesis that the earth rotates on its axis had been floating around since ancient Greek antiquity, and was well known to the learned Schoolmen of the Middle Ages -- as thoroughly discredited.  Likewise, erudite 20th century economists were not unaware of the hypothesis that debt was the motive force behind the creation of money, and considered it at best a perverse curiosity of bad thinking.  And yet, it moves . . .

* * * * *

But we were supposed to be going backward, not forward.  Our last stop takes us to 1859, where the Scottish legal scholar Henry Dunning Macleod has just published his magnum opus, The Theory of Credit.  Having aged over a century and a half, this will no doubt strike you as a deeply goofy book in a number of ways, but the clarity it exhibits is irreplaceable. 

He spends the entire first part of the book setting the record straight on what words mean so far as jurisprudence is concerned -- and his authority is unimpeachable here, since, roughly, economics is to jurisprudence as chemistry is to physics. 

Jurisprudence determines rights, and economics determines the exchange of rights.  When I trade you an apple for an orange, what is being exchanged is the right to one fruit for the right to another; if I merely shove the apple into your hands and grab the orange, that's not an exchange -- it's a combination of a theft and a donation.  Market exchanges are never about the thing, always about the right, and the rights determine the market equilibria.  If this sounds obvious to you, great -- because there is an entire profession called 'law and economics' that sprung up in the last 60 years whose entire claim to fame lay in re-discovering this a hundred years after Macleod pointed it out. 

I belabor it because it's the key to Macleod's entire way of thinking, and indeed all clear thinking about credit and money: among the many things he will set you straight on is that credit is a right to demand payment where debt is the corresponding duty to pay (both completely distinct from the thing to be paid), that money is anything a creditor is legally obliged to accept as payment from a debtor, and that currency consists of all credit and money in circulation

So when we see everyone from Jevons to Hayek muddling over the 'function' of currency, they're falling all over themselves because they've failed to analyze a compound concept.  Mitchell-Innes is guilty of the same conflation: credit is currency, but credit is not necessarily money -- it only becomes money when backed by state compulsion, just as Georg Friedrich Knapp tells us at length in The State Theory of Money.  (This is extra-credit reading only.)  Money is legal standard of debt payment and thereby becomes unit of account; credit is a store of value and thereby becomes a medium of exchange, i.e. currency.  Sometimes these things coincide but their functions are distinct and separable.  Can we have currency without money?  Yes, we can!

* * * * *

Now, let us take a look at Bitcoin, through Macleod's eyes: what is this thing?  Is it money?  Clearly not, since it's not endorsed by the sovereign and almost nobody would accept it as payment of a debt.  Is it credit?  Also clearly not, since there is no debtor who will treat it as a legitimate claim on their wealth.  What's lacking here is legal obligation.

But is bitcoin currency?  Hmm.  If credit and money are the only two types of currency, then obviously it can't be currency.  And yet people are trading it around for things, so there are two possibilities: 1) Bitcoin is a ponzi scheme or perhaps a really expensive and pointless game, and 2) Bitcoin is a revolutionary new form of currency which is neither money nor credit. In any case, whatever it is Macleod's lexicon does not quite cover it.

What bitcoins definitely are is a pure commodity.  That is to say, they are useless for anything but trading.  Another thing bitcoins definitely are is volatile in value.  Thus far they've made a terrible standard of defferred payment, which makes them a lousy unit of account, which makes them a poor store of value, which makes them a questionable medium of exchange.

These two facts are related: a pure commodity is by definition volatile in value precisely because it is the ideal vehicle for speculative trading.  That is to say, there is absolutely nothing keeping it grounded in fundamental economic relationships like credits and debts, nor can it be used to pay your taxes -- it floats completely free and untethered, its value held up 100% by magic. 

Of course, if the US government suddenly switched to bitcoin rather than the dollar -- then bitcoin would be money, and bitcoin would oust the dollar rapidly.  If, on the other hand, the US government crushed bitcoin (as it still is quite capable of doing) or if Satoshi suddenly dumped all his bitcoin onto the market (as he is also still quite capable of doing), its value would drop to nothing and never recover.  As long as neither of these things happens, the waveform will not collapse.  Is it a viable currency?  Maybe!

In any case, what bitcoin certainly is, is the logical endpoint of the idea that all a currency needs to be is perfectly exchangeable and all the rest will follow.  Maybe it's just that Macleod has gone to my head, but I'm betting that come 2021 Bitcoin will be of mainly historical interest.  Can we do better?  I think so.

* * * * *

POSTSCRIPT:  Immediately after publishing this, I discovered that in fact the IRS has just killed bitcoin's hopes of being currency, dead as a doornail, by the elegant expedient of taxing it as a commodity rather than as money.  This is both legally impeccable and utterly destroys the fungibility of bitcoins, thereby ensuring that while Uncle Sam may profit from their trade, bitcoins will never replace dollars so long as the Fed shall live.  Ave, Cæsar!

Monday, 24 March 2014

Anomalies

Abstractions, it has been said, tend to leak.  But where is the abstraction, young padawan?  Examine the real machine all you like, you will not find it there.  An abstraction is not a thing, it is an idea -- and the 'leak' is a divergence between the ideal and actual performance of a system.

It's become something of a hobby of mine to hunt for anomalies -- cases where the idea of the system clearly fails to account for the actual behavior.  The anomalies clarify the limits of the abstraction by establishing the domains over which they fail to generalize; as such they're the natural starting place in the hunt for useful invariants.  That is to say, the search for truth -- in a word, philosophy

And everything, my friends, is grist for philosophy.  Ayn Rand did not get many things right, but one thing that she got very right is that philosophy, far from being useless, is an inescapable activity for the reason alluded to earlier: because we live in a world of functional abstractions, which are the original labor-saving devices, and these abstractions leak.

Of course philosophy, like anything else, can be done well or badly, and one does not need to look far for hilariously awful examples.  What's wrong with our thoughts is what's wrong with the abstractions from which they're built: when they are ill-formed, the result is garbage. 

What separates an outstanding philosopher from the rest of us is a relentless will to push abstractions a little further than they were designed to go, right up to -- and sometimes well past -- their breaking points.  If you can spot where the thinking goes wrong, you're hot on the trail of an anomaly and at the beginning of wisdom.