Category Archives: Animata

Survey of Animated Logical Graphs • 4

Posted on May 1, 2021 by Jon Awbrey

This is a Survey of blog and wiki posts on Logical Graphs, encompassing several families of graph-theoretic structures originally developed by Charles S. Peirce as graphical formal languages or visual styles of syntax amenable to interpretation for logical applications. Beginnings Logical Graphs … Continue reading →

Posted in Amphecks, Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Computational Complexity, Constraint Satisfaction Problems, Differential Logic, 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 , , , , , , , , , , , , , , , , , , , , , , , , | 33 Comments

Animated Logical Graphs • 74

Posted on April 30, 2021 by Jon Awbrey

Re: Richard J. Lipton • The Art Of Math Re: Animated Logical Graphs • (30) • (45) • (57) • (58) • (59) • (60) • (61) • (62) • (63) • (64) • (65) • (66) • (69) • … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Animated Logical Graphs • 73

Posted on April 24, 2021 by Jon Awbrey

Re: Richard J. Lipton • The Art Of Math Re: Animated Logical Graphs • (30) • (45) • (57) • (58) • (59) • (60) • (61) • (62) • (63) • (64) • (65) • (66) • (69) • … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Animated Logical Graphs • 72

Posted on April 22, 2021 by Jon Awbrey

Re: Richard J. Lipton • The Art Of Math Re: Animated Logical Graphs • (30) • (45) • (57) • (58) • (59) • (60) • (61) • (62) • (63) • (64) • (65) • (66) • (69) • … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Animated Logical Graphs • 71

Posted on April 18, 2021 by Jon Awbrey

Re: Richard J. Lipton • The Art Of Math Re: Animated Logical Graphs • (57) • (58) • (59) • (60) • (61) • (62) • (63) • (64) • (65) • (66) • (69) • (70) Our investigation has … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 12 Comments

Animated Logical Graphs • 70

Posted on April 7, 2021 by Jon Awbrey

Re: Richard J. Lipton • The Art Of Math Re: Animated Logical Graphs • (57) • (58) • (59) • (60) • (61) • (62) • (63) • (64) • (65) • (66) • (69) Our study of the duality … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 12 Comments

Animated Logical Graphs • 69

Posted on March 30, 2021 by Jon Awbrey

Re: Richard J. Lipton • The Art Of Math Re: Animated Logical Graphs • (57) • (58) • (59) • (60) • (61) • (62) • (63) • (64) • (65) • (66) “I know what you mean but I … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 13 Comments

Animated Logical Graphs • 68

Posted on March 29, 2021 by Jon Awbrey

Re: Animated Logical Graphs • (14) • (15) • (16) • (17) • (18) • (19) • (20) • (21) Re: Ontolog Forum • Mauro Bertani Dear Mauro, Let’s take a another look at the Table we reached at the … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 9 Comments

Animated Logical Graphs • 67

Posted on March 27, 2021 by Jon Awbrey

Re: Animated Logical Graphs • (14) • (15) • (16) • (17) • (18) • (19) • (20) Re: Differential Propositional Calculus • Discussion • (4) • (5) • (6) Re: Laws of Form • Lyle Anderson Re: Peirce List … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

All Process, No Paradox • 9

Posted on March 18, 2021 by Jon Awbrey

In the midst of this strife, whereat the halls of Ilúvatar shook and a tremor ran out into the silences yet unmoved, Ilúvatar arose a third time, and his face was terrible to behold.  Then he raised up both his … Continue reading →

Posted in Animata, C.S. Peirce, Category Theory, Cybernetics, Differential Logic, Laws of Form, Logic, Logical Graphs, Mathematics, Paradox, Peirce, Process, Semiotics, Spencer Brown, Systems Theory, Tertium Quid, Time, Tolkien | Tagged , , , , , , , , , , , , , , , , , | 7 Comments