Re: Effective Logical Formalism

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

ELF.  Discussion Note 3

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

This is where I put the brass tacks to the syntax
of the "effective logical formalism" (ELF).  I am
sensitive to the likelihood that different people
in the ELF market probably have different notions
of what makes up the brass tacks for them, and so
this constitutes a user-relative parameter of the
task, in other words, a "pragmatic consideration".
Since I stated that I put minimal logical demands
on the ELF you have probably been waiting for the
other shoe to drop.  Here it is.  This particular
user demands the following sorts of things of the
ELF, no if's and's or but's.  It has to help with
the practical problems of a logical nature that I
face on a daily basis, and it has to adapt itself
to the way that I naturally or enculturally think
about these recurring problems, at least at first,
unless or until it can help me to see better ways.
Tomorrow I'll discuss these brass tacks in detail.

Jon Awbrey

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