Re: SUO: Re: Proposed SUO Content Outline
Thank you, Jon and Chris, for working with my posting.
Below I'm expanding a little on what I said, in light of your comments.
(And no doubt further exposing the unevenness in
my understanding of our subject.)
I was trying to further affirm the notion that,
distasteful and complexifying though it may be,
it will be essential for us to provide a place for
theories, causal bubbles, axiomatizations, alternative courses,
views, domains of interest (DOIs), viewpoints, or whatever they be
termed
which offer some sort of isolation one from another.
(I recognize that some of these may be fundamentally different from
others.)
The kinds of DOIs I had in mind include the following examples,
though I'm not sure all all of these are suitable for an
IEEE SUO, or for a chunk that can be merged into an IEEE SUO.
Ia. The Euclid/Hilbert geometry including the uniqueness-of-parallels
postulate.
Ib. The Bolayi/Lobachevsky/Hilbert geometry which postulates that
through a point not on a line, there is more than one line parallel to
that line.
Of interest here is that these DOIs are variants with a large common
corpus,, including
"For any two different points, there is exactly one line containing
these points."
It probably isn't a good idea to
a) use a slew of separate ontology terms to create two versions of the
elements of this common corpus nor to
b) use a quantifier on all of the common corpus.
IIa. The law of the conservation of momentum in an inertial
(non-accelerated) frame of reference.
IIb. The lack of conervation of momentum stated with respect to a
non-inertial frame of reference.
IIIa. The current-but-classical biological/organism hierarchy of
Kingdom/Phylim/Class/Order/Family/Genus/Species.
IIIb. A putative competing DOI based on genetic "distance".
For example, it may be that, in a genetic DOI, the notion that a Fish
is a Gilled, Finned, lives-in-the-water subclass of cold-blooded
vertebrates
will need to be modified.
IVa. One reality.
IVb. An alternative reality.
I was not suggesting that
paraconsistent logic or
probabilistic reasoning or
non-demonstrative forms of inference be used.
(I've not read about them.)
I was rejecting the "Into the Sky"/"Into the Ground" dead-end
that Jon Awbrey and Chris Menzel describe.
Rejecting it in favor of some sort of hack involving an
isolation-of-consequences or scoping-of-names notion and
implicitly asking that anyone who has some idea of how to do this step
in and
give the idea additional legitimacy (if it deserves it).
-Fred Chase