12,144
edits
Changes
→1.3.10.11. The Cactus Language : Mechanics: segemnt
= a lobe with the accoutrements C_1, ..., C_k.
= a lobe with the accoutrements C_1, ..., C_k.
Working from a structural description of the cactus language,
Working from a structural description of the cactus language,
In particular, this generally makes it easier to observe the
In particular, this generally makes it easier to observe the
various properties of its underlying graphical structure.
various properties of its underlying graphical structure.
</pre>
=====1.3.10.12. The Cactus Language : Semantics=====
1.3.10.12. The Cactus Language: Semantics
<pre>
| Alas, and yet what 'are' you, my written and painted thoughts!
| Alas, and yet what 'are' you, my written and painted thoughts!
| It is not long ago that you were still so many-coloured,
| It is not long ago that you were still so many-coloured,
For the generic case of k > 0, the "bound connective" takes the
For the generic case of k > 0, the "bound connective" takes the
form "-(S_1, ..., S_k)-".
form "-(S_1, ..., S_k)-".
At this point, there are actually two different "dialects", "scripts",
At this point, there are actually two different "dialects", "scripts",
accoutrements. As a corollary, the logical denotation of the parse graph
accoutrements. As a corollary, the logical denotation of the parse graph
of "-()-", otherwise called a "needle", is the boolean value %0% = "false".
of "-()-", otherwise called a "needle", is the boolean value %0% = "false".
If one takes the point of view that PARC's and PARCE's amount to a
If one takes the point of view that PARC's and PARCE's amount to a
Indeed, the "roughly" can be made "exactly" as soon as the domains of
Indeed, the "roughly" can be made "exactly" as soon as the domains of
a suitable sign relation are specified precisely.
a suitable sign relation are specified precisely.
A good way to illustrate the action of the conjunction and surjunction
A good way to illustrate the action of the conjunction and surjunction
or whether its inverse is being invoked to indicate the fibers
or whether its inverse is being invoked to indicate the fibers
of truth or untruth under the propositional function in question.
of truth or untruth under the propositional function in question.
</pre>
=====1.3.10.13. Stretching Exercises=====
1.3.10.13. Stretching Exercises
<pre>
For ease of reference, I repeat here a couple of the
For ease of reference, I repeat here a couple of the
definitions that are needed again in this discussion.
definitions that are needed again in this discussion.