MyWikiBiz, Author Your Legacy — Monday December 23, 2024
Jump to navigationJump to search
766 bytes added
, 13:52, 9 June 2009
Line 1: |
Line 1: |
| {{DISPLAYTITLE:Differential Logic}} | | {{DISPLAYTITLE:Differential Logic}} |
| + | '''Differential logic''' is the component of logic whose object is the 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. |
| + | |
| ==Note 1== | | ==Note 1== |
| | | |