<?xml version="1.0" encoding="UTF-8"?>
<rss version="2.0"
	xmlns:content="http://purl.org/rss/1.0/modules/content/"
	xmlns:wfw="http://wellformedweb.org/CommentAPI/"
	xmlns:dc="http://purl.org/dc/elements/1.1/"
	xmlns:atom="http://www.w3.org/2005/Atom"
	xmlns:sy="http://purl.org/rss/1.0/modules/syndication/"
	xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
	>

<channel>
	<title>Vukutu &#187; Uncertainty</title>
	<atom:link href="http://www.vukutu.com/blog/category/uncertainty/feed/" rel="self" type="application/rss+xml" />
	<link>http://www.vukutu.com/blog</link>
	<description>away beyond many a far meridian</description>
	<lastBuildDate>Thu, 29 Jul 2010 11:45:09 +0000</lastBuildDate>
	<language>en</language>
	<sy:updatePeriod>hourly</sy:updatePeriod>
	<sy:updateFrequency>1</sy:updateFrequency>
	<generator>http://wordpress.org/?v=3.0</generator>
		<item>
		<title>At Swim-two-birds</title>
		<link>http://www.vukutu.com/blog/2010/07/at-swim-two-birds/</link>
		<comments>http://www.vukutu.com/blog/2010/07/at-swim-two-birds/#comments</comments>
		<pubDate>Sat, 10 Jul 2010 16:02:19 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Art]]></category>
		<category><![CDATA[Creativity]]></category>
		<category><![CDATA[Music]]></category>
		<category><![CDATA[Prophecy]]></category>
		<category><![CDATA[Uncertainty]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=1947</guid>
		<description><![CDATA[Brian Dillon reviews a British touring exhibition of the art of John Cage, currently at the Baltic Mill Gateshead. Two quibbles:  First, someone who compare&#8217;s Cage&#8217;s 4&#8242; 33&#8221; to a blank gallery wall hasn&#8217;t actually listened to the piece.  If Dillon had compared it to a glass window in the gallery wall allowing a view of the [...]]]></description>
			<content:encoded><![CDATA[<p><a href="http://www.vukutu.com/blog/wp-content/uploads/2010/07/CharleyHarper-CardinalsConsorting.jpg"><img class="aligncenter size-full wp-image-1950" title="CharleyHarper - CardinalsConsorting" src="http://www.vukutu.com/blog/wp-content/uploads/2010/07/CharleyHarper-CardinalsConsorting.jpg" alt="" width="285" height="360" /></a></p>
<p>Brian Dillon <a href="http://www.guardian.co.uk/artanddesign/2010/jul/10/john-cage-composer-drawings-exhibition" target="_blank">reviews</a> a British touring exhibition of the art of John Cage, currently at the <a href="http://www.balticmill.com/whatsOn/present/ExhibitionDetail.php?exhibID=142" target="_blank">Baltic Mill Gateshead</a>.</p>
<p>Two quibbles:  First, someone who compare&#8217;s Cage&#8217;s <em>4&#8242; 33&#8221;</em> to a blank gallery wall hasn&#8217;t actually listened to the piece.  If Dillon had compared it to a glass window in the gallery wall allowing a view of the outside of the gallery, then he would have made some sense.  But Cage&#8217;s composition is not about silence, or even pure sound, for either of which a blank gallery wall might be an appropriate visual representation.  The composition is about ambient sound, and about what sounds count as music in our culture.</p>
<p>Second, Dillon rightly mentions that the procedures used by Cage for musical composition from 1950 onwards (and later for poetry and visual art) were based on the Taoist <em>I Ching</em>.  But he wrongly describes these procedures as being based on &#8220;the philosophy of chance.&#8221;     Although widespread, this view is nonsense, accurate neither as to what Cage was doing, nor even as to what he may have thought he was doing.   Anyone subscribing to the Taoist philosophy underlying them understands the I Ching procedures as examplifying and manifesting hidden causal mechanisms, not chance.   The point of the underlying philosophy is that the random-looking events that result from the procedures express something unique, time-dependent, and personal to the specific person invoking the I Ching at the particular time they invoke it. So, to a Taoist, the resulting music or art is not &#8220;chance&#8221; or &#8220;random&#8221; or &#8220;aleatoric&#8221; at all, but profoundly deterministic, being the necessary consequential expression of deep, synchronistic, spiritual forces. I don&#8217;t know if Cage was himself a Taoist (I&#8217;m not sure that anyone does), but to an adherent of Taoist philosophy Cage&#8217;s own beliefs or attitudes are irrelevant to the workings of these forces.  I sense that Cage had sufficient understanding of Taoist and Zen ideas (Zen being the Japanese version of Taoism) to recognize this particular feature:  that to an adherent of the philosophy the beliefs of the invoker of the procedures are irrelevant.</p>
<p>In my experience, the idea that the I Ching is a deterministic process is a hard one for many modern westerners to understand, let alone to accept, so entrenched is the prevailing western view that the material realm is all there is.  This entrenched view is only historically recent in the west:  Isaac Newton, for example, was a believer in the existence of <a href="http://www.vukutu.com/blog/2009/09/nicolas-fatio-de-duillier/" target="_blank">cosmic spiritual forces</a>, and thought he had found the laws which governed their operation.    Obversely, many easterners in my experience have difficulty with notions of uncertainty and chance; if <em>all</em> events are subject to hidden causal forces, the concepts of randomness and of alternative possible futures make no sense.  My experience here includes making presentations and leading discussions on scenario analyses with senior managers of Asian multinationals.  </p>
<p>We are two birds swimming, each circling the pond, warily, neither understanding the other, neither flying away.</p>
<p><em>References:</em></p>
<p>Kyle Gann [2010]: <em>No Such Thing as Silence.  John Cage’s 4&#8242; 33&#8221;.</em>  New Haven, CT, USA:  Yale University Press. </p>
<p>James Pritchett [1993]:  <em>The Music of John Cage</em>.  Cambridge, UK:  Cambridge University Press.</p>
<p class="tags">Technorati Tags: <a href="http://technorati.com/tag/John+Cage" rel="tag">John Cage</a>, <a href="http://technorati.com/tag/I+Ching" rel="tag">I Ching</a>, <a href="http://technorati.com/tag/Zen" rel="tag">Zen</a>, <a href="http://technorati.com/tag/Taoism" rel="tag">Taoism</a></p>]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2010/07/at-swim-two-birds/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Bayesian statistics</title>
		<link>http://www.vukutu.com/blog/2010/07/bayesian-statistics/</link>
		<comments>http://www.vukutu.com/blog/2010/07/bayesian-statistics/#comments</comments>
		<pubDate>Thu, 08 Jul 2010 12:16:51 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[AI]]></category>
		<category><![CDATA[Decision theory]]></category>
		<category><![CDATA[Mathematics]]></category>
		<category><![CDATA[Uncertainty]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=1936</guid>
		<description><![CDATA[One of the mysteries to anyone trained in the frequentist hypothesis-testing paradigm of statistics, as I was, and still adhering to it, as I do, is how Bayesian approaches seemed to have taken the academy by storm.   One wonders, first, how a theory based &#8211; and based explicitly &#8211; on a measure of uncertainty defined [...]]]></description>
			<content:encoded><![CDATA[<p>One of the mysteries to anyone trained in the frequentist hypothesis-testing paradigm of statistics, as I was, and still adhering to it, as I do, is how Bayesian approaches seemed to have taken the academy by storm.   One wonders, first, how a theory based &#8211; and based explicitly &#8211; on a measure of uncertainty defined in terms of subjective personal beliefs, could be considered even for a moment for an inter-subjective (ie, social) activity such as Science.    One wonders, second, how a theory justified by appeals to such socially-constructed, culturally-specific, and readily-contestable activities as gambling (ie, so-called Dutch-book arguments) could be taken seriously as the basis for an activity (Science) aiming for, and claiming to achieve, universal validity.   One wonders, third, how the fact that such justifications, even if gambling presents no moral, philosophical or other qualms,  require infinite sequences of gambles is not a little troubling for all of us living in this finite world.  (You tell me you are certain to beat me if we play an infinite sequence of gambles? Then, let me tell you, that I have a religion promising eternal life that may interest you in turn.)</p>
<p>One wonders, fourthly, where are recorded all the prior distributions of beliefs which this theory requires investigators to articulate before doing research.  Surely someone must be writing them down, so that we consumers of science can know that our researchers are honest, and hold them to potential account.   That there is such a disconnect between what Bayesian theorists say researchers do and what those researchers demonstrably do should trouble anyone contemplating a choice of statistical paradigms, surely.   Finally, one wonders how a theory that requires non-zero probabilities be allocated to models of which the investigators have not yet heard or even which no one has yet articulated, for those models to be tested, passes muster at the statistical methodology corral.</p>
<p>To my mind, Bayesianism is a theory from some other world &#8211; infinite gambles, imagined prior distributions, models that disregard time or requirements for constructability,  unrealistic abstractions from actual scientific practice &#8211; not from our own.</p>
<p>So, how could the Bayesians make as much headway as they have these last six decades? Perhaps it is due to an inherent pragmatism of statisticians &#8211; using whatever techniques work, without much regard as to their underlying philosophy or incoherence therein.  Or perhaps the battle between the two schools of thought has simply been asymmetric:  the Bayesians being more determined to prevail (in my personal experience, to the point of cultism and personal vitriol) than the adherents of frequentism.  <a href="http://engl.iastate.edu/directory/gdwilson" target="_blank">Greg Wilson&#8217;s</a> 2001 PhD thesis explored this question, although without finding definitive answers.</p>
<p>Now,  Andrew Gelman and the <a href="http://cscs.umich.edu/~crshalizi/weblog/664.html" target="_blank">indefatigable Cosma Shalizi</a> have written a superb paper, entitled &#8220;<em>Philosophy and the practice of Bayesian statistics&#8221;</em>.  Their paper presents another possible reason for the rise of Bayesian methods:  that Bayesianism, when used in actual practice, is most often a form of hypothesis-testing, and thus not as untethered to reality as the pure theory would suggest.  Their abstract:</p>
<blockquote><p>A substantial school in the philosophy of science identifies Bayesian inference with inductive inference and even rationality as such, and seems to be strengthened by the rise and practical success of Bayesian statistics. We argue that the most successful forms of Bayesian statistics do not actually support that particular philosophy but rather accord much better with sophisticated forms of hypothetico-deductivism. We examine the actual role played by prior distributions in Bayesian models, and the crucial aspects of model checking and model revision, which fall outside the scope of Bayesian confirmation theory. We draw on the literature on the consistency of Bayesian updating and also on our experience of applied work in social science.</p>
<p>Clarity about these matters should benefit not just philosophy of science, but also statistical practice. At best, the inductivist view has encouraged researchers to fit and compare models without checking them; at worst, theorists have actively discouraged practitioners from performing model checking because it does not fit into their framework.</p></blockquote>
<p><em>References:</em></p>
<p>Andrew Gelman and Cosma Rohilla Shalizi [2010]:  Philosophy and the practice of Bayesian statistics.  Available from <a href="http://arxiv.org/abs/1006.3868" target="_blank">Arxiv</a>.  Blog post <a href="http://cscs.umich.edu/~crshalizi/weblog/664.html" target="_blank">here</a>.</p>
<div>Gregory D. Wilson [2001]:   <em>Articulation Theory and Disciplinary Change:  Unpacking the Bayesian-Frequentist Paradigm Conflict in Statistical Science</em>.  PhD Thesis,  Rhetoric and Professional Communication Programme, New Mexico State University.  Las Cruces, NM, USA.  July 2001.</div>
<p class="tags">Technorati Tags: <a href="http://technorati.com/tag/hypothesis-testing" rel="tag">hypothesis-testing</a>, <a href="http://technorati.com/tag/statistics" rel="tag">statistics</a>, <a href="http://technorati.com/tag/Bayesianism" rel="tag">Bayesianism</a>, <a href="http://technorati.com/tag/frequentism" rel="tag">frequentism</a>, <a href="http://technorati.com/tag/inductive+inference" rel="tag">inductive inference</a>, <a href="http://technorati.com/tag/hypothetico-deductivism" rel="tag">hypothetico-deductivism</a></p>]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2010/07/bayesian-statistics/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Gray on Akerlof and Shiller</title>
		<link>http://www.vukutu.com/blog/2009/11/gray-on-akerlof-and-shiller/</link>
		<comments>http://www.vukutu.com/blog/2009/11/gray-on-akerlof-and-shiller/#comments</comments>
		<pubDate>Wed, 25 Nov 2009 04:45:07 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Global Economic Crisis]]></category>
		<category><![CDATA[Uncertainty]]></category>
		<category><![CDATA[economics]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=1430</guid>
		<description><![CDATA[Philosopher John Gray has a review in the LRB of Akerlof and Shiller&#8217;s new book on the errors of mainstream economics, a review which mentions the sadly-neglected economist George Shackle.  Shackle, unlike most academic economists, actually worked in industry and Government and had made investment decisions, and knew whereof he wrote.  If Akerlof and Shiller’s [...]]]></description>
			<content:encoded><![CDATA[<p>Philosopher John Gray has a <a href="http://www.lrb.co.uk/v31/n22/john-gray/we-simply-do-not-know" target="_blank">review in the LRB of Akerlof and Shiller&#8217;s new book</a> on the errors of mainstream economics, a review which mentions the sadly-neglected economist George Shackle.  Shackle, unlike most academic economists, actually worked in industry and Government and had made investment decisions, and knew whereof he wrote. </p>
<blockquote><p><em>If Akerlof and Shiller’s grip on the history of economic thought is shaky, they also fail to grasp why Keynes rejected the idea that markets are self-stabilising. Throughout Animal Spirits they portray him as reintegrating psychology with economic theory. No doubt this was one of Keynes’s goals, but it is not his most fundamental revision of economic orthodoxy. Among his other accomplishments he was the author of A </em>Treatise on Probability<em> (1921), in which he tried to develop a theory of ‘rational degrees of belief’. By his own account he failed, and in his canonical </em>General Theory of Employment, Interest and Money <em>(1936) he concluded that there was no way anyone could make forecasts. Future interest rates and prices, new inventions and the likelihood of a European war cannot be predicted: there is no ‘basis on which to form any calculable probability whatever. We simply do not know!’ For Keynes, markets are unstable less because they are driven by emotion than because the future is unknowable. To suggest that the source of market volatility is unreason is to imply that if people were fully rational markets could be stable. But even if people were affectless calculating machines they would still be ignorant of the future, and markets would still be volatile. The root cause of market instability is the insuperable limitation of human knowledge.</em></p>
<p><span id="more-1430"></span><em>Later economists have made much of a distinction between risk, which can be assessed in terms of quantifiable likelihood, and uncertainty, where probabilities cannot be attached to possible outcomes. The trouble is that when attempting to forecast the course of the economy we often cannot confidently distinguish between the two. Even our list of possible outcomes may turn out to have omitted the ones that are most important in shaping events. Such an omission was one of the factors that led Long-Term Capital Management, a highly leveraged hedge fund set up by two Nobel Prize winning economists, to fail in 1998-2000. The information used in applying the formula did not include the possibility of such events as the Asian financial crisis and Russia’s default on its sovereign debt, which destabilised global financial markets and helped destroy the fund. The orthodoxy that came unstuck with the collapse of LTCM was not faulty because it neglected the vagaries of human moods; its mistake was to think that the unknown future could be turned into a set of calculable risks and, in effect, conjured out of existence, which was impossible. Several centuries earlier, Pascal – one of the founders of probability theory – had come to the same conclusion, when in the Pensées he asks ironically: ‘Is it probable that probability brings certainty?’</em></p>
<p><em>The central flaw of the economic orthodoxy against which Keynes fought in the 1930s was to imagine that an insoluble problem – human ignorance of the future – had been solved. The error was repeated in the 1990s, when economists came to believe that complex mathematical formulae could tame uncertainty in the murky world of derivatives. Steeped in history as they were, this was a delusion that none of the classical economists entertained. It began to shape economics only towards the end of the 19th century, with the rise of Positivism, according to which the natural sciences are the only legitimate repository of human knowledge. It was the formative influence of this philosophy on the Chicago School that enabled the orthodoxy of the 1930s to re-emerge triumphant, and the result was an immense boost to the prestige of economics as a discipline. Economists could claim to be scientists, who with the aid of their mathematical magic could pierce the veil that conceals the future.</em></p>
<p><em>The hegemony of Positivism in economics obscured Keynes’s scepticism about probabilistic knowledge, his most important contribution to the discipline. G.L.S. Shackle set Keynes’s argument out systematically in his neglected masterpiece </em>Epistemics and Economics: A Critique of Economic Doctrines <em>(1972). Shackle is probably the only significant economist to have been influenced both by Keynes and by his arch-rival, F.A. Hayek. He knew both of them well, but argued that neither had digested the full implications for economics of our ignorance of the future. Hayek said that governments could never know enough to plan the economy successfully – a claim vindicated by the miserable record of central planning in Communist countries. At the same time, he attributed near omniscience to markets, and never doubted that if left to its own devices the economy would liquidate mistaken investments and return to equilibrium. Against this, Keynes had shown that there is no market mechanism that ensures revival; economic contraction can be self-reinforcing, and only government action can then create a way out.</em></p>
<p><em>Shackle took Keynes’s argument a step further, and showed that no economic policy can ensure economic stability indefinitely. ‘Keynesian’ policies are no exception to this rule. Deficit financing and monetary expansion may have worked well in the conditions that existed after the Second World War. It is not clear that they will be so effective today, when globalisation has brought a freedom of capital movements that did not exist then. The lesson of Shackle is that we must be resourceful in devising new remedies, while not losing sight of the fact that none of them works for long.</em></p>
<p><em>Akerlof and Shiller claim that their account of the role of psychology helps to explain the financial crisis. ‘Our theory of animal spirits,’ they say, ‘provides an answer to a conundrum: why did most of us utterly fail to foresee the current economic crisis? How can we understand this crisis when it seems to have come out of the blue with no cause?’ They are right that part of the answer lies in an intellectual default within economics, but they seem oblivious of the role of ideology in producing this default. The deformation of economics was not the result only of factors internal to the discipline, it was also part of the short-lived Western triumphalism that followed the end of the Cold War.</em></p>
<p><em>. . . </em></p>
<p><em>Keynes and the classical economists before him knew that there is no realm of market exchange that obeys laws of the kind that can be formulated in the natural sciences. Economics and politics are not separate branches of human activity, and economic life cannot be studied independently of social divisions and political conflicts among populations, along with their cultures and religions. Familiar to Keynes and most of the economists of his generation, these truisms have been forgotten, or rejected, by many economists today. The result is an economic imperialism that tries to explain every human activity in terms of a conception of rational action that does not work even when applied to the behaviour of markets.</em></p>
<p><em>Of course, there is a standard response to these observations, which is that unrealism in economic theories doesn’t matter. As developed by Milton Friedman, among others, this is in effect a version of instrumentalism, a tenable position in the philosophy of science. For instrumentalists, the goal of science is not a true representation of the world; it is to organise our observations into a theoretical framework that serves practical goals, such as prediction and control. But what practical goals have been served by the type of economics dominant over the past two decades? It has been useful neither in making predictions nor in responding to unforeseen developments.</em></p>
<p><em>Akerlof and Shiller intend their analysis to contribute to an intellectual reformation in economics, as a consequence of which the discipline will become more useful to policy-makers. It must be doubted, though, that the authors will succeed in persuading economists of the inadequacy of the conception of rational action. The profession is one of the few areas of human activity in which that conception is applicable. In its intra-academic varieties, at any rate, economics is insulated from the world not only by its narrow explanatory methodology but also because it rewards the mathematical modelling that resulted in nearly all of its members failing to anticipate the financial crisis. As institutionalised in universities, the notion of rational decision-making is self-perpetuating. Economics as currently practised may have only a slight grip on market behaviour, but it seems to be powerfully predictive of the behaviour of economists.&#8221;</em></p></blockquote>
<p><em>Reference:</em></p>
<p>John Gray [2009]: <a href="http://www.lrb.co.uk/v31/n22/john-gray/we-simply-do-not-know" target="_blank">We Simply Do Not Know!</a>  <em>London Review of Books</em>,  31 (22): 13-14, 19 November 2009.  Review of: <cite>Animal Spirits: How Human Psychology Drives the Economy, and Why It Matters for Global Capitalism,</cite> by George Akerlof and Robert Shiller. (Princeton).</p>
<p class="tags">Technorati Tags: <a href="http://technorati.com/tag/George+Shackle" rel="tag">George Shackle</a>, <a href="http://technorati.com/tag/John+Gray" rel="tag">John Gray</a>, <a href="http://technorati.com/tag/George+Akerlof" rel="tag">George Akerlof</a>, <a href="http://technorati.com/tag/Robert+Shiller" rel="tag">Robert Shiller</a></p>]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2009/11/gray-on-akerlof-and-shiller/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Great mathematical ideas</title>
		<link>http://www.vukutu.com/blog/2009/09/great-mathematical-ideas/</link>
		<comments>http://www.vukutu.com/blog/2009/09/great-mathematical-ideas/#comments</comments>
		<pubDate>Wed, 23 Sep 2009 15:05:54 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Logic]]></category>
		<category><![CDATA[Mathematics]]></category>
		<category><![CDATA[Probability theory]]></category>
		<category><![CDATA[Uncertainty]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=1221</guid>
		<description><![CDATA[Normblog has a regular feature, Writer&#8217;s Choice, where writers give their opinions of books which have influenced them.   Seeing this led me recently to think of the mathematical ideas which have influenced my own thinking.   In an earlier post, I wrote about the writers whose  books (and teachers whose lectures) directly influenced me.  I left many [...]]]></description>
			<content:encoded><![CDATA[<p>Normblog has a regular feature, <a href="http://normblog.typepad.com/normblog/2009/09/writers-choice-grand-index.html" target="_blank">Writer&#8217;s Choice</a>, where writers give their opinions of books which have influenced them.   Seeing this led me recently to think of the mathematical ideas which have influenced my own thinking.   In an earlier post, I wrote about the <a href="http://www.vukutu.com/blog/2009/09/thinkers-of-renown/" target="_blank">writers whose  books (and teachers whose lectures) directly influenced me</a>.  I left many pure mathematicians and statisticians off that list because most mathematics and statistics I did not receive directly from their books, but indirectly, mediated through the textbooks and lectures of others.  It is time to make amends. </p>
<p>Here then is a list of mathematical ideas which have had great influence on my thinking, along with their progenitors.  Not all of these ideas have yet proved useful in any practical sense, either to me or to the world &#8211; but <a href="http://www.vukutu.com/blog/2009/09/myopic-utilitarianism/" target="_blank">there is still lots of time</a>.   Some of these theories are very beautiful, and it is their elegance and beauty and profundity to which I respond.  Others are counter-intuitive and thus thought-provoking, and I recall them for this reason.</p>
<ul>
<li>Euclid&#8217;s axiomatic treatment of (Euclidean) geometry</li>
<li>The various laws of large numbers, first proven by Jacob Bernoulli (which give a rational justification for reasoning from samples to populations)</li>
<li>The differential calculus of Isaac Newton and Gottfried Leibniz (the first formal treatment of change)</li>
<li>The Identity of Leonhard Euler:  exp ( i * \pi) + 1 = 0, which mysteriously links two transcendental numbers (\pi and e), an imaginary number i (the square root of minus one) with the identity of the addition operation (zero) and the identity of the multiplication operation (1).</li>
<li>The epsilon-delta arguments for the calculus of Augustin Louis Cauchy and Karl Weierstrauss</li>
<li>The non-Euclidean geometries of Janos Bolyai, Nikolai Lobachevsky and Bernhard Riemann (which showed that 2-dimensional (or plane) geometry would be different if the surface it was done on was curved rather than flat &#8211; the arrival of post-modernism in mathematics)</li>
<li>The diagonalization proof of Gregor Cantor that the Real numbers are not countable (showing that there is more than one type of infinity) (a proof-method later adopted by Godel, mentioned below)</li>
<li>The axioms for the natural numbers of Guiseppe Peano</li>
<li>The space-filling curves of Guiseppe Peano and others (mapping the unit interval continuously to the unit square)</li>
<li>The axiomatic treatments of geometry of Mario Pieri and David Hilbert (releasing pure mathematics from any necessary connection to the real-world)</li>
<li>The algebraic topology of Henri Poincare and many others (associating algebraic structures to topological spaces)</li>
<li>The paradox of set theory of Bertrand Russell (asking whether the set of all sets contains itself)</li>
<li>The Fixed Point Theorem of Jan Brouwer (which, <em>inter alia</em>, has been used to prove that certain purely-artificial mathematical constructs called <em>economies</em> under some conditions contain equilibria)</li>
<li>The theory of measure and integration of Henri Lebesgue</li>
<li>The constructivism of Jan Brouwer (which taught us to think differently about mathematical knowledge)</li>
<li>The statistical decision theory of Jerzy Neyman and Egon Pearson (which enabled us to bound the potential errors of statistical inference)</li>
<li>The axioms for probability theory of Andrey Kolmogorov (which formalized one common method for representing uncertainty)</li>
<li>The BHK axioms for intuitionistic logic, associated to the names of Jan Brouwer, Arend Heyting and Andrey Kolmogorov (which enabled the formal treatment of intuitionism)</li>
<li>The incompleteness theorems of Kurt Godel (which identified some limits to mathematical knowledge)</li>
<li>The theory of categories of Sam Eilenberg and Saunders Mac Lane (using pure mathematics to model what pure mathematicians do, and enabling concise, abstract and elegant presentations of mathematical knowledge)</li>
<li>Possible-worlds semantics for modal logics (<a href="http://www.vukutu.com/blog/2009/07/scenarios-and-possible-worlds/" target="_blank">due to many people</a>, but often named for <a href="http://web.gc.cuny.edu/philosophy/people/kripke.html" target="_blank">Saul Kripke</a>)</li>
<li>The topos theory of Alexander Grothendieck (generalizing the category of sets)</li>
<li>The proof by Paul Cohen of the logical independence of the Axiom of Choice from the Zermelo-Fraenkel axioms of Set Theory (which establishes Choice as one truly weird axiom!)</li>
<li>The non-standard analysis of Abraham Robinson and the synthetic geometry of <a href="http://home.imf.au.dk/kock/" target="_blank">Anders Kock</a> (which formalize infinitesimal arithmetic)</li>
<li>The non-probabilistic representations of uncertainty of Arthur Dempster, <a href="http://www.glennshafer.com/" target="_blank">Glenn Shafer</a> and others (which provide formal representations of uncertainty without the weaknesses of probability theory)</li>
<li>The information geometry of <a href="http://www.brain.riken.jp/labs/mns/amari/home-E.html" target="_blank">Shunichi Amari</a>, <a href="http://home.imf.au.dk/oebn/" target="_blank">Ole Barndorff-Nielsen</a>, Nikolai Chentsov, <a href="http://www-stat.stanford.edu/~ckirby/brad/" target="_blank">Bradley Efron</a>, and others (showing that the methods of statistical inference are not just <em>ad hoc</em> procedures)</li>
<li>The robust statistical methods of Peter Huber and others </li>
<li>The proof by Andrew Wiles of <em>The Theorem Formerly Known as Fermat&#8217;s Last</em> (which proof I don&#8217;t yet follow).</li>
</ul>
<p>Some of these ideas are among the most sublime and beautiful thoughts of humankind.  Not having an education which has equipped one to appreciate these ideas would be like being tone-deaf.</p>
<p class="tags">Technorati Tags: <a href="http://technorati.com/tag/mathematics" rel="tag">mathematics</a>, <a href="http://technorati.com/tag/statistics" rel="tag">statistics</a>, <a href="http://technorati.com/tag/differential+calculus" rel="tag">differential calculus</a>, <a href="http://technorati.com/tag/epsilon-delta" rel="tag">epsilon-delta</a>, <a href="http://technorati.com/tag/non-Euclidean+geometries" rel="tag">non-Euclidean geometries</a>, <a href="http://technorati.com/tag/diagonalization+proof" rel="tag">diagonalization proof</a>, <a href="http://technorati.com/tag/space-filling+curves" rel="tag">space-filling curves</a>, <a href="http://technorati.com/tag/algebraic+topology" rel="tag">algebraic topology</a>, <a href="http://technorati.com/tag/Fixed+Point+Theorem" rel="tag">Fixed Point Theorem</a>, <a href="http://technorati.com/tag/constructivism" rel="tag">constructivism</a>, <a href="http://technorati.com/tag/statistical+decision+theory" rel="tag">statistical decision theory</a>, <a href="http://technorati.com/tag/statistical+inference" rel="tag">statistical inference</a>, <a href="http://technorati.com/tag/probability+theory" rel="tag">probability theory</a>, <a href="http://technorati.com/tag/BHK+axioms" rel="tag">BHK axioms</a>, <a href="http://technorati.com/tag/intuitionistic+logic" rel="tag">intuitionistic logic</a>, <a href="http://technorati.com/tag/intuitionism" rel="tag">intuitionism</a>, <a href="http://technorati.com/tag/incompleteness" rel="tag">incompleteness</a>, <a href="http://technorati.com/tag/categories" rel="tag">categories</a>, <a href="http://technorati.com/tag/Possible-worlds" rel="tag">Possible-worlds</a>, <a href="http://technorati.com/tag/modal+logics" rel="tag">modal logics</a>, <a href="http://technorati.com/tag/topos+theory" rel="tag">topos theory</a>, <a href="http://technorati.com/tag/Axiom+of+Choice" rel="tag">Axiom of Choice</a>, <a href="http://technorati.com/tag/non-standard+analysis" rel="tag">non-standard analysis</a>, <a href="http://technorati.com/tag/synthetic+geometry" rel="tag">synthetic geometry</a>, <a href="http://technorati.com/tag/uncertainty" rel="tag">uncertainty</a>, <a href="http://technorati.com/tag/information+geometry" rel="tag">information geometry</a></p>]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2009/09/great-mathematical-ideas/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Epistemic modal logic at the CIA</title>
		<link>http://www.vukutu.com/blog/2009/07/epistemic-modal-logic-at-the-cia/</link>
		<comments>http://www.vukutu.com/blog/2009/07/epistemic-modal-logic-at-the-cia/#comments</comments>
		<pubDate>Wed, 01 Jul 2009 14:03:25 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Decision theory]]></category>
		<category><![CDATA[Intelligence]]></category>
		<category><![CDATA[Uncertainty]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=717</guid>
		<description><![CDATA[A recent issue of the TLS ran a review by Terence Hawkes of the biography by Michael Holzman of Jim Angleton, head of counter-intelligence at the CIA.  Holzman&#8217;s book, although mostly written from secondary sources, is a fine summary of Angleton&#8217;s life and career.  It is marred, however, by (a) Holzman&#8217;s annoying (academic) habit of quoting something [...]]]></description>
			<content:encoded><![CDATA[<p><img class="alignleft size-medium wp-image-731" title="Jim Angleton" src="http://www.vukutu.com/blog/wp-content/uploads/2009/07/Jim-Angleton-234x300.jpg" alt="Jim Angleton" width="234" height="300" /></p>
<p>A recent issue of the TLS ran a <a href="http://entertainment.timesonline.co.uk/tol/arts_and_entertainment/the_tls/article6469054.ece" target="_blank">review </a>by Terence Hawkes of the biography by Michael Holzman of Jim Angleton, head of counter-intelligence at the CIA.  Holzman&#8217;s book, although mostly written from secondary sources, is a fine summary of Angleton&#8217;s life and career.  It is marred, however, by (a) Holzman&#8217;s annoying (academic) habit of quoting something or somebody and  then repeating, verbatim, key words from that very quotation in the following paragraph, as if we readers were idiots, unable to read for ourselves or contemplate an idea for longer than a paragraph.  And, (b) by a casual sloppiness about dates.  Call me old-fashioned, but I think a historian should not simply say &#8220;in  May that  year&#8221;  when the last mention of the specific year was some tens of pages and several anecdotes or set-pieces back.   No doubt Holzman <em>always</em> knows which of the 71 years of Angleton&#8217;s life and the various ones before or since he is currently referring to, but this is rarely obvious to the reader of this book, even to a careful reader.   In view of the subject matter and Holzman&#8217;s theme (that Angleton&#8217;s training in so-called practical criticism was invaluable to his career in counter-intelligence), one has to wonder if such sloppiness is deliberate.</p>
<p>Holzman also does not tell us much about the actual theory and practice of counter-intelligence, despite the title and the claims he makes up front.   In particular, his treatment of the Nosenko case is misleading, partly he believes the official CIA line and because he does not refer to the most recent publication on the case, namely the book by Bagley. Hawkes seems to have followed Holzman in his garden-path-up-straying.</p>
<p>Unlike literary criticism, espionage is not only about what to believe, it is also about what to do.  It may be the case that Yuri Nosenko was a genuine Soviet defector, as Holzman claims CIA eventually came to believe.  Others closely involved in the case, such as retired CIA agent Tennent Bagley (2007) have argued compellingly that Nosenko was in fact a KGB plant, not a genuine defector.</p>
<p>Whether or not Nosenko was a genuine defector, and whether or not CIA leadership believed him to be a genuine defector, CIA would also need to concern itself with what impact a revelation of their beliefs would have on KGB, as I have argued <a href="http://www.vukutu.com/blog/2008/12/hearing-is-not-necessarily-believing/" target="_blank">before</a>, and thus on what proposition to seek to have KGB believe about CIA&#8217;s beliefs in the matter.   If CIA were seen by KGB to accept Nosenko&#8217;s testimony (inconsistent and incomplete, by his own admission) too quickly, KGB may not accept as genuine any CIA profession of belief in his bona fides.  So, some delay and equivocation in decision-making was called for.  If CIA professed to believe that Nosenko was a plant or allowed KGB to conclude that CIA believed Nosenko to be a plant, then CIA risked signalling to KGB that they (CIA) were also rejecting all the testimony he arrived in the west with, which included detailed protestations of KGB non-involvement in the assassination of President John F. Kennedy.    Whether or not CIA believed that KGB were involved in that assassination, they may or may not have wished to let KGB know what they believed, at least at that particular moment.  In any case, perhaps a clever (and cunning) CIA would seek to have KGB believe that Nosenko was believed, <a href="http://www.vukutu.com/blog/2008/10/perceptions-and-counter-perceptions/" target="_blank">in order to see how the game played itself out</a>.</p>
<p> So, one possible course of action for CIA was to signal to KGB that they accepted Nosenko as a genuine defector, but to signal also that they came to this decision only slowly and painfully.   How better to do this than to interrogate the man at length and (allegedly) harshly, and then, after years of apparent indecision and multiple internal investigations (some of which may even have been genuine), decide to accept him publicly as a true defector.   This public acceptance &#8211; consultancy fees, letters, flags, medals, and all &#8211; even now, four decades later, may have absolutely no connection whatever with what CIA leadership really believed then or, indeed, what they believe now.</p>
<p>It&#8217;s not only litcrit that gets an outing in these events.  If any philosopher reading this wonders about the practical usefulness of dynamic epistemic modal logic, wonder no more.</p>
<p><em>References:</em></p>
<p>Tennent H. Bagley [2007]:  <em>Spy Wars</em>.  New Haven, CT, USA:  Yale University Press.</p>
<p>Terence Hawkes [2009]: &#8220;William Empson&#8217;s Influence on the CIA.&#8221;  <em>Times Literary Supplement</em>, 2009-06-10.</p>
<p>Michael Holzman [2008]:  <em>James Jesus Angleton, the CIA and the Craft of Counterintelligence</em>.  Boston, MA, USA: University of Massachusetts Press.</p>
<p class="tags">Technorati Tags: <a href="http://technorati.com/tag/Terence+Hawkes" rel="tag">Terence Hawkes</a>, <a href="http://technorati.com/tag/Michael+Holzman" rel="tag">Michael Holzman</a>, <a href="http://technorati.com/tag/Jim+Angleton" rel="tag">Jim Angleton</a>, <a href="http://technorati.com/tag/Yuri+Nosenko" rel="tag">Yuri Nosenko</a>, <a href="http://technorati.com/tag/CIA" rel="tag">CIA</a>, <a href="http://technorati.com/tag/Tennent+Bagley" rel="tag">Tennent Bagley</a>, <a href="http://technorati.com/tag/KGB" rel="tag">KGB</a></p>]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2009/07/epistemic-modal-logic-at-the-cia/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Black swans of trespass</title>
		<link>http://www.vukutu.com/blog/2009/04/black-swans-of-trespass/</link>
		<comments>http://www.vukutu.com/blog/2009/04/black-swans-of-trespass/#comments</comments>
		<pubDate>Wed, 08 Apr 2009 23:35:12 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Decision theory]]></category>
		<category><![CDATA[Forecasting]]></category>
		<category><![CDATA[Uncertainty]]></category>
		<category><![CDATA[economics]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=529</guid>
		<description><![CDATA[Nassim Taleb has an article in the FinTimes presenting ten principles he believes would reduce the occurrence of rare, catastrophic events (events he has taken to calling black swans).  Many of his principles are not actionable, and several are ill-advised.  Take, for instance, # 3: 3. People who were driving a school bus blindfolded (and crashed [...]]]></description>
			<content:encoded><![CDATA[<p><img class="aligncenter size-medium wp-image-531" title="gould-blackswan" src="http://www.vukutu.com/blog/wp-content/uploads/2009/04/gould-blackswan-300x207.jpg" alt="gould-blackswan" width="300" height="207" /></p>
<p>Nassim Taleb has an <a href="http://www.ft.com/cms/s/0/5d5aa24e-23a4-11de-996a-00144feabdc0.html?nclick_check=1" target="_blank">article</a> in the FinTimes presenting ten principles he believes would reduce the occurrence of rare, catastrophic events (events he has taken to calling <em>black swans</em>).  Many of his principles are not actionable, and several are ill-advised.  Take, for instance, # 3:</p>
<blockquote><p>3. <em>People who were driving a school bus blindfolded (and crashed it) should never be given a new bus</em>.</p></blockquote>
<p>If this principle was applied, the bus would have no drivers at all.   All of us are driving blindfolded, with our only guide to the road ahead being what we can apprehend from the rear-view mirror.  Past performance, as they say, is no guide to the future direction of the road.</p>
<p>Or take #6:</p>
<blockquote><p>6. <em>Do not give children sticks of dynamite, even if they come with a warning</em>.  Complex derivatives need to be banned because nobody understands them and few are rational enough to know it. Citizens must be protected from themselves, from bankers selling them “hedging” products, and from gullible regulators who listen to economic theorists.</p></blockquote>
<p>Well, what precisely is &#8220;complex&#8221;?  Surely, Dr Taleb is not suggesting the banning of plain futures and options, as these serve a valuable function in our economy (enabling the parceling and trading of risk).  But even these are too complex for some people (such as those farmers, dentists, and local government officials currently with burnt fingers), and surely such people need protection from themselves much more so than the quant-jocks and their masters on Wall Street.  So, where would one draw the line between allowed derivative and disallowed? </p>
<p>Once again, it appears there has been a mis-understanding of the cause of the recent problems.  It is not complex derivatives <em>per se</em> that are the problem, but the fact that many of these financial instruments have, unusually, been highly-correlated.  Thus, the failure of one instrument (and subsequently, one bank) brings down all the others with it &#8212; there is a systemic risk as well as a participant risk involved in their use.   Dr Taleb, who has long been a critic of the unthinking use of Gaussian models in finance, I am sure realises this.</p>
<p class="tags">Technorati Tags: <a href="http://technorati.com/tag/Nassim+Taleb" rel="tag">Nassim Taleb</a>, <a href="http://technorati.com/tag/complex+derivatives" rel="tag">complex derivatives</a>, <a href="http://technorati.com/tag/Gaussian+models" rel="tag">Gaussian models</a></p>]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2009/04/black-swans-of-trespass/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>The decade around 1664</title>
		<link>http://www.vukutu.com/blog/2009/03/the-decade-around-1664/</link>
		<comments>http://www.vukutu.com/blog/2009/03/the-decade-around-1664/#comments</comments>
		<pubDate>Sun, 29 Mar 2009 12:15:51 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Culture]]></category>
		<category><![CDATA[History]]></category>
		<category><![CDATA[Probability theory]]></category>
		<category><![CDATA[Prophecy]]></category>
		<category><![CDATA[Science]]></category>
		<category><![CDATA[Uncertainty]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=454</guid>
		<description><![CDATA[We noted before that one consequence of the rise of coffee-houses in 17th-century Europe was the development of probability theory as a mathematical treatment of reasoning with uncertainty.   Ian Hacking&#8217;s history of the emergence of probabilistic ideas in Europe has a nice articulation of the key events, all of which took place a decade either [...]]]></description>
			<content:encoded><![CDATA[<p>We noted <a href="http://www.vukutu.com/blog/2008/10/social-networking-v10/" target="_blank">before</a> that one consequence of the rise of coffee-houses in 17th-century Europe was the development of probability theory as a mathematical treatment of reasoning with uncertainty.   Ian Hacking&#8217;s history of the emergence of probabilistic ideas in Europe has a nice articulation of the key events, all of which took place a decade either side of 1664:</p>
<ul>
<li>1654:  Pascal wrote to Fermat with his ideas about probability</li>
<li>1657: Huygens wrote the first textbook on probability to be published, and Pascal was the first to apply probabilitiy ideas to problems other than games of chance</li>
<li>1662: The <a href="http://en.wikipedia.org/wiki/Port-Royal_Logic" target="_blank">Port Royal Logic</a> was the first publication to mention numerical measurements of something called probability, and Leibniz applied probability to problems in legal reasoning</li>
<li>1662:  London merchant John Gaunt published the first set of statistics drawn from records of mortality</li>
<li>Late 1660s:  Probability theory was used by John Hudde and by Johan de Witt in Amsterdam to provide a sound basis for reasoning about annuities (Hacking 1975, p.11).</li>
</ul>
<p>Developments in the use of symbolic algebra in Italy in the 16th-century provided the technical basis upon which a formal theory of uncertainty could be erected.  And coffee-houses certainly aided the dissemination of probabilistic ideas, both in spoken and written form.   Coffee houses may even have aided the creation of these ideas &#8211; new mathematical concepts are only rarely created by a solitary person working alone in a garret, but usually arise instead through conversation and debate among people with partial or half-formed ideas.  </p>
<p>However, one aspect of the rise of probability in the mid 17th century is still a mystery to me:  what event or phenomena led so many people across Europe to be interested in reasoning about uncertainty at this time?  Although 1664 saw the establishment of a famous <a href="http://en.wikipedia.org/wiki/Kronenbourg" target="_blank">brewery</a> in Strasbourg, I suspect the main motivation was the prevalence of bubonic plague in Europe.   Although plague had been around for many centuries, the Catholic vs. Protestant religious wars of the previous 150 years had, I believe, led many intelligent people to abandon or lessen their faith in religious explanations of uncertain phenomena.   Rene Descartes, for example, was led to <em>cogito, ergo sum</em> when seeking beliefs which peoples of all faiths or none could agree on.  Without religion, alternative models to explain or predict human deaths, morbidity and natural disasters were required.   The insurance of ocean-going vessels provided a financial incentive for finding good predictive models of such events.</p>
<p>Hacking notes (pp. 4-5) that, historically, probability theory has mostly developed in response to problems about uncertain reasoning in other domains:  In the 17th century, these were problems in insurance and annuities, in the 18th, astronomy, the 19th, biometrics and statistical mechanics, and the early 20th, agricultural experiments.  For more on the connection between statistical theory and experiments in agriculture, see Hogben (1957).  For the relationship of 20th-century probability theory to statistical physics, see von Plato (1994).</p>
<p><em>References:</em></p>
<p>Ian Hacking [1975]:  <em>The Emergence of Probability: a Philosophical study of early ideas about Probability, Induction and Statistical Inference</em>. London, UK: Cambridge University Press.</p>
<p>Lancelot Hogben [1957]: <em>Statistical Theory</em>. W. W. Norton.</p>
<p>J. von Plato [1994]:  <em>Creating Modern Probability:  Its Mathematics, Physics and Philosophy in Historical Perspective</em>.  Cambridge Studies in Probability, Induction, and Decision Theory.  Cambridge, UK:  Cambridge University Press.   Cambridge Studies in Probability, Induction, and Decision Theory.</p>
]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2009/03/the-decade-around-1664/feed/</wfw:commentRss>
		<slash:comments>0</slash:comments>
		</item>
		<item>
		<title>Evaluating prophecy</title>
		<link>http://www.vukutu.com/blog/2009/01/evaluating-prophecy/</link>
		<comments>http://www.vukutu.com/blog/2009/01/evaluating-prophecy/#comments</comments>
		<pubDate>Mon, 19 Jan 2009 18:09:21 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Argumentation]]></category>
		<category><![CDATA[Computer technology]]></category>
		<category><![CDATA[Decision theory]]></category>
		<category><![CDATA[Forecasting]]></category>
		<category><![CDATA[Prophecy]]></category>
		<category><![CDATA[Uncertainty]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=348</guid>
		<description><![CDATA[With the mostly-unforeseen global financial crisis uppermost in our minds, I am led to consider a question that I have pondered for some time:   How should we assess forecasts and prophecies?   Within the branch of philosophy known as argumentation, a lot of attention has been paid to the conditions under which a rational decision-maker would [...]]]></description>
			<content:encoded><![CDATA[<p>With the mostly-unforeseen global financial crisis uppermost in our minds, I am led to consider a question that I have pondered for some time:   How should we assess forecasts and prophecies?   Within the branch of philosophy known as argumentation, a lot of attention has been paid to the conditions under which a rational decision-maker would accept particular types of argument. </p>
<p><img class="aligncenter size-medium wp-image-355" title="meteor" src="http://www.vukutu.com/blog/wp-content/uploads/2009/01/meteor-300x168.jpg" alt="meteor" width="300" height="168" /></p>
<p> For example, although it is logically invalid to accept an argument only on the grounds that the person making it is an authority on the subject, our legal system does this all the time.  Indeed,  the philosopher Charles Willard has argued that modern society could not function without most of us accepting arguments-from-authority most of the time, and it is usually rational to do so.  Accordingly, philosophers of argumentation have investigated the conditions under which a rational person would accept or reject such arguments.   Douglas Walton (1996, pp. 64-67) presents an argumentation scheme for such acceptance/rejection decisions, the <strong>Argument Scheme for Arguments from Expert Opinion</strong>, as follows:</p>
<ul>
<li>Assume E is an expert in domain D.</li>
<li>E asserts that statement A is known to be true.</li>
<li>A is within D.</li>
</ul>
<p>Therefore, a decision-maker may plausibly take A to be true, unless one or more of the following Critical Questons (CQ) is answered in the negative:</p>
<ul>
<li>CQ1:  Is E a genuine expert in D?</li>
<li>CQ2:  Did E really assert A?</li>
<li>CQ3:  Is A relevant to domain D?</li>
<li>CQ4:  Is A consistent with what other experts in D say?</li>
<li>CQ5:  Is A consistent with known evidence in D?</li>
</ul>
<p>One could add further questions to this list, for example:</p>
<ul>
<li>CQ6:  Is E&#8217;s opinion offered without regard to any reward or benefit upon statement A being taken to be true by the decision-maker?</li>
</ul>
<p>Walton himself presents some further critical questions first proposed by Augustus DeMorgan in 1847 to deal with cases under CQ2 where the expert&#8217;s opinion is presented second-hand, or in edited form, or along with the opinions of others.</p>
<p> Clearly, some of these questions are also pertinent to assessing forecasts and prophecies.  But the special nature of forecasts and prophecies may enable us to make some of these questions more precise.  Here is my  <strong>Argument Scheme for Arguments from Prophecy: </strong></p>
<ul>
<li>Assume E is a forecaster for domain D.</li>
<li>E asserts that statement A will be true of domain D at time T in the future.</li>
<li>A is within D.</li>
</ul>
<p>Therefore, a decision-maker may plausibly take A to be true at time T, unless one or more of the following Critical Questons (CQ) is answered in the negative:</p>
<ul>
<li>CQ1:  Is E a genuine expert in forecasting domain D?</li>
<li>CQ2:  Did E really assert that A will be true at T?</li>
<li>CQ3:  Is A relevant to, and within the scope of, domain D?</li>
<li>CQ4:  Is A consistent with what is said by other forecasters with expertise in D?</li>
<li>CQ5:  Is A consistent with known evidence of current conditions and trends in D?</li>
<li>CQ6:  Is E&#8217;s opinion offered without regard to any reward or benefit upon statement A being adopted by the decision-maker as a forecast?</li>
<li>CQ7:  Do the benefits of adopting A being true at time T in D outweigh the costs of doing so, to the decision-maker?</li>
</ul>
<p>In attempting to answer these questions, we may explore more detailed questions:</p>
<ul>
<li>CQ1-1:  What is E&#8217;s experience as forecaster in domain D? </li>
<li>CQ1-2: What is E&#8217;s track record as a forecaster in domain D?</li>
<li>CQ2-1: Did E articulate conditions or assumptions under which A will become true at T, or under which it will not become true?  If so, what are these?</li>
<li>CQ2-2:  How sensitive is the forecast of A being true at T to the conditions and assumptions made by E?</li>
<li>CQ2-3:  When forecasting that A would become true at T, did E assert a more general statement than A?</li>
<li>CQ2-4:  When forecasting that A would become true at T, did E assert a more general time than T?</li>
<li>CQ2-5:  Is E able to provide a rational justification (for example, a computer simulation model) for the forecast that A would be true at T?</li>
<li>CQ2-6:  Did E present the forecast of A being true at time T qualified by modalities, such as <em>possibly, probably, almost surely, certainly</em>, etc.</li>
<li>CQ4-1:  If this forecast is not consistent with those of other forecasters in domain D, to what extent are they inconsistent?   Can these inconsistencies be rationally justified or explained?</li>
<li>CQ5-1: What are the implications of A being true at time T in domain D?  Are these plausible?  Do they contradict any known facts or trends?</li>
<li>CQ6-1:  Will E benefit if the decision-maker adopts A being true at time T as his/her forecast for domain D? </li>
<li>CQ6-2:  Will E benefit if the decision-maker does not adopt A being true at time T as his/her forecast for domain D? </li>
<li>CQ6-3:  Will E benefit if many decision-makers adopt A being true at time T as their forecast for domain D?</li>
<li>CQ6-4:  Will E benefit if few decision-makers adopt A being true at time T as their forecast for domain D?</li>
<li>CQ6-5:  Has E acted in such a way as to indicate that E had adopted A being true at time T as their forecast for domain D (eg, by making an investment betting that A will be true at T)?</li>
<li>CQ7-1:  What are the costs and benefits to the decision-maker for adopting statement A being true at time T in domain D as his or her forecast of domain D? </li>
<li>CQ7-2:  How might these costs and benefits be compared?  Can a net benefit/cost for the decision-maker be determined?</li>
</ul>
<p>Automating these questions and the process of answering them is on my list of next steps, because automation is needed to design machines able to reason rationally about the future.   And rational reasoning about the future is needed if  we want machines to make <a href="http://www.vukutu.com/blog/2009/01/retroflexive-decision-making/" target="_blank">decisions</a> about actions.</p>
<p><em>References:</em></p>
<p>Augustus DeMorgan [1847]: <em>Formal Logic</em>.  London, UK:  Taylor and Walton.</p>
<p>Douglas N. Walton [1996]:  <em>Argument Schemes for Presumptive Reasoning</em>. Mahwah, NJ, USA: Lawrence Erlbaum.</p>
<p>Charles A. Willard [1990]: Authority.  <em>Informal Logic</em>, 12: 11-22.</p>
<p class="tags">Technorati Tags: <a href="http://technorati.com/tag/global+financial+crisis" rel="tag">global financial crisis</a>, <a href="http://technorati.com/tag/forecasts" rel="tag">forecasts</a>, <a href="http://technorati.com/tag/prophecies" rel="tag">prophecies</a>, <a href="http://technorati.com/tag/argumentation" rel="tag">argumentation</a>, <a href="http://technorati.com/tag/Charles+Willard" rel="tag">Charles Willard</a>, <a href="http://technorati.com/tag/arguments-from-authority" rel="tag">arguments-from-authority</a>, <a href="http://technorati.com/tag/Douglas+Walton" rel="tag">Douglas Walton</a>, <a href="http://technorati.com/tag/argumentation+scheme" rel="tag">argumentation scheme</a>, <a href="http://technorati.com/tag/Augustus+DeMorgan" rel="tag">Augustus DeMorgan</a></p>]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2009/01/evaluating-prophecy/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Retroflexive decision-making</title>
		<link>http://www.vukutu.com/blog/2009/01/retroflexive-decision-making/</link>
		<comments>http://www.vukutu.com/blog/2009/01/retroflexive-decision-making/#comments</comments>
		<pubDate>Sun, 18 Jan 2009 13:54:14 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Corporate culture]]></category>
		<category><![CDATA[Decision theory]]></category>
		<category><![CDATA[Probability theory]]></category>
		<category><![CDATA[Uncertainty]]></category>
		<category><![CDATA[economics]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=322</guid>
		<description><![CDATA[How do companies make major decisions?  The gurus of classical Decision Theory &#8211; people like economist Jimmie Savage and statistician Dennis Lindley - tell us that there is only one correct way to make decisions:  List all the possible actions, list the potential consequences of each action, assign utilities  and probabilities of occurence to each consequence, multiply these [...]]]></description>
			<content:encoded><![CDATA[<p>How do companies make major decisions?  The gurus of classical Decision Theory &#8211; people like economist Jimmie Savage and statistician Dennis Lindley - tell us that there is only one correct way to make decisions:  List all the possible actions, list the potential consequences of each action, assign utilities  and probabilities of occurence to each consequence, multiply these numbers together for each consequence and then add the resulting products for each action to get an expected utility for each action, and finally choose that action which maximizes expected utility.   </p>
<p>There are many, many problems with this model, not least that it is not what companies &#8211; or intelligent, purposive individuals for that matter &#8211; actually do.  Those who have worked in companies know that nothing so simplistic or static describes intelligent, rational decision making, nor should it.  Moreover, that their model was flawed as a description of reality was known at the time to Savage, Lindley, <em>et al</em>,  because it was pointed out to them six decades ago by people such as George Shackle, an economist who had actually worked in industry and who drew on his experience.  The mute, autistic behemoth that is mathematical economics, however, does not stop or change direction merely because its utter disconnection with empirical reality is noticed by someone, and so - TO THIS VERY DAY &#8211; students in business schools still learn the classical theory.  I guess for the students it&#8217;s a case of: <em> Who are we going to believe &#8211; our textbooks, or our own eyes?    </em>From my first year as an undergraduate taking Economics 101, I had trouble believing my textbooks.</p>
<p>So what might be a better model of decision-making?  First, we need to recognize that corporate decision-making is almost always something dynamic, not static &#8211; it takes place over time, not in a single stage of analysis, and we would do better to describe a process, rather than just giving a formula for calculating an outcome.   Second, precisely because the process is dynamic, many of the inputs assumed by the classical model do not exist, or are not known to the participants, at the start, but emerge in the course of the decision-making process.   Here, I mean things such as:  possible actions, potential consequences, preferences (or utilities), and measures of uncertainty (which may or may not include probabilities).     Third, in large organizations, decision-making is a group activity, with inputs and comments from many people.   If you believe &#8211; as Savage and Lindley did &#8211; that there is only one correct way to make a decision, then your model would contain no scope for subjective inputs or stakeholder revisions, which is yet another of the many failings of the classical model.    Fourth, in the real world, people need to consider &#8211; and do consider &#8211; the potential downsides as well as the upsides of an action, and they need to do this &#8211; and they do do this &#8211; separately, not merged into a summary statistic such as &#8220;utility&#8221;.   So, if  one possible consequence of an action-option is catastrophic loss, then no amount of maximum-expected-utility quantitative summary gibberish should permit a rational decision-maker to choose that option without great pause (or insurance).   Shackle knew this, so his model considers downsides as well as upsides.   That Savage and his pals ignored this one can only assume is the result of the impossibility of catastrophic loss ever occurring to a tenured academic.</p>
<p>So let us try to articulate a staged process for what companies actually do when they make major decisions, such as major investments or new business planning:</p>
<ol>
<li>Describe the present situation and the way or ways it may evolve in the future.  We call these different future paths <em>scenarios</em>.   Making assumptions about the present and the future is also called <em>taking a view</em>.</li>
<li>For each scenario, identify a list of possible actions, able to be executed under the scenario.</li>
<li>For each scenario and action, identify the possible upsides and downsides.</li>
<li>Some actions under some scenarios will have attractive upsides.   What can be done to increase the likelihood of these upsides occurring?  What can be done to make them even more attractive?</li>
<li>Some actions under some scenarios will have unattractive downsides.   What can be done to eliminate these downsides altogether or to decrease their likelihood of occurring?   What can be done to ameliorate, to mitigate, to distribute to others, or to postpone the effects of these downsides?</li>
<li>In the light of what was learned in doing steps 1-5, go back to step 1 and repeat it.</li>
<li>In the light of what was learned in doing steps 1-6, go back to step 2 and repeat steps 2-5.  For example, by modifying or combining actions, it may be posssible to shift attractive upsides or unattractive downsides from one action to another.</li>
<li>As new information comes to hand, occasionally repeat step 1. Repeat step 7 as often as time permits.  </li>
</ol>
<p>This decision process will be familiar to anyone who has prepared a business plan for a new venture, either for personal investment, or for financial investors and bankers, or for business partners.   Having access to spreadsheet software such as Lotus 1-2-3 or Microsoft EXCEL has certainly made this process easier to undertake.  But, contrary to the beliefs of many, people made major decisons before the invention of spreadsheets, and they did so using processes similar to this, as Shackle&#8217;s work evidences.</p>
<p>Because this model involves revision of initial ideas in repeated stages, it bears some resemblance to the retroflexive argumentation theory of philosopher Harald Wohlrapp.  Hence, I call it <em>Retroflexive Decision Theory</em>.  I will explore this model in more detail in future posts.</p>
<p><em>References:</em></p>
<p>D. Lindley [1985]:  <em>Making Decisions</em>.  Second Edition. London, UK: John Wiley and Sons.</p>
<p>L. J. Savage [1950]: <em>The Foundations of Statistics</em>.  New York, NY, USA:  Wiley.</p>
<p>G. L. S. Shackle [1961]: <em>Decision, Order and Time in Human Affairs</em>. Cambridge, UK:  Cambridge University Press.</p>
<p>H. Wohlrapp [1998]:  A new light on non-deductive argumentation schemes.  <em>Argumentation</em>, 12: 341-350.</p>
<p class="tags">Technorati Tags: <a href="http://technorati.com/tag/decisions" rel="tag">decisions</a>, <a href="http://technorati.com/tag/Decision+Theory" rel="tag">Decision Theory</a>, <a href="http://technorati.com/tag/Savage" rel="tag">Savage</a>, <a href="http://technorati.com/tag/Lindley" rel="tag">Lindley</a>, <a href="http://technorati.com/tag/mathematical+economics" rel="tag">mathematical economics</a>, <a href="http://technorati.com/tag/maximum-expected-utility" rel="tag">maximum-expected-utility</a>, <a href="http://technorati.com/tag/Shackle" rel="tag">Shackle</a>, <a href="http://technorati.com/tag/catastrophic+loss" rel="tag">catastrophic loss</a>, <a href="http://technorati.com/tag/new+business+planning" rel="tag">new business planning</a>, <a href="http://technorati.com/tag/retroflexive+argumentation" rel="tag">retroflexive argumentation</a>, <a href="http://technorati.com/tag/Wohlrapp" rel="tag">Wohlrapp</a></p>]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2009/01/retroflexive-decision-making/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
		<item>
		<title>Epideictic arguments</title>
		<link>http://www.vukutu.com/blog/2008/11/epideictic-arguments/</link>
		<comments>http://www.vukutu.com/blog/2008/11/epideictic-arguments/#comments</comments>
		<pubDate>Thu, 06 Nov 2008 17:06:23 +0000</pubDate>
		<dc:creator>peter</dc:creator>
				<category><![CDATA[Argumentation]]></category>
		<category><![CDATA[Culture]]></category>
		<category><![CDATA[Decision theory]]></category>
		<category><![CDATA[Politics]]></category>
		<category><![CDATA[Rhetoric]]></category>
		<category><![CDATA[Uncertainty]]></category>

		<guid isPermaLink="false">http://www.vukutu.com/blog/?p=172</guid>
		<description><![CDATA[Suppose you are diagnosed with a serious medical condition, and you seek advice from two doctors.  The first doctor, let&#8217;s call him Dr Barack, says that there are three possible courses of treatment.   He labels these courses, A, B and C, and then proceeds to walk you methodically through each course &#8211; what separate basic [...]]]></description>
			<content:encoded><![CDATA[<p>Suppose you are diagnosed with a serious medical condition, and you seek advice from two doctors.  The first doctor, let&#8217;s call him Dr Barack, says that there are three possible courses of treatment.   He labels these courses, A, B and C, and then proceeds to walk you methodically through each course &#8211; what separate basic procedures are involved, in what order, with what likely side effects, and with what costs and durations, what chances of success or failure, and what likely survival rates.   He finishes this methodical exposition by summing up each treatment, with pithy statements such as, <em>&#8220;Course A is the cheapest and most proven.  Course B is an experimental treatment, which makes it higher risk, but it may be the most effective.  Course C . . .&#8221;</em> etc.</p>
<p>The other doctor, let&#8217;s call him Dr John, in contrast talks in a manner which is apparently lacking all structure. He begins a long, discursive narrative about the many different basic procedures possible, not in any particular order, jumping back and forth between these as he focuses first on the costs of procedures, then switching to their durations, then back again to costs, then onto their expected side effects, with tangential discussions in the middle about the history of the experimental tests undertaken of one of the procedures and about his having suffered torture while a POW in Vietnam, etc, etc.  And he does all this without any indication that some procedures are part of larger courses of treatment, or are even linked in any way, and speaking without using any patient-friendly labelling or summarizing of the decision-options.</p>
<p>Which doctor would you choose to treat you?  If this description was all that you knew, then Doctor Barack would appear to be the much better organized of the two doctors.   Most of us would have more confidence being treated by a doctor who sounds better-organized, who appears to know what he was doing, compared to a doctor who sounds dis-organized.   More importantly, it is also evident that Doctor Barack knows how to structure what he knows into a coherent whole, into a form which makes his knowledge easier to transmit to others, easier for a patient to understand, and which also facilitates the subsequent decision-making by the patient.  We generally have more confidence in the underlying knowlege and expertise of people able to explain their knowledge and expertise well, than in those who cannot.</p>
<p>If we reasoned this way, we would be choosing between the two doctors on the basis of their different rhetorical styles:  we would be judging the contents of their arguments (in this case, the content is their ability to provide us with effective treatment) on the basis of the styles of their arguments.  Such reasoning processes, which use form to assess content, are called <strong>epideictic</strong>, as are arguments which draw attention to their own style. </p>
<p>Advertising provides many examples of epideictic arguments, particularly in cultures where the intended target audience is savvy regarding the form of advertisements.  In Britain, for instance, the film director Michael Winner starred in a series of TV advertisements for an insurance company in which the actors pretending to be real people giving endorsements revealed that they were just actors, pretending to be real people giving endorsements.   This was a glimpse behind the curtain of theatrical artiface, with the actors themselves pulling back the curtain.  Why do this?  Well, self-reference only works with a knowledgeable audience, perhaps so knowledgeable that they have even grown cynical with the claims of advertisers.   By winking at the audience, the advertisers are colluding with this cynicism, saying to the audience, <em>&#8220;we know you think this and we agree, so our advert is pitched to you, you cynical sophisticates, not to those others who don&#8217;t get it.&#8221;</em></p>
<p>The world-weary tone of the narration of Apple&#8217;s &#8220;Future&#8221; series of adverts <a href="http://www.youtube.com/watch?v=5tmMwEMDpCw" target="_blank">here</a> is another example of advertisements which knowingly direct our attention to their own style.</p>
<p><a href="http://www.youtube.com/watch?v=5tmMwEMDpCw">Apple Future Advertisement &#8211; Robots</a></p>
<p>And Dr Barack and Dr John?  One argument against electing Senator Obama to the US Presidency was that he lacked executive experience.  A counter-argument, made even by the good Senator Obama himself, was that he demonstrated his executive capabilities through the competence, professionalism and effectiveness of his management of his own campaign.   This is an epideictic argument.</p>
<p>There is nothing <em>necessarily</em> irrational or fallacious about such arguments or such modes of reasoning; indeed, it is often the case that the only relevant information available for a decision on a claim of substantive content is the form of the claim.   Experienced investors in hi-tech start-ups, for example, know that the business plan they are presented with is most unlikely to be implemented, because the world changes too fast and too radically for any plan to endure.   A key factor in the decision to invest must therefore be an assessment of the capability of the management team to adjust the business plan to changing circumstances, from recognizing that circumstances have in fact changed, to acting quickly and effectively in response, through to evaluating the outcomes.   How to assess this capability for decision-making robustness?  Well, one basis is the past experience of the team.  But experience may well hinder managerial flexibility rather than facilitate it, expecially in a turbulent environment.  Another way to assess this capability is to subject the team to a stress test &#8211; contesting the assumptions and reasoning of the business plan, being unreasonable in questions and challenges, prodding and poking and provoking the team to see how well and how quickly they can respond, in real time, without preparation.   In all of this, a decision on the substance of the investment is being made from evidence about the form &#8212; about how well the management team responds to such stress testing.   This is perfectly ratonal, given the absence of any other basis on which to make a decision and given our imperfect knowledge of the future.</p>
<p>Likewise, an assessment of Senator Obama&#8217;s capabilities for high managerial office on the basis of his competence at managing his campaign was also eminently rational and perfectly justifiable.   The incoherent nature of Senator McCain&#8217;s campaign and the panic-struck and erratic manner in which he responded to suprising events (such as the financial crisis of September 2008) was similarly an indication of his likely style of government; the style here did not produce confidence in the content.  For many people,  the choice between candidates in the US Presidential campaign was an epideictic one.</p>
<p><em>Refs and Acks</em></p>
<p><em>The medical example is due to William Rehg.</em></p>
<p>William Rehg [1997]: Reason and rhetoric in Habermas&#8217;s theory of argumentation,  pp. 358-377 in:  W. Jost and M. J. Hyde (Editors): <em>Rhetoric and Hermeneutics in Our Time: A Reader</em>. New Haven, CN, USA: Yale University Press.</p>
<p class="tags">Technorati Tags: <a href="http://technorati.com/tag/advertisements" rel="tag">advertisements</a>, <a href="http://technorati.com/tag/epideictic+argument" rel="tag">epideictic argument</a>, <a href="http://technorati.com/tag/decision-making" rel="tag">decision-making</a>, <a href="http://technorati.com/tag/robustness" rel="tag">robustness</a>, <a href="http://technorati.com/tag/US+Presidential+campaign" rel="tag">US Presidential campaign</a></p>]]></content:encoded>
			<wfw:commentRss>http://www.vukutu.com/blog/2008/11/epideictic-arguments/feed/</wfw:commentRss>
		<slash:comments>1</slash:comments>
		</item>
	</channel>
</rss>
