Differential Propositional Calculus • Overview 2
• https://inquiryintoinquiry.com/2024/11/27/differential-propositional-calculus-overview-b/

What follows is the outline of a sketch on differential propositional calculus intended as an intuitive introduction to the larger subject of differential logic, which amounts in turn to my best effort so far at dealing with the ancient and persistent problems of treating diversity and mutability in logical terms.

Note. I'll give just the links to the main topic heads below. Please follow the link at the top of the page for the full outline.

Part 1 —
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1

Casual Introduction
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1#Casual_Introduction

Cactus Calculus
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_1#Cactus_Calculus

Part 2 —
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2

Formal_Development
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Formal_Development

Elementary Notions
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Elementary_Notions

Special Classes of Propositions
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Special_Classes_of_Propositions

Differential Extensions
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Part_2#Differential_Extensions

Appendices —
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_Appendices

References —
• https://oeis.org/wiki/Differential_Propositional_Calculus_%E2%80%A2_References

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DiscreteDynamicalSystems
#BooleanFunctions #BooleanDifferenceCalculus #CalculusOfLogicalDifferences
#PropositionalCalculus #DifferentialPropositionalCalculus #LogicalDynamics

Differential Propositional Calculus • 1
• https://inquiryintoinquiry.com/2024/11/29/differential-propositional-calculus-1-b/

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-propositional-calculus-e280a2-figure-1.png

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

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DiscreteDynamicalSystems
#BooleanFunctions #BooleanDifferenceCalculus #CalculusOfLogicalDifferences
#PropositionalCalculus #DifferentialPropositionalCalculus #LogicalDynamics

Differential Propositional Calculus • 2
• https://inquiryintoinquiry.com/2024/11/30/differential-propositional-calculus-2-b/

Casual Introduction (cont.)

Now consider the situation represented by the venn diagram in Figure 2.

Figure 2. Same Names, Different Habitations
• https://inquiryintoinquiry.files.wordpress.com/2023/11/differential-propositional-calculus-e280a2-figure-2.png

Figure 2 differs from Figure 1 solely in the circumstance that the object c is outside the region Q while the object d is inside the region Q.

Nothing says our encountering the Figures in the above order is other than purely accidental but if we interpret the sequence of frames as a “moving picture” representation of their natural order in a temporal process then it would be natural to suppose a and b have remained as they were with regard to the quality q while c and d have changed their standings in that respect. In particular, c has moved from the region where q is true to the region where q is false while d has moved from the region where q is false to the region where q is true.

Resources —

Logic Syllabus
• https://inquiryintoinquiry.com/logic-syllabus/

Survey of Differential Logic
• https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DiscreteDynamicalSystems
#BooleanFunctions #BooleanDifferenceCalculus #CalculusOfLogicalDifferences
#PropositionalCalculus #DifferentialPropositionalCalculus #LogicalDynamics

Differential Propositional Calculus • 3.1
• https://inquiryintoinquiry.com/2024/12/01/differential-propositional-calculus-3-b/

Casual Introduction (cont.)

Figure 3 returns to the situation in Figure 1, but this time interpolates a new quality specifically tailored to account for the relation between Figure 1 and Figure 2.

Figure 3. Back, To The Future
• https://inquiryintoinquiry.files.wordpress.com/2023/11/differential-propositional-calculus-e280a2-figure-3.png

The new quality, dq, is marked as a “differential quality” on account of its absence or presence qualifying the absence or presence of change occurring in another quality. As with any quality, it is represented in the venn diagram by means of a “circle” distinguishing two halves of the universe of discourse, in this case, the portions of X outside and inside the region dQ.

Resources —

Logic Syllabus
• https://inquiryintoinquiry.com/logic-syllabus/

Survey of Differential Logic
• https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DiscreteDynamicalSystems
#BooleanFunctions #BooleanDifferenceCalculus #CalculusOfLogicalDifferences
#PropositionalCalculus #DifferentialPropositionalCalculus #LogicalDynamics

Differential Propositional Calculus • 3.2
• https://inquiryintoinquiry.com/2024/12/01/differential-propositional-calculus-3-b/

Casual Introduction (cont.)

Figure 1 represents a universe of discourse X together with a basis of discussion {q} for expressing propositions about the contents of that universe. Once the quality q is given a name, say, the symbol “q”, we have the basis for a formal language specifically cut out for discussing X in terms of q. That language is more formally known as the “propositional calculus” with alphabet {“q”}.

In the context marked by X and {q} there are just four distinct pieces of information which can be expressed in the corresponding propositional calculus, namely, the constant proposition False, the negative proposition ¬q, the positive proposition q, and the constant proposition True.

For example, referring to the points in Figure 1, the constant proposition False holds of no points, the negative proposition ¬q holds of a and d, the positive proposition q holds of b and c, and the constant proposition True holds of all points in the sample.

Figure 3 preserves the same universe of discourse and extends the basis of discussion to a set of two qualities, {q, dq}. In corresponding fashion, the initial propositional calculus is extended by means of the enlarged alphabet, {“q”, “dq”}.

Resources —

Logic Syllabus
• https://inquiryintoinquiry.com/logic-syllabus/

Survey of Differential Logic
• https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DiscreteDynamicalSystems
#BooleanFunctions #BooleanDifferenceCalculus #CalculusOfLogicalDifferences
#PropositionalCalculus #DifferentialPropositionalCalculus #LogicalDynamics

Differential Propositional Calculus • 4
• https://inquiryintoinquiry.com/2024/12/02/differential-propositional-calculus-4-b/

Casual Introduction (cont.)

In Figure 3 we saw how the basis of description for the universe of discourse X could be extended to a set of two qualities {q, dq} while the corresponding terms of description could be extended to an alphabet of two symbols {“q”, “dq”}.

Any propositional calculus over two basic propositions allows for the expression of 16 propositions all together. Salient among those propositions in the present setting are the four which single out the individual sample points at the initial moment of observation. Table 4 lists the initial state descriptions, using overlines to express logical negations.

Table 4. Initial State Descriptions
• https://inquiryintoinquiry.files.wordpress.com/2020/02/differential-propositional-calculus-e280a2-initial-state-descriptions.png

Resources —

Logic Syllabus
• https://inquiryintoinquiry.com/logic-syllabus/

Survey of Differential Logic
• https://inquiryintoinquiry.com/2024/02/25/survey-of-differential-logic-7

#Peirce #Logic #LogicalGraphs #DifferentialLogic #DiscreteDynamicalSystems
#BooleanFunctions #BooleanDifferenceCalculus #CalculusOfLogicalDifferences
#PropositionalCalculus #DifferentialPropositionalCalculus #LogicalDynamics