Tag Archives: Laws of Form

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

Logical Graphs, Truth Tables, Venn Diagrams • 7

Posted on June 4, 2021 by Jon Awbrey

Re: Logical Graphs, Truth Tables, Venn Diagrams • 6 Re: Amphecks On the subject of Peirce’s ampheck operators, see the earlier discussion of their duality under entitative and existential interpretations. Animated Logical Graphs • 74 The ampheck operators are dual … Continue reading →

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 6 Comments

Logical Graphs, Truth Tables, Venn Diagrams • 6

Posted on June 2, 2021 by Jon Awbrey

Re: Laws of Form • John Mingers • Lyle Anderson Dear John, Lyle, See:  Ampheck Peirce discovered this about 1880 but did not publish it, leaving it to be named after Sheffer at a much later date.  In one discussion … Continue reading →

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 7 Comments

Logical Graphs, Truth Tables, Venn Diagrams • 5

Posted on June 1, 2021 by Jon Awbrey

Re: Laws of Form • Lyle Anderson Re: Anderson, Lyle A. III (1981), “Systematic Analysis of Algorithms”, Open Access Master’s Theses, Paper 1167, (1) (2). Thanks, Lyle, your Chapter 4, “Dealing With Conditional Statements”, provides a detailed treatment of algorithmic … Continue reading →

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 6 Comments

Logical Graphs, Truth Tables, Venn Diagrams • 4

Posted on May 30, 2021 by Jon Awbrey

All we are saying is give Peirce a chance Re: Laws of Form • John Mingers • Lyle Anderson Dear John, Lyle, I’ve seen too many ways of interpreting and implementing If‑Then‑Else clauses to know what any one person or … Continue reading →

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 6 Comments

Logical Graphs, Truth Tables, Venn Diagrams • 3

Posted on May 30, 2021 by Jon Awbrey

Re: Laws of Form • John Mingers • Lyle Anderson Dear John, Lyle, There is nothing simple about the interpretation of If-Then-Else constructions in ordinary language as they combine the equivocation between formal and material implication at the outset with … Continue reading →

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 7 Comments

Logical Graphs, Truth Tables, Venn Diagrams • 2

Posted on May 29, 2021 by Jon Awbrey

Re: Laws of Form • John Mingers JM: Most of the recent discussion is about two-variable logic forms where there is a logical relation between two logical variables.  I want to bring up the subject of three-variable logic which I … Continue reading →

Posted in Amphecks, Boolean Algebra, Boolean Functions, C.S. Peirce, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Peirce, Propositional Calculus, Spencer Brown, Truth Tables, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , | 7 Comments

Differential Logic • Comment 5

Posted on May 14, 2021 by Jon Awbrey

Re: Peirce List • John Sowa : “Modal Logic Is An Immense Swamp” Dear John, Best title I’ve read in a long time!  But the really immense swamp critter here is the Naturally Evolved Organon known as ornery natural language which … Continue reading →

Posted in Adaptive Systems, Amphecks, Belief Systems, Boole, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Cybernetics, Differential Logic, Discrete Dynamics, Fixation of Belief, Gradient Descent, Graph Theory, Hill Climbing, Hologrammautomaton, Inquiry, Inquiry Driven Systems, Laws of Form, Leibniz, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Optimization, Painted Cacti, Peirce, Propositional Calculus, Spencer Brown | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , | Comments Off on Differential Logic • Comment 5

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