[Inquiry] Re: Really Useful Logic

[Jon Awbrey]

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

RUL.  Discussion Note 8

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

JA = Jon Awbrey
PC = Party of Citizens

JA: At this point I am still just laying out the zeroth order foundations --
    Boole's algebra, Peirce's alpha graphs, monadic predicate calculus,
    propositional/sentential logic, and probably a few other names for
    what is basically the same set of mathematical structures, though
    the syntactic details of the various languages that are used to
    reference the elements of these structures can be very diverse.

PC: The diversity of syntax may be a translation problem if all of the
    verbiage and symbolism we use can be translated or paraphrased into
    the same 'elements of logic'.  How certain are you re: "... probably
    a few other names for what is basically the same ..." above?

Well, I'm certain that there are probably a few other names for what is
basically the same set of mathematical structures, just as I am certain
that there are probably a large number of other systems of numerals for
what is basically the same set of mathematical objects that we all know
and love, though not all of us exclusively, as numbers.  But I'm not so
certain that that's what you meant.  There is an introduction to my pet
system of notation for "zeroth order logic" (ZOL) at these locations:

PERS.  Propositional Equation Reasoning Systems -- Inquiry List

01.  http://stderr.org/pipermail/inquiry/2003-March/000124.html
02.  http://stderr.org/pipermail/inquiry/2003-March/000125.html
03.  http://stderr.org/pipermail/inquiry/2003-March/000126.html
04.  http://stderr.org/pipermail/inquiry/2003-March/000127.html
05.  http://stderr.org/pipermail/inquiry/2003-March/000128.html
06.  http://stderr.org/pipermail/inquiry/2003-March/000129.html
07.  http://stderr.org/pipermail/inquiry/2003-March/000130.html
08.  http://stderr.org/pipermail/inquiry/2003-March/000131.html
09.  http://stderr.org/pipermail/inquiry/2003-March/000132.html
10.  http://stderr.org/pipermail/inquiry/2003-March/000133.html
11.  http://stderr.org/pipermail/inquiry/2003-March/000134.html
12.  http://stderr.org/pipermail/inquiry/2003-March/000135.html
13.  http://stderr.org/pipermail/inquiry/2003-March/000136.html
14.  http://stderr.org/pipermail/inquiry/2003-March/000137.html
15.  http://stderr.org/pipermail/inquiry/2003-March/000138.html
16.  http://stderr.org/pipermail/inquiry/2003-March/000139.html
17.  http://stderr.org/pipermail/inquiry/2003-March/000140.html

E-joy!

Jon Awbrey

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