MyWikiBiz

Changes

Directory:Jon Awbrey/Essays/Inquiry Driven Systems : Fields Of Inquiry (view source)

Revision as of 12:48, 11 September 2017

153,707 bytes added ,  12:48, 11 September 2017
import essay from <http://intersci.ss.uci.edu/wiki/index.php/Inquiry_Driven_Systems_:_Fields_Of_Inquiry> (LibreOffice export of a Word doc to a MediaWiki txt file)
'''Author: [[User:Jon Awbrey|Jon Awbrey]]'''

{| align="center" width="90%"
| align="left" |
The field denotes<br>
this body, and wise men<br>
call one who knows it<br>
the field-knower.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita'', 13.1
|}

==Introduction : Review and Transition==

{| align="center" width="90%"
| align="left" |
Know me as the field-knower<br>
in all fields &mdash; what I deem<br>
to be knowledge is knowledge<br>
of the field and its knower.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita,'' 13.2
|}

In this exposition the character of a logical expansion or analytic form is seen to correspond to a particular perspective on a universe of discourse, a specialized way of viewing its propositions and organizing their interpretations into comprehensible forms.

In this essay we study the use of analytic forms both in the ordinary expansions and the differential analysis of propositions. The process of logical expansion is formalized in greater detail and, to compensate for the extra level of abstraction, the resulting analytic forms are motivated on intuitive lines as variant perspectives or alternate ways of viewing the situations represented in propositions. By the end of this ascent we hope the reader finds it pleasing to contemplate the whole panorama of differential operations and group actions on a proposition as just so many facets of its differential enlargement which arise from its projection onto complementary perspectives.

===Proposition Fields===

{| align="center" width="90%"
| align="left" |
Hear from me in summary<br>
what the field is<br>
in its character and changes,<br>
and of the field-knower's power.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita,'' 13.3
|}

This section introduces the class of mathematical objects known as proposition fields. These are structures which arise in a natural way from the analysis of information systems, especially when it comes to systems with &ldquo;reflective&rdquo; intelligence, those which maintain and process components of information about their own states. A system of this kind has its dynamics best understood only if we interpret some of its dimensions of variation as reflecting information about other components of state, and further, only if we assume that the system itself &ldquo;interprets&rdquo; these variables as being informative in just this way.

A notion of intelligence has just been made to depend on a notion of interpretation. Both issues are to be side-stepped here, but we leave this note as a pointer to future work. To make these ideas explicit, we ought to say what it means for a system to be an interpreter of some qualities of its state as signs for other qualities of its state. But understanding how this is possible is tantamount to a major objective of this whole study, and can only be developed over the course of our investigation. It may not seem like good mathematical practice to let the clearing up of definitions fall to the end, but that is how it sometimes has to be.

A ''proposition field'' is a mapping from points to propositions, that is, it is a function having the general form <math>U \to (V \to \mathbb{B}).\!</math> We may visualize the proposition field as &ldquo;tagging&rdquo; each point <math>x\!</math> in one universe of discourse <math>U\!</math> with a determinate proposition <math>f_x : V \to \mathbb{B}~\!</math> in another universe of discourse <math>V.\!</math>

Under the general type of a proposition field there are numerous special cases which frequently arise. Common species of proposition fields are listed in Table&nbsp;1, which displays next to the informal name of each an indication how its type is specialized.

<br>

{| align="center" cellpadding="6" style="border-spacing:0; text-align:center; width:40%"
|+ style="height:30px" | <math>\text{Table 1. Varieties of Proposition Fields}\!</math>

|- style="height:30px; background:ghostwhite"
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none" | <math>\text{Name}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000" | <math>\text{Type}\!</math>

|-
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\text{Field}\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>U \to (V \to \mathbb{B})\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\text{Fold}\!</math>
| style="border:0.75pt solid #000000;" | <math>U \to (U \to \mathbb{B})\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\text{File}\!</math>
| style="border:0.75pt solid #000000;" | <math>U \to (U^\prime \to \mathbb{B})\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\text{Flow}\!</math>
| style="border:0.75pt solid #000000;" | <math>U \to (\mathrm{d}U \to \mathbb{B})\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\text{Fray}\!</math>
| style="border:0.75pt solid #000000;" | <math>\mathrm{d}U \to (U \to \mathbb{B})\!</math>
|}

<br>

In the midst of a particular application we often find ourselves taking a definite proposition <math>F\!</math> of a certain complexity and deriving from it a proposition field <math>\boldsymbol\iota F.\!</math> The proposition field <math>\boldsymbol\iota F\!</math> may be viewed as setting forth one of the many ways of comprehending <math>F\!</math> as an organized collection of simpler propositions, namely, by associating a unique proposition on a simpler space with each point of another simpler space.

The proposition <math>F,\!</math> in turn, often arises as a tacit extension <math>\boldsymbol\varepsilon f\!</math> or a differential enlargement <math>\mathrm{E}f\!</math> of a prior proposition <math>f.\!</math> Table&nbsp;2 exhibits typical settings in which proposition fields are developed and applied, taking into consideration the kinds of fields noted above. In each case, composing the whole sequence of operations found in a given row of the Table, we define a transformation <math>T,\!</math> parameterized by the subscripted argument of the last evaluation step, which takes us from propositions in one universe of discourse to propositions in that same or other related universe.

<br>

{| align="center" cellpadding="6" style="border-spacing:0; text-align:center; width:75%"
|+ style="height:30px" | <math>\text{Table 2. Development and Application of Proposition Fields}\!</math>

|- style="height:30px; background:ghostwhite"
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\text{Origin}~ f\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\to~\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\text{Extension}~ F~\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\to~\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\text{Factorization}~ \Gamma\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\to~\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>\text{Evaluation}~ g\!</math>

|-
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f : U \to \mathbb{B}\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\varepsilon\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\varepsilon f : U \times V \to \mathbb{B}\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\iota_1\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\Phi f : U \to (V \to \mathbb{B})\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\varphi_u\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>T_u f : V \to \mathbb{B}\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f : U \to \mathbb{B}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\varepsilon\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\varepsilon f : U \times U \to \mathbb{B}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\iota_1\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\Phi f : U \to (U \to \mathbb{B})\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\varphi_u\!</math>
| style="border:0.75pt solid #000000;" | <math>T_u f : U \to \mathbb{B}\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f : U \to \mathbb{B}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\varepsilon\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\varepsilon f : U \times U^\prime \to \mathbb{B}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\iota_1\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\Phi f : U \to (U^\prime \to \mathbb{B})\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\varphi_u\!</math>
| style="border:0.75pt solid #000000;" | <math>T_u f : U^\prime \to \mathbb{B}\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f : U \to \mathbb{B}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{E}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{E}f : U \times \mathrm{d}U \to \mathbb{B}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\iota_1\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\Phi f : U \to (\mathrm{d}U \to \mathbb{B})\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\varphi_u\!</math>
| style="border:0.75pt solid #000000;" | <math>T_u f : \mathrm{d}U \to \mathbb{B}\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f : U \to \mathbb{B}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{E}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{E}f : U \times \mathrm{d}U \to \mathbb{B}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\iota_2\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\Psi f : \mathrm{d}U \to (U \to \mathbb{B})\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\boldsymbol\varphi_v\!</math>
| style="border:0.75pt solid #000000;" | <math>T_v f : U \to \mathbb{B}\!</math>
|}

<br>

===Analytic Expansions===

{| align="center" width="90%"
| align="left" |
Ancient seers have sung of this<br>
in many ways, with varied meters<br>
and with aphorisms on the infinite spirit<br>
laced with logical arguments.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita,'' 13.4
|}

In &ldquo;Tools and Views&rdquo; we considered the analytic expansions of propositions with respect to various degrees of interpretation of their variables. The significance of these expansions for logical understanding is that they factor the process of interpretation between two stages, in application giving two moments to the clarification of a problematic proposition. In type, an expansion corresponds to an isomorphism,

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
(\mathbb{B}^n \to \mathbb{B}) & \cong &
(\mathbb{B}^j \times \mathbb{B}^{n-j} \to \mathbb{B})) & \cong &
(\mathbb{B}^j \to (\mathbb{B}^{n-j} \to \mathbb{B})),
\end{matrix}</math>
|}

