Differential Propositional Calculus • 1
•
https://inquiryintoinquiry.com/2023/11/15/differential-propositional-calcul…
All,
A “differential propositional calculus” is a propositional
calculus extended by a set of terms for describing aspects
of change and difference, for example, processes taking
place in a universe of discourse or transformations mapping
a source universe to a target universe.
Casual Introduction —
Consider the situation represented by the venn diagram in Figure 1.
Figure 1. Local Habitations, And Names
•
https://inquiryintoinquiry.files.wordpress.com/2023/11/differential-proposi…
The area of the rectangle represents a universe of discourse, X.
The universe under discussion may be a population of individuals
having various additional properties or it may be a collection of
locations occupied by various individuals. The area of the “circle”
represents the individuals having the property q or the locations
in the corresponding region Q. Four individuals, a, b, c, d, are
singled out by name. It happens that b and c currently reside in
region Q while a and d do not.
Regards,
Jon
cc:
https://www.academia.edu/community/l8gn9L