Changes

MyWikiBiz, Author Your Legacy — Monday December 23, 2024
Jump to navigationJump to search
no edit summary
Line 1: Line 1:  
{{DISPLAYTITLE:Differential Logic}}
 
{{DISPLAYTITLE:Differential Logic}}
<font color="red" size="3">'''&#9734; Note &#9734; The formatting problems below are caused by the new MathJax parser.  See the InterSciWiki copy at [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Sketch_2 Differential Logic : Sketch 2].'''</font>
+
<font color="red" size="4">
 +
'''&#9734; The MathJax formatter is currently making hash of the text below. &#9734;'''<br>
 +
'''&#9734; Please see the InterSciWiki copy at [http://intersci.ss.uci.edu/wiki/index.php/Differential_Logic_:_Sketch_2 Differential Logic : Sketch 2]. &#9734;'''
 +
</font>
    
'''Author: [[User:Jon Awbrey|Jon Awbrey]]'''
 
'''Author: [[User:Jon Awbrey|Jon Awbrey]]'''
Line 6: Line 9:  
'''Note.'''  ''The present Sketch is largely superseded by the article &ldquo;[[Differential Logic : Introduction]]&rdquo; but I have preserved it here for the sake of the remaining ideas that have yet to be absorbed elsewhere.''
 
'''Note.'''  ''The present Sketch is largely superseded by the article &ldquo;[[Differential Logic : Introduction]]&rdquo; but I have preserved it here for the sake of the remaining ideas that have yet to be absorbed elsewhere.''
   −
'''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 &mdash; for example, the aspects of change, difference, distribution, and diversity &mdash; 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]]''.  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.
 
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.
12,080

edits

Navigation menu