[Inquiry] Re: Propositions As Types -- Series A

[Jon Awbrey]

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

PAT.  Note A20

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o

Transposition, or the Transposer (cont.)

Step 4 (cont.)

If this strategy is successful it suggests that the proof tree can
be grown in a stepwise equational fashion from a seed term of the
appropriate species, in other words, from a contextual, embedded,
or paraphrastic specification of the desired term.

Thus, these developments culminate in the rather striking and
possibly disconcerting consequence that the apparent flow of
information or reasoning in the proof tree is something of
a put-up job, a snapshot likeness or a likely story that
calls to mind the anatomy of a justification, but fails
to reconstruct the true embryology or living physiology
of discovery involved.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
inquiry e-lab: http://stderr.org/pipermail/inquiry/
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o