| Version 9 |
Version 8 |
| \PMlinkescapephrase{calculus} |
\PMlinkescapephrase{calculus} |
| \PMlinkescapephrase{Calculus} |
\PMlinkescapephrase{Calculus} |
| \PMlinkescapephrase{component} |
\PMlinkescapephrase{component} |
| \PMlinkescapephrase{Component} |
\PMlinkescapephrase{Component} |
| \PMlinkescapephrase{formal logic} |
|
| \PMlinkescapephrase{Formal Logic} |
|
| \PMlinkescapephrase{formal logics} |
|
| \PMlinkescapephrase{Formal Logics} |
|
| \PMlinkescapephrase{object} |
\PMlinkescapephrase{object} |
| \PMlinkescapephrase{Object} |
\PMlinkescapephrase{Object} |
| \PMlinkescapephrase{simple} |
\PMlinkescapephrase{simple} |
| \PMlinkescapephrase{Simple} |
\PMlinkescapephrase{Simple} |
|
|
| \textbf{Differential logic} is the component of logic whose object is the description of variation --- for example, the aspects of change, difference, \PMlinkname{distribution}{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. |
\textbf{Differential logic} is the component of logic whose object is the description of variation --- for example, the aspects of change, difference, \PMlinkname{distribution}{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 a \PMlinkname{differential propositional calculus}{DifferentialPropositionalCalculus}. This extends an ordinary \PMlinkname{propositional calculus}{PropositionalCalculus} in the same way that \PMlinkname{differential calculus}{Calculus} extends analytic geometry. |
A simple example of a differential logical calculus is furnished by a \PMlinkname{differential propositional calculus}{DifferentialPropositionalCalculus}. This extends an ordinary \PMlinkname{propositional calculus}{PropositionalCalculus} in the same way that \PMlinkname{differential calculus}{Calculus} extends analytic geometry. |
|
|
| \section{Readings} |
\section{Readings} |
|
|
| \begin{itemize} |
\begin{itemize} |
| \item |
\item |
| Awbrey, J., ``\PMlinkexternal{Differential Logic and Dynamic Systems}{http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0}". |
Awbrey, J., ``\PMlinkexternal{Differential Logic and Dynamic Systems}{http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Logic_and_Dynamic_Systems_2.0}". |
| \end{itemize} |
\end{itemize} |
