Re: Laws of Form • Lyle Anderson

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 at each moment.  Then and are two state variables describing the time evolution of the system.  In logical conception and are independent variables, even if empirical discovery finds them bound by law.

What gives the differential variable its meaning in relation to the ordinary variable 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.

cc: Category Theory • Cybernetics • Ontolog • Structural Modeling • Systems Science
cc: FB | Differential Logic • Laws of Form