differential logic

Differential logic is the component of logic whose object is the description of variation — for example, the aspects of change, differencePlanetmathPlanetmath, 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 differentialMathworldPlanetmath 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 calculusMathworldPlanetmath (http://planetmath.org/PropositionalCalculus) in the same way that differential calculusMathworldPlanetmath (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”.

Title differential logic
Canonical name DifferentialLogic
Date of creation 2013-08-22 21:53:01
Last modified on 2013-08-22 21:53:01
Owner Jon Awbrey (15246)
Last modified by Jon Awbrey (15246)
Numerical id 16
Author Jon Awbrey (15246)
Entry type Definition
Classification msc 53A40
Classification msc 39A12
Classification msc 34G99
Classification msc 03B44
Classification msc 03B42
Classification msc 03B15
Related topic DifferentialPropositionalCalculus
Related topic DifferentialPropositionalCalculusExamples
Related topic DifferentialPropositionalCalculusAppendices
Related topic DifferentialPropositionalCalculusAppendix2
Related topic DifferentialPropositionalCalculusAppendix3
Related topic DifferentialPropositionalCalculusAppendix4