12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems (view source)
Revision as of 03:24, 17 January 2009
, 03:24, 17 January 2009→1.3.10.6. Stretching Principles: mathematical markup
Nothing about the application of the stretching principle guarantees that the analogues it generates will be as useful as the material it works on. It is another question entirely whether the links that are forged in this fashion are equal in their strength and apposite in their bearing to the tried and true utilities of the original ties, but in principle they are always there.
Nothing about the application of the stretching principle guarantees that the analogues it generates will be as useful as the material it works on. It is another question entirely whether the links that are forged in this fashion are equal in their strength and apposite in their bearing to the tried and true utilities of the original ties, but in principle they are always there.
In particular, a connection <math>F : \underline\mathbb{B}^k \to \underline\mathbb{B}</math> can be understood to indicate a relation among boolean values, namely, the <math>k\!</math>-ary relation <math>F^{-1} (\underline{1}) \subseteq \underline\mathbb{B}^k.</math> If these <math>k\!</math> values are values of things in a universe <math>X,</math> that is, if one imagines each value in a <math>k\!</math>-tuple of values to be the functional image that results from evaluating an element of <math>X\!</math> under one of its possible aspects of value, then one has in mind the <math>k\!</math> propositions <math>f_j : X \to \underline\mathbb{B},</math> for <math>j = 1 ~\text{to}~ k,</math> in sum, one embodies the imagination <math>\underline{f} = (f_1, \ldots, f_k).</math> Together, the imagination <math>\underline{f} \in (X \to \underline\mathbb{B})^k</math> and the connection <math>F : \underline\mathbb{B}^k \to \underline\mathbb{B}</math> stretch each other to cover the universe <math>X,\!</math> yielding a new proposition <math>p : X \to \underline\mathbb{B}.</math>
<pre>
<pre>
To encapsulate the form of this general result, I define a composition that takes an imagination f = <f1, ..., fk> C (U �> B)k and a boolean connection F : Bk �> B and gives a proposition P : U �> B. Depending on the situation, specifically, according to whether many F and many f, a single F and many f, or many F and a single f are being considered, respectively, I refer to this P under one of three descriptions:
To encapsulate the form of this general result, I define a composition that takes an imagination f = <f1, ..., fk> C (U �> B)k and a boolean connection F : Bk �> B and gives a proposition P : U �> B. Depending on the situation, specifically, according to whether many F and many f, a single F and many f, or many F and a single f are being considered, respectively, I refer to this P under one of three descriptions:
