Difference between revisions of "Differential logic"

MyWikiBiz, Author Your Legacy — Friday March 29, 2024
Jump to navigationJump to search
(Differential Logic → ThoughtMesh)
(add cats & links)
Line 1: Line 1:
 
'''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.
 
'''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 '''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]].
+
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==
 
==Readings==
  
 
* [[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems|Differential Logic and Dynamic Systems]]
 
* [[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems|Differential Logic and Dynamic Systems]]
 +
 +
* [[Directory:Jon Awbrey/Papers/Differential Logic and Dynamic Systems 2.0|Differential Logic and Dynamic Systems 2.0]]
  
 
==External links==
 
==External links==
Line 15: Line 17:
 
[[Category:Computer Science]]
 
[[Category:Computer Science]]
 
[[Category:Cybernetics]]
 
[[Category:Cybernetics]]
 +
[[Category:Differential Logic]]
 
[[Category:Dynamical Systems]]
 
[[Category:Dynamical Systems]]
 
[[Category:Formal Languages]]
 
[[Category:Formal Languages]]
 +
[[Category:Formal Sciences]]
 
[[Category:Formal Systems]]
 
[[Category:Formal Systems]]
 
[[Category:Inquiry]]
 
[[Category:Inquiry]]

Revision as of 21:14, 10 July 2008

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

Aficionados



<sharethis />