ONT Re: Differential Logic
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
DLOG. Note D46
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Transformations of Type B^2 -> B^1
To study the effects of these analytic operators in the simplest
possible situation, let us revert to a still more primitive case.
Consider the singular proposition J<u, v> = uv, read either as
as the functional product of the maps u and v or as the logical
conjunction of the features u and v, a map whose fiber of truth
J^(-1)(1) picks out the single cell of that logical description
in the universe of discourse U%. Thus J, or uv, may be treated
as a pseudonym for the point whose coordinates are <1, 1> in U%.
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o