Category Archives: Amphecks

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 and Dynamic Systems • Discussion 4

Posted on May 26, 2021 by Jon Awbrey

Re: Differential Propositional Calculus • Discussions • (1) • (2) • (3) Re: Laws of Form • Lyle Anderson (1) (2) Dear Lyle, I’ve been meaning to get back to your comments linked above — the connections you observed to … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 10 Comments

Differential Logic and Dynamic Systems • Discussion 3

Posted on May 21, 2021 by Jon Awbrey

Re: FB | Differential Logic • Rajib Hossain Pavel RHP: How can Differential Logic find Optimal Condition in a Game setting for an Individual Player (Individual Choice) and Overall System (Social Welfare)? Dear Rajib, Differential logic is a general framework … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Differential Logic and Dynamic Systems • Discussion 2

Posted on May 20, 2021 by Jon Awbrey

Re: Michael Harris • Does Mathematics “Progress”? • Comment In several places I can’t find right now I described formalization as an arrow.  A related idea occurs in a paper by Susan Awbrey and myself where we discussed “a dimension … Continue reading →

Posted in Amphecks, Boolean Functions, C.S. Peirce, Cactus Graphs, Category Theory, Change, Computational Complexity, Cybernetics, Differential Analytic Turing Automata, Differential Calculus, Differential Logic, Discrete Dynamics, Dynamical Systems, Equational Inference, Functional Logic, Gradient Descent, Graph Theory, Group Theory, Hologrammautomaton, Indicator Functions, Logic, Logical Graphs, Mathematical Models, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Time, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments