Differential Propositional Calculus • 37

Foreshadowing Transformations • Extensions and Projections of Discourse

And, despite the care which she took to look behind her at every moment, she failed to see a shadow which followed her like her own shadow, which stopped when she stopped, which started again when she did, and which made no more noise than a well-conducted shadow should.

— Gaston Leroux • The Phantom of the Opera

Many times in our discussion we have occasion to place one universe of discourse in the context of a larger universe of discourse.  An embedding of the type [\mathcal{X}] \to [\mathcal{Y}] is implied any time we make use of one basis \mathcal{X} which happens to be included in another basis \mathcal{Y}.  When discussing differential relations we usually have in mind the extended alphabet \mathfrak{Y} has a special construction or a specific lexical relation with respect to the initial alphabet \mathfrak{X}, one which is marked by characteristic types of accents, indices, or inflected forms.

Resources

cc: FB | Differential LogicLaws of FormMathstodonAcademia.edu
cc: Conceptual Graphs (1) (2)CyberneticsStructural ModelingSystems 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 • 37

  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.