[CG] Re: Differential Propositional Calculus

Differential Propositional Calculus • 1 • https://inquiryintoinquiry.com/2024/11/29/differential-propositional-calcul… 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 the 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 with the property q or the locations in the corresponding region Q. Four individuals, a, b, c, d, are singled out by name. As it happens, b and c currently reside in region Q while a and d do not. Resources — Logic Syllabus • https://inquiryintoinquiry.com/logic-syllabus/ Survey of Differential Logic • https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7 Regards, Jon cc: https://www.academia.edu/community/LxkRqZ cc: https://www.researchgate.net/post/Differential_Propositional_Calculus