tag:blogger.com,1999:blog-72501583738754575912024-03-05T03:58:03.061-08:00Joseph TanegaThese are notes on law and finance written from philosophical, anthropological and categorical theory perspectives.Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.comBlogger86125tag:blogger.com,1999:blog-7250158373875457591.post-43905866700572812912015-03-19T15:36:00.001-07:002015-03-19T15:36:33.937-07:003D Yield Curve - Beautiful Predictions<div dir="ltr" style="text-align: left;" trbidi="on">
<a href="http://www.nytimes.com/interactive/2015/03/19/upshot/3d-yield-curve-economic-growth.html?_r=2&abt=0002&abg=1">http://www.nytimes.com/interactive/2015/03/19/upshot/3d-yield-curve-economic-growth.html?_r=2&abt=0002&abg=1</a></div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-30356828365940627082014-11-28T03:38:00.002-08:002014-11-28T08:04:21.142-08:00Why We Need a Proof Assistant in Law and Finance.<div dir="ltr" style="text-align: left;" trbidi="on">
Generalising the "Proof Assistant" for Understanding the Models of Law and Finance.<br />
<br />
With oh so many subjects available to study & so many amalgamations going on at both the subject and institutional level, maybe we ought to think about what's "worth doing" and "why". There is a trend at the higher-end of mathematics to build "proof assistants" (see Voevosky's videos at his website at the Institute of Advance Studies), It's clear to him that building a communication tool to computers so that proofs can be checked WILL eventually be the way mathematics will be taught in the general culture someday. This is absolutely determined, because how else can the mathematical space be explored with such complex proofs, NOBODY can be certain if they are true? A machine-based (including a quantum machine-based) tool that does most of the mechanical "checking" quickly would help ensure that complex proofs are true and accurate. Most complex proofs after all have no way of being checked to 100% accuracy by mere humans.<br />
<br />
Apply this same idea to much more difficult subjects such as law and finance [Remember Von Neumann's comment? "Anyone who thinks mathematics is difficult, has not yet experienced real life."], and the concept of a "law and finance 'proof assistant'" becomes both theoretically and practically interesting.<br />
<br />
Now, imagine the irony if building that sort of machine were really, really difficult? Voevosky states that the only computer language that could take on the formalities of his Homotopy Type Theory (HOTT) is Coq. So everybody and his mother is now writing in Coq to get to a universal proof assistant. <br />
<br />
But Gross, Chlipala & Spivak (http://adam.chlipala.net/papers/CategoryITP14/CategoryITP14.pdf) say that doing rather easy category theory in Coq is pretty hard! So they've written some short-cuts to make the use of Coq less burdensome.<br />
<br />
This brings me to my point that category theory which was invented [see Eilenberg & Mac Lane 1945) so that we could compare complex theories in mathematics could be made to be extremely useful for COMPARATIVE LAW and a genuine understanding of how COMPLEX FINANCIAL INSTRUMENTS actually work. In effect, the hinge is that legal systems are models and in the extreme are isomorphic categories which can be compared using functors. Same can be said about financial instruments. From a legal and financial perspective, the MOST COMPLICATED instrument in the financial universe is the MORTGAGE because it has centuries of legal strata embedded within it (legal-historical interpretations are about 2000 years) and its current re-interpretation via ASSET-BACKED SECURITIES REGULATIONS as an underlying asset of pass-through or senior-subordinated note structures has been further complexified with CREDIT RISK RETENTION REGULATIONS. All of these legal-financial rules are complex models that need to be re-arranged into MODEL-TYPES than can be formally compared. Otherwise, really, just as Voevosky says about complex proofs, we have no chance at all in understanding how these instruments actually work in the real world.<br />
<br />
For a way to get started in this approach, I recommend reading David Spivak's (2013/2014) A Category Theory for Scientists. There's an old version freely available on the web and the MIT edition is also quite convenient. </div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-84959231679356075302014-11-12T23:52:00.002-08:002014-11-12T23:52:33.145-08:00S&P 500 in 392 Weeks: Scale Invariance Test Coming<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgjUzy8-TX0GxpOjay7WfcFmL8tmM7OWsFjdURFj3kW0lrx4u_JuwHTaOwGuwLUPcDxKfx1ZZTK7EoAyoYCcR-k1xIkFzMvAPcPU14gln-Lrm7RU_rpV_EchNRnO14KhO0aE7UA5YSH08AA/s1600/S&P+500+in+392+Weeks.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" height="168" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgjUzy8-TX0GxpOjay7WfcFmL8tmM7OWsFjdURFj3kW0lrx4u_JuwHTaOwGuwLUPcDxKfx1ZZTK7EoAyoYCcR-k1xIkFzMvAPcPU14gln-Lrm7RU_rpV_EchNRnO14KhO0aE7UA5YSH08AA/s320/S&P+500+in+392+Weeks.jpg" width="320" /></a></div>
<br />
In one of Mandelbrot's original works on "scale invariance," he studied the cotton markets around the mid- to late 19th century and found that the shape of the price versus time graphs were similar no matter whether you measured the average price per week or month. A discovery of any kind of invariance is an important fact about how the way the world works. No matter how quirky the invariance is, any theory worth being called a theory needs to explain the invariance's existence.<br />
<br />
The above graph is not scale invariant. But it might be multi-scale invariant. Much depends on what will happen in the next week or so.</div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-29381377180656967562014-11-12T23:41:00.002-08:002014-11-12T23:41:55.701-08:00Towards a Homotopy Type Theory for Law and Finance<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="MsoNormal">
1. Imagine a homotopy diagram for law and
finance involving contracts, torts and criminal law, as well as the media,
culture, justice, fairness. The universe
of discourse is represented by an oval that looks like the cosmic background
radiation map (LOL) and it is divided in half so that we have a starting frame
(ideal initial conditions) between one part on the left which is an unjust and
unfair society and another part on the right which is a just and fair
society. Criminal litigation is a
partition that moves from right to left with the ideal as the central line
axis. Thus, societies can maximize or
minimize the unjust-unfair part in relation to the just-fair part. Each successful prosecution deforms the two
parts such that a just-fair prosecution in the unjust-unfair part tends to
decrease the unjust-unfair part and increase the just-fair part. The old way of talking about the connection
between the two parts is to call it a "fibration" between
"manifolds"--but those are the physicists and maths whizzos who don't
have a handle on the niceties of social theories. Now, the fibration are just functional
connections between the two parts, and it turns out, all that you need to know
that could ever really happen between the two parts are embedded in the
fibration. In Homotopy Type Theory, the
fibrations are the essence of the "covering space" between the two
parts. We can start to work out certain kinds of equivalences.</div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<span lang="EN-US">2. Now, assume criminal prosecutions are
"transport functions" between the two parts of the oval.<o:p></o:p></span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<span lang="EN-US">3. Bizarrely, (and this is a big guess) very
dense litigation and all forms of risk of loss (default in the widest possible
sense) are functors and act as covering spaces between the two parts. <o:p></o:p></span></div>
<div class="MsoNormal">
<br /></div>
<!--[if gte mso 9]><xml>
<o:OfficeDocumentSettings>
<o:AllowPNG/>
</o:OfficeDocumentSettings>
</xml><![endif]-->
<!--[if gte mso 9]><xml>
<w:WordDocument>
<w:View>Normal</w:View>
<w:Zoom>0</w:Zoom>
<w:TrackMoves/>
<w:TrackFormatting/>
<w:PunctuationKerning/>
<w:ValidateAgainstSchemas/>
<w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid>
<w:IgnoreMixedContent>false</w:IgnoreMixedContent>
<w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText>
<w:DoNotPromoteQF/>
<w:LidThemeOther>EN-US</w:LidThemeOther>
<w:LidThemeAsian>JA</w:LidThemeAsian>
<w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript>
<w:Compatibility>
<w:BreakWrappedTables/>
<w:SnapToGridInCell/>
<w:WrapTextWithPunct/>
<w:UseAsianBreakRules/>
<w:DontGrowAutofit/>
<w:SplitPgBreakAndParaMark/>
<w:EnableOpenTypeKerning/>
<w:DontFlipMirrorIndents/>
<w:OverrideTableStyleHps/>
<w:UseFELayout/>
</w:Compatibility>
<m:mathPr>
<m:mathFont m:val="Cambria Math"/>
<m:brkBin m:val="before"/>
<m:brkBinSub m:val="--"/>
<m:smallFrac m:val="off"/>
<m:dispDef/>
<m:lMargin m:val="0"/>
<m:rMargin m:val="0"/>
<m:defJc m:val="centerGroup"/>
<m:wrapIndent m:val="1440"/>
<m:intLim m:val="subSup"/>
<m:naryLim m:val="undOvr"/>
</m:mathPr></w:WordDocument>
</xml><![endif]--><!--[if gte mso 9]><xml>
<w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true"
DefSemiHidden="true" DefQFormat="false" DefPriority="99"
LatentStyleCount="276">
<w:LsdException Locked="false" Priority="0" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Normal"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="heading 1"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 2"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 3"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 4"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/>
<w:LsdException Locked="false" Priority="39" Name="toc 1"/>
<w:LsdException Locked="false" Priority="39" Name="toc 2"/>
<w:LsdException Locked="false" Priority="39" Name="toc 3"/>
<w:LsdException Locked="false" Priority="39" Name="toc 4"/>
<w:LsdException Locked="false" Priority="39" Name="toc 5"/>
<w:LsdException Locked="false" Priority="39" Name="toc 6"/>
<w:LsdException Locked="false" Priority="39" Name="toc 7"/>
<w:LsdException Locked="false" Priority="39" Name="toc 8"/>
<w:LsdException Locked="false" Priority="39" Name="toc 9"/>
<w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption"/>
<w:LsdException Locked="false" Priority="10" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Title"/>
<w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/>
<w:LsdException Locked="false" Priority="11" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/>
<w:LsdException Locked="false" Priority="22" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Strong"/>
<w:LsdException Locked="false" Priority="20" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/>
<w:LsdException Locked="false" Priority="59" SemiHidden="false"
UnhideWhenUsed="false" Name="Table Grid"/>
<w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/>
<w:LsdException Locked="false" Priority="1" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="No Spacing"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 1"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 1"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 1"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/>
<w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/>
<w:LsdException Locked="false" Priority="34" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/>
<w:LsdException Locked="false" Priority="29" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Quote"/>
<w:LsdException Locked="false" Priority="30" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 1"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 1"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 2"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 2"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 2"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 2"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 2"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 3"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 3"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 3"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 3"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 3"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 4"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 4"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 4"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 4"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 4"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 5"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 5"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 5"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 5"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 5"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 6"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 6"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 6"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 6"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 6"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/>
<w:LsdException Locked="false" Priority="19" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/>
<w:LsdException Locked="false" Priority="21" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/>
<w:LsdException Locked="false" Priority="31" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/>
<w:LsdException Locked="false" Priority="32" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/>
<w:LsdException Locked="false" Priority="33" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Book Title"/>
<w:LsdException Locked="false" Priority="37" Name="Bibliography"/>
<w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/>
</w:LatentStyles>
</xml><![endif]-->
<!--[if gte mso 10]>
<style>
/* Style Definitions */
table.MsoNormalTable
{mso-style-name:"Table Normal";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-priority:99;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:Cambria;
mso-ascii-font-family:Cambria;
mso-ascii-theme-font:minor-latin;
mso-hansi-font-family:Cambria;
mso-hansi-theme-font:minor-latin;
mso-ansi-language:EN-US;}
</style>
<![endif]-->
<!--StartFragment-->
<!--EndFragment--><br />
<div class="MsoNormal">
<span lang="EN-US">4. Implication:<span style="mso-spacerun: yes;"> </span>you don't need to know the substance of each
criminal prosecution, just the fact that it is being done, that deforms the two
parts towards or away from the ideal state of society.<span style="mso-spacerun: yes;"> </span></span></div>
<div class="MsoNormal">
<span lang="EN-US"><br /></span></div>
<div class="MsoNormal">
<span lang="EN-US">5. Please note that the term ‘ideal state’ here
does not mean Plato’s ideal good state; it means a perfectly continuous
geometric construct of the intuition that does not require anything at all except a few arrows and some ovals.<o:p></o:p></span></div>
</div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-220655969934918212014-11-09T16:40:00.001-08:002014-11-09T16:41:40.704-08:00Fault Tree Analysis is the Teleology that Ontology Needs; Dr. Kent Stephens' Classic Paper<div dir="ltr" style="text-align: left;" trbidi="on">
Gosh! Here's one of the great papers of the 20th century that very few people have even heard of. I'm serious. I think this paper ranks higher than Akerloff's information asymmetry paper on a market for "lemons", and just a tad below Claude Shannon's masters thesis on information theory. <br />
<br />
http://files.eric.ed.gov/fulltext/ED095588.pdf<br />
<br />
This is Kent G. Stephens paper on "Fault Tree Analysis." <br />
<br />
Once I gave a 2 day seminar in London to a delegation of Russian academics from Moscow State University who were in the department of engineering and organisations. The first day was a total disaster because they said they wanted something "on practical project management". So, that evening I produced some slides about "and-logic" and "or-logic" and combined it with a flow diagram on "critical project analysis and implementation." I said, "This work comes largely from Dr. Kent Stephens." And before I could finish my sentence, the Head of the Department, a very sharp tongued professor, said, "Yes, we know all his work in our department, and we can see that you put much effort OVERNIGHT to bring to us today your original thoughts. Thank you." And I was dismissed! The point of this story is that this was the only time in over 20 years of using Dr Kent G. Stephens ideas that anyone had ever said they knew him and his ideas. <br />
<br />
The reason I think this paper is one of the most important papers in the 20th century is because it is the first and only paper I know of that successfully combines cultural value analysis to figuring out how organisations FAIL! Back in the day, Dr. Stephens had assistants with questionnaires ask individuals in an organisation particular sorts of "valued questions" to determine what we now call the "critical path" within an organisation. He'd figure out the critical path of communications and were most of the errors occurred that jammed up the organisation. if Aristotle were alive, he'd be very proud of Dr. Stephens' work because it's been used to fix a lot of otherwise "failing institutions". And unlike the BS consulting you see 99.99% of the time, the good doctor and his team would come up with fantastically elegant solutions. E.g., he took a failing elementary-to-high school that was in the bottom 5 of California to the top 10 in one year!<br />
<br />
His paper is important to keep in mind if one embarking on building an "ontology of an organisation". Too many times, I see ontologies being built without a fundamental understanding of the TELEOLOGY of the human actors. A complete ontology needs to understand teleology deeply, and I think Dr. Stephens helps us a long way in this regard. <br />
<div>
<br /></div>
</div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-82698394942718791342014-11-09T00:21:00.000-08:002014-11-09T00:21:09.987-08:00GDP-Derivatives: A Global Risk Management Tool; What do we mean by "invariance up to isomorphism"<div dir="ltr" style="text-align: left;" trbidi="on">
Economic statistics are compiled and written by bureaucrats who get fired only if they show they haven't been doing any work, so is it any surprise that their figures should be revised? <br />
<br />
http://www.nytimes.com/2014/11/07/business/economy/doubting-the-economic-data-consider-the-source.html?partner=rss&emc=rss&_r=2<br />
<br />
One of the problems in financial engineering is getting a set of figures that the world can agree on. This is what I call the problem of finding the invariance. One way to think about Category Theory is that it's all about finding invariance at the level of isomorphism, or more forcefully, of finding what is uniquely true and accurate because it is indicated by gestural arrows that point directly at it. At a visceral level, notice how when we point at something saying that "it's right there", we are in a state of "understanding is not merely a pointing but an extension of the pointing as part of the activities of the world." Category Theory at the level of functoriality tells us "it's all about the pointing" so the object itself is not at necessary, or again, to put it more forcefully, the object is completely defined by the infinite number of pointings that we have of that object, so the substantiality of the object disappears! We don't need the object at all, because now we know it completely in its infinite possibilities of being. This sounds very abstract (and it is) but in everyday life, we do this "gestural understanding" all the time, whenever we eat, sleep, converse, enjoy a drink...all of these "things" are invariances at the level of isomorphism. But the problem of government statistics...<br />
<br />
is that they get revised and so we have tremendously long time-lags in response to "certainties of announcements" that affect our buying and selling decisions. <br />
<br />
In 1999, I had worked with an ex-Merrill Lynch derivatives trader to create a "GDP-derivative" which basically would allow you to take take bets on the GDP of any nation in the world. Of all the derivatives that could help humanity manage its "spaceship resources", I thought a GDP derivative would be the best. It would mean essentially that a globally active company (or any other legal entity including a state) could manage its risk. So, if say you wanted to hedge Brazilian GDP risk, you could. The conceptual design for this product was pretty EZ. All you have to do is think "swap", i.e., the cash flows of a buyer and seller in relation to the data regarding the GDP figure. For 'proving out' the instrument, we just made a table of natural buyers versus sellers, and listed the sectors underneath each heading, and thought through which companies would be "natural buyers and sellers" given different scenarios of "expected GDP". Anyone doing a masters level course on quantitative finance should be able to knock up this model in a leisurely afternoon.<br />
<br />
Anyway, the problem we had was the "revisions" on GDP data. Since these numbers came out 6 to 18 months after the first announcement, it became difficult to "match up" reality. In the language I use today, I'd say, "We couldn't get a simple isomorphism and therefore, no invariance." Without an invariance (an agreement on the GDP-figures), our model would not work. Of course, that was back then, before we had Google data. Now, I'm pretty sure we could crunch up our own GDP-index in order to create the GDP-derivative. Then it's a matter of selling and marketing... </div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-75172121405737148692014-11-07T02:52:00.002-08:002014-11-07T02:52:46.307-08:00The End of Education Monopolies, Long Live Personal Learning Assistants<div dir="ltr" style="text-align: left;" trbidi="on">
<br />
1. Suppose all information about every subject is at your fingertips. Why would you bother to go to University, indeed, high school, if only to learn the social rituals, find mating partners, travel together, get a good job? Human-to-human interfaces are good for some things, but for certainty of info the human-to-machine interface is about 20x better. See, Dr. Kent Stephens studies on the ICBM in the 1950s.<br />
<br />
2. In the year 2000, I was in Pasadena at a certain prestigious University whose name will remain unnamed and I was speaking to the Dean who said that their Uni had just received $35 million from a billionaire-developer-alumna to build a beautiful new hi-tech law school building. The building was about 25 to 30 stories and they had their own television channel, and all lecture halls had at least two digital video cameras and the data from the lectures were sent to a Media Centre, where media workers developed the content into broadcast. The Dean said to me, "What will we (law school bricks and mortar) do when we put all these courses onto two disks?" I said, "Isn't one more than enough?" <br />
<br />
3. The disintermediation of universities hasn't occurred YET because no one has yet figured out how to make a University within your own simple point and click powers. There's too much content on the Web and it's not at all clear what if anything but the certainty of exchange approximates reality.<br />
<br />
4. I propose the Personal Learning Assistant. The PLA grows with you and mirrors your hobbyist interests (non-profit and at a cost of consumption) and professional specialised knowledge (for profit and chargeable at globally competitive rates). The PLA is not you, but it's pretty close to being your Web-clone. It can apply for jobs, do jobs, and even multiply in terms of identifiable profiles on the Web. BTW, the PLA does not simply exist in digital code, but will have significant impact on your physical being and others. For example, who'll find the best heart specialist just in time, get the appropriate therapeutic apps to manage your incipient diabetes, run every sort of psycho-chemical tests and ensure that you are aware of the survival odds at the next traffic junction other than your PLA? Who's your Guardian Angel and Protector? If you want to go on "auto-PLA" then you can turn down the control to subliminal 0,005 second input-outputs. What's the point of a university education if you can have this much fun at 10 magnitudes above and below the normal medium of perception? I guess this is what web-based education has to offer. Open the doors of perception and get a universal education. BTW building your own PLA immediately answers questions about long-term social welfare.</div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-52106938648587039992014-11-06T23:29:00.000-08:002014-11-06T23:30:27.924-08:00Ebola's Decay in Contagion<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgoiSBnJRsOvPtNBxkMOrS5LhJeF_4Xd0lkPfsc7KDTFatqrilgkvfuwKvrrjColPHFUy9KM1Kdc2G-JoOnyUwt9t5fixeFvyDJ22TyX-hsoTrc4Ky9ZQ2q31i2HLWTK1O9CHgn3Iw7R-Ga/s1600/Ebola+News+Count+-+Nov+7,+2014.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgoiSBnJRsOvPtNBxkMOrS5LhJeF_4Xd0lkPfsc7KDTFatqrilgkvfuwKvrrjColPHFUy9KM1Kdc2G-JoOnyUwt9t5fixeFvyDJ22TyX-hsoTrc4Ky9ZQ2q31i2HLWTK1O9CHgn3Iw7R-Ga/s1600/Ebola+News+Count+-+Nov+7,+2014.jpg" height="159" width="320" /></a></div>
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjUkPCvBII5dhqwO2Fs6QvnIG_XNXu6F-YJ0x1NBeCWwcTSGDiocO31NkzQ6kaVJ_REPIAajf2w0EgPleJu6wIL7O5rLdqJeDmYFTA42pL3m0hweO3XEIC_pHm2lChlDyLQJvc8p0FmccP7/s1600/Pandemics+from+1950+to+2014.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEjUkPCvBII5dhqwO2Fs6QvnIG_XNXu6F-YJ0x1NBeCWwcTSGDiocO31NkzQ6kaVJ_REPIAajf2w0EgPleJu6wIL7O5rLdqJeDmYFTA42pL3m0hweO3XEIC_pHm2lChlDyLQJvc8p0FmccP7/s1600/Pandemics+from+1950+to+2014.jpg" height="193" width="320" /></a></div>
<br />
My toy model of Ebola mortality where the doubling occurs every 20 days with an arbitrary start date of January 11th 2014 predicted 4,096 deaths for the 9th of October 2014, and the official WHO statistic was 4,033 for the 10th of October 2014. Assuming the same rate of doubling, the toy model predicted 8,192 deaths for the 29th of October 2014. The official figure hovered around 5,000 deaths for the 1st of November 2014. Thus, the toy model is dead. If the official figures are accurate then the doubling factor in days has increased to around 40 days, that is, about 100 deaths per day. While sad in an absolute sense, this figure is very good news globally because it shows that there is a decay in contagion. <br />
<br />
The first chart above shows some correlation to the news effect of Ebola on VIX (a volatility or "fear" indicator).<br />
<br />
The second chart shows history of potential pandemics from the 1950s.<br />
<br />
So far humanity appears to be missing the bullet and technological and policy responses, no matter how awkward at first, appear to be protective enough for the species.</div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-55259905243060248312014-10-26T00:59:00.001-07:002014-10-26T01:01:52.589-07:00On the Laws of Immortality (of the Virtual Sort)<div dir="ltr" style="text-align: left;" trbidi="on">
On the Laws of Immortality (of the Virtual Sort).<br />
<br />
I'm wondering whether we need to have an educational course that anticipates a "religious - technological future that presumes virtual immortality." See, reference to Tipler's Physics of Immortality below. I have no idea what to call this course. The course would be built on anticipating fundamental technological breakthroughs aimed at the ultimate teleology or Omega Point and would try to figure out their consequences in terms of the law. This isn't about patent law or innovations--the best course for that is at the Law School at Stanford University. This is a course that would bring back Aristotle's causa of teleology so that Ethics and Politics could be discussed in relation to the causae of Form (mathematical and visual technologies), Efficient (the material implementation of such breakthroughs from the micro to the macro) and the Substantive (the uniqueness of breakthrough). Permit me an example.<br />
<br />
Yesterday, I was speaking with a young friend who sells computers by day and plans film-making at night. His next project is a 15 minute short on "How to become a Roman Emperor." He tells me that there is a breakthrough that has occurred that will require ALL ELECTRONIC equipment to be redone. The fundamental breakthrough will enable a mobile phone to carry 1,000 terrabytes of memory. And it will mean that a lot of programming to make things "compact" will become unnecessary. Maybe we won't need any programming language at all, and maybe a lot of processes we take for granted to check, validate and verify our electronic memories will become obsolete.<br />
<br />
Now, what kind of universe of legal discourse would that innovation imply? <br />
<br />
This technology will be out within 4 or 5 years. <br />
<br />
Reference: Tipler, F.T. (2000) The Physics of Immortality. All the fundamental breakthroughs according to Tipler (who was a top rated physicist until he published this CRAZY book that makes him look looney--but I think it's just a great example of taking a rather simple idea very seriously), will be about achieving an Omega Point (Theilhard de Chardin's idea back in the 1930's) that everything in life will be resurrected. Now, resurrection in a physics sense is a White Hole where an infinitude of memories can be played back. Tipler describes the evolution of the universe from black hole singularity to white hole resurrection. To get to a white hole, all the energy of the universe will be used to store all events. It's a CRAZY idea because it is an ultimate teleology and modern science does not like teleology at all.</div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-31180439283943462462014-10-24T00:20:00.001-07:002014-10-24T03:03:55.808-07:00Mapping Ebola Event Risk by Postulating a Financial Markets Ontology<div dir="ltr" style="text-align: left;" trbidi="on">
Mapping Ebola Event Risk by Postulating a Financial Markets Ontology.<br />
<br />
<div class="separator" style="clear: both; text-align: center;">
</div>
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgEKRCv0hl_YWKyrNGxDLCTPatq67QrqiKyRJ9BBEfDNaqkUK-Yai7VYTko_L-iuobr2I1Mh454HAwZ2EdGp1ih4B5sqawqKrvhGjl0y-m2bb1vraefv479je65q95z5GgcZLSkYMedDOcL/s1600/Ebola+v+S&P500+-+Correlation+-+141024.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgEKRCv0hl_YWKyrNGxDLCTPatq67QrqiKyRJ9BBEfDNaqkUK-Yai7VYTko_L-iuobr2I1Mh454HAwZ2EdGp1ih4B5sqawqKrvhGjl0y-m2bb1vraefv479je65q95z5GgcZLSkYMedDOcL/s1600/Ebola+v+S&P500+-+Correlation+-+141024.jpg" height="168" width="320" /></a></div>
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj03eNeezPppHpxds9ZQ9OIvMAmi1nJmd78x_6E0XuXfEa6YmD5Ev3le9ulGdBZSckdYCUeNreRUB-HybS6GhgmZqflO4VX25x2KLrahSLttzSqLd8S627pm0BhNOHb0kGRE9LqNrMxZwO1/s1600/Ebola+v+10Y+Yield+-+141024.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj03eNeezPppHpxds9ZQ9OIvMAmi1nJmd78x_6E0XuXfEa6YmD5Ev3le9ulGdBZSckdYCUeNreRUB-HybS6GhgmZqflO4VX25x2KLrahSLttzSqLd8S627pm0BhNOHb0kGRE9LqNrMxZwO1/s1600/Ebola+v+10Y+Yield+-+141024.jpg" height="167" width="320" /></a></div>
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg4vH_ZUezVKzx2CvTV-pCQTZ4Ip9GRbqrMo2e8GYXZezrRQN3Wux0VLuKDDd388nRTvuk4esiIXBUNRS2zwl1V-NQdKPMhLQqOV3tyiICvitAP3ITS_jYRvahb_3MPXE2xqnfyVivvos7b/s1600/Ebola+v+USDJPY+-+141024.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEg4vH_ZUezVKzx2CvTV-pCQTZ4Ip9GRbqrMo2e8GYXZezrRQN3Wux0VLuKDDd388nRTvuk4esiIXBUNRS2zwl1V-NQdKPMhLQqOV3tyiICvitAP3ITS_jYRvahb_3MPXE2xqnfyVivvos7b/s1600/Ebola+v+USDJPY+-+141024.jpg" height="192" width="320" /></a></div>
<br />
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgDgpwV36a7XYByw8zDFPUiXaBxc4DshQt0fOervTFPpfDCVgVVwP8rhyphenhyphenZ-jmJPbRVRdR7inlCGhDZyT4pTI4vGgbJypPUDpX_K4fO8JAR5hJu5KN-MfRXlOcncZRE8x55SWK6ZKaCeM5ed/s1600/Ebola+v+VIX+-+141024.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEgDgpwV36a7XYByw8zDFPUiXaBxc4DshQt0fOervTFPpfDCVgVVwP8rhyphenhyphenZ-jmJPbRVRdR7inlCGhDZyT4pTI4vGgbJypPUDpX_K4fO8JAR5hJu5KN-MfRXlOcncZRE8x55SWK6ZKaCeM5ed/s1600/Ebola+v+VIX+-+141024.jpg" height="272" width="320" /></a></div>
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: center;">
<br /></div>
<div class="separator" style="clear: both; text-align: justify;">
1. As we said last time, correlation is not causation. This is an important distinction in science. If we wish to do science in law and finance, then using a Category Theory approach, we should translate our statements made of legal and financial terms into SCIENTIFIC PROPOSITIONS that adhere to at least a FIRST ORDER LOGIC. Translated into this first order logic, we can check our premises and inspect our deductions and inferences for their weaknesses and soundness. If you would like to know what scientific language would look like, you can turn to Spivak's A Category Theory for Scientists (Old Version) 2013-14 which is freely available on the Web. In brief, theories and models within theories are written in propositional form using "arrow-language", thus, f:A-->B, where f designates the name of the arrow between A and B. If you trace Spivak's work who is at MIT, you'll note that he wrote a paper together with Robert E. Kent on "Ologs", which are basically "ontological statements" of real processes. Robert E. Kent (who's affiliation to any academic institution appears non-existent) has written on the INSTITUTIONAL APPROACH which is a version of Category Theory that is translated for use among people who work and play in the area of INSTITUTIONAL THEORY. As far as I can tell with my almost total ignorance of the field, the first successful transplantation of a fundamental device from Category Theory into Institutional Theory was by Dimaggio & Powell in their extremely well-cited paper (over 27,000 citations so far) on "The Iron Cage Revisited: Institutional Isomorphism and Collective Rationality in Organizational Fields" (1983) see Jistor. They used the concept of isomorphism which in Category Theory means f:A->B and g:B->A, so that the morphisms f and g which represent "processes" link the two objects A and B in a manner such that the objects are isomorphic, that is, that A and B are unique up to isomorphism. Even if you don't quite understand what this "definition" means, you should understand that isomorphism is the way Category Theorists think about "equivalence." It is all process driven. </div>
<div class="separator" style="clear: both; text-align: justify;">
<br /></div>
<div class="separator" style="clear: both; text-align: justify;">
2. Now Robert E. Kent's work on the Institutional Approach is part of a blossoming field called ONTOLOGIES. An ontology is simply a model of real processes involving people and machines, especially computational devices that can be linked. The link between Category Theory and Ontology goes back to a prescient genius named Goguen who was at the University of California San Diego. His paper on "A Categorical Manifesto" 1991 is a must read. And the paper co-authored with Burstal on: INSTITUTIONS: ABSTRACT MODEL THEORY FOR SPECIFICATION AND PROGRAMMING (1992). This paper lays out a fantastic theory of institutions that is rigged according to category theory formalities. Now how do these theories relate to the Ebola versus Financial Charts above?</div>
<div class="separator" style="clear: both; text-align: justify;">
<br /></div>
<div class="separator" style="clear: both; text-align: justify;">
3. Well, the point is that it is genuinely difficult to understand what the above charts MEAN unless we have some kind of FINANCIAL MARKET ONTOLOGY buzzing away in the back of our minds. That ontology would need to be made explicit in order for us to have an explicit understanding of the EVENT RISK that Ebola (as an event) poses onto the minds of financial traders.</div>
<div class="separator" style="clear: both; text-align: justify;">
<br /></div>
<div class="separator" style="clear: both; text-align: justify;">
4. To do that which is required in 3 may seem very complicated indeed! But I don't think so. We will examine that space--the space of financial market ontology--in further blogs. </div>
</div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-30970897960059164482014-10-22T06:17:00.002-07:002014-10-22T06:21:42.042-07:00<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="separator" style="clear: both; text-align: center;">
<a href="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj15ruTH18ymXshd_gEAtMqi1uSSX-ClHL7eNZn6XJtCjastZFyTffmoDwoM56vxem5p41c9i5CQlL75g4idDB5NTgmVcRr8sKiC0DufOew7GqZLXKKNBGORmWZq3TLE5zKo2DLJvcCsb0P/s1600/Ebola+Volatility+Chart+-+141022.jpg" imageanchor="1" style="margin-left: 1em; margin-right: 1em;"><img border="0" src="https://blogger.googleusercontent.com/img/b/R29vZ2xl/AVvXsEj15ruTH18ymXshd_gEAtMqi1uSSX-ClHL7eNZn6XJtCjastZFyTffmoDwoM56vxem5p41c9i5CQlL75g4idDB5NTgmVcRr8sKiC0DufOew7GqZLXKKNBGORmWZq3TLE5zKo2DLJvcCsb0P/s1600/Ebola+Volatility+Chart+-+141022.jpg" height="320" width="306" /></a></div>
<br />
Let's Get Rid of Causation in Finance.<br />
<br />
This chart comes from Zerohedge today. It makes me laugh. Is the world one? That is, it is so interconnected in terms of web-based and email connections, that messages from the market manipulators instantaneously infects our own wet-ware so that we unconsciously push buttons that amplify particular messages in the noosphere? "Correlation is not causation" so says Zerohedge repeating the mantra that distinguishes the knee-jerk Palovian-Skinnerian stimulus-response reductionism of our poor little brain from the rationality and decision-making processes of the game-theoretic monsters that can crunch big data until a particular solution fits the circumstances just inside the horizon of noncomputability (NP-Hard problems). The best papers still in this area where SPIRITUALITY meets PHYSICS are by Emilie Nother -- Einstein's tutor in infinite-dimensional Hilbert space and lovely well-loved teacher who only wanted to teach but the idiotic German Universities could not even give her a proper teaching post. In the long run of a future history, Germany in the late 19th and 20th centuries will be castigated not only for Nazism but also because its chauvinistic attitude against women--and Noether will be remembered far into the future, farther than when people forget about Hitler. When Noether died, Einstein wrote something to the effect that she had discovered the first spiritual law of physics. There are a couple Noether Theorems, but the one FINANCE THEORETICIANS SHOULD PAY ATTENTION TO but do not is the one that allows one to move from an energy conservation law to dimensional space. How she moves from correlation-covariance is very similar to what the finance theorists from Bachelier to Miller tried with almost brute force. Basically, Noether moves from correlation through covariance using symmetries. Symmetries as we know in the early to first half of the 20th century is the algebra of group theory, and allegedly, our standard model is based in the ideal on our methods developed in group theory. Group theory to me looks like it depends on identity, associativity and invertibility (reversal). I was studying this area for a while back in 2006-07, and then imagine my delight and surprise to find a theory that could encompass and ground group theory using only identity and associativity! That is, why study Group Theory when Category Theory could do all of group theory and go even much farther? <br />
<br />
So now we can come back to the two graphs above. How do we compare them? You might say, "Do a correlation analysis and determine the variance." OK. Then you can do the "co-variance analysis" and come up with a number you can compare against other co-variances. But this assumes a standard deviation metric underneath, in other words, a normal distribution. As everyone knows in finance except the crazy financial regulators, there is no such animal in the de facto. "Volatility" is not a good measure. What would be a much measure would be a fractal dimension a la Mandelbrot. If we got use to a Mandelbrotian measure, we'd have a much better feel for the "jitteriness" and "emotionality" of prices, and very importantly, we'd have much better metrics and therefore, a better language to gauge and communicate our intimations and observations of what's actually going on.<br />
<br />
To realize these intuitions, I believe we have to build from the ground up, and link the above charts to particular geometries, and to talk about them properly, we would need a new vocabulary that would allow us to make comparisons between the charts and the contexts that surround them in an absolutely precise way. <br />
<br />
While we would never say Chart 1 causes Chart 2 or vice versa, we could say without any problem that Chart 1 is isomorphic to Chart 2, and then we would be forced to make explicit exactly WHAT THE PROCESS that makes the isomorphism up. If we could do that, we would not ever again bother with the concept of "causation" in finance. </div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-49572669264206134922014-10-22T04:15:00.000-07:002014-10-22T04:15:53.050-07:00<div dir="ltr" style="text-align: left;" trbidi="on">
<div class="MsoNormal">
<span lang="EN-US">A Category Theory of Financial Instruments and
Financial Institutions -<span style="mso-spacerun: yes;"> </span>A Fundamental
Ontology of Law and Finance<o:p></o:p></span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<span lang="EN-US">-Draft Abstract-<o:p></o:p></span></div>
<div class="MsoNormal">
<span lang="EN-US"><br /></span></div>
<div class="MsoNormal">
<span lang="EN-US">In an early paper examining the regulation
of private placement memorandum (PPM) regulation, we found that there are in
general two approaches to financial regulations: (1) the regulation of the
behaviours of the financial institution; and (2) regulation of the financial
instruments.<span style="mso-spacerun: yes;"> </span>PPMs are interesting
financial instruments since they sit in-between two extremes of financial
regulatory types: (1) purely private form of financial intermediation (that is,
at the extreme, we have bilateral financial contracts) and (2) highly
ritualized guidance on what can be communicated in the raising of capital (that
is, prospectus-type regulations) stemming from the Securities Act of 1933 and
Securities Exchange At of 1934.<span style="mso-spacerun: yes;"> </span>The
unnatural divide between the regulation of financial institutions and the
regulation of financial instruments has played itself out in terms regulations
which aim at adjusting the incentives relating to particular types of
businesses within a financial institutional framework.<span style="mso-spacerun: yes;"> </span>In general, the play out has been a border
conflict between banking regulations and capital market regulations.<span style="mso-spacerun: yes;"> </span>This is not to say that any particular
jurisdiction uses one type of financial regulation exclusively to the exclusion
of the other, but rather there is a combination or admixture of financial
regulations, that in total, ascribe to one general tendency or the other.<span style="mso-spacerun: yes;"> </span>Recall the legal theorists who attempted to
justify financial regulations on the basis that “Law Matters”, stating in
particular that law matters in that it set outs the initial permit or license
to practice a certain form of business.<span style="mso-spacerun: yes;"> </span>As
we shall see, if we apply certain fundamental risk and return models, which the
financial industry itself uses to measure its own financial instruments, we can
distinguish different sorts of businesses according to these risk and return
financial instrument components.<span style="mso-spacerun: yes;"> </span>Thus,
from an extreme financial institutional perspective, which applies financial
theory to its own institutional design, behaviours and assessment of
behaviours, financial instrument theory applies laws to accomplish the
institution’s particular objectives and the discipline and guidance therefore
are simple financial theory models of risk and return, which captures the
market definition of money. <span style="mso-spacerun: yes;"> </span>From the
institutional perspective apply financial theory, an institution is simply a
financial instrument with certain risk and return characteristics. <span style="mso-spacerun: yes;"> </span>Thus, financial institutions regarding
themselves as financial instruments are constrained by the “rules of the game”
of finance, which are basically arbitrage (“the law of one price”) which forever
use laws such as contracts, and every other sort of law and regulation, as
merely instrumental.<span style="mso-spacerun: yes;"> </span>There are
researchers who assert that there should be a legal theory of finance and use
legal ideas to promote the logical priority of law to finance. There is no
argument with this thesis if we add the distinction that law is the context in
which finance exists.<span style="mso-spacerun: yes;"> </span>However, it is not
entirely plausible to say that finance exists because of law, nor is it
plausible to assert that law is absolutely necessary for finance to exist in
the world.<span style="mso-spacerun: yes;"> </span>In any case, the purpose of
this paper is not to adjust or determine where the horse and carriage can
become one or the other—we believe that is actually an obvious distinction--but
rather to understand if possible the system, model or ecology in which law and
finance co-exist.<span style="mso-spacerun: yes;"> </span>As a theoretical
approach, we shall combine the financial instrument view and the financial
institutional view into one totality, and call that totality, a law and finance
ontology.<span style="mso-spacerun: yes;"> </span>Our view, which is slightly
complicated because of the distinctness of disciplines and variety of
sub-disciplines involved in law and finance, is to start with the simplest
ideal financial instrument and then to ask ourselves what would happen to that
financial instrument in the real world of law and finance.<o:p></o:p></span></div>
<div class="MsoNormal">
<br /></div>
<div class="MsoNormal">
<span lang="EN-US">This model of moving from a well-defined
financial instrument (which is the <i style="mso-bidi-font-style: normal;">particular
</i>in the Aristotelian sense of a genus-specie category or more modernly, the <i style="mso-bidi-font-style: normal;">event</i>) to how this financial instrument
operates in the real world (the generalized reality of abstract continuity) is
in effect a study of the reality of finance given a legal context in the form
of a mapping or under a mapping technology.<span style="mso-spacerun: yes;">
</span><o:p></o:p></span></div>
<!--[if gte mso 9]><xml>
<o:OfficeDocumentSettings>
<o:AllowPNG/>
</o:OfficeDocumentSettings>
</xml><![endif]-->
<!--[if gte mso 9]><xml>
<w:WordDocument>
<w:View>Normal</w:View>
<w:Zoom>0</w:Zoom>
<w:TrackMoves/>
<w:TrackFormatting/>
<w:PunctuationKerning/>
<w:ValidateAgainstSchemas/>
<w:SaveIfXMLInvalid>false</w:SaveIfXMLInvalid>
<w:IgnoreMixedContent>false</w:IgnoreMixedContent>
<w:AlwaysShowPlaceholderText>false</w:AlwaysShowPlaceholderText>
<w:DoNotPromoteQF/>
<w:LidThemeOther>EN-US</w:LidThemeOther>
<w:LidThemeAsian>JA</w:LidThemeAsian>
<w:LidThemeComplexScript>X-NONE</w:LidThemeComplexScript>
<w:Compatibility>
<w:BreakWrappedTables/>
<w:SnapToGridInCell/>
<w:WrapTextWithPunct/>
<w:UseAsianBreakRules/>
<w:DontGrowAutofit/>
<w:SplitPgBreakAndParaMark/>
<w:EnableOpenTypeKerning/>
<w:DontFlipMirrorIndents/>
<w:OverrideTableStyleHps/>
<w:UseFELayout/>
</w:Compatibility>
<m:mathPr>
<m:mathFont m:val="Cambria Math"/>
<m:brkBin m:val="before"/>
<m:brkBinSub m:val="--"/>
<m:smallFrac m:val="off"/>
<m:dispDef/>
<m:lMargin m:val="0"/>
<m:rMargin m:val="0"/>
<m:defJc m:val="centerGroup"/>
<m:wrapIndent m:val="1440"/>
<m:intLim m:val="subSup"/>
<m:naryLim m:val="undOvr"/>
</m:mathPr></w:WordDocument>
</xml><![endif]--><!--[if gte mso 9]><xml>
<w:LatentStyles DefLockedState="false" DefUnhideWhenUsed="true"
DefSemiHidden="true" DefQFormat="false" DefPriority="99"
LatentStyleCount="276">
<w:LsdException Locked="false" Priority="0" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Normal"/>
<w:LsdException Locked="false" Priority="9" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="heading 1"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 2"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 3"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 4"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 5"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 6"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 7"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 8"/>
<w:LsdException Locked="false" Priority="9" QFormat="true" Name="heading 9"/>
<w:LsdException Locked="false" Priority="39" Name="toc 1"/>
<w:LsdException Locked="false" Priority="39" Name="toc 2"/>
<w:LsdException Locked="false" Priority="39" Name="toc 3"/>
<w:LsdException Locked="false" Priority="39" Name="toc 4"/>
<w:LsdException Locked="false" Priority="39" Name="toc 5"/>
<w:LsdException Locked="false" Priority="39" Name="toc 6"/>
<w:LsdException Locked="false" Priority="39" Name="toc 7"/>
<w:LsdException Locked="false" Priority="39" Name="toc 8"/>
<w:LsdException Locked="false" Priority="39" Name="toc 9"/>
<w:LsdException Locked="false" Priority="35" QFormat="true" Name="caption"/>
<w:LsdException Locked="false" Priority="10" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Title"/>
<w:LsdException Locked="false" Priority="1" Name="Default Paragraph Font"/>
<w:LsdException Locked="false" Priority="11" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Subtitle"/>
<w:LsdException Locked="false" Priority="22" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Strong"/>
<w:LsdException Locked="false" Priority="20" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Emphasis"/>
<w:LsdException Locked="false" Priority="59" SemiHidden="false"
UnhideWhenUsed="false" Name="Table Grid"/>
<w:LsdException Locked="false" UnhideWhenUsed="false" Name="Placeholder Text"/>
<w:LsdException Locked="false" Priority="1" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="No Spacing"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 1"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 1"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 1"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 1"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 1"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 1"/>
<w:LsdException Locked="false" UnhideWhenUsed="false" Name="Revision"/>
<w:LsdException Locked="false" Priority="34" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="List Paragraph"/>
<w:LsdException Locked="false" Priority="29" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Quote"/>
<w:LsdException Locked="false" Priority="30" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Intense Quote"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 1"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 1"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 1"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 1"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 1"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 1"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 1"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 1"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 2"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 2"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 2"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 2"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 2"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 2"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 2"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 2"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 2"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 2"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 2"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 2"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 2"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 2"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 3"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 3"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 3"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 3"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 3"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 3"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 3"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 3"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 3"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 3"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 3"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 3"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 3"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 3"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 4"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 4"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 4"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 4"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 4"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 4"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 4"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 4"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 4"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 4"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 4"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 4"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 4"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 4"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 5"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 5"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 5"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 5"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 5"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 5"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 5"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 5"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 5"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 5"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 5"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 5"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 5"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 5"/>
<w:LsdException Locked="false" Priority="60" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Shading Accent 6"/>
<w:LsdException Locked="false" Priority="61" SemiHidden="false"
UnhideWhenUsed="false" Name="Light List Accent 6"/>
<w:LsdException Locked="false" Priority="62" SemiHidden="false"
UnhideWhenUsed="false" Name="Light Grid Accent 6"/>
<w:LsdException Locked="false" Priority="63" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 1 Accent 6"/>
<w:LsdException Locked="false" Priority="64" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Shading 2 Accent 6"/>
<w:LsdException Locked="false" Priority="65" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 1 Accent 6"/>
<w:LsdException Locked="false" Priority="66" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium List 2 Accent 6"/>
<w:LsdException Locked="false" Priority="67" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 1 Accent 6"/>
<w:LsdException Locked="false" Priority="68" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 2 Accent 6"/>
<w:LsdException Locked="false" Priority="69" SemiHidden="false"
UnhideWhenUsed="false" Name="Medium Grid 3 Accent 6"/>
<w:LsdException Locked="false" Priority="70" SemiHidden="false"
UnhideWhenUsed="false" Name="Dark List Accent 6"/>
<w:LsdException Locked="false" Priority="71" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Shading Accent 6"/>
<w:LsdException Locked="false" Priority="72" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful List Accent 6"/>
<w:LsdException Locked="false" Priority="73" SemiHidden="false"
UnhideWhenUsed="false" Name="Colorful Grid Accent 6"/>
<w:LsdException Locked="false" Priority="19" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Subtle Emphasis"/>
<w:LsdException Locked="false" Priority="21" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Intense Emphasis"/>
<w:LsdException Locked="false" Priority="31" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Subtle Reference"/>
<w:LsdException Locked="false" Priority="32" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Intense Reference"/>
<w:LsdException Locked="false" Priority="33" SemiHidden="false"
UnhideWhenUsed="false" QFormat="true" Name="Book Title"/>
<w:LsdException Locked="false" Priority="37" Name="Bibliography"/>
<w:LsdException Locked="false" Priority="39" QFormat="true" Name="TOC Heading"/>
</w:LatentStyles>
</xml><![endif]-->
<!--[if gte mso 10]>
<style>
/* Style Definitions */
table.MsoNormalTable
{mso-style-name:"Table Normal";
mso-tstyle-rowband-size:0;
mso-tstyle-colband-size:0;
mso-style-noshow:yes;
mso-style-priority:99;
mso-style-parent:"";
mso-padding-alt:0cm 5.4pt 0cm 5.4pt;
mso-para-margin:0cm;
mso-para-margin-bottom:.0001pt;
mso-pagination:widow-orphan;
font-size:12.0pt;
font-family:Cambria;
mso-ascii-font-family:Cambria;
mso-ascii-theme-font:minor-latin;
mso-hansi-font-family:Cambria;
mso-hansi-theme-font:minor-latin;
mso-ansi-language:EN-US;}
</style>
<![endif]-->
<!--StartFragment-->
<!--EndFragment--><br />
<div class="MsoNormal">
<br /></div>
</div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-17586465013467969612014-08-21T01:06:00.000-07:002014-08-21T01:06:09.877-07:00<div dir="ltr" style="text-align: left;" trbidi="on">
“If-then’s” generate “choices” or “how to free yourself of other’s causal claims”.<br />
<br />
I read a bit of news—mainstream, twitter & FB--and I have this desperate urge to review a bit of logic. <br />
<br />
For example, when someone declares "Do it my way or the highway," you don't have to worry. You can reconstruct that statement into:<br />
<br />
If it is x, then it must be y.<br />
It is either not x or it is y.<br />
<br />
For example:<br />
If he wears brown shorts, then he must be a terrorist.<br />
Either he does not wear brown shorts or he is a terrorist.<br />
<br />
Translating the above threat, “Do it my way or the highway,” means “If you don’t do it my way then you must take the highway.” The phrase “do it my way” is negated in the antecedent.<br />
<br />
Let’s go further. How about the statement:<br />
<br />
“If you believe in me, then you will go to heaven”?<br />
<br />
Translates to:<br />
<br />
“Either you don’t believe in me or you will go to heaven.”<br />
<br />
That’s proper.<br />
<br />
But suppose that statement gets warped into:<br />
<br />
“If you don’t believe in me then you will go to hell.”<br />
<br />
Which translated into “or” form becomes:<br />
<br />
“Either you believe in me or you will go to hell.”<br />
<br />
Bottom-line: when you get into arguments about choices, watch out for causation type statements as blame that turn out to be dichotomies. Once you see this rule operating, you don't have to take sides.<br />
<br />
You are free to mosey along.<br />
<div>
<br /></div>
</div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-9718296275996024292013-07-19T02:59:00.000-07:002013-07-19T02:59:29.683-07:00<div dir="ltr" style="text-align: left;" trbidi="on">
Default Invariance: The Three Approximations of Legal and Financial Reality<br />
<br />
I took a break from blogging to work on a theory paper entitled, "Default Invariance, A Naive Category Theory of Law and Finance." You can see its abstract on www.ssrn.org. I think the idea of taking a simple logical structure implied by the simplest form of a legal-financial phenomenon, namely, a financial contract with a one-period payment, and looking to the topological space implied by its terminal object will forever change the way we do law and finance. In the paper there are three approximations of law and finance that correspond to the structure implied by the terminal objects, Pay, Not-Pay and Pay & Not-Pay. In the simplest rough and ready terms, these terminal objects imply a point, a line ("risk homological chain complex") and a cyclic matrix ("a ring structure"). Each approximation defines the context-environment of the legal financial structures. And I'm happy to say that we can may make explicit conceptual calculations which improve on ("correct") the works of three Nobel laureates in economics, Arrow, Debreu and Sharpe. Arrow-Debreu-Sharpe basically set out the contingent claim model (Debreu, by the way applied abstract algebraic topological methods in his seminal work, A Theory of Value, which got rid of probability for one-period claims) which underlies everything we know and do in risk management, corporate governance, portfolio theory and practically, everything else we call "modern finance theory." So, one way to read my Default Invariance paper is that it puts Arrow-Debreu-Sharpe into the perspective of a naive category theory, and shows our syntactical structures pre-dispose our conceptual calculations. Anyway, you can read the paper to find out for yourself. It's got 35 original diagrams that are meant to help "re-wire" one's own internal mapping of how the law and finance world works.<br />
<br />
Fourth Approximation: Taking Parts and Partitions Seriously<br />
<br />
If we wanted to study law and finance as a physical process, we might find that there is a Darwinian-light version to the selection of laws and financial products that appears to apply. Recall Darwin used the principle random selection for the adaptation of certain macro-features appearing to differentiate species according to external environments. <br />
<br />
Consider Lancelot Law Whyte (1965) Internal Factors in Evolution, cited by John Bonner (20 July 2013) "Evolution, by chance?" New Scientist, 26-27, 26. As Bonner states, "His [Whyte's] thesis was straightforward. Not only is there selection of organisms in the environment--Darwinian natural selection, which is eternal--but there is also continuous internal selection during development. Maybe the idea was too simple and straightforward to have taken root." Bonner then goes on to state his own thesis, "This fits in neatly with my contention that the shape of microorganisms is more affected by randomness than for large, complex organisms. Being small means very few development steps, with little or internal selection. The effect of a mutation is likely to be immediately evident in the eternal morphology, so adult variants are produced with large numbers of different shapes and there is an increased chance that some of these will be untouched by natural selection. Compare this with what happens in a big, complex organism--a mammal, say. Only those mutations that occur at a late stage of development are likely to be viable--eye or hair colour in humans are obvious examples. Any unfavourable mutation will likely be eliminated by internal selection." He points out the evidence that the shapes of microorganisms are "less likely to be culled by natural selection" by citing Radiolaria (50,000 species) and diatoms (100,000 species) and Foraminifera (270,000 species). Then he states, "If you are a strict adaptionist, you have to find a separate explanation for each shape. If you favour my suggestion that their shapes arose through random mutation and there is little or no selection, the problem vanishes." [p. 27]<br />
<br />
What structure is implied by Bonner's internal versus external environment selection thesis? I find his terminology a bit confusing. For what is the external environment of a micro-organism? Isn't everything outside it in a sense a micro-structure and therefore, could be in it, as well? Perhaps we can clarify the thesis by translating the situation into a morphism f: A-->2. Imagine the object A population with lots and lots of elements but having one partition such that you can maximise or minimise either part. The f-morphism are injections to either of the two elements in 2. So long as the partition exists, the 2 separate values will exist in 2. So, we don't need the internal versus external division. In category theory, there is a theorem which just gets rid of all "internal diagrams" so that anything and everything that can be possibly expressed can be done with external diagrams only. I think the same can be said about Whyte's and Bonner's thesis above. In other words, Darwin's random selection to adaption is preserved in the structure of parts and partition via a morphism f: A-->2.<br />
<br />
The Fourth Approximation is taking the Third Approximation of Pay and Not-Pay as parts with a partition. The structured implied from this terminal object is "Continuous Contingencies" (CC) to "Infinitely Discrete Randomness" (IDR). This sounds extraordinarily vague, but what it means is that which is undifferentiable can be made into discrete unit choice. In syntactic form: g: CC-->IDR. This is similar to the conceptual step of moving from "God as ubiquitous being" to "eating a properly cooked vegetarian meal is a morally correct choice of being." <br />
<br />
</div>
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-52463737310129856032012-09-25T16:15:00.000-07:002012-09-25T16:16:28.939-07:00Lecture 1 post hoc notes - Legal Aspects of Corporate FinanceLecture 1: Legal Aspects of Corporate Finance
Guest instructors: Professor Edmond Curtin and PhD Candidate Rezarte Vukatana
I walked in a few minutes late with a bundle of papers and just started talking about THEORY as if it were the most natural thing in the world. I told them about a Russian table tennis star whose training regime included 6 hours of chalk and blackboard theory everyday. But the main point came from Hohfeld's definition of theory: "A theory is not even a theory unless it can be used by practitioners in their practice." I don't think I introduced myself but I did introduce Edmond and later Rezi. I mentioned a few themes:
(1) WEAK EQUIVALENCE as the subtle equivalence of thoughts;
(2) the UNITY OF SCIENCE CRITERION as the main ground for adjudicating theories-- a theory should be judged on how it helps us understand the unity of all knowledge of being;
(3) sign, symbol (Edmond mentioned "signifier" pointing to the picture of the green man in the exit sign--everyone turned to look);
(4) HOHFELD the undergrad chemistry student turned professor of Yale Law School who in early 20th century wrote only 6 articles and invented a periodic table for the law - 4 JURAL OPPOSITES and 4 JURAL CORRELATIVES with enormous theoretical effects;
(5) CORBIN and WILLISTON who wrote encyclopediac tomes on contracts law, and how Corbin (a Hohfeldian student) took just one jural correlative, rights versus duties, and turned that tiny almost trivial legal distinction into 7 (or was it 9?) volumes of contract law;
(6) And Where are Contracts anyway? shock horror to the civil law students ["on paper", "after the signature" they say] but no, says the common law jurisprudentem--CONTRACTS EXIST IN THE MIND [Edmond]; horror of horrors, is this the pure subjectivism, relativism and thus, total discretionary totalitarianism of the law?;
(7) Why some questions within professional discourse make no sense ("What's north of the north pole, eh?"] and is there a way of understanding that transcends the bounds of discourse? Later, the astute Russian student answering a question about "material information" asked a rhetorical question about the distinguishment of various risks. Then I told a long story about Yuanjia, the Great Wun Chin master, who when cajoled by a Japanese martial artist that there are levels in the artistry of tea, replied, "The tea makes no such distinctions and is thoroughly enjoyed."
Thankfully, Edmond gave us a brief rendition on some of the essential legal principles of DERIVATIVES--how they actually create MORE RISK and MORE ANXIETY, and never less.
Rezi described part of her PhD dissertation research--theory of self-fulfilling prophecy a la Merton (?) and how this can be used to help explain the strange behaviours of very complex nodes of financial system called intermediated securities accounts.
I passed around 3 LLM dissertations for the students' inspection, and gave them a homework assignment.
I filed some prospectuses at LLMCFL2012@gmail.com [if you want the password, you need to contact me] with my notes, and asked the students to write 2,000 words on (1) the risks of the prospectus transaction (either Salvatore Ferragamo or Prada); and (2) determine whether and what parts of the selected prospectus would need to be changed under the Directive 2010/73 Nov 2010. They'll need to review about 600 to 800 pages and email me their work by 12noon Monday. Nice shock therapy. Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com3tag:blogger.com,1999:blog-7250158373875457591.post-84421533974298633092012-09-11T23:52:00.000-07:002012-09-11T23:52:11.352-07:00Extreme Philosophy: On the Limits of Self-Referential Truth: Why Paradox Has Been Binned By Naive Category Theory1. Here are two papers of EXTREME PHILOSOPHICAL SIGNIFICANCE:
[1] Lawvere, F. William, "Diagonal arguments and cartesian closed categories with Author Commentary," Lecture Notes in Mathematics, 92 (1969), 134-145, available at:
http://www.tac.mta.ca/tac/reprints/articles/15/tr15.pdf
[2] Yanosky, Noson (2003) "A Universal Approach to Self-Referential Paradoxes, Incompleteness and Fixed Points," available at: http://arxiv.org/pdf/math/0305282v1
2. Unless you've studied a bit of category theory, i.e., read Lawvere and Schanuel (2008, 2nd edition) and Lawvere and Roseburgh (2003), Lawvere [1] will be very obscure even with Lawvere's commentary. But take a look and get a feel. Then, look at Yanosky [2] which explains in a more breezy (but precise) way what the genius Lawvere was up to, and even more cleverly in order to reach a "wider audience", dropped category theory altogether and explains Lawvere's discoveries in easy enough "set and function" language.
3. I realize that category theory is not for everybody (yet) and recently, in the literature, there is a push-back accusing category theory of making "foundational claims" that are unjustified. For example, that the entirety of mathematics can be put on a category theory footing and replace set theory as the fundamental theory which all other theories must bow down to. But I don't think category theory as it is practiced sets out to make any really big claims like these--that would be the job of propogandists. Rather it "solves" some rather apparent fundamental problems by "resolving" the problems into a diagrammatic logic. If you buy the diagrams as BEING DENOTIVE then you might also see how category theory IS linked to Aristotle's great work On Categories. Mac Lane in a footnote joked about how the title "category theory" came from "purloining words from the philosophoers, Aristotle and Kant" [pp. 29-30 of Categories for the Working Mathematician]. He doesn't say anything more about this jokey link. But if you read and understand Aristotle's motive in his Categories, you can see immediately that Aristotle set up foundational problems so they can be resolved. He analysed knowledged into what might be called "said-of" and "thing-in" and asked what are those abstractions that are primary, that is, what are those properties that are extended and therefore, must be. He listed 10 categories [what they are appears arbitrary] and he showed how you can use these primary categories to categorize everything else, that is, that which is not so extended and universal. Now, this mental-conceptual move to abstraction in order to solve a particular problem is a natural function. Lawvere & Schanuel in Conceptual Mathematics explain this movement in terms of isomorphisms: e.g. think of how you can understand what's happening in a film even after walking into the cinema late. In media res, you know Humphrey Bogart is playing a particular character and Audrey Hepburn is playing another character, and when you sort out who's who in the film, suddenly, you can follow the plot in the film with the actors as playing their roles. Similarly, being born in the middle of things, we open our eyes, stretch our arms and legs, and explore the universe, fully confident that we will be able to sort EVERYTHING out. This confidence comes from something pretty powerful within ourselves that enables us to gain knowledge. And the point here is that knowledge isn't at its rock bottom paradoxical. It is in all likelihood isomorphic.
4. Lawvere [1] takes a swipe at the propogandists who have been using some of the great theoretical work of theorists (such as Russell, Cantor, Godel, Tarski) and turned them into very general claims about the nature of paradox at the heart of knowledge. To put this into a general philosophical context, Aristotle's optimism was founded on his discovery of a general scientific method which if simply re-iterated, would eventually uncover all the mysteries of the universe. It was based on observing that which is and translating those into propositions which could be understood. If at the heart of heart of "proposition making" we have paradox, then this whole enterprise is doomed to failure. So, burdened with the prospect of failure, why start the programme of knowledge?
5. The answer by Lawvere [1] and Yanofsky [2] shows why the propogandists of paradox are simply wrong. In Yanofsky's terms, Lawvere's great little paper [1] has been largely ignored by category theorists and philosophers alike because it is written in a forbidding unpopular formalism. Yanofsky translates the results of Lawvere's paper by saying the classical paradoxes of self-referential truth (e.g. Liar's paradox, Russell paradox, Godel's incompleteness and so on) are just instances of overstepping the limitations of a discourse ("discourse" is my term). There must be a way of limiting what a discourse can say about itself. This "problem" comes up in law and finance whenever they try to talk about themselves. I call it the problem of structure. That is, there is no such question in law and finance that says, "What is the structure of law? What is the structure of statements about finance?" There is no call for self-consciousness within laws or financial practice. Rather, the call for such professional consciousness comes from without. But there is a way of understanding such questions about professional discourses from a category theory perspective. And not only do the questions about the structure of law and finance make sense, they actually direct in some fashion a resolution to answers about the structure of law and finance.
For example, one of the things I have been harping on in this blog is that there is a fundamental structure to law and finance in the forms of an individual unit which I have dubbed the "financial contract" and the "great cycle of default invariance." From these structures, we can explain a lot of current practice at the individual-to-individual level of financial transactions on up to historical and contemporary nausea of continuously impending financial catastrophes. It's all a matter of "mapping" and translating apparent limitations within the discourse of law and finance into a notation which allows for mental journeys and conceptual calculations. By the way, one of the virtues of seeing how paradoxes are slain in [1] and [2] is that we can recover a sense of optimism that Aristotle once had in the unity of science. Again, I say, judge the value of a theory by its contribution to the unity of science. Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-40812462201516105632012-05-14T05:15:00.003-07:002012-05-14T06:51:56.677-07:00On the Unity of Science: Law, Finance and the Philosophy of Category Theory1. We should measure our progress as a species of knowledge by how well individual disciplines meet the criterion of the unity of science. This criterion was first stated as an almost urgent request by Edward O. Wilson with his concept of consilience.<br />
<br />
2. There are so many analogies between one subject and another, the vocabularies (as objects may be different), but the way in which these vocabularies are used (the morphisms) are so similar that they might as well be said to be the same. What do we mean by "same" or better, if we capture the water colourist wash, and call it by its technical name, "weakened equivalence"?<br />
<br />
3. Mazur (June 12, 2007) in "When is one thing equal to some other thing," htt://www.math.harvard.edu/%7Emazur/preprints/when_is_one.pdf writes in tribute to one of the founders of category theory, Mac Lane, sets out an approachable essay on the question of the meaning of equivalence. This is the deep point where all our equations and assertions in science sink to. He sets out three approaches of how we have answered this question.<br />
<br />
4. The first is the "bureau of standards" where by convention we can point to something in a designated office that is an equivalent exemplar. [Id @ 4-5.] The second is a type of universal quantification as in Frege's definition of cardinality. [Id @ 5.] And the third is a compromise where "we indicate what we do rather than what we say we do when quizzed about our foundations." [Ibid.] I call this third method a promiscuous stitching, using the same needle and thread or glue may be all we need to make appropriate connections between subjects, disciplines and fields of knowledge. <br />
<br />
5. In mathematics, you can "package" entire mathematical theories either as (1) formal systems a la the David Hilbert programme or as (2) categories. [Id @6.] On the one hand, the formal systems go all the way back to Euclid and are much admired under the rubric of axiomatization. On the other hand, categories are a relatively recent invention (1945 with a paper by Samuel Eilenberg and Saunders Mac Lane was more an announcement of new technique than a new view of mathematics) and its method of a sparse vocabulary and sketches of arrows betrays its deep goal which is to reveal structure. Mathematicians, like others engaged in doing or performing in their particular discourse, don't really "axiomize" but rather "play games with conviction." <br />
<br />
6. Somewhere in "Tool and Object, A History and Philosophy of Category Theory," (2007), Kromer quotes Bill Lawvere (my preferred radical category theorist) for saying something to the effect, "the point is not to achieve maximal abstraction, but an optimal abstraction, a just-right abstraction that works appropriately at the level where it is most needed and used." Of course, I am attributing a certain line of argument to Lawvere which I do not think he would disagree with. Lawvere was motivated to find a theory of physics, to explain how things worked, but his work on the philosophy of category theory takes him on exoduses into Hegel. I believe it is this urge to find "synthesis" with simple tools that motivates him. He has been accused of being both revolutionary and idiosyncratic. Revolutionary for advocating that all of mathematics can be thought of as a category of category theory. And idiosyncratic because for such a great mathematician, he and Schanuel wrote a best selling book entitled, Conceptual Mathematics, A First Introduction to Category Theory (2009 2nd Edition) wherein you don't need any university level mathematics to understand. In fact, I recommend this book to all my law and finance students who are interested in pursuing the application of category theory to the field of law and finance.<br />
<br />
7. The main points about the test for the unity of science (consilience) is that the most appropriate method for pursuing a rigorous apprehension of science (i.e., the three approaches stated by Mazur: bureaucratic standard, universal axiomization or balanced compromse (I call "promiscuous stitching") may be something so natural and simple that even our high school students can be engaged in this entreprise.<br />
<br />
8. For theories of law and finance, we see that there has been an influence of the latest trend or fashion from other fields that have filtered into the vocabulary of the legal theorist or financial theorist. For example in the last 5 to 10 years, in both fields there is an emphasis at least in the titles to papers on the concept of "complexity" and "behaviours." This is not to say these concepts are red-herrings. From my view, they are just another batch of ideas that come from a few equations. Another example, what would Hart's programme of primary and secondary laws be without the notions of first order and second order logics emanating from the Cambridge logicians in the early part of the 20th century? Not that Hart genuinely meant to implement the same programme, but the inspiration for an orderly resolution of the definition of the meaning of law was certainly intended to take the script from the philosophy department--and these were the ideas pre-Wittengstein. In finance, the initial idea of covariance goes back to Bachelier's PhD dissertation (1905) and then developed as various methods for "curve fitting" against time horizons. Very little work has been done on how the various theories of law and finance might be approached in a unified way. But here the stumbling block may have been the limited view on the number of approaches to reach unification. I do not mean by "unification" a form of axiomatiion or foundational premises evolved and expanded in a universalistic sense that may have endeared Spinoza. Rather we have a very powerful alternative which is a kind of Kantian insight that the intellectual revolution begins with a recognition that<br />
<br />
"There are only two possible ways in which synthetic representations and their objects...can meet one another. Either the object (Genenstand) alone must make the representation possible, or the representation alone must make the object possible." [quoted from Mazur supra @ 20.]<br />
<br />
9. In law and finance theory, I would (and will) argue that one of the significant leaps in our imagination of how law and finance work together is to recognize the structure of something called "default invariance." This is captured by or very conveniently set out with a category theory approach. Default invariance permeates all financial contracts, and all states of the financial-regulatory-political system.<br />
<br />
Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com1tag:blogger.com,1999:blog-7250158373875457591.post-35345690844512151352012-04-13T00:34:00.001-07:002012-04-13T02:37:59.947-07:00HFT FLASH CRASHES AND REGULATION: AN INCHOATE BIBLIOGRAPHY( ) Research question: Why is it important to understand the physical limits of financial trading?<br />
( ) Application: possible training course for supervisors and regulators around the world<br />
<br />
I shall be adding to this list of references from time to time and reorganising its entirety when appropriate:<br />
<br />
( ) IOSCO'S Recommendation for Standard Regulation on HFTs<br />
Regulatory Issues Raised by the Impact of Technological Changes on Market Integrity and Efficiency - Consultative Report<br />
OISU - ISOCO (July 2011)<br />
http://www.iosco.org/library/pubdocs/pdf/IOSCOPD354.pdf<br />
<br />
( ) SEC Report on May 6, 2010 Flash Crash (100930)<br />
http://www.sec.gov/news/studies/2010/marketevents-report.pdf<br />
<br />
( ) Zerohedge (100623): http://www.zerohedge.com/article/how-hft-quote-stuffing-caused-market-crash-may-6-and-threatens-destroy-entire-market-any-mom<br />
<br />
( ) Nanex Analysis of the Flash Crash (100618): http://www.nanex.net/20100506/FlashCrashAnalysis_CompleteText.html<br />
<br />
[ ] pay particular attention to "quote stuffing" which Nanex says should be banned: http://www.nanex.net/20100506/FlashCrashAnalysis_Part4-1.html<br />
<br />
( ) Nanex Analysis of the SEC's Flash Crash (May 6, 2010) Report of Sept 30, 2010 (120412): <br />
<br />
( ) Email exchange on the definition of LIQUIDITY: http://www.nanex.net/aqck/2977.html<br />
<br />
( ) Nanex updated analysis on April 11, 2011--check out the 2nd chart especially when Wadell and Clarke whom the SEC has blamed for the Flash Crash and the W&C has accepted such blame, could NOT PHYSICALLY be the one who was involved in the perpetration of the flash crash! http://www.nanex.net/FlashCrashFinal/FlashCrashAnalysis_WR_Update.html<br />
<br />
<br />
<br />
Background Readings:<br />
<br />
[ ] http://www.zerohedge.com/article/guest-post-deconstructing-algos-part-1<br />
<br />
[ ] http://www.zerohedge.com/article/guest-post-deconstructing-algos-part-2-leveraging-chaos-high-frequency-arbitrage-opportuniti<br />
<br />
[ ] http://www.zerohedge.com/article/guest-post-deconstructing-algos-3-quote-stuffing-means-restoring-arbitrageable-latency-or-cq<br />
<br />
[ ] http://www.zerohedge.com/news/guest-post-deconstructing-algos-part-4-phase-space-reconstructions-cnty-busted-trades-suggests-<br />
<br />
HFT REVIEW White papers, academic and industry reports<br />
<br />
ACADEMIC ARTICLES ON POINT<br />
http://www.hftreview.com/pg/main/academic-studies/<br />
<br />
INVESTIGATIONS<br />
[ ] SEC Probes Ties to High Speed Traders<br />
http://online.wsj.com/article/SB10001424052702303816504577321864050711038.html<br />
<br />
NY TIMES ARTICLES <br />
135 articles on high frequency trading as of April 4, 2012<br />
http://topics.nytimes.com/topics/reference/timestopics/subjects/h/high_frequency_algorithmic_trading/index.html<br />
<br />
EUROPEAN REGULATIONS<br />
[ ] MiFID 2 Barnier<br />
http://hft.thomsonreuters.com/2010/09/23/eus-barnier-throws-spotlight-on-dark-pool-trades/<br />
<br />
REUTERS THOMSON HFT NEWS<br />
http://hft.thomsonreuters.com/<br />
<br />
WHARTON article<br />
http://knowledge.wharton.upenn.edu/article.cfm?articleid=2345<br />
<br />
INSTITUTIONAL INVESTOR<br />
10 articles<br />
http://www.iijournals.com/page/HighFrequencyTrading<br />
<br />
ACADEMIC PAPERS<br />
<br />
[ ] Conflicting Codes and Codings<br />
How Algorithmic Trading Is Reshaping Financial Regulation<br />
Marc Lenglet<br />
Abstract<br />
<br />
Contemporary financial markets have recently witnessed a sea change with the ‘algorithmic revolution’, as trading automats are used to ease the execution sequences and reduce market impact. Being constantly monitored, they take an active part in the shaping of markets, and sometimes generate crises when ‘they mess up’ or when they entail situations where traders cannot go backwards. Algorithms are software codes coding practices in an IT significant ‘textual’ device, designed to replicate trading patterns. To be accepted, however, they need to comply with regulatory texts, which are nothing else but codes of conduct coding accepted practices in the markets. In this article, I draw on ethnographic fieldwork in order to open these black boxes, while trying to describe their existence as devices encapsulating several points of views. I address the question of a possible misalignment between those visions, and more specifically try to draw the consequences raised by such discrepancies as regards the future of financial regulation.<br />
algorithmic trading codes of conduct codings financial markets practices regulation<br />
Articles citing this article<br />
Codes and Codings in Crisis: Signification, Performativity and Excess<br />
Theory, Culture & Society November 1, 2011 28: 3-23<br />
AbstractFull Text (PDF)<br />
<br />
[ ] Investigating Financial Fraud in High Frequency Trading<br />
Afroditi Katika <br />
University of Manchester<br />
Babis Theodoulidis <br />
University of Manchester - Manchester Business School<br />
David Diaz <br />
University of Manchester - Manchester Business School; Universidad de Chile - Escuela de Economia y Negocios<br />
<br />
December 20, 2011<br />
<br />
Abstract: <br />
Market monitoring is a very important process to the stock market. It is necessary in order to verify that all trades comply with the existing rules, as well as to detect any act of manipulation. Recently, a new kind of trading has emerged, High Frequency Trading, which allows traders to place and execute orders within milliseconds via a program running in a computer. It is doubtful whether existent market systems are capable of detecting inconsistencies in trades at this speed. This project has attempted to propose a design of a detection engine that could be incorporated to a monitoring framework so as to accommodate High Frequency trades. Understanding the field of stock markets and High Frequency Trading was a crucial part of this project. Since it is such a recent phenomenon with no confirmed cases (to the best of our knowledge) of market manipulation, we attempted to answer whether there are certain conditions that could benefit market manipulators. We used business intelligence techniques to analyse historical data and discover what sort of indications our detection engine should look for. Our results show that there have been violations of regulations that were not blocked in real-time which proves the inefficiency of current market monitoring systems. We also prove that an extreme number of orders within seconds can delay an exchange’s processes and systems. In the end we propose a design that takes those results into consideration.<br />
<br />
Keywords: high frequency trading, flash crash, quote stuffing, financial markets, market manipulation, fraud detection, market monitoring, market surveillance<br />
<br />
Working Paper Series<br />
Date posted: December 20, 2011 <br />
Suggested Citation<br />
Katika, Afroditi, Theodoulidis, Babis and Diaz, David, Investigating Financial Fraud in High Frequency Trading (December 20, 2011). Available at SSRN: http://ssrn.com/abstract=1974911<br />
<br />
[ ] On the Dark Side of the Market: Identifying and Analyzing Hidden Order Placements<br />
Nikolaus Hautsch <br />
Humboldt-Universität zu Berlin; CASE - Center for Applied Statistics and Economics; CFS<br />
Ruihong Huang <br />
Humboldt University of Berlin<br />
<br />
February 8, 2012<br />
<br />
Abstract: <br />
Trading under limited pre-trade transparency becomes increasingly popular on financial markets. We provide first evidence on traders' use of (completely) hidden orders which might be placed even inside of the (displayed) bid-ask spread. Employing TotalView-ITCH data on order messages at NASDAQ, we propose a simple method to conduct statistical inference on the location of hidden depth and to test economic hypotheses. Analyzing a wide cross-section of stocks, we show that market conditions reflected by the (visible) bid-ask spread, (visible) depth, recent price movements and trading signals significantly affect the aggressiveness of 'dark' liquidity supply and thus the 'hidden spread'. Our evidence suggests that traders balance hidden order placements to (i) compete for the provision of (hidden) liquidity and (ii) protect themselves against adverse selection, front-running as well as 'hidden order detection strategies' used by high-frequency traders. Accordingly, our results show that hidden liquidity locations are predictable given the observable state of the market.<br />
<br />
Number of Pages in PDF File: 43<br />
<br />
Keywords: limit order market, hidden liquidity, high-frequency trading, non-display order, iceberg orders<br />
<br />
JEL Classifications: G14, C24, C25, G17<br />
<br />
Working Paper Series<br />
Date posted: February 13, 2012 <br />
Suggested Citation<br />
Hautsch, Nikolaus and Huang, Ruihong, On the Dark Side of the Market: Identifying and Analyzing Hidden Order Placements (February 8, 2012). Available at SSRN: http://ssrn.com/abstract=2004231 or http://dx.doi.org/10.2139/ssrn.2004231<br />
<br />
<br />
CASE STUDIES<br />
<br />
[ ] BATS Take-down<br />
http://www.zerohedge.com/news/skynet-wars-how-nasdaq-algo-destroyed-bats<br />
<br />
[ ] http://www.zerohedge.com/news/presenting-todays-21-least-mini-flash-crashes<br />
<br />
[ ] http://www.zerohedge.com/article/fractal-limit-order-buster-latest-market-manipulation-algo-gimmick<br />
<br />
[ ] Man Vs Machine: How Each Sees The Stock Market<br />
Submitted by Tyler Durden on 04/03/2012<br />
available at: http://www.zerohedge.com/news/man-vs-machine-how-each-sees-stock-market<br />
<br />
[ ] http://www.zerohedge.com/news/fractal-algo-strikes-again-time-impacts-popular-bond-bear-etf-tbt<br />
<br />
[ ] http://www.zerohedge.com/news/stop-loss-terminator-algo-reemerges-picks-national-bank-greece-todays-victim<br />
<br />
[ ] http://www.zerohedge.com/news/dear-hft-please-explain<br />
<br />
[ ] http://www.zerohedge.com/news/step-right-its-hft-whack-mole-time<br />
<br />
[ ] http://www.zerohedge.com/news/whack-mole-algo-back<br />
<br />
[ ] http://www.zerohedge.com/article/are-hft-algos-taking-aim-dominating-and-manipulating-wonderful-world-etfs-next<br />
<br />
[ ] http://www.zerohedge.com/article/visualizing-market-topology-video-real-time-exchange-routing<br />
<br />
[ ] http://www.zerohedge.com/news/does-high-frequency-trading-adds-market-liquidity-vote-here<br />
<br />
[ ] http://www.zerohedge.com/article/hft-now-business-frontrunning-each-others-regulatory-capture<br />
<br />
[ ] http://www.zerohedge.com/article/caught-act-hft-option-algos-observed-frontrunning-todays-pmi-release<br />
<br />
[ ] http://www.zerohedge.com/article/some-observations-spy-vwap-and-block-manipulation-fsa-launches-probe-front-running-block-tra<br />
<br />
[ ] http://www.zerohedge.com/article/no-its-not-nat-gas-fractal-algo-nanex-discloses-very-ominous-implications-todays-berserk-cru<br />
<br />
[ ] http://www.zerohedge.com/article/another-algo-gone-wild<br />
<br />
<br />
RANDOM QUOTES:<br />
<br />
[ ] Guest Post: Deconstructing Algos, Part 4 -Phase Space Reconstructions Of CNTY Busted Trades Suggests High Speed Gang-Bangs In The Market<br />
Submitted by The World Complex Deconstructing Algos, Part 4: Phase Space ... Volatility Submitted by The World ComplexDeconstructing Algos, Part 4: Phase Space Reconstructions ... the algos picked up by Nanex on June 21, 2011 in CNTY using the data appended here . ...<br />
<br />
Story - Tyler Durden - 07/31/2011 - 17:43 - 39 comments - 0 attachments<br />
<br />
[ ] Guest Post: Deconstructing Algos, Part 2: Leveraging Chaos Into High-Frequency Arbitrage Opportunities<br />
Submitted by The World Complex Deconstructing Algos, Part 2: Leveraging Chaos Into High-Frequency Arbitrage Opportunities The recent elegant explanation for the activities of the HFT algos ... Natural Gas Submitted by The World ComplexDeconstructing Algos, Part 2: Leveraging Chaos ...<br />
<br />
[ ] Story - Tyler Durden - 07/01/2011 - 00:21 - 32 comments - 0 attachments<br />
<br />
Guest Post: Deconstructing Algos 3: Quote Stuffing As A Means Of Restoring Arbitrageable Latency; Or Is The CQS TRYING To Crash The Market?<br />
Submitted by The World Complex Deconstructing Algos 3: Quote Stuffing As A Means ... ComplexDeconstructing Algos 3: Quote Stuffing As A Means Of Restoring Arbitrageable LatencyIn a recent article Nanex has ... at least 33% too low. 3. An algo is testing how much more quote noise it needs to generate to cause ...<br />
<br />
[ ] Story - Tyler Durden - 07/08/2011 - 22:08 - 63 comments - 0 attachments<br />
<br />
Guest Post: Deconstructing Algos, Part 1<br />
Submitted by The World Complex Deconstructing algos, part 1 The third part ... Natural Gas Submitted by The World ComplexDeconstructing algos, part 1 The third part of the series ... are critical to the decision-making module of the algo. The reconstructed phase space The difficulties ...<br />
<br />
[ ] Story - Tyler Durden - 06/24/2011 - 21:16 - 82 comments - 0 attachments<br />
<br />
Gold Tumbles More Than $100 As $1700 Stops Triggered<br />
to algo driven liquidations following the earlier described shift in sentiment, or has some assistance ... whispers? Felt Any MFG style whispers? Felt like a bit more than algos. More like a company iquidation ...Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-60097330224327376382012-04-12T08:27:00.000-07:002012-04-12T08:27:57.130-07:00Default Invariance: Product & Sum Modules - Sans EsquissesDefault Invariance: <br />
Product and Sum Category Theory Models of Financial Contracts<br />
Product Model: Pay or Not-Pay<br />
Sum Model: Financial Legal Remedies<br />
<br />
1. Recall the Arrow-Debreu-Sharpe model of t0 to t1 corresponding to the state of initial financial contract in a world of infinite contingent states and the state of pay, respectively.<br />
<br />
2. We improved the ADS Model to a Default Invariance Model where the t1 state is now bi-valued to include (a) Pay and (b) Not-Pay, i.e. P and -P. <br />
<br />
3. If t1 results in -P then the infinite contingent states continues at t1. This is equivalent (or isomorphic) to the infinite-contingent-states being multiplied by 1.<br />
<br />
4. If t1 results in P then the infinite contingent states is annihilated and the certainty of payment makes the financial contract certain and therefore, immediately disengages from the infinitely contingent states of world. This is equivalent (or isomorphic) to the inifinite-contingent-states being multiplied by 0.<br />
<br />
5. The 2-state at t1 default invariance model can be further specified in terms of Product and Sum. [This is going to get a bit technical, I warn you.]<br />
<br />
Definition of Product<br />
An object P together with a pair of maps P1:P->B1, and P2:P->B2 is called a product of B1 and B2 if for each object X and each pair of maps f1:X->B1, f2:X->B2, there is exactly one map f:X->P for which both f1=P1f and f2=P2f. [See Lawvere & Schanuel, 2009, p. 217.]<br />
<br />
[I'll insert a diagram later. Hint: it looks like a chevron with X on the left and an arrow from X to P which is <f1,f2>, another arrow from X to B1 labelled f1, an arrow P1 from P to B1, an arrow from X to B2 labelled f2, and an arrow P2 from P to B2.]<br />
<br />
6. Given this definition of Product, we can now apply what we stated in an earlier blog that payment of a financial contract makes it certain and therefore, takes it out of the realm of uncertainty and is no longer part of ("resides in") a world of infinite contingent states. Thus, an occurrence of payment is equivalent to the value of 0 in the infinite contingent world. In our Product Diagram B1 = (Infinite-Contigency) x (0). Another way of saying this is B1 = Uncertainty x 0, which means, no more uncertainty. This valuation is not what Sharpe and others had supposed, and had in fact given payment the value of 1, which leads to inconsistent and contradictory results.<br />
<br />
7. Also, we can see that non-payment or not-paying at t1 means that the infinite-contingent-states of the world continues at t1. This is equivalent to: (infinite-contingent-states) x (1). So, non-payment is actually an identity morphism. In our Default Invariance Product Diagram, B2 = 1. Strangely, f2 will have to be equivalent to infinite contingency divided by infinite contingency.<br />
<br />
8. As a sum, we have the following definition:<br />
<br />
A pair j1: B1->S, j2; B2->S, of maps in a category makes S a sum of B1 and B2 if for ach object Y and each pair g1:B1-Y, g2:B2-Y, there is exactly one map g:S->Y for which both g1 = gj1 and g2 = gj2. [See Lawvere & Schanuel (2009) Conceptual Mathematics, p. 222]<br />
<br />
It is my contention that a legal remedy to a financial contract has the form of a sum as above, where Y is a legal remedy and B1 and B2 to breach and not-breach situations of the contract. This is of course a first approximation of a legal risk theory. <br />
<br />
9. The virtue of a Product and a Sum Model for the fundamental and universal unit of law and finance is that by putting them together THROUGH TIME (that is, from t0, t1, t2,...tn) we begin to have a view of how law and finance may be seen under one perspective that allows for both (1) simplification and anticipation of direct results -- i.e., "rough and ready" calculations that border on immediate insight through very complex legal and financial phenomena; and (2) a very detailed and rigorous, bookkeeping or tracking methodology to ensure that our predictions make sense and are grounded on facts. Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-17489592421883195702012-04-03T02:08:00.000-07:002012-04-03T02:08:48.420-07:00Platonic Signage: From Discrete Algebraic Individual Complaints to Continuous Geometric Social SolutionsOr, Infinite Smoothness: From The Discrete Complaints of Individuality to The Ironic Continuum of Small Rules<br />
<br />
1. I think it's in book 2 or 3 of The Republic that Plato makes a rhetorical analogy that is engrained in the way we argue and complain about ourselves and our relations to society. He asks to transfer the argument about whether a person's happiness depends on power and money rather than virtue (that is, knowledge of the good) to a much larger body that can be dissected objectively, namely, the body of society. The move from examining the personal body and its object of happiness (what we might now call psychology) to the social body and its aim of good government, may seem quite weak, for how can we trust in an answer to a problem which is at a level different from the problem itself. The problem is more particular and local than the solution which is general and indeed, allegedly universal.<br />
<br />
2. This move has bothered me for 42 years. Now, I think I have an answer to the quandary both at the substantive and procedural levels. And both technically can be viewed from what we call a category theory. We can also immediately understand Plato's overall strategy as a movement from a local composition in algebra to a general conception of geometry. (There is an apocryphal saying that the signage above Plato's Academy said something to the effect, "Let no one without Geometry enter [this space]." <br />
<br />
3. I would also temper this interpretation with a couple caveats. First, Plato though genius of the first degree did not have the devices necessary to found category theory. Second, when I call out the term of art, category theory, I mean in the first and foremost instance, the conceptualisation of certain data about objects, arrows (morphisms), the associativity axiom [(a*b)*c = a*(b*c)], and the identity axiom [a*I = a = 1*a]. In its most austere form and substance, namely, in diagrams or sketches ("esquisses") very very complex structures that would not be very comprehensible in a grammatical English are very evidently laid out like Dr. Seuss drawings. One can for example re-wire quantum mechanical expressions rather naturally in category theory and understand how so-complex financial contracts work in an infinitely contingent world. <br />
<br />
4. Coming back to the Platonic move from small (individual) to big (society), we recall Socrates' reason for this move was because he was trapped. The two nephews of Plato, x and y, [i can't remember their names but will look them up later--maybe Glaucon and Adimentaus?] had argued so eloquently and convincingly that at the PERSONAL level only power and money counted for anything in a real person's real happiness. This was an argument based on personal observation ("what is evidently and evidentially true"). So, Platonic philosophy based whole heartedly on one's personal knowledge and education could hardly win against someone whose argument was based on personally observed facts.<br />
<br />
5. Socrates had to go a level up. Plato through Socrates was making an argument about the SPACE around the individual, the interconnections, the networks, the various specialised objects ("specialists are better for the good of the whole society than the inefficient workings of generalists"), and how ultimately, this led to an analysis of governance, from benevolent dictator to timocracy, oligarchy, democracy and tyrant. All of this was rounded by the question asked of Socrates, "And what if none of what you have imagined comes about?" Socrates' answer again is of a SPACE, "Well then, we have not wasted time, because forever and a day, people will now know where they should be heading." In other words, Socrates had literally given future generations a map to travel, with signposts and monuments. Now, just as no one on the tube in London can say that the tube maps are what the tubes and tube lines are, we can't say that Plato's Republic describes exactly what is front of us. Much depends on our understanding of how to make the correspondences between the map and our own presence or location. We use the map as a guide to help make sure we steer ourselves to a particular destination.<br />
<br />
6. The more general meaning and thus, philosophical import of the move from individual psyche to the social space is in the form of generalisation. Note that the rules defining the linkages in the local space, i.e., the relations between individuals, which in a strict sense might be defined as "rules" establish a structure which is the definition of the entire space in which any and all individuals exist. This movement from particular individual mind to the structures which link us together may appear to be a type of algebraic expression of composition, that is, combinations of bilateral transactions. But the point is that these groups defined by rules when applied generally literally create a geometry of social space. It is a space that is topologically continuous. <br />
<br />
7. As we say in the old lingo, "from the many to the one." We can now understand this as a movement from the particular algebraic rules that appear discrete in form but are actually, when taken together, define the infinite smoothness of the skin of reality. The slogan here is, "small rules define big space." <br />
<br />
8. As a meditation one might take the slogan to its limit in breath, balance and humour.Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-42799799822908963702012-04-01T14:32:00.000-07:002012-04-01T14:32:16.637-07:00The Baby Blue Eyes of the Universe: Philosophical Calculations of Governance and InfinityPhilosophical Calculations <br />
<br />
1. The great Greek philosophers Plato and Aristotle identified the problem of (1) how to distinguish between a benevolent dictator and a tyrant, and (2) how to determine the continuous from the discrete, respectively. Plato's insight into the problem of governance comes in books VIII to IX of the Republic, and Aristotle's conundrums of the infinity of points in space and time come from his recollection of the paradoxes of Zeno of Elea in the first books of the Metaphysics. <br />
<br />
2. Both problems cut through what might be called epistemology, or the limits of our knowledge. For example, how can we possibly distinguish between two persons who say, "believe me for I know the good." Answer: we can't unless we ourselves (read here, each and every one of us) have educated ourselves enough to make this discrimination. No one can give us this knowledge. We have to come upon it ourselves. We have to be ruthlessly Descartian. In terms of the pure metaphysical problem of infinity of points, this becomes a matter of discriminating between the continuous and the discrete, between the one and the many. Modernly, we can resolve this tension to an awfully abstract sense of proportions if we move diligently from nominal, interval, ordinal and rational scales, and have some notation to help us with the precise bookkeeping (a type of Thesesusian string in the minotaur's cave) so we can accurately account for how apparently different forms are essentially together in a weakened form of equivalence. A few algebraic expressions define the local key to the global code of a geometry, and the geometry gives us an insight to the totality of global meanings of finite algebraic expressions. The Buddha says this by carrying a flower, the mathematicus writes a few squiggles, a few angels sing, and the infant's eyes reflect the absolute depth of the pure blue sky. <br />
<br />
3. Belief in a stranger tells us something about us. We can never know the other except through abstractions. But these abstractions are obviously not the other. Don't be greedy. Let the composition come. What comes naturally is already embedded and as some say, the one. To wait for the one is to let the universe do the calculation. To ride the winds, to move in every direction, is the way nature calculates answers directly through us. Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-22079062509730274262012-03-30T02:04:00.001-07:002012-03-30T02:05:03.385-07:00The Eternal SpringFor the 102nd session of the Philosophical Foundations of Law and Finance, to be held from 6 to 8pm tonight, Friday March 30th 2012, in room 501, University of Westminster campus, we will: (1) collect the LLM dissertation titles from students and (2) examine the causes of the perrenial Great War (making peace between our genetics and our genuine spiritual being) and the ongoing Great Depression (making war between superficial consumerism and our lives). <br />
<br />
As a philosophy student studying Plato and Aristotle in Princeton during the Vietnam War, it became obvious to me that a lot of my very brilliant colleagues who'd received princely educations believing that they would become very rich (millionaire-billionaires adjusting for inflation), movie stars, rock stars and presidents, would become relatively average and sedate, if not sedated, and those who did not fall under medication, would become very pissed off, having squandered their God-given talents chasing the meaninglessness of empty suits.<br />
<br />
<br />
Today, the Arab spring is just one of the global blooms of corrupt political-economic systems where holier than thou public servants have hundreds of billions of dollars of personal wealth while their poor citizen have not even one ounce of zakat, and as the political elite have continuously "bailed out" the bankers in the US and Europe, we have immense bubbles that can be resolved only in terms of debt forgiveness (where bankers take the hit) or more fascistic totalitarianism (where the good taxpaying citizens are debt enslaved). To clarify these choices, we have some beautifully illustrated lectures by David McWilliams of Punk Economics via Zerohedge:<br />
<br />
<br />
http://www.zerohedge.com/news/how-europe-has-evolved-democracy-bankocracy-and-why-austerity-will-lead-chaos<br />
<br />
http://www.zerohedge.com/news/europes-cash-trash-ltro-scam-and-indentured-servitude-citizenry<br />
<br />
http://www.zerohedge.com/news/liquidity-and-false-recovery<br />
<br />
Enjoy your spring wherever you are and be prepared for another kind of spring coming soon to your door.<br />
<br />
Ciao<br />
JoeJoseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-65905233903549338172012-03-26T03:11:00.000-07:002012-03-26T03:11:20.892-07:00The Consilience of Financial-Economics: HappinessTitle: The Consilience of Financial-Economic: Happiness<br />
<br />
In a very brief article by David Sloan Wilson entitled, "A Tale of Two Classics," [New Scientist, 24 March 2012, 30-31], he reviews two influential academic articles:<br />
<br />
[ ] Milton Friedman's essay, "The Methodology of Positive Economics," (1953); and<br />
<br />
[ ] Stephen Jay Gould and Richard Lewontin's article, "The Spandrels of San Marcos and The Panglossian Paradigm."<br />
<br />
The former sets out the classic statement on homo oeconomicus as a species that acts as if the assumptions of orthodox economic theory were true when in the individual cases it is manifestly untrue. This distinction in size is very important and may help explain the differences in the opinion of classical versus behavioural theorists. <br />
<br />
The latter is a critique of the use of the argument of adaptation, where theorists fail to distinguish again between different levels of phenomena. Thus, the general adaptive rule that desert animals are all likely to have similar hues for camouflage does not mean that all desert animals are necessarily genetically related. The distinction au fond here is between long-term and proximate cause.<br />
<br />
Both papers and D.S. Wilson's own comments warn about what Aristotle first called "metaphysics." Indeed, the concept of cause and its four variations (formal, essential-substantive, efficient and teleological) were practically invented by Aristotle. But the one big point Wilson makes is the need for CONSILIENCE (I believe this term was first coined and made popular by Edward O. Wilson, the great ant-scientist at Harvard). Consilience is the test of an idea in light of its unity with the other sciences.<br />
<br />
I find consilience completely absent in business schools and relegated to the fringe in US and UK law schools. This is the main reason why business school and law school curricula appear superficial and are probably marked for obsolescence in the next decade or two. Given what D.S. Wilson says above, it is not difficult to see how the technical financial theology taught in US and European business schools could easily lead to numerous frauds and deceits in the financial industry. The desert is general financial-economic theory and its camouflaged animals are the bad human animals. For example, technical financial textbooks trot out the ideas that "arbitrage" and "net present value" are themselves self-justifying aims within financial theory. These little but significant facts tell us that consilience is utterly lacking in financial theory. <br />
<br />
The adjustments required for the benefit of the rest of society should be in the form of regulation, but here, if the game keepers turn a blind eye, the outcome at best will be small pockets of stability for the very rich in a sea of instantaneous instabilities for the rest and mostly poor. <br />
<br />
The long-term solution aims at consilience, but without the ancient Platonic ideals of social comity or the modern Bhutanese concept of 'happy economy', we have only ourselves to blame for failing to distinguish proximate from long term causes of misery and happiness. Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-55362476692229634612012-03-23T03:39:00.002-07:002012-03-23T03:43:00.093-07:00Instantaneous Symmetric Risk <=> Dodd Frank Avoidance SchemeI guess you could make a lot of money helping non-US banks avoid Dodd-Frank Act requirements. See: http://online.wsj.com/article/SB10001424052702303812904577295614224666918.html<br />
Deutsche Bank has always been rather "leveraged" and some estimates say it would have had to come up with between $20 to $40 billion in capital. Instead it gave up its bank holding status so it won't have any FDIC protection. But Title II Orderly Liquidation Authority will be used to liquidate any bank or non-bank posing a systemic risk to the US economy. So the interesting irony here is that by dropping its BHC status and thus lacking federal insurance, hasn't it become instantaneously a danger to the US economy and thus, a target for liquidation? Actually, if I were a benevolent dictator, I'd extract a bit more "taxable value" from Deutsche Bank for making such an obvious avoidance scheme and hold the threat of Title II over its head. Hmm. I doubt severely that the US Fed or the Treasury will consider this argument, but given the powers entrusted them under Title II of the Dodd-Frank Act, they should.Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0tag:blogger.com,1999:blog-7250158373875457591.post-64412494583769293492012-03-07T23:58:00.000-08:002012-03-07T23:58:43.665-08:00From War to Peace and Love Through the Morphism of a Good MassageThe Morphism of Peace and Love => A Good Massage<br />
<br />
Alexander, Machiavelli, Sun Tzu, Ghenghis Khan, Tsunetomo and lots of other male dominators from oh so many cultures and periods of history are scary because they USED other human beings as tools for their own ends and because they simply assumed War was inevitable, so they "reasoned," why not just win at whatever the cost which usually meant PRE-EMPTIVE strike. Whatever little bit of DNA-code that "naturally" allows or forces the human species to undertake vast wars against ITSELF should in my opinion be snipped, modified and reconstructed towards that other type of gene which seems to underlie the social-sexual behaviours of Bonobo's. Of course, those religions that support in-group versus out-group mentality through separatist rituals and mystical justification of repression, and thus, are MERELY another manifestation of the SPECIES-KILLER gene, would object violently to this proposal because it would be against their religion. Some enlightened masters figured this "they versus us" mentality is the source of all evil and tried with whatever they had to show others that peace is possible. But this attitude is extremely rare. For example, the founder of Aikido was a master of three martial arts and I studied this art for about 7 years in Honolulu with Yoshioka Sensei. In Aikido, the ethical ideal of no harm to others and yourself is embedded throughout the practice. So, I asked Sensei, "Sensei, you preach 'peace, peace, and love, love' but all we learn in our techniques is only how to kill the other. How can we achieve peace and love when this is all we learn?" His answer is remarkable, "You must learn to stop thinking 'kill, kill' and give your partner a good massage." Joseph Tanegahttp://www.blogger.com/profile/01556629991054337333noreply@blogger.com0