Difference between revisions of "Differential logic"
Jon Awbrey (talk | contribs) (Differential Logic → ThoughtMesh) |
Jon Awbrey (talk | contribs) (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 | + | 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
- See Talk:Differential logic for discussions/comments regarding this article.
- See Differential logic/Aficionados for those who have listed Differential logic as an interest.
- See Talk:Differential logic/Aficionados for discussions regarding this interest.
<sharethis />
