Daily Archives: July 26, 2019

Animated Logical Graphs • 25

Re: Animated Logical Graphs • 23 Let’s examine the Formal Operation Table for the third in our series of reflective forms to see if we can elicit the general pattern. Or, thinking in terms of the corresponding cactus graphs, writing for … Continue reading

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 | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Animated Logical Graphs • 24

Re: Ontolog Forum • Joseph Simpson JS: Today I found an interesting publication that might relate to the current discussion of Animated Logical Graphs (ALG).  Please see: Mathematician Solves Computer Science Conjecture in Two Pages The “sensitivity” conjecture may be … Continue reading

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 | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments