Differential Propositional Calculus • 1

Posted on November 15, 2023 by Jon Awbrey

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
\text{Figure 1. Local Habitations, And Names}

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.

cc: FB | Differential Logic • Laws of Form • Mathstodon • Academia.edu
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science

This entry was posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

2 Responses to Differential Propositional Calculus • 1

  1. Pingback: Survey of Differential Logic • 6 | Inquiry Into Inquiry

  2. Pingback: Survey of Differential Logic • 7 | Inquiry Into Inquiry

Leave a comment

This site uses Akismet to reduce spam. Learn how your comment data is processed.