12,080
edits
Changes
Directory:Jon Awbrey/Papers/Dynamics And Logic (view source)
Revision as of 03:26, 14 June 2009
, 03:26, 14 June 2009→Note 11: markup
==Note 11==
==Note 11==
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.
<pre>
<pre>
We are still working well within the logical analogue of the
We are still working well within the logical analogue of the
classical finite difference calculus, taking in the novelties
classical finite difference calculus, taking in the novelties