Tacit Extensions
Returning to the Table of Differential Propositions, let’s examine how the general concept of a tacit extension applies to the differential extension of a one‑dimensional universe of discourse, where and
Each proposition has a canonical expression
in the set
The tacit extension
may then be expressed as a logical conjunction
where
is a logical tautology using all the variables in
The following Table shows how the tacit extensions
of the propositions
may be expressed in terms of the extended basis
In its bearing on the singular propositions over a universe of discourse the above analysis has an interesting interpretation. The tacit extension takes us from thinking about a particular state, like
or
to considering the collection of outcomes, the outgoing changes or singular dispositions springing or stemming from that state.
Resources
cc: FB | Differential Logic • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs (1) (2) • Cybernetics • Structural Modeling • Systems Science
![Tacit Extension of [A] to [A, dA]](https://inquiryintoinquiry.com/wp-content/uploads/2023/12/differential-logic-e280a2-tacit-extensions.png?w=640&h=240)
Pingback: Survey of Differential Logic • 6 | Inquiry Into Inquiry
Pingback: Survey of Differential Logic • 7 | Inquiry Into Inquiry