12,180
edits
Changes
Directory:Jon Awbrey/Projects/Differential Logic (view source)
Revision as of 15:08, 30 July 2013
, 15:08, 30 July 2013no edit summary
{{DISPLAYTITLE:Project : Differential Logic}}
'''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]].
==Readings==
==Readings==
* [[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems|Differential Logic and Dynamic Systems]]
*[http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Differential Propositional Calculus @ PlanetMath]
*[[Directory:Jon Awbrey/Papers/Differential Propositional Calculus|Differential Propositional Calculus (In Progress)]]
*[[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0|Differential Logic and Dynamic Systems 2.0]]
==Texts in preparation==
* [[Directory:Jon_Awbrey/Papers/Change_In_Logic|Change In Logic]]
* [[Directory:Jon_Awbrey/Papers/Dynamics_And_Logic|Dynamics And Logic]]
[[Project Name:=Differential Logic| ]]
* [[User:Jon_Awbrey/DIFF/A|Differential Logic : Series A]]
[[Project Of::Directory:Jon Awbrey| ]]
* [[User:Jon_Awbrey/DIFF/B|Differential Logic : Series B]]
* [[User:Jon_Awbrey/DIFF/C|Differential Logic : Series C]]