Differential logic is the component of logic whose object is the 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 a differential propositional
calculus. This extends an ordinary propositional calculus in the same way that differential calculus
extends analytic geometry.
1 Readings
