Difference between revisions of "Differential logic"

MyWikiBiz, Author Your Legacy — Thursday March 28, 2024
Jump to navigationJump to search
Line 11: Line 11:
 
==External links==
 
==External links==
  
* [http://vectors.usc.edu/thoughtmesh/publish/143.php Differential Logic ThoughtMesh]
+
* [http://vectors.usc.edu/thoughtmesh/publish/143.php Differential Logic @ ThoughtMesh]
  
{{aficionados}}<sharethis />
+
* [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.

Readings

External links