in which propositions <math>F : \mathbb{B}^n \to \mathbb{B}\!</math> are reconsidered as &ldquo;proposition fields&rdquo; <math>\boldsymbol\iota F : \mathbb{B}^j \to (\mathbb{B}^k \to \mathbb{B}),\!</math> where <math>n = j + k.\!</math> This gives rise to &ldquo;n choose j&rdquo; renditions of the isomorphism <math>\boldsymbol\iota\!</math> for each rendering of the original alphabet into a <math>j\!</math>-set and a <math>k\!</math>-set.

In the conception of an individual analytic form the set of variables is divided into two parts and the sense of each proposition is apportioned accordingly. The initial set of variables is used to sweep out a range of partial interpretations and thus to set the context of analysis. The remaining set is left uninterpreted and kept embodied in propositional coefficients which are associated with the &ldquo;loci&rdquo; (the points or topics) of this conceptual framework.

In appearance, the expression of the analytic form is made up of coefficient propositions on a subset of the variables taking their places next to partial interpretations over the complementary set. This may seem like a purely superficial change, since the analytic expansion preserves logical equivalence with the original proposition, but the good of a particular form for a particular situation lies precisely in the facility of its appearance being unaffected by its logical substance. Its choice and use are matters of pragmatic relevance and suitability to a purpose. This means that the worth of a particular form for a problematic situation can only be judged after the fact of its being applied, by the contribution it makes toward clarifying an opportune constellation of propositions, those which comprehend the situation and define the problem.

If we need to formalize the process, each isomorphism <math>\boldsymbol\iota\!</math> is implicitly indexed by a subset <math>U\!</math> of the original alphabet <math>X,\!</math> but most often we consider only a single expansion at a time and can safely let context determine the sense.

Let <math>X = \{ x_1, \ldots, x_m \}\!</math> be our principal set of logical variables, and let <math>X\!</math> be divided arbitrarily into a pair of subsets, which we may assume without loss of generality to form an initial segment <math>U = \{ x_1, \ldots, x_j \}\!</math> and a final segment <math>V = \{ x_{j+1}, \ldots, x_m \},\!</math> of cardinalities <math>j\!</math> and <math>k,\!</math> respectively, where <math>m = j + k.\!</math> Corresponding to the choice of <math>U\!</math> (which determines the complementary set <math>V\!</math>) there are a pair of isomorphisms,

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
\boldsymbol\iota_U : (X \to \mathbb{B}) & = & (U \times V \to \mathbb{B}) & \to & (U \to (V \to \mathbb{B})),
\\
\boldsymbol\iota_V : (X \to \mathbb{B}) & = & (U \times V \to \mathbb{B}) & \to & (V \to (U \to \mathbb{B})),
\end{matrix}</math>
|}

whose employments we describe by saying that the proposition <math>F\!</math> can be factored into the proposition fields <math>\boldsymbol\iota_U F\!</math> and <math>\boldsymbol\iota_V F,\!</math> respectively. These factorizations are commonly expressed by means of the associated analytic forms, which determine a pair of logical expansions for each proposition <math>F\!</math> in the universe <math>X^\bullet,\!</math>

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
F(x) & = & F(u, v) & = & \sum_u \boldsymbol\varphi_u F(v) \cdot u,
\\
F(x) & = & F(u, v) & = & \sum_v \boldsymbol\varphi_v F(u) \cdot v.
\end{matrix}</math>
|}

===Elementary Examples===

{| align="center" width="90%"
| align="left" |
The field contains the great elements,<br>
individuality, understanding,<br>
unmanifest nature, the eleven senses,<br>
and the five sense realms.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita,'' 13.5
|}

A few examples of analytic expansions are appropriate here. The following selection exhibits the concepts and notation we need from previous discussions, indicates how we intend to adapt these materials to the present purpose, and provides a set of building blocks for future constructions.

To begin with a minimal example, the conjunction <math>J(x, y) = x \cdot y\!</math> yields the partial expansion with respect to <math>x,\!</math>

{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{lrrrr}
J(x, y)
& = & J(1, y) \cdot x
& + & J(0, y) \cdot (x),
\\
& = & \boldsymbol\varphi_x J(y) \cdot x
& + & \boldsymbol\varphi_{(x)} J(y) \cdot (x),
\\
& = & y \cdot x
& + & 0 \cdot (x),
\end{array}</math>
|}

the partial expansion with respect to <math>y,\!</math>

{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{lrrrr}
J(x, y)
& = & J(x, 1) \cdot y
& + & J(x, 0) \cdot (y),
\\
& = & \boldsymbol\varphi_y J(x) \cdot y
& + & \boldsymbol\varphi_{(y)} J(x) \cdot (y),
\\
& = & x \cdot y
& + & 0 \cdot (y),
\end{array}</math>
|}

and the complete expansion with respect to <math>x\!</math> and <math>y,\!</math>

{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{l*{8}{r}}
J(x, y)
& = & J(1, 1) \cdot xy
& + & J(1, 0) \cdot x(y)
& + & J(0, 1) \cdot (x)y
& + & J(0, 0) \cdot (x)(y),
\\
& = & \boldsymbol\varphi_{xy} J \cdot xy
& + & \boldsymbol\varphi_{x(y)} J \cdot x(y)
& + & \boldsymbol\varphi_{(x)y} J \cdot (x)y
& + & \boldsymbol\varphi_{(x)(y)} J \cdot (x)(y),
\\
& = & 1 \cdot xy
& + & 0 \cdot x(y)
& + & 0 \cdot (x)y
& + & 0 \cdot (x)(y).
\end{array}</math>
|}

Notice how the results of the coefficient extraction (partial interpretation or partial evaluation) operators <math>\boldsymbol\varphi_\alpha,\!</math> where the index <math>\alpha\!</math> refers to a singular proposition of the relevant category of discourse, could almost be defined in terms of the analytic form, namely, as the propositions occupying the designated places of the expansion. This becomes a real possibility if we have an independent way of developing the analytic form in a constructive or computational setting.

Finally, the reason we are taking such great pains to define all entities in terms of operators on names of expressions is because we wish to anticipate those circumstances of computation when we fail to have the full expressions available all the time, for instance, to evaluate by performing substitutions on.

Figure&nbsp;3 uses the &ldquo;bundle of boxes&rdquo; style of venn diagram to illustrate the partial expansions of the conjunction <math>J(x, y).\!</math>

{| align="center" border="0" cellspacing="10" style="text-align:center; width:100%"
| [[Image:Fields Of Inquiry 1.jpg|center|400px]]
|-
| height="20px" valign="top" | <math>\text{Figure 3. Factorizations of Conjunction}\!</math>
|}

As a slightly more complex example, consider the boolean function determined by the equality or biconditional <math>I(x, y) = ((x, y)).\!</math> This affords the partial expansion with respect to <math>x,\!</math>

{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{lrrrr}
I(x, y)
& = & y \cdot x
& + & (y) \cdot (x),
\end{array}</math>
|}

the partial expansion with respect to <math>y,\!</math>

{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{lrrrr}
I(x, y)
& = & x \cdot y
& + & (x) \cdot (y),
\end{array}</math>
|}

and the complete expansion with respect to <math>x\!</math> and <math>y,\!</math>

{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{l*{8}{r}}
I(x, y)
& = & 1 \cdot xy
& + & 0 \cdot x(y)
& + & 0 \cdot (x)y
& + & 1 \cdot (x)(y).
\end{array}</math>
|}

Figure&nbsp;4 illustrates the partial expansions of the equality <math>I(x, y).\!</math>

{| align="center" border="0" cellspacing="10" style="text-align:center; width:100%"
| [[Image:Fields Of Inquiry 2.jpg|center|400px]]
|-
| height="20px" valign="top" | <math>\text{Figure 4. Factorizations of Equality}\!</math>
|}

For our last example, the implication or conditional <math>K(x, y) = (x(y))~\!</math> results in the partial expansion with respect to <math>x,\!</math>

{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{lrrrr}
K(x, y)
& = & y \cdot x
& + & 1 \cdot (x),
\end{array}</math>
|}

the partial expansion with respect to <math>y,\!</math>

{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{lrrrr}
K(x, y)
& = & 1 \cdot y
& + & (x) \cdot (y),
\end{array}</math>
|}

and the complete expansion with respect to <math>x\!</math> and <math>y,\!</math>

{| align="center" cellpadding="8" width="90%"
|
<math>\begin{array}{l*{8}{r}}
K(x, y)
& = & 1 \cdot xy
& + & 0 \cdot x(y)
& + & 1 \cdot (x)y
& + & 1 \cdot (x)(y).
\end{array}</math>
|}

