Changes

We have been contemplating functions of the type <math>f : X \to \mathbb{B}</math> and studying the action of the operators <math>\operatorname{E}</math> and <math>\operatorname{D}</math> on this family.  These functions, that we may identify for our present aims with propositions, inasmuch as they capture their abstract forms, are logical analogues of ''scalar potential fields''.  These are the sorts of fields that are so picturesquely presented in elementary calculus and physics textbooks by images of snow-covered hills and parties of skiers who trek down their slopes like least action heroes.  The analogous scene in propositional logic presents us with forms more reminiscent of plateaunic idylls, being all plains at one of two levels, the mesas of verity and falsity, as it were, with nary a niche to inhabit between them, restricting our options for a sporting gradient of downhill dynamics to just one of two:  standing still on level ground or falling off a bluff.

We have been contemplating functions of the type <math>f : X \to \mathbb{B}</math> and studying the action of the operators <math>\operatorname{E}</math> and <math>\operatorname{D}</math> on this family.  These functions, that we may identify for our present aims with propositions, inasmuch as they capture their abstract forms, are logical analogues of ''scalar potential fields''.  These are the sorts of fields that are so picturesquely presented in elementary calculus and physics textbooks by images of snow-covered hills and parties of skiers who trek down their slopes like least action heroes.  The analogous scene in propositional logic presents us with forms more reminiscent of plateaunic idylls, being all plains at one of two levels, the mesas of verity and falsity, as it were, with nary a niche to inhabit between them, restricting our options for a sporting gradient of downhill dynamics to just one of two:  standing still on level ground or falling off a bluff.

We are still working well within the logical analogue of the classical finite difference calculus, taking in the novelties that the logical transmutation of familiar elements is able to bring to light.  Soon we will take up several different notions of approximation relationships that may be seen to organize the space of propositions, and these will allow us to define several different forms of differential analysis applying to propositions. In time we will find reason to consider more general types of maps, having concrete types of the form <math>X_1 \times \ldots \times X_k \to Y_1 \times \ldots \times Y_n</math> and abstract types <math>\mathbb{B}^k \to \mathbb{B}^n.</math>  We will think of these mappings as transforming universes of discourse into themselves or into others, in short, as ''transformations of discourse''.

We are still working well within the logical analogue of the

classical finite difference calculus, taking in the novelties

that the logical transmutation of familiar elements is able to

bring to light.  Soon we will take up several different notions

of approximation relationships that may be seen to organize the

space of propositions, and these will allow us to define several

different forms of differential analysis applying to propositions.

In time we will find reason to consider more general types of maps,

having concrete types of the form X_1 x ... x X_k -> Y_1 x ... x Y_n

and abstract types B^k -> B^n.   We will think of these mappings as

transforming universes of discourse into themselves or into others,

in short, as "transformations of discourse".

Before we continue with this intinerary, however, I would like

Before we continue with this intinerary, however, I would like to highlight another sort of differential aspect that concerns the ''boundary operator'' or the ''marked connective'' that serves as one of the two basic connectives in the cactus language for ZOL.

to highlight another sort of "differential aspect" that concerns

the "boundary operator" or the "marked connective" that serves as

one of a pair of basic connectives in the cactus language for ZOL.

Consider the proposition f of concrete type f : !P! x !Q! x !R! -> B

Consider the proposition f of concrete type f : !P! x !Q! x !R! -> B

and abstract type f : B^3 -> B that is written as "(p, q, r)" in the

and abstract type f : B^3 -> B that is written as "(p, q, r)" in the