Animated Logical Graphs • 24

Re: Ontolog ForumJoseph Simpson

Today I found an interesting publication that might relate to the current discussion of Animated Logical Graphs (ALG).  Please see:
The “sensitivity” conjecture may be a topic that could be explored using ALG.  There appear to be many interesting connections between ALG and the sensitivity conjecture.  I am looking for an area where ALG application examples may be created and discussed.  My first attempt at an example, using the Augmented Model-Exchange Isomorphism (AMEI), raised a number of conceptual and structural application issues.  Which can be addressed as we move forward.  My plan is to continue the search for specific application areas.  I believe that finding domain specific applications will help me better understand the ALG material.
Take care, be good to yourself and have fun,

Dear Joe,

Boolean functions f : \mathbb{B}^k \to \mathbb{B} and different ways of contemplating their complexity are definitely the right ballpark, or at least the right planet, for field-testing logical graphs.

I don’t know much about the Boolean Sensitivity Conjecture but I happened to run across an enlightening article about it just yesterday and I did a while ago begin an exploration into what appears to be a related question, Péter Frankl’s “Union-Closed Sets Conjecture”.  See the resource pages linked below.

At any rate, now that we’ve entered the ballpark, or standard orbit, of boolean functions, I can skip a bit of dancing around and jump to the next blog post I have on deck.


cc: Peirce List (1) (2) (3) (4) (5) (6) (7) (8) (9) (10) (11) (12) (13) (14) (15)
cc: Structural Modeling (1) (2) • Systems Science (1) (2)
cc: Cybernetics (1) (2) • Ontolog Forum (1) (2)
cc: FB | Logical GraphsLaws of Form

This entry was posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Constraint Satisfaction Problems, Deduction, Diagrammatic Reasoning, Duality, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Peirce, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Theorem Proving, Visualization and tagged , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

6 Responses to Animated Logical Graphs • 24

  1. Pingback: Survey of Animated Logical Graphs • 2 | Inquiry Into Inquiry

  2. Pingback: Survey of Animated Logical Graphs • 2 | Inquiry Into Inquiry

  3. Pingback: Survey of Animated Logical Graphs • 3 | Inquiry Into Inquiry

  4. Pingback: Differential Propositional Calculus • Discussion 4 | Inquiry Into Inquiry

  5. Pingback: Animated Logical Graphs • 28 | Inquiry Into Inquiry

  6. Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry

Leave a Reply

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

You are commenting using your 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.