12,080
edits
Changes
copy text from [http://www.opencycle.net/ OpenCycle] of which Jon Awbrey is the sole author
'''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]].
==Texts in preparation==
* [[Differential Logic : Series A]]
* [[Differential Logic : Series B]]
* [[Differential Logic : Series C]]
* [[Differential Logic and Dynamic Systems]]
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]].
==Texts in preparation==
* [[Differential Logic : Series A]]
* [[Differential Logic : Series B]]
* [[Differential Logic : Series C]]
* [[Differential Logic and Dynamic Systems]]