[Arisbe] Re: Inquiry Into Inquiry -- All Flesh Is Kreas
Jon Awbrey
arisbe@stderr.org
Mon, 06 Aug 2001 11:44:00 -0400
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤
Howard,
Let me continue with this "concrete" example -- yes, it's also "abstract",
but abstract and concrete, artificial and natural, formal and material,
like most other dimensions of variation in the world, are "relative",
and yes, the line between absolute and relative is also relative --
where was I? Oh yes, the example of "zeroth order logic" (ZOL),
and all of the various sorts of things, "objective" things and
"interpretive" things, that I have been having to think about
in order to implement a computational instrument for working
ZOL at a level beyond the levels of our meagre former powers.
JA: Here is a type of chart or diagram that I use
to keep track of the various sorts of domains
that I have to think about in my logical work.
To extent that most of this work derives from
basically Peircean ideas, maybe it will serve
to address your questions about the ways that
the various aspects of sign relations -- what
folks have come to call "syntax", "semantics",
"semiotics", and "pragmatics" -- are related
to one another.
o---------------------------------///--------------------------------------o
| Objective Framework (OF) Interpretive Framework (IF) |
o---------------------------------///--------------------------------------o
| Formal or Mathematical Objects Formal or Mathematical Signs & Texts |
o---------------------------------///--------------------------------------o
| |
| Propositions Expressions |
| (Logical) (Logical) |
| o ^ o |
| | | | |
| | Abstraction | |
| | | | |
| o <-Denotation-@-Annotation-> o |
| / \ | / \ |
| / \ Concreation / \ |
| / \ | / \ |
| o o v o o |
| Sets Maps Set Names Map Names |
| (Geometric) (Functional) (Geometric) (Functional) |
| |
o---------------------------------///--------------------------------------o
| Q c X q : X -> B "Q" "q" |
| F c K^k f : K^k -> B "F" "f" |
| G c B^k g : B^k -> B "G" "g" |
| H c R^k h : R^k -> B "H" "h" |
o---------------------------------///--------------------------------------o
The vertical dimension of my framèd landscape is one of increasing abstraction
among the forms of things-become as one ascends toward the summit of the scene,
and, diversely, one of increasing concrescence in the matters that fill in the
forms as one drifts toward the base of the frame to which I'm working interior.
JA: I am always working within a suitable sign relation, say L c OxSxI, where O, S, I
are the pertinent domains of objects, signs, and interpretant signs, respectively.
JA: The objects are the things that I have to mention, to talk and to think about.
The signs and the interpretants are what I use to talk and to think about them.
JA: Let me restrict my attention for now to that part of my work where I spend most of my time
exploiting certain analogies between logic and real analysis, that is to say, between sets
of type B^k and (B^k -> B) and sets of type R^k and (R^k -> R), with B = {0, 1}, R = Reals.
JA: The "formal objects" are the elements, sets, and functions that go with this set-up.
The "formal signs" are the expressions that are available to indicate these objects.
JA: The word "formal" here means that I am concerned with their form,
and also that their place within the setting is formally declared.
It is considered "good form" to see how far you can get this way,
but everybody knows that you just can't have it all this way.
JA: In computational work, which is what I am almost always working toward these days,
one is primarily concerned with public signs, and so it is convenient to let the
domain of signs and the domain of interpretant signs be the same domain, S = I.
In such a setting, I will typically refer to this as the "syntactic domain",
in part because it will always be formalized as a formal language, with
a formal grammar that defines its membership, and maybe a parser, too.
JA: Now, at this point it may sound almost as if all we need to worry about is the
two sets O and S = I, plus the 2-adic relation of denotation that connects them.
But that would be ignoring the realities of computation, which can be described
as the job of taking obscure signs (like "5+7") for a formal object (a number)
and transforming it somehow into a clear sign (like "12") for the same object.
This process of passing from an initial sign s to an interpretant sign s' to
another interpretant sign s", ..., and eventually to a canonical or a normal
sign for the same object is a special case of a "sign process" or "semiosis".
JA: The full pragmatic sign relation is L c OxSxI.
Syntax is the business of defining S as a set.
Semantics is the 2-dim projection of L on OxS.
Semiotic transitions are certain pairs in SxI.
JA: When the setting is very rich, with many types of objects,
typically organized into an "ontological hierarchy" (OH),
along with all of their corresponding sign classes, then
I will try to organize the whole panoply of objects and
signs into an "objective framework" (OF), on one side,
and an "interpretive framework", on the other side.
Now this works well enough as long as these sides
do not overlap too much, but when you begin to
need to start talking and thinking about your
own syntax, that is, to make pieces of the
IF into objects of discussion and thought,
and thus to push them into the OF, then
you have to become more sophisticated,
and to need a structure that I call a
"reflective interpretive framework",
or a RIF.
In my own working languages I attempt or purport to distinguish
the object side of things as the "objective framework" (OF) and
the signy side of things as the "interpretive framework" (IF),
and each of these aspects of the developing sign relation is
relevant to the evolving discussion in its own special way.
Within the context of this particular discussion, the propositions
are the "logical" (abstract, hypostatic, ideal, platonic) objects,
perhaps the chief objects of the whole discussion, whereas the
corresponding sets and maps, regarded as mathematical objects,
are two different kinds of "models" (concretions, construals,
fleshings out, also known as "interpretations" in yet another
sense of that protean word) of these abstract propositions.
That is, sets and maps are the sorts of things that I can
personally imagine being able to grasp in somewhat more
"intuitive" (anschaulich, visual, visceral, vital) forms,
in what I think of as "geometric" and "functional" terms.
Jon Awbrey
¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤~~~~~~~~~¤