Difference between revisions of "Differential logic"
Jon Awbrey (talk | contribs) |
Jon Awbrey (talk | contribs) (→External links: + items) |
||
| Line 11: | Line 11: | ||
==External links== | ==External links== | ||
| − | * [http://vectors.usc.edu/thoughtmesh/publish/143.php Differential Logic | + | * [http://vectors.usc.edu/thoughtmesh/publish/143.php Differential Logic @ ThoughtMesh] |
| − | + | * [http://planetmath.org/encyclopedia/DifferentialPropositionalCalculus.html Differential Propositional Calculus @ PlanetMath] | |
| + | |||
| + | * [http://planetphysics.org/encyclopedia/DifferentialPropositionalCalculus.html Differential Propositional Calculus @ PlanetPhysics] | ||
[[Category:Computer Science]] | [[Category:Computer Science]] | ||
Revision as of 12:52, 3 June 2009
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 a 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.
