PlanetPhysics/Differential Logic
(Redirected from PlanetPhysics/DifferentialLogic)
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.
Readings
edit\item Awbrey, J., ``". \item Awbrey, J., ``".