differential logic

Differential logic is the component of logic whose object is the description of variation — for example, the aspects of change, difference, distribution (http://planetmath.org/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 a differential propositional calculus (http://planetmath.org/DifferentialPropositionalCalculus). This extends an ordinary propositional calculus (http://planetmath.org/PropositionalCalculus) in the same way that differential calculus (http://planetmath.org/Calculus) extends analytic geometry.

1 Readings

• Awbrey, J., “http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_IntroductionDifferential Logic : Introduction”.

• Awbrey, J., “http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_and_Dynamic_Systems_2.0Differential Logic and Dynamic Systems”.