Changes

'''Differential logic''' is the component of [[logic]] whose object is the successful description of variation — for example, the aspects of change, difference, distribution, and diversity — in universes of discourse that are subject to logical description.  In [[formal logic]], differential logic treats the principles that govern the use of a ''differential logical calculus'', that is, a [[formal system]] with the expressive capacity to describe change and diversity in logical universes of discourse.

'''Differential logic''' is the component of [[logic]] whose object is the successful description of variation — for example, the aspects of change, difference, distribution, and diversity — in universes of discourse that are subject to logical description.  In [[formal logic]], differential logic treats the principles that govern the use of a ''differential logical calculus'', that is, a [[formal system]] with the expressive capacity to describe change and diversity in logical universes of discourse.

A simple example of a differential logical calculus is furnished by '''differential propositional calculus'''.  This augments ordinary [[propositional calculus]] in the same way that the [[differential calculus]] of [[Leibniz]] and [[Newton]] augments the [[analytic geometry]] of [[Descartes]].

A simple example of a differential logical calculus is furnished by a [[differential propositional calculus]].  This augments ordinary [[propositional calculus]] in the same way that the [[differential calculus]] of [[Leibniz]] and [[Newton]] augments the [[analytic geometry]] of [[Descartes]].

==Readings==

==Readings==

* [[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems|Differential Logic and Dynamic Systems]]

* [[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems|Differential Logic and Dynamic Systems]]

==External links==

==External links==

[[Category:Computer Science]]

[[Category:Computer Science]]

[[Category:Cybernetics]]

[[Category:Cybernetics]]

[[Category:Dynamical Systems]]

[[Category:Dynamical Systems]]

[[Category:Formal Languages]]

[[Category:Formal Languages]]

[[Category:Formal Systems]]

[[Category:Formal Systems]]

[[Category:Inquiry]]

[[Category:Inquiry]]