## Differential Logic • Discussion 10

Let’s say we’re observing a system at discrete intervals of time and testing whether its state satisfies or falsifies a given predicate or proposition $p$ at each moment.  Then $p$ and $\mathrm{d}p$ are two state variables describing the time evolution of the system.  In logical conception $p$ and $\mathrm{d}p$ are independent variables, even if empirical discovery finds them bound by law.

What gives the differential variable $\mathrm{d}p$ its meaning in relation to the ordinary variable $p$ is not the conventional notation used here but a class of temporal inference rules, in the present example, the fourfold scheme of inference shown below.

### 1 Response to Differential Logic • Discussion 10

This site uses Akismet to reduce spam. Learn how your comment data is processed.