Figure&nbsp;5 illustrates the partial expansions of the implication <math>K(x, y).\!</math>

{| align="center" border="0" cellspacing="10" style="text-align:center; width:100%"
| [[Image:Fields Of Inquiry 3.ISW.jpg|center|400px]]
|-
| height="20px" valign="top" | <math>\text{Figure 5. Factorizations of Implication}\!</math>
|}

===Differential Enlargements===

{| align="center" width="90%"
| align="left" |
Longing, hatred, happiness, suffering,<br>
bodily form, consciousness, resolve,<br>
thus is this field with its changes<br>
defined in summary.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita,'' 13.6
|}

Another important operation treated in the Tools and Views paper was the ''differential enlargement'' of propositions. This a mapping of the type,

{| align="center" cellpadding="8"
| <math>\mathrm{E} : (U \to \mathbb{B}) \to (U \times \mathrm{d}U \to \mathbb{B}),\!</math>
|}

whose action on any proposition <math>f : U \to \mathbb{B}\!</math> is defined by an equation of the form,

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
\mathrm{E}f(x_1, \ldots, x_n, \mathrm{d}x_1, \ldots, \mathrm{d}x_n)
& = & f(x_1 + \mathrm{d}x_1, \ldots, x_n + \mathrm{d}x_n).
\end{matrix}</math>
|}

In the effort to comprehend what the differential enlargement of a proposition is telling us about the original proposition we usually parse it as a proposition field in either one of two obvious ways. If we factor the ordinary component out to the front we obtain the ''flow'',

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
\Phi f & = & \boldsymbol\iota_U \mathrm{E}f : U \to (\mathrm{d}U \to \mathbb{B}),
\end{matrix}</math>
|}

If we factor the differential component out to the front we obtain ''fray'',

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
\Psi f & = & \boldsymbol\iota_{\mathrm{d}U} \mathrm{E}f : \mathrm{d}U \to (U \to \mathbb{B}).
\end{matrix}</math>
|}

Evaluating the flow at points of the original universe, we discover the ''intentional attraction'' or ''influence'' of <math>f\!</math> at each point,

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
T_u f
& = & \boldsymbol\varphi_u \Phi f
& = & \boldsymbol\varphi_u \boldsymbol\iota_U \mathrm{E}f : \mathrm{d}U \to \mathbb{B}.
\end{matrix}</math>
|}

Evaluating the fray along directions of the differential universe, we find the ''differential action'' or ''diffraction'' of <math>f\!</math> in each direction,

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
T_v f
& = & \boldsymbol\varphi_v \Psi f
& = & \boldsymbol\varphi_v \boldsymbol\iota_{\mathrm{d}U} \mathrm{E}f : U \to \mathbb{B}.
\end{matrix}</math>
|}

''Diffraction'' = differential factorization (or differential fractionation):

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
(\mathbb{B}^n \times \mathbb{D}^n \to \mathbb{B})
& \cong &
(\mathbb{D}^n \to (\mathbb{B}^n \to \mathbb{B}).
\end{matrix}</math>
|}

Between the twin perspectives afforded by these two <math>\boldsymbol\iota\!</math>'s we have what we need to synthesize a stereotactic grasp of the situation represented in a proposition.

==Differential Propositions and Transformation Groups==

{| align="center" width="90%"
| align="left" |
Its hands and feet reach everywhere;<br>
its head and face see in every direction;<br>
hearing everything, it remains<br>
in the world, enveloping all.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita,'' 13.13
|}

In this section we examine a number of relationships between differential operators and higher order propositions, together with the actions and characters of related transformation groups on the space of propositions.

===Differential Expansions===

{| align="center" width="90%"
| align="left" |
Lacking all the sense organs,<br>
it shines in their qualities;<br>
unattached, it supports everything;<br>
without qualities, it enjoys them.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita,'' 13.14
|}

On analogy with usage in ordinary calculus, we introduce the following terminology. Given two sets of logical features <math>X \subseteq Y,\!</math> say

{| align="center" cellpadding="8"
| <math>X = \{ x_1, \ldots, x_n \}\!</math> and <math>Y = \{ x_1, \ldots, x_m \},\!</math>
|}

a proposition <math>F : Y \to \mathbb{B}\!</math> is called an ''infinitesimal'' with respect to the universe <math>X,\!</math> written <math>F \in \Upsilon(X),\!</math> if <math>F\!</math> is false outside the region of the logical disjunction <math>((x_1)( \ldots )(x_n)),\!</math> in other words, if <math>F = 0\!</math> at the origin <math>(x_1)( \ldots )(x_n)\!</math> of <math>X.\!</math>

<br>

{| align="center" border="0" cellspacing="10" style="text-align:center; width:100%"
| [[Image:Fields Of Inquiry 4.jpg|center|420px]]
|-
| height="20px" valign="top" | <math>\text{Figure 6. Enlargement of Conjunction}\!</math>
|}

<br>

{| align="center" border="0" cellspacing="10" style="text-align:center; width:100%"
| [[Image:Fields Of Inquiry 5.jpg|center|420px]]
|-
| height="20px" valign="top" | <math>\text{Figure 7. Diffraction of Conjunction}\!</math>
|}

<br>

{| align="center" border="0" cellspacing="10" style="text-align:center; width:100%"
| [[Image:Fields Of Inquiry 6.jpg|center|420px]]
|-
| height="20px" valign="top" | <math>\text{Figure 8. Enlargement of Equality}\!</math>
|}

<br>

{| align="center" border="0" cellspacing="10" style="text-align:center; width:100%"
| [[Image:Fields Of Inquiry 7.jpg|center|420px]]
|-
| height="20px" valign="top" | <math>\text{Figure 9. Diffraction of Equality}\!</math>
|}

<br>

{| align="center" border="0" cellspacing="10" style="text-align:center; width:100%"
| [[Image:Fields Of Inquiry 8.jpg|center|420px]]
|-
| height="20px" valign="top" | <math>\text{Figure 10. Enlargement of Implication}\!</math>
|}

<br>

{| align="center" border="0" cellspacing="10" style="text-align:center; width:100%"
| [[Image:Fields Of Inquiry 9.jpg|center|420px]]
|-
| height="20px" valign="top" | <math>\text{Figure 11. Diffraction of Implication}\!</math>
|}

<br>

===Partial Evaluations===

{| align="center" width="90%"
| align="left" |
Outside and within all creatures,<br>
inanimate but still animate,<br>
too subtle to be known,<br>
it is far distant, yet near.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita,'' 13.15
|}

<br>

