The curious structure of an MTN: Difference between revisions

no edit summary
No edit summary
No edit summary
Line 31: Line 31:


===The logical structure of legal documents===
===The logical structure of legal documents===
This leads us on to [[Semantic code project|one of our pet interests]]: why are legal documents so convoluted, and what can one do to correct it. For this we need to delve into the underlying logical structure of a contract.
Any legal statement, however [[Fish Principle|Fish]]ily articulated, boils down to a basic logical proposition, rather like software code, with propositions, conditions, logic gates, if/then statements, and so on, only we call them definitions, obligations, rights, discretions, options and so on.
Any logic gate — in legal language, an alternative, choice or option, increases the inherent complicatedness of a proposition.
Take the alternative statements about cricket and rugby balls. The variables at play are:
*round or oval ball
*red or white ball
*rugby or cricket
*test or one-day cricket
*rugby union or rugby league
{{bluetable|align=right|width=50}}
{{bluetable|align=right|width=50}}
{{cellwidth|100}}
| cellpadding="15"; style="vertical-align:top; width: 100%; border: solid thin gray; background:white;" |
<small>{{subtable|
<small>{{subtable|
Proposition 1:<br>
Proposition 1:<br>
Line 92: Line 80:
}}</small>
}}</small>
{{tablebottom}}
{{tablebottom}}
This leads us on to [[Semantic code project|one of our pet interests]]: why are legal documents so convoluted, and what can we do to correct it? For this we need to delve into the underlying logical structure of a contract.


Any legal statement, however [[Fish Principle|Fish]]ily articulated, boils down to a basic logical proposition, rather like software code, with propositions, conditions, logic gates, if/then statements, and so on, only we call them [[definitions]], [[obligation]]s, [[Rights cumulative|right]]s, [[discretion]]s, [[option]]s and so on.
Any “logic gate” that splits a proposition into alternatives increases the inherent complicatedness of a proposition.
Take the alternative statements about cricket and rugby balls in the panel at right. The variables at play are:
*round or oval ball
*red or white ball
*rugby or cricket
*test or one-day cricket
*rugby union or rugby league
There are ten variables here, but how you structure them can great more or less complicatedness.
{{sa}}
{{sa}}