Differential Propositional Calculus • Discussion 4

It is one of the rules of my system of general harmony, that the present is big with the future, and that he who sees all sees in that which is that which shall be.

Leibniz • Theodicy

Re: R.J. LiptonAnti-Social Networks
Re: Lou KauffmanIterants, Imaginaries, Matrices
Re: Logical Cactus Graphs @ All Process, No Paradox • 6
Re: Differential Propositional CalculusDiscussion 3
Re: Peirce ListHelmut Raulien

HR:
  1. I think I like very much your Cactus Graphs.  Meaning that I am in the process of understanding them, and finding it much better not to have to draw circles, but lines.
  2. Less easy for me is the differential calculus.  Where is the consistency between \texttt{(} x \texttt{,} y \texttt{)} and \texttt{(} x \texttt{,} y \texttt{,} z \texttt{)}?  \texttt{(} x \texttt{,} y \texttt{)} means that x and y are not equal and \texttt{(} x \texttt{,} y \texttt{,} z \texttt{)} means that one of them is false.  Unequality and truth/falsity for me are two concepts so different I cannot think them together or see a consistency between them.
  3. What about \texttt{(} w \texttt{,} x \texttt{,} y \texttt{,} z \texttt{)}?
  4. Can you give a grammar, like, what does a comma mean, what do brackets mean, what does writing letters following each other with an empty space but no comma mean, and so on?
  5. Same with Cactus Graphs, though I think, they might be self-explaining for me — everything is self-explaining, depending on intellectual capacity, but mine is limited.

Dear Helmut,

Many thanks for your detailed comments and questions.  They help me see the places where more detailed explanation is needed.  I added numbers to your points above for ease of reference and possible future reference in case I can’t get to them all in one pass.

I’m glad you found the cactus graphs to your liking.  It was a critical transition for me when I passed from trees to cacti in my graphing and programming and it came about by recursively applying a trick of thought I learned from Peirce himself.  These days I call it a “Meta-Peircean Move” to apply one of Peirce’s heuristics of choice or standard operating procedures to the state of development resulting from previous applications.  All that makes for a longer story I made a start at telling in the following series of posts.

Well, the clock in the hall struck time for lunch some time ago, so I think I’ll heed its call and continue later …

Regards,

Jon

cc: CyberneticsLaws of FormOntolog Forum • Peirce List (1) (2) (3)
cc: FB | Differential LogicStructural 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.

3 Responses to Differential Propositional Calculus • Discussion 4

  1. Pingback: Differential Propositional Calculus • Discussion 6 | Inquiry Into Inquiry

  2. Pingback: Animated Logical Graphs • 67 | Inquiry Into Inquiry

  3. Pingback: Survey of Differential Logic • 3 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

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