MyWikiBiz, Author Your Legacy — Wednesday October 08, 2025
Jump to navigationJump to search
2 bytes removed
, 21:08, 10 July 2008
Line 2: |
Line 2: |
| '''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 [[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== |