Changes

Line 1,546: Line 1,546:  
|}
 
|}
   −
A ''strait'' is the object that is specified by a stricture, in effect,
+
A ''strait'' is the object that is specified by a stricture, in effect, a certain set in a certain place of an otherwise yet to be specified relation.  Somewhat sketchily, the strait that corresponds to the stricture just given can be pictured in the following shape:
a certain set in a certain place of an otherwise yet to be specified
  −
relation.  Somewhat sketchily, the strait that corresponds to the
  −
stricture just given can be pictured in the following shape:
      
:{| cellpadding="8"
 
:{| cellpadding="8"
Line 1,593: Line 1,590:  
A quantity of information is a measure of constraint.  In this respect, a set of comparable strictures is ordered on account of the information that each one conveys, and a system of comparable straits is ordered in accord with the amount of information that it takes to pin each one of them down.  Strictures that are more constraining and straits that are more constrained are placed at higher levels of information than those that are less so, and entities that involve more information are said to have a greater ''complexity'' in comparison with those entities that involve less information, that are said to have a greater ''simplicity''.
 
A quantity of information is a measure of constraint.  In this respect, a set of comparable strictures is ordered on account of the information that each one conveys, and a system of comparable straits is ordered in accord with the amount of information that it takes to pin each one of them down.  Strictures that are more constraining and straits that are more constrained are placed at higher levels of information than those that are less so, and entities that involve more information are said to have a greater ''complexity'' in comparison with those entities that involve less information, that are said to have a greater ''simplicity''.
   −
<pre>
+
In order to create a concrete example, let me now institute a frame of discussion where the number of places in a relation is bounded at two, and where the variety of sets under active consideration is limited to the typical subsets <math>P\!</math> and <math>Q\!</math> of a universe <math>X.\!</math> Under these conditions, one can use the following sorts of expression as schematic strictures:
In order to create a concrete example, let me now institute a frame of
  −
discussion where the number of places in a relation is bounded at two,
  −
and where the variety of sets under active consideration is limited to
  −
the typical subsets P and Q of a universe X.  Under these conditions,
  −
one can use the following sorts of expression as schematic strictures:
     −
| "X" "P" "Q" ,
+
{| align="center" cellpadding="8" width="90%"
 
|
 
|
| "XxX", "XxP", "XxQ",
+
<math>\begin{array}{ccc}
|
+
  ^{\backprime\backprime} X ^{\prime\prime},
| "PxX", "PxP", "PxQ",
+
& ^{\backprime\backprime} P ^{\prime\prime},
|
+
& ^{\backprime\backprime} Q ^{\prime\prime},
| "QxX", "QxP", "QxQ".
+
\\
 +
  ^{\backprime\backprime} X \times X ^{\prime\prime},
 +
& ^{\backprime\backprime} X \times P ^{\prime\prime},
 +
& ^{\backprime\backprime} X \times Q ^{\prime\prime},
 +
\\
 +
  ^{\backprime\backprime} P \times X ^{\prime\prime},
 +
& ^{\backprime\backprime} P \times P ^{\prime\prime},
 +
& ^{\backprime\backprime} P \times Q ^{\prime\prime},
 +
\\
 +
  ^{\backprime\backprime} Q \times X ^{\prime\prime},
 +
& ^{\backprime\backprime} Q \times P ^{\prime\prime},
 +
& ^{\backprime\backprime} Q \times Q ^{\prime\prime}.
 +
\\
 +
\end{array}</math>
 +
|}
    +
<pre>
 
These strictures and their corresponding straits are stratified according
 
These strictures and their corresponding straits are stratified according
 
to their amounts of information, or their levels of constraint, as follows:
 
to their amounts of information, or their levels of constraint, as follows:
12,089

edits