Category Archives: Model Theory

Animated Logical Graphs • 78

Posted on July 4, 2021 by Jon Awbrey

Cf: Category Theory • Jon Awbrey As far as the “animated” part goes, I lost my klutz-friendly animation app in my last platform change and then got immersed in other things, so it may be a while before I get back to … 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

Animated Logical Graphs • 77

Posted on July 3, 2021 by Jon Awbrey

Cf: Category Theory • Jon Awbrey A place for exploring animated forms of visual inference inspired by the work of C.S. Peirce and Spencer Brown. I opened a topic in the “logic” stream of “category theory.zulipchat” to discuss logical graphs in a … 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

Animated Logical Graphs • 76

Posted on June 6, 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Animated Logical Graphs • 75

Posted on May 10, 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

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