| Version 2 |
Version 1 |
| \PMlinkescapephrase{calculus} |
Forthcoming |
| \PMlinkescapephrase{Calculus} |
|
| \PMlinkescapephrase{component} |
|
| \PMlinkescapephrase{Component} |
|
| \PMlinkescapephrase{object} |
|
| \PMlinkescapephrase{Object} |
|
| \PMlinkescapephrase{simple} |
|
| \PMlinkescapephrase{Simple} |
|
|
|
| \textbf{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 \textbf{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 \textbf{\PMlinkname{differential propositional calculus}{DifferentialPropositionalCalculus}}. This extends ordinary propositional calculus in the same way that differential calculus extends analytic geometry. |
|
|
|
| \section{Readings} |
|
|
|
| \begin{itemize} |
|
| \item |
|
| Awbrey, J., ``\PMlinkexternal{Differential Logic and Dynamic Systems}{http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems}". |
|
| \end{itemize} |
|
