Changes

more raw material toward an introduction
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.
+
'''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.
+
A simple example of a differential logical calculus is furnished by a ''[[differential propositional calculus]]''A differential propositional calculus is a [[propositional calculus]] extended by a set of terms for describing aspects of change and difference, for example, processes that take place in a universe of discourse or transformations that map a source universe into a target universe.  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==
12,080

edits