Tuesday 25 September 2012

Lecture 1 post hoc notes - Legal Aspects of Corporate Finance

Lecture 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. 

Tuesday 11 September 2012

Extreme Philosophy: On the Limits of Self-Referential Truth: Why Paradox Has Been Binned By Naive Category Theory

1. 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.