ONT Re: Differential Logic -- Correction
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Correction. The second paragraph should read as follows.
I had this correct, though ambiguous, in my old version,
but in trying to insert a clarifying remark, I inserted
a confounding one instead. ~~ J.A.
| Amazingly enough, these isomorphisms are themselves schematized by the
| axioms and theorems of propositional logic. This fact is known as the
| "propositions as types analogy" (PATA) [How]. In another formulation
| it says that terms are to types as proofs are to propositions. This
| principle seems to have more implications for our subject than I can
| fully comprehend at present, though I sense that they must be crucial.
| (Cf. [LaS, 42-46] and [SeH] for discussion and further references.)
| To anticipate the bearing of these issues on our immediate topic,
| Table 3 gives a partial overview of the Real to Boolean analogy
| that may serve to illustrate the paradigm that I have in mind.
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o