Monthly Archives: June 2021

Differential Logic and Dynamic Systems • Discussion 6

Re: Differential Logic and Dynamic Systems • Discussions • (4) • (5) Re: Laws of Form • Lyle Anderson LA: Have you ever done any statistical analysis of data, or any of the statistical sciences such as the Theory of … 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 5

Re: Differential Logic and Dynamic Systems • Discussion 4 Re: Laws of Form • Lyle Anderson (1) (2) Last time I mentioned a few old writings I thought might serve to smooth the transition from “Differential Propositional Calculus” to the … 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

Logical Graphs, Truth Tables, Venn Diagrams • 9

In November 1619, I had a dream involving the Seventh Ode of Ausonius, which begins Quod vitae sectabor iter [“What road in life shall I follow”]. René Descartes • Experimenta Re: Laws of Form • Lyle Anderson LA: As 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 , , , , , , , , , , , , , , | 6 Comments

Logical Graphs, Truth Tables, Venn Diagrams • 8

Re: Laws of Form • John Mingers • Lyle Anderson Re: Logical Graphs, Truth Tables, Venn Diagrams • (2) • (3) Looking to the day we can make our ascent to logical graphs with increasing numbers of variables, I’d like to … 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

Animated Logical Graphs • 76

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

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

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

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