{| align="center" cellpadding="6" style="border-spacing:0; text-align:center; width:75%"
|+ style="height:30px" | <math>\text{Table 12.} ~ \mathrm{E}f ~ \text{Arranged by Principal Features}\!</math>

|- style="height:30px; background:ghostwhite"
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | &nbsp;
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>f\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{E}f\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{E}f\!</math> @ <br> <math>x \cdot y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{E}f\!</math> @ <br> <math>x \cdot (y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{E}f\!</math> @ <br> <math>(x) \cdot y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{E}f\!</math> @ <br> <math>(x)(y)\!</math>

|-
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>()\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>()\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>0\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x)(y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x))((y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(\mathrm{d}x)(\mathrm{d}y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_2\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x) y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x)) (y,\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x)(\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_4\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x (y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x,\mathrm{d}x) ((y,\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x)(\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_8\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x,\mathrm{d}x) (y,\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x)(\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_3\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(\mathrm{d}x)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{12}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x,\mathrm{d}x)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}x\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_6\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x, y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x), (y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x, \mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x, \mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_9\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x, y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(((x,\mathrm{d}x), (y,\mathrm{d}y)))~\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x, \mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>((\mathrm{d}x, \mathrm{d}y))\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_5\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(\mathrm{d}y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{10}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(y,\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}y\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_7\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x) (y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x) \mathrm{d}y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x (\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(\mathrm{d}x ~ \mathrm{d}y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{11}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x (y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x) ((y,\mathrm{d}y)))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x) \mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x ~ \mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(\mathrm{d}x (\mathrm{d}y))\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{13}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x) y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(((x,\mathrm{d}x)) (y,\mathrm{d}y))~\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x (\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x ~ \mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>((\mathrm{d}x) \mathrm{d}y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{14}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x)(y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(((x,\mathrm{d}x))((y,\mathrm{d}y)))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x ~ \mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x (\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x) \mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{15}\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(())\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(())\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>1\!</math>
|}

<br>

===Group Actions===

{| align="center" width="90%"
| align="left" |
Undivided, it seems divided<br>
among creatures;<br>
understood as their sustainer,<br>
it devours and creates them.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita,'' 13.16
|}

<br>

{| align="center" cellpadding="6" style="border-spacing:0; text-align:center; width:75%"
|+ style="height:30px" | <math>\text{Table 13.} ~ \mathrm{E}f ~ \text{Arranged by Differential Features}\!</math>

|- style="height:30px; background:ghostwhite"
| style="border-top:0.75pt solid #000000; border-bottom:none; border-left:0.75pt solid #000000; border-right:none;" | &nbsp;
| style="border-top:0.75pt solid #000000; border-bottom:none; border-left:0.75pt solid #000000; border-right:none;" | <math>f\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:none; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{E}f\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:none; border-left:0.75pt solid #000000; border-right:none;" | <math>T_{11}f\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:none; border-left:0.75pt solid #000000; border-right:none;" | <math>T_{10}f\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:none; border-left:0.75pt solid #000000; border-right:none;" | <math>T_{01}f\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:none; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>T_{00}f\!</math>

|- style="background:ghostwhite"
| style="border-top:none; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | &nbsp;
| style="border-top:none; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>x = x_1\!</math> <br> <math>y = x_2\!</math>
| style="border-top:none; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{sub}_i [(x_i + \mathrm{d}x_i)/x_i] F\!</math>
| style="border-top:none; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{E}f\!</math> @ <br> <math>\mathrm{d}x \cdot \mathrm{d}y\!</math>
| style="border-top:none; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{E}f\!</math> @ <br> <math>\mathrm{d}x \cdot (\mathrm{d}y)\!</math>
| style="border-top:none; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{E}f\!</math> @ <br> <math>(\mathrm{d}x) \cdot \mathrm{d}y\!</math>
| style="border-top:none; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{E}f\!</math> @ <br> <math>(\mathrm{d}x)(\mathrm{d}y)\!</math>

|-
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>()\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>()\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>()\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>()\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>()\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>()\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x)(y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x))((y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x (y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x) y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(x)(y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_2\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x) y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x))(y,\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x (y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x)(y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(x) y\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_4\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x (y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x,\mathrm{d}x)((y,\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x) y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x)(y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>x (y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_8\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x,\mathrm{d}x)(y,\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x)(y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x) y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x (y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>x y\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_3\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(x)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{12}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x,\mathrm{d}x)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>x\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_6\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x, y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x), (y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x, y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x, y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x, y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(x, y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_9\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x, y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(((x,\mathrm{d}x), (y,\mathrm{d}y)))~\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x, y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x, y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x, y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>((x, y))\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_5\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{10}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(y,\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>y\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_7\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x)(y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x)(y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x) y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x (y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(x y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{11}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x (y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x,\mathrm{d}x)((y,\mathrm{d}y)))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x) y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x)(y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(x (y))\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{13}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x) y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(((x,\mathrm{d}x))(y,\mathrm{d}y))~\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x (y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x)(y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>((x) y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{14}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x)(y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(((x,\mathrm{d}x))((y,\mathrm{d}y)))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x (y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x) y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>((x)(y))\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{15}\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(())\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(())\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(())\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(())\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(())\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(())\!</math>

|-
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" align="left" colspan="3" | <math>\text{Total Number of Fixed Points:}\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>4\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>4\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>4\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>16\!</math>
|}

<br>

===Derivations===

{| align="center" width="90%"
| align="left" |
The light of lights<br>
beyond darkness it is called;<br>
knowledge attained by knowledge,<br>
fixed in the heart of everyone.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita,'' 13.17
|}

<br>

{| align="center" cellpadding="6" style="border-spacing:0; text-align:center; width:75%"
|+ style="height:30px" | <math>\text{Table 14.} ~ \mathrm{D}f ~ \text{Arranged by Principal Features}~\!</math>

|- style="background:ghostwhite"
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.75pt solid #000000; border-right:none;" | &nbsp;
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{D}f = f + \mathrm{E}f\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{D}f~\!</math> @ <br> <math>x \cdot y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{D}f~\!</math> @ <br> <math>x \cdot (y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{D}f~\!</math> @ <br> <math>(x) \cdot y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:2.25pt double #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{D}f~\!</math> @ <br> <math>(x)(y)\!</math>

|-
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>() + ()\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>0\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x)(y) + ((x,\mathrm{d}x))((y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_2\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x) y + ((x,\mathrm{d}x)) (y,\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_4\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x (y) + (x,\mathrm{d}x) ((y,\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_8\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x y + (x,\mathrm{d}x) (y,\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_3\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x) + ((x,\mathrm{d}x))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}x\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{12}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>x + (x,\mathrm{d}x)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}x\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_6\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x, y) + ((x,\mathrm{d}x), (y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_9\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x, y)) + (((x,\mathrm{d}x), (y,\mathrm{d}y)))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(\mathrm{d}x, \mathrm{d}y)\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_5\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(y) + ((y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}y\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{10}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>y + (y,\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}y\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_7\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x y) + ((x,\mathrm{d}x) (y,\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{11}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(x (y)) + ((x,\mathrm{d}x) ((y,\mathrm{d}y)))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{13}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x) y) + (((x,\mathrm{d}x)) (y,\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:0.25pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>

|-
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{14}\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>((x)(y)) + (((x,\mathrm{d}x))((y,\mathrm{d}y)))\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x ~ \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>\mathrm{d}x (\mathrm{d}y)\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(\mathrm{d}x) \mathrm{d}y\!</math>
| style="border-top:0.25pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>((\mathrm{d}x)(\mathrm{d}y))\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{15}\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>(()) + (())\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.25pt solid #000000; border-right:0.75pt solid #000000;" | <math>0\!</math>
|}

<br>

==Generalized Projections : Analytic Operators and Fields of Inquiry==

{| align="center" width="90%"
| align="left" |
Arjuna, know that anything<br>
inanimate or alive with motion<br>
is born from the union<br>
of the field and its knower.
| align="right" valign="bottom" | &mdash; ''Bhagavad Gita,'' 13.26
|}

Projections, Dissections, Distortions, Perspectives (Outlooks, Opinions, Local Views),

Partial Derivatives, Fields of Inquiry, Surveys, Test Fields, Textures, Cultures, Biases, Warps.

Relation to questions of value-free inquiry and inquiry into values, to what extent these projects are possible or approachable from the stance of a concrete interpreter.

Analytic operators or derivations, all of type <math>q : (\mathbb{B}^n \to \mathbb{B}) \to (\mathbb{B}^n \to \mathbb{B}).\!</math> Includes projections and partial derivatives. Equivalence to ''proposition fields'', ''question fields'', ''fields of inquiry'', as follows:

{| align="center" cellpadding="8"
| <math>Q : \mathbb{B}^n \to (F : (\mathbb{B}^n \to \mathbb{B}) \to \mathbb{B}).\!</math>
|}

Note relation between operator symmetry and dimension reduction. When the question field <math>Q\!</math> is based on a symmetric operation, <math>f(x, y) = f(y, x),\!</math> then the corresponding analytic operator <math>q\!</math> may be viewed under a dimension-reducing type as <math>q : (\mathbb{B}^n \to \mathbb{B}) \to (\mathbb{B}^{n-1} \to \mathbb{B}).\!</math>

<br>

{| align="center" cellpadding="6" style="border-spacing:0; text-align:center; width:75%"
|+ style="height:30px" | <math>\text{Table 15.} ~ \text{Fields of Inquiry :} ~ G(\varphi R, \varphi^\prime R)\!</math>

|- style="height:40px; background:ghostwhite"
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>\theta f_{xy1}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\theta f_{xy0}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>\theta f_{1yz}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\theta f_{0yz}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>\theta f_{x1z}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>\theta f_{x0z}\!</math>

|-
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>(z)\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>(x)(y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>((x)(y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y, z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>(x, z)\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_2\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>(x) y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>((x) y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>((y, z))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(x, z)\!</math>
| style="border:0.75pt solid #000000;" | <math>(z)\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_4\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>x (y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x (y))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(y, z)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border:0.75pt solid #000000;" | <math>((x, z))\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_8\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>x y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>((y, z))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>((x, z))\!</math>
| style="border:0.75pt solid #000000;" | <math>(z)\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_3\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>x\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(x, z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>(x, z)\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{12}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>x\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>((x, z))\!</math>
| style="border:0.75pt solid #000000;" | <math>((x, z))\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_6\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>(x, y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>((x, y))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(y, z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>((y, z))\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(x, z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>((x, z))\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_9\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>((x, y))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x, y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>((y, z))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y, z)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>((x, z))\!</math>
| style="border:0.75pt solid #000000;" | <math>(x, z)\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_5\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(y, z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y, z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>z\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{10}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>((y, z))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>((y, z))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border:0.75pt solid #000000;" | <math>(z)\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_7\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>(x y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>x y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(y, z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>(x, z)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>z\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{11}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>(x (y))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>x (y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>((y, z))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border:0.75pt solid #000000;" | <math>(x, z)\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{13}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>((x) y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x) y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y, z)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>((x, z))\!</math>
| style="border:0.75pt solid #000000;" | <math>z\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{14}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>((x)(y))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x)(y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>((y, z))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border:0.75pt solid #000000;" | <math>((x, z))\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{15}\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:2.25pt double #000000; border-right:none;" | <math>1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:1.5pt solid #000000; border-right:none;" | <math>z\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>z\!</math>
|}

<br>

==References==

<br>

[Bhag] ''The Bhagavad-Gita : Krishna's Counsel in Time of War'', B.S. Miller (trans.), Bantam Books, New York, NY, 1986.

<br>

==Fragments==

'''Note.''' This part needs work. It looks like I was trying to get <math>\frac{\mathrm{d}x}{\mathrm{d}y}\!</math> and <math>\frac{\mathrm{d}y}{\mathrm{d}x}\!</math> relative to the region where <math>f\!</math> is true. But the fragmentary notes I have found so far are bedeviled by a confused mix of conceptual, notational, and typographical errors. In ordinary real-value calculus ''implicit differentiation'' of <math>f(x, y) = 1\!</math> gives the following formulas:

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
{\mathrm{d}_x y}
= \frac{\mathrm{d}y}{\mathrm{d}x}
= -\frac{f_x}{f_y}
= -\frac{\partial_x f}{\partial_y f}
= -\frac{{\partial f}/{\partial x}}{{\partial f}/{\partial y}}
& \qquad &
{\mathrm{d}_y x}
= \frac{\mathrm{d}x}{\mathrm{d}y}
= -\frac{f_y}{f_x}
= -\frac{\partial_y f}{\partial_x f}
= -\frac{{\partial f}/{\partial y}}{{\partial f}/{\partial x}}
\end{matrix}\!</math>
|}

The minus signs can be dropped in the boolean context but taking quotients is still a problem. If anything analogous to the preceding formulas does go through, it looks like I can correct the notation in the last two column heads to give the following table:

<br>

{| align="center" cellpadding="6" style="border-spacing:0; text-align:center; width:75%"
|+ style="height:30px" | <math>\text{Table A. Partial and Relative Differentials}\!</math>

|- style="height:60px; background:ghostwhite"
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none; " | &nbsp;
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none; " | <math>f\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none; " | <math>\frac{\partial f}{\partial x}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none; " | <math>\frac{\partial f}{\partial y}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none; " |
<math>\begin{matrix}
\mathrm{d}f =
\\[2pt]
\partial_x f \cdot \mathrm{d}x ~+~ \partial_y f \cdot \mathrm{d}y
\end{matrix}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:none; " |
<math>\begin{matrix}
{\mathrm{d}_x y}|f =
\\[2pt]
{\partial_x f}/{\partial_y f}
\end{matrix}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:1.5pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000; " |
<math>\begin{matrix}
{\mathrm{d}_y x}|f =
\\[2pt]
{\partial_y f}/{\partial_x f}
\end{matrix}\!</math>

|-
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>()\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0/0\!</math>
| style="border-top:2.25pt double #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>0/0\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x)(y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y) ~ \mathrm{d}x ~+~ (x) ~ \mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y)/(x)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>(x)/(y)\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_2\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x) y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y ~ \mathrm{d}x ~+~ (x) ~ \mathrm{d}y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y/(x)\!</math>
| style="border:0.75pt solid #000000;" | <math>(x)/y\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_4\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>x (y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>x\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y) ~ \mathrm{d}x ~+~ x ~ \mathrm{d}y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y)/x\!</math>
| style="border:0.75pt solid #000000;" | <math>x/(y)\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_8\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>x y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>x\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y ~ \mathrm{d}x ~+~ x ~ \mathrm{d}y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y/x\!</math>
| style="border:0.75pt solid #000000;" | <math>x/y\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_3\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{d}x\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1/0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>0\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{12}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>x\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{d}x\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1/0\!</math>
| style="border:0.75pt solid #000000;" | <math>0\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_6\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x, y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{d}x + \mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>1\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_9\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>((x, y))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{d}x + \mathrm{d}y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border:0.75pt solid #000000;" | <math>1\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_5\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>1/0\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{10}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>1\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>\mathrm{d}y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border:0.75pt solid #000000;" | <math>1/0\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_7\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x y)\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>x\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y ~ \mathrm{d}x ~+~ x ~ \mathrm{d}y\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y/x\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>x/y\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{11}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x (y))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>x\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y) ~ \mathrm{d}x ~+~ x ~ \mathrm{d}y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y)/x\!</math>
| style="border:0.75pt solid #000000;" | <math>x/(y)\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{13}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>((x) y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y ~ \mathrm{d}x ~+~ (x) ~ \mathrm{d}y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>y/(x)\!</math>
| style="border:0.75pt solid #000000;" | <math>(x)/y\!</math>

|-
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{14}\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>((x)(y))\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(x)\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y) ~ \mathrm{d}x ~+~ (x) ~ \mathrm{d}y\!</math>
| style="border-top:0.75pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(y)/(x)\!</math>
| style="border:0.75pt solid #000000;" | <math>(x)/(y)\!</math>

|-
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>f_{15}\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>(())\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:none;" | <math>0/0\!</math>
| style="border-top:1.5pt solid #000000; border-bottom:0.75pt solid #000000; border-left:0.75pt solid #000000; border-right:0.75pt solid #000000;" | <math>0/0\!</math>
|}

<br>

{| align="center" border="0" cellspacing="10" style="text-align:center; width:100%"
| [[Image:Fields Of Inquiry 10.jpg|center|500px]]
|-
| height="20px" valign="top" | <math>\text{Figure B. Enlargements of Conjunction}\!</math>
|}

<br>

{| align="center" border="0" cellspacing="10" style="text-align:center; width:100%"
| [[Image:Fields Of Inquiry 11.jpg|center|500px]]
|-
| height="20px" valign="top" | <math>\text{Figure C. Differentials of Conjunction}\!</math>
|}

<br>

==Work Area==

'''Inquiry Driven System as Uncertainty Control System'''

'''Types of Inquiry Arising from Types of Uncertainty'''

1. Uncertainty about what is true. Logical.

2. Uncertainty about what to do. Ethical.

3. Uncertainty about what to hope. Esthetic.

'''Do the Following Fall Under the Preceding?'''

Uncertainty about what interpretant to form.<br>
Uncertainty about how to represent the present.<br>
Uncertainty about how to approach the moment.<br>
Uncertainty about what rheme to impose on the ration.<br>
Uncertainty about what role to take up and cast others in the play.<br>
Uncertainty about how to express, convey, carry, bear the moment.<br>
Uncertainty about what relation to form from elements of the situation.<br>
(Interpretant = equivalent, approximate, compensatory, substitute, or proxy sign.)

<br>

==Sources==

Sanjaya, tell me what my sons<br>
and the sons of Pandu did when they met,<br>
wanting to battle on the field of Kuru,<br>
on the field of sacred duty?<br>
&mdash; Dhritarashtra, ''Bhagavad Gita,'' 1.1

Guarded by Bhishma, the strength<br>
of our army is without limit;<br>
but the strength of their army,<br>
guarded by Bhima, is limited.<br>
&mdash; Duryodhana, ''Bhagavad Gita,'' 1.10

Conches and kettledrums,<br>
cymbals, tabors, and trumpets<br>
were sounded at once<br>
and the din of tumult arose.<br>
&mdash; Sanjaya, ''Bhagavad Gita,'' 1.13

Arjuna, his war flag a rampant monkey,<br>
saw Dhritarashtra's sons assembled<br>
as weapons were ready to clash,<br>
and he lifted his bow.<br>
&mdash; Sanjaya, ''Bhagavad Gita,'' 1.20

Nothing of nonbeing comes to be,<br>
nor does being cease to exist;<br>
the boundary between these two<br>
is seen by men who see reality.<br>
&mdash; Krishna, ''Bhagavad Gita,'' 2.16

Indestructible is the presence<br>
that pervades all this;<br>
no one can destroy<br>
this unchanging reality.<br>
&mdash; ''Bhagavad Gita,'' 2.17

Creatures are unmanifest in origin,<br>
manifest in the midst of life,<br>
and unmanifest again in the end.<br>
Since this is so, why do you lament?<br>
&mdash; ''Bhagavad Gita,'' 2.28

Arjuna, the realm of sacred lore<br>
is nature &mdash; beyond its triad of qualities,<br>
dualities, and mundane rewards,<br>
be forever lucid, alive to your self.<br>
&mdash; ''Bhagavad Gita,'' 2.45

For the discerning priest,<br>
all of sacred lore<br>
has no more value than a well<br>
when water flows everywhere.<br>
&mdash; ''Bhagavad Gita,'' 2.46

Be intent on action,<br>
not on the fruits of action;<br>
avoid attraction to the fruits<br>
and attachment to inaction!<br>
&mdash; ''Bhagavad Gita,'' 2.47

Perform actions, firm in discipline,<br>
relinquishing attachment;<br>
be impartial to failure and success &mdash;<br>
this equanimity is called discipline.<br>
&mdash; ''Bhagavad Gita,'' 2.48

When it is night for all creatures,<br>
a master of restraint is awake;<br>
when they are awake, it is night<br>
for the sage who sees reality.<br>
&mdash; ''Bhagavad Gita,'' 2.69

No wise man disturbs the understanding<br>
of ignorant men attached to action;<br>
he should inspire them,<br>
performing all actions with discipline.<br>
&mdash; ''Bhagavad Gita,'' 3.26

Actions are all effected<br>
by the qualities of nature;<br>
but deluded by individuality,<br>
the self thinks, &ldquo;I am the actor.&rdquo;<br>
&mdash; ''Bhagavad Gita,'' 3.27

When he can discriminate<br>
the actions of nature's qualities<br>
and think, &ldquo;The qualities depend<br>
on other qualities,&rdquo; he is detached.<br>
&mdash; ''Bhagavad Gita,'' 3.28

Attraction and hatred are poised<br>
in the object of every sense experience;<br>
a man must not fall prey<br>
to these two brigands lurking on his path!<br>
&mdash; ''Bhagavad Gita,'' 3.34

The senses, mind, and understanding<br>
are said to harbor desire;<br>
with these desire obscures knowledge<br>
and confounds the embodied self.<br>
&mdash; ''Bhagavad Gita,'' 3.40

What is action? What is inaction?<br>
Even the poets were confused &mdash;<br>
what I shall teach you of action<br>
will free you from misfortune.<br>
&mdash; ''Bhagavad Gita,'' 4.16

When ignorance is destroyed<br>
by knowledge of the self,<br>
then, like the sun, knowledge<br>
illumines ultimate reality.<br>
&mdash; ''Bhagavad Gita,'' 5.16

That becomes their understanding,<br>
their self, their basis, and their goal,<br>
and they reach a state beyond return,<br>
their sin dispelled by knowledge.<br>
&mdash; ''Bhagavad Gita,'' 5.17

Arming himself with discipline,<br>
seeing everything with an equal eye,<br>
he sees the self in all creatures<br>
and all creatures in the self.<br>
&mdash; ''Bhagavad Gita,'' 6.29

When he sees identity in everything,<br>
whether joy or suffering,<br>
through analogy with the self,<br>
he is deemed a man of pure discipline.<br>
&mdash; ''Bhagavad Gita,'' 6.32

Doomed by his double failure,<br>
is he not like a cloud split apart,<br>
unsettled, deluded on the path<br>
of the infinite spirit?<br>
&mdash; Arjuna, ''Bhagavad Gita,'' 6.38

Arjuna, he does not suffer<br>
doom in this world or the next;<br>
any man who acts with honor<br>
cannot go the wrong way, my friend.<br>
&mdash; Krishna, ''Bhagavad Gita,'' 6.40

Nothing is higher than I am;<br>
Arjuna, all that exists<br>
is woven on me,<br>
like a web of pearls on thread.<br>
&mdash; ''Bhagavad Gita,'' 7.7

I am the taste in water, Arjuna,<br>
the light in the moon and sun,<br>
OM resonant in all sacred lore,<br>
the sound in space, valor in men.<br>
&mdash; ''Bhagavad Gita,'' 7.8

Beyond this unmanifest nature<br>
is another unmanifest existence,<br>
a timeless being that does not perish<br>
when all creatures perish.<br>
&mdash; ''Bhagavad Gita,'' 8.20

It is called eternal unmanifest nature,<br>
what men call the highest way,<br>
the goal from which they do not return;<br>
this highest realm is mine.<br>
&mdash; ''Bhagavad Gita,'' 8.21

It is man's highest spirit,<br>
won by singular devotion, Arjuna,<br>
in whom creatures rest<br>
and the whole universe extends.<br>
&mdash; ''Bhagavad Gita,'' 8.22

These bright and dark pathways<br>
are deemed constant for the universe;<br>
by one, a man escapes rebirth;<br>
by the other, he is born again.<br>
&mdash; ''Bhagavad Gita,'' 8.26

The whole universe is pervaded<br>
by my unmanifest form;<br>
all creatures exist in me,<br>
but I do not exist in them.<br>
&mdash; ''Bhagavad Gita,'' 9.4

Behold the power of my discipline;<br>
these creatures are really not in me;<br>
my self quickens creatures,<br>
sustaining them without being in them.<br>
&mdash; ''Bhagavad Gita,'' 9.5

Just as the wide-moving wind<br>
is constantly present in space,<br>
so all creatures exist in me;<br>
understand it to be so!<br>
&mdash; ''Bhagavad Gita,'' 9.6

I am heat that withholds<br>
and sends down the rains;<br>
I am immortality and death;<br>
both being and nonbeing am I.<br>
&mdash; ''Bhagavad Gita,'' 9.19

I am the self abiding<br>
in the heart of all creatures;<br>
I am their beginning,<br>
their middle, and their end.<br>
&mdash; ''Bhagavad Gita,'' 10.20

I am the endless cosmic serpent,<br>
the lord of all sea creatures;<br>
I am chief of the ancestral fathers;<br>
of restraints, I am death.<br>
&mdash; ''Bhagavad Gita,'' 10.29

I am the pious son of demons;<br>
of measures, I am time;<br>
I am the lion among wild animals,<br>
the eagle among birds.<br>
&mdash; ''Bhagavad Gita,'' 10.30

I am the vowel ''a'' of the syllabary,<br>
the pairing of words in a compound;<br>
I am indestructible time,<br>
the creator facing everywhere at once.<br>
&mdash; ''Bhagavad Gita,'' 10.33

I am death the destroyer of all,<br>
the source of what will be,<br>
the feminine powers: fame, fortune, speech,<br>
memory, intelligence, resolve, patience.<br>
&mdash; ''Bhagavad Gita,'' 10.34

Whatever is powerful, lucid,<br>
splendid, or invulnerable<br>
has its source in a fragment<br>
of my brilliance.<br>
&mdash; ''Bhagavad Gita,'' 10.41

What use is so much knowledge<br>
to you, Arjuna?<br>
I stand sustaining this entire world<br>
with a fragment of my being.<br>
&mdash; ''Bhagavad Gita,'' 10.42

Arjuna, see my forms<br>
in hundreds and thousands;<br>
diverse, divine,<br>
of many colors and shapes.<br>
&mdash; ''Bhagavad Gita,'' 11.5

I am time grown old,<br>
creating world destruction,<br>
set in motion<br>
to annihilate the worlds; &hellip;<br>
&mdash; ''Bhagavad Gita,'' 11.32

This form you have seen<br>
is rarely revealed;<br>
the gods are constantly craving<br>
for a vision of this form.<br>
&mdash; ''Bhagavad Gita,'' 11.52

Knowledge is better than practice,<br>
meditation better than knowledge,<br>
rejecting fruits of action<br>
is better still &mdash; it brings peace.<br>
&mdash; ''Bhagavad Gita,'' 12.12

The field denotes<br>
this body, and wise men<br>
call one who knows it<br>
the field-knower.<br>
&mdash; ''Bhagavad Gita,'' 13.1

Know me as the field-knower<br>
in all fields &mdash; what I deem<br>
to be knowledge is knowledge<br>
of the field and its knower.<br>
&mdash; ''Bhagavad Gita,'' 13.2

Hear from me in summary<br>
what the field is<br>
in its character and changes,<br>
and of the field-knower's power.<br>
&mdash; ''Bhagavad Gita,'' 13.3

Ancient seers have sung of this<br>
in many ways, with varied meters<br>
and with aphorisms on the infinite spirit<br>
laced with logical arguments.<br>
&mdash; ''Bhagavad Gita,'' 13.4

The field contains the great elements,<br>
individuality, understanding,<br>
unmanifest nature, the eleven senses,<br>
and the five sense realms.<br>
&mdash; ''Bhagavad Gita,'' 13.5

Its hands and feet reach everywhere;<br>
its head and face see in every direction;<br>
hearing everything, it remains<br>
in the world, enveloping all.<br>
&mdash; ''Bhagavad Gita,'' 13.13

Lacking all the sense organs,<br>
it shines in their qualities;<br>
unattached, it supports everything;<br>
without qualities, it enjoys them.<br>
&mdash; ''Bhagavad Gita,'' 13.14

Outside and within all creatures,<br>
inanimate but still animate,<br>
too subtle to be known,<br>
it is far distant, yet near.<br>
&mdash; ''Bhagavad Gita,'' 13.15

Undivided, it seems divided<br>
among creatures;<br>
understood as their sustainer,<br>
it devours and creates them.<br>
&mdash; ''Bhagavad Gita,'' 13.16

The light of lights<br>
beyond darkness it is called;<br>
knowledge attained by knowledge,<br>
fixed in the heart of everyone.<br>
&mdash; ''Bhagavad Gita,'' 13.17

So, in summary I have explained<br>
the field and knowledge of it;<br>
a man devoted to me, knowing this,<br>
enters into my being.<br>
&mdash; ''Bhagavad Gita,'' 13.18

Arjuna, know that anything<br>
inanimate or alive with motion<br>
is born from the union<br>
of the field and its knower.<br>
&mdash; ''Bhagavad Gita,'' 13.26

He really sees who sees<br>
that all actions are performed<br>
by nature alone and that the self<br>
is not an actor.<br>
&mdash; ''Bhagavad Gita,'' 13.29

When he perceives the unity<br>
existing in separate creatures<br>
and how they expand from unity,<br>
he attains the infinite spirit.<br>
&mdash; ''Bhagavad Gita,'' 13.30

Just as one sun<br>
illumines this entire world,<br>
so the master of the field<br>
illumines the entire field.<br>
&mdash; ''Bhagavad Gita,'' 13.33

They reach the highest state<br>
who with the eye of knowledge know<br>
the boundary between the knower and its field,<br>
and the freedom creatures have from nature.<br>
&mdash; ''Bhagavad Gita,'' 13.34

Lucidity, passion, dark inertia &mdash;<br>
these qualities inherent in nature<br>
bind the unchanging<br>
embodied self in the body.<br>
&mdash; ''Bhagavad Gita,'' 14.5

Lucidity addicts one to joy,<br>
and passion to actions,<br>
but dark inertia obscures knowledge<br>
and addicts one to negligence.<br>
&mdash; ''Bhagavad Gita,'' 14.9

When a man of vision sees<br>
nature's qualities as the agent<br>
of action and knows what lies beyond,<br>
he enters into my being.<br>
&mdash; ''Bhagavad Gita,'' 14.19

Transcending the three qualities<br>
that are the body's source, the self<br>
achieves immortality, freed from the sorrows<br>
of birth, death, and old age.<br>
&mdash; ''Bhagavad Gita,'' 14.20

Lord, what signs mark a man<br>
who passes beyond the three qualities?<br>
What does he do to cross<br>
beyond these qualities?<br>
&mdash; Arjuna, ''Bhagavad Gita,'' 14.21

He does not dislike light<br>
or activity or delusion;<br>
when they cease to exist<br>
he does not desire them.<br>
&mdash; Krishna, ''Bhagavad Gita,'' 14.22

He remains disinterested,<br>
unmoved by qualities of nature;<br>
he never wavers, knowing<br>
that only qualities are in motion.<br>
&mdash; ''Bhagavad Gita,'' 14.23

I am the infinite spirit's foundation,<br>
immortal and immutable,<br>
the basis of eternal sacred duty<br>
and of perfect joy.<br>
&mdash; ''Bhagavad Gita,'' 14.27

Roots in the air, branches below,<br>
the tree of life is unchanging,<br>
they say; its leaves are hymns,<br>
and he who knows it knows sacred lore.<br>
&mdash; ''Bhagavad Gita,'' 15.1

Its branches<br>
stretch below and above,<br>
nourished by nature's qualities,<br>
budding with sense objects;<br>
aerial roots<br>
tangled in actions<br>
reach downward<br>
into the world of men.<br>
&mdash; ''Bhagavad Gita,'' 15.2

Its form is unknown<br>
here in the world;<br>
unknown are its end,<br>
its beginning, its extent;<br>
cut down this tree<br>
that has such deep roots<br>
with the sharp ax<br>
of detachment.<br>
&mdash; ''Bhagavad Gita,'' 15.3

Then search to find<br>
the realm<br>
that one enters<br>
without returning:<br>
&ldquo;I seek refuge<br>
in the original spirit of man,<br>
from which primordial<br>
activity extended.&rdquo;<br>
&mdash; ''Bhagavad Gita,'' 15.4

A fragment of me in the living world<br>
is the timeless essence of life;<br>
it draws out the senses<br>
and the mind inherent in nature.<br>
&mdash; ''Bhagavad Gita,'' 15.7

I dwell deep<br>
in the heart of everyone;<br>
memory, knowledge,<br>
and reasoning come from me;<br>
I am the object to be known<br>
through all sacred lore;<br>
and I am its knower,<br>
the creator of its final truth.<br>
&mdash; ''Bhagavad Gita,'' 15.15

Demonic men cannot comprehend<br>
activity and rest;<br>
there exists no clarity,<br>
no morality, no truth in them.<br>
&mdash; ''Bhagavad Gita,'' 16.7

They say that the world<br>
has no truth, no basis, no god,<br>
that no power of mutual dependence<br>
is its cause, but only desire.<br>
&mdash; ''Bhagavad Gita,'' 16.8

Mired in this view, lost to themselves<br>
with their meager understanding,<br>
these fiends contrive terrible acts<br>
to destroy the world.<br>
&mdash; ''Bhagavad Gita,'' 16.9

Subject to insatiable desire,<br>
drunk with hypocrisy and pride,<br>
holding false notions from delusion,<br>
they act with impure vows.<br>
&mdash; ''Bhagavad Gita,'' 16.10

In their certainty that life<br>
consists in sating their desires,<br>
they suffer immeasurable anxiety<br>
that ends only with death.<br>
&mdash; ''Bhagavad Gita,'' 16.11

Confused by endless thoughts,<br>
caught in the net of delusion,<br>
given to satisfying their desires,<br>
they fall into hell's foul abyss.<br>
&mdash; ''Bhagavad Gita,'' 16.16

The three gates of hell<br>
that destroy the self<br>
are desire, anger, and greed;<br>
one must relinquish all three.<br>
&mdash; ''Bhagavad Gita,'' 16.21

Let tradition be your standard<br>
in judging what to do or avoid;<br>
knowing the norms of tradition,<br>
perform your action here.<br>
&mdash; ''Bhagavad Gita,'' 16.24

Given in due time and place<br>
to a fit recipient<br>
who can give no advantage,<br>
charity is remembered as lucid.<br>
&mdash; ''Bhagavad Gita,'' 17.20

''OM TAT SAT:'' &ldquo;That Is the Real&rdquo; &mdash;<br>
this is the triple symbol of the infinite spirit<br>
that gave a primordial sanctity<br>
to priests, sacred lore, and sacrifice.<br>
&mdash; ''Bhagavad Gita,'' 17.23

''SAT'' is steadfastness in sacrifice,<br>
in penance, in charity;<br>
any action of this order<br>
is denoted by ''SAT.''<br>
&mdash; ''Bhagavad Gita,'' 17.27

Action in sacrifice, charity,<br>
and penance is to be performed,<br>
not relinquished &mdash; for wise men,<br>
they are acts of sanctity.<br>
&mdash; ''Bhagavad Gita,'' 18.5

But even these actions<br>
should be done by relinquishing to me<br>
attachment and the fruit of action &mdash;<br>
this is my decisive idea.<br>
&mdash; ''Bhagavad Gita,'' 18.6

Knowledge, its object, and its subject<br>
are the triple stimulus of action;<br>
instrument, act, and agent<br>
are the constituents of action.<br>
&mdash; ''Bhagavad Gita,'' 18.18

Knowledge, action, agent are threefold,<br>
differentiated by qualities of nature;<br>
hear how this has been explained<br>
in the philosophical analysis of qualities.<br>
&mdash; ''Bhagavad Gita,'' 18.19

Know that through lucid knowledge<br>
one sees in all creatures<br>
a single, unchanging existence,<br>
undivided within its divisions.<br>
&mdash; ''Bhagavad Gita,'' 18.20

Action known for its lucidity<br>
is necessary, free of attachment,<br>
performed without attraction or hatred<br>
by one who seeks no fruit.<br>
&mdash; ''Bhagavad Gita,'' 18.23

An agent called pure<br>
has no attachment or individualism,<br>
is resolute and energetic,<br>
unchanged in failure and success.<br>
&mdash; ''Bhagavad Gita,'' 18.26

Listen as I tell you without reserve<br>
about understanding and resolve,<br>
each in three aspects,<br>
according to the qualities of nature.<br>
&mdash; ''Bhagavad Gita,'' 18.29

In one who knows activity and rest,<br>
acts of right and wrong,<br>
bravery and fear, bondage and freedom,<br>
understanding is lucid.<br>
&mdash; ''Bhagavad Gita,'' 18.30

When it sustains acts<br>
of mind, breath, and senses<br>
through discipline without wavering,<br>
resolve is lucid.<br>
&mdash; ''Bhagavad Gita,'' 18.33

Arjuna, now hear about joy,<br>
the three ways of finding delight<br>
through practice<br>
that brings an end to suffering.<br>
&mdash; ''Bhagavad Gita,'' 18.36

The joy of lucidity<br>
at first seems like poison<br>
but is in the end like ambrosia,<br>
from the calm of self-understanding.<br>
&mdash; ''Bhagavad Gita,'' 18.37

The joy that is passion<br>
ateat first seems like ambrosia<br>
when senses encounter sense objects,<br>
but in the end it is like poison.<br>
&mdash; ''Bhagavad Gita,'' 18.38

The joy arising from sleep,<br>
laziness, and negligence,<br>
self-deluding from beginning to end,<br>
is said to be darkly inert.<br>
&mdash; ''Bhagavad Gita,'' 18.39

There is no being on earth<br>
or among the gods in heaven<br>
free from the triad of qualities<br>
that are born of nature.<br>
&mdash; ''Bhagavad Gita,'' 18.40

Better to do one's own duty imperfectly<br>
than to do another man's well;<br>
doing action intrinsic to his being,<br>
a man avoids guilt.<br>
&mdash; ''Bhagavad Gita,'' 18.47

Your resolve is futile<br>
if a sense of individuality<br>
makes you think, &ldquo;I shall not fight&rdquo; &mdash;<br>
nature will compel you to.<br>
&mdash; ''Bhagavad Gita,'' 18.59

You are bound by your own action,<br>
intrinsic to your being, Arjuna;<br>
even against your will you must do<br>
what delusion now makes you refuse.<br>
&mdash; ''Bhagavad Gita,'' 18.60

Arjuna, the lord resides<br>
in the heart of all creatures,<br>
making them reel magically,<br>
as if a machine moved them.<br>
&mdash; ''Bhagavad Gita,'' 18.61

With your whole being, Arjuna,<br>
take refuge in him alone &mdash;<br>
from his grace you will attain<br>
the eternal place that is peace.<br>
&mdash; ''Bhagavad Gita,'' 18.62

This knowledge I have taught<br>
is more arcane than any mystery &mdash;<br>
consider it completely,<br>
then act as you choose.<br>
&mdash; ''Bhagavad Gita,'' 18.63

'''Key Words in the ''Bhagavad-Gita'''''

[Compiled by the Translator, B.S. Miller, p. 162&ndash;168]

Time (''k&atilde;la'') &mdash; a word that also means &ldquo;death&rdquo;. In Indian thought time is without beginning, endless, all-pervading. In the ''Gita,'' Krishna identifies himself as indestructible time that destroys the worlds (10.30, 10.33, 11.32). &mdash; B.S. Miller (translator of ''B-G,'' p.&nbsp;168)

<br>

==Deletions==

It is pleasing to contemplate the whole panorama of differential operations and group actions on a proposition as so many alternate scenes projected through the facets of its differential enlargement onto various perspectives taken up by the viewer.

We hope to work toward a point where the reader finds it pleasing to contemplate the whole panorama of differential operations and group actions on a proposition as just so many facets of its differential enlargement as may be projected onto various perspectives.

Let <math>X = \{ x_1, \ldots, x_n \}\!</math> and suppose that <math>U\!</math> is any subset of these variables, without loss of generality taking <math>U = \{ x_1, \ldots, x_j \},\!</math> for some <math>j \in [1, n].\!</math> For convenience, let us give a name to the remaining set of variables, say <math>V = \{ x_{j+1}, \ldots, x_n \}.\!</math>

Let <math>X = \{ x_1, \ldots, x_n \}\!</math> be our principal set of logical variables, and let <math>U\!</math> be any subset of these, assumed without loss of generality to form an initial segment <math>U = \{ x_1, \ldots, x_j \}\!</math> of cardinality <math>j.\!</math> For convenience, let the remaining variables be collected in the set <math>V = \{ x_{j+1}, \ldots, x_n \}\!</math> of cardinality <math>k = n - j.\!</math>

Given a proposition whose form of expression <math>F\!</math> is more or less difficult to comprehend it may occur to us that the matter could be simpler if we restrict our attention to a subset of the universe, say one described by the proposition <math>G,\!</math> expressed over the same set of variables as <math>F.\!</math>

{| align="center" cellpadding="8"
| <math>F | G ~=~ \varphi_G F\!</math>
|}

{| align="center" cellpadding="8" style="text-align:center"
|
<math>\begin{matrix}
\mathbb{B}^j
& \to &
\mathbb{B}^n
& \to &
\mathbb{B}^k
\\[2pt]
(\mathbb{B}^j \to \mathbb{B})
& \to &
(\mathbb{B}^n \to \mathbb{B})
& \to &
(\mathbb{B}^k \to \mathbb{B})
\end{matrix}</math>
|}

{| align="center" cellpadding="8" style="text-align:center"
|
<math>\begin{matrix}
U
& \to &
X
& \to &
V
\\[2pt]
(U \to \mathbb{B})
& \to &
(X \to \mathbb{B})
& \to &
(V \to \mathbb{B})
\end{matrix}</math>
|}

{| align="center" cellpadding="8" style="text-align:center"
|
<math>\begin{matrix}
\mathbb{B}^j
& \to &
\mathbb{B}^n
& \to &
\mathbb{B}^j \times \mathbb{B}^k
& \to &
&&
\\[2pt]
(\mathbb{B}^j \to \mathbb{B})
& \to &
(\mathbb{B}^n \to \mathbb{B})
& \to &
(\mathbb{B}^j \times \mathbb{B}^k \to \mathbb{B})
& \to &
(\mathbb{B}^j \to (\mathbb{B}^k \to \mathbb{B}))
\end{matrix}</math>
|}

Diffraction = differential factorization (or differential fractionation):

{| align="center" cellpadding="8"
|
<math>\begin{matrix}
(\mathbb{B}^n \times \mathbb{D}^n \to \mathbb{B})
& \cong &
(\mathbb{D}^n \to (\mathbb{B}^n \to \mathbb{B}))
\end{matrix}</math>
|}

We aim to combine these twin perspectives into a stereoscopic view of the situations represented in propositions.

Between the contrasting perspectives afforded by these two <math>\iota\!</math>'s we have what we need to synthesize a stereologic conception of the situation represented in a proposition.

Between the complementary perspectives afforded by these two <math>\iota\!</math>'s we aim to acquire / struggle to compose a stereoscopic vision of the situations represented in propositions.

Between the complementary perspectives afforded by these two <math>\iota\!</math>'s we hope to fashion / strive to fasten a stereotactic grasp on the situations represented in propositions.

==Document History==

Author: Jon Awbrey, August 31, 1995<br>
Course: Engineering 690, Graduate Project<br>
Continued from Winter Term 1995<br>
Supervisors: M.A. Zohdy and F. Mili, Oakland University
Jon Awbrey
12,080

edits

Retrieved from "https://mywikibiz.com/Special:MobileDiff/468053"