ONT Re: Differential Logic -- Series A

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

DLOG.  Note A14

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

We have been contemplating the virtues and the utilities of
the pragmatic maxim as a standard heuristic in hermeneutics,
that is, as a principle of interpretation that guides us in
finding clarifying representations for a problematic corpus
of symbols by means of their actions on other symbols or in
terms of their effects on the syntactic contexts wherein we
discover them or where we might conceive to distribute them.

I began this excursion by taking off from the moving platform
of differential logic and passing by way of the corresponding
transformation groups, as they act on propositions, and on to
an exercise in applying the pragmatic maxim, by contemplating
the regular representations of groups as giving us one of the
simplest conceivable, relatively concrete applications of the
general principle of representation in question.

There are a few problems of implementation that have to be worked out
in practice, most of which are cleared up by keeping in mind which of
several possible conventions we have chosen to follow at a given time.

But there does appear to remain this rather more substantial question:
Are the effects we seek relates or correlates, or does it even matter?

I will have to leave that question as it is for now,
in hopes that a solution will evolve itself in time.

Jon Awbrey

o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
http://www.cs.bsu.edu/homepages/mighty/history.html
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o