RE: ONT Re: Zeroth Order Ontology
JA: It has to with the fact that certain sorts of negative logical
connectives
are generative enough to build the rest of the logical connectives that
one needs, the archetypes being Peirce's "amphecks", or NAND and NNOR,
TJ: the one presented in my logic classes is the "Scheffler stroke". p/q
meaning (if I recall correctly) "not both p and q". From this one operator,
all the others can be derived.
Did Peirce anticipate this, also -- a single primitive sentential connector?
-----Original Message-----
From: owner-ontology@majordomo.ieee.org
[mailto:owner-ontology@majordomo.ieee.org]On Behalf Of Jon Awbrey
Sent: Thursday, November 13, 2003 10:10 PM
To: Inquiry; Ontology; SemioCom
Cc: Murray Altheim
Subject: ONT Re: Zeroth Order Ontology
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
ZOO. Discussion Note 17
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o
Murray,
I don't know if you are tuned out or in, but I have just
touched on an issue that I have tried to discuss several
times with people who work with topic maps, but couldn't
work out a coherent or convincing enough way to say it.
However, I have just constructed some concrete simple
examples that illustrate the point better than I have
managed before, so maybe it'd be worth another try.
It has to with the fact that certain sorts of negative logical connectives
are generative enough to build the rest of the logical connectives that
one needs, the archetypes being Peirce's "amphecks", or NAND and NNOR,
but that the negative connectives, and thus the full set of operators,
cannot be generated from positive connectives alone. This means that
the fundamental building blocks of association need to have a certain
quality of "negativity" about them in order to support logical links
between propositions, subjects, topics, or whatever you call them.
This is important to me because I always do logic by way of
transformations on graph-theoretic dynamic data structures,
and the forms are the same whether they are embodied in
ramspace or, prospectively I hope, in webspace. So let
me know if that strikes any chords, lost or otherwise.
If so, I will try to elaborate a little further.
Jon Awbrey
o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o~~~~~~~~~o