Tag Archives: Animata

Differential Fields The structure of a differential field may be described as follows.  With each point of there is associated an object of the following type:  a proposition about changes in that is, a proposition   In that frame of … Continue reading →

Field Picture Let us summarize the outlook on differential logic we’ve 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 to considering a larger … Continue reading →

Transforms Expanded over Ordinary and Differential Variables Two views of how the difference operator acts on the set of sixteen functions are shown below.  Table A5 shows the expansion of over the set of ordinary variables and Table A6 shows the expansion … Continue reading →

Transforms Expanded over Ordinary and Differential Variables A first view of how the shift operator acts on the set of sixteen functions was provided by Table A3 in the previous post, expanding the expressions of over the set of ordinary variables. … Continue reading →

Transforms Expanded over Ordinary and Differential Variables As promised last time, in the next several posts we’ll extend our scope to the full set of boolean functions on two variables and examine how the differential operators and act on that … Continue reading →

Propositional Forms on Two Variables Tables A1 and A2 showed two ways of organizing the sixteen boolean functions or propositional forms on two variables, as expressed in several notations.  In future discussions the two Tables will be described as the … Continue reading →

Propositional Forms on Two Variables Table A2 arranges the propositional forms on two variables according to another plan, sorting propositions with similar shapes into seven subclasses.  Thereby hangs many a tale, to be told in time. Resources Logic Syllabus Survey … Continue reading →

Propositional Forms on Two Variables To broaden our experience with simple examples, let’s examine the sixteen functions of concrete type and abstract type   Our inquiry into the differential aspects of logical conjunction will pay dividends as we study the … Continue reading →

Differential Expansions of Propositions Panoptic View • Enlargement Maps The enlargement or shift operator exhibits a wealth of interesting and useful properties in its own right, so it pays to examine a few of the more salient features playing out … Continue reading →

Differential Expansions of Propositions Panoptic View • Difference Maps In the previous post we computed what is variously described as the difference map, the difference proposition, or the local proposition of the proposition at the point where and In the … Continue reading →