Changes

==Quick Review : Field Picture==

==Quick Review : Field Picture==

Let us summarize, in rough but intuitive terms, the outlook on differential logic that we have reached so far.  We've been considering a class of operators on universes of discourse, each of which takes us from considering one universe of discourse, <math>X^\circ,</math> to considering a larger universe of discourse, <math>\operatorname{E}X^\circ.</math>  An operator <math>\operatorname{W}</math> of this general type, namely,<math>\operatorname{W} : X^\circ \to \operatorname{E}X^\circ,</math> acts on each proposition <math>f : X \to \mathbb{B}</math> of the source universe <math>X^\circ</math> to produce a proposition <math>\operatorname{W}f : \operatorname{E}X \to \mathbb{B}</math> of the target universe <math>\operatorname{E}X^\circ.</math>

Let us summarize, in rough but intuitive terms, the outlook on differential logic that we have reached so far.  We've been considering a class of operators on universes of discourse, each of which takes us from considering one universe of discourse, <math>X^\circ,</math> to considering a larger universe of discourse, <math>\operatorname{E}X^\circ.</math>  An operator <math>\operatorname{W}</math> of this general type, namely, <math>\operatorname{W} : X^\circ \to \operatorname{E}X^\circ,</math> acts on each proposition <math>f : X \to \mathbb{B}</math> of the source universe <math>X^\circ</math> to produce a proposition <math>\operatorname{W}f : \operatorname{E}X \to \mathbb{B}</math> of the target universe <math>\operatorname{E}X^\circ.</math>

The two main operators that we've examined so far are the enlargement or shift operator <math>\operatorname{E} : X^\circ \to \operatorname{E}X^\circ</math> and the difference operator <math>\operatorname{D} : X^\circ \to \operatorname{E}X^\circ.</math>  The operators <math>\operatorname{E}</math> and <math>\operatorname{D}</math> act on propositions in <math>X^\circ,</math> that is, propositions of the form <math>f : X \to \mathbb{B}</math> that are said to be ''about'' the subject matter of <math>X,\!</math> and they produce extended propositions of the forms <math>\operatorname{E}f, \operatorname{D}f : \operatorname{E}X \to \mathbb{B},</math> propositions whose extended sets of variables allow them to be read as being about specified collections of changes that conceivably occur in <math>X.\!</math>

The two main operators that we've examined so far are the enlargement or shift operator <math>\operatorname{E} : X^\circ \to \operatorname{E}X^\circ</math> and the difference operator <math>\operatorname{D} : X^\circ \to \operatorname{E}X^\circ.</math>  The operators <math>\operatorname{E}</math> and <math>\operatorname{D}</math> act on propositions in <math>X^\circ,</math> that is, propositions of the form <math>f : X \to \mathbb{B}</math> that are said to be ''about'' the subject matter of <math>X,\!</math> and they produce extended propositions of the forms <math>\operatorname{E}f, \operatorname{D}f : \operatorname{E}X \to \mathbb{B},</math> propositions whose extended sets of variables allow them to be read as being about specified collections of changes that conceivably occur in <math>X.\!</math>