Category Archives: Spencer Brown

Differential Logic • Comment 7

Posted on September 17, 2021 by Jon Awbrey

Re: John Baez • Cyclic Identity for Partial Derivatives • Maxwell’s Relations (1) (2) (3) Much fun can be had by trying to do differentials and partial differentials over the boolean domain instead of the reals I took a first whack … 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 7

Animated Logical Graphs • 81

Posted on August 26, 2021 by Jon Awbrey

Re: R.J. Lipton and K.W. Regan • A Negative Comment On Negations Minsky and Papert’s Perceptrons was the work that nudged me over the line from gestalt psychology, psychophysics, relational biology, etc. and made me believe AI could fly.  I later … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Descriptive and Normative • Discussion 1

Posted on August 4, 2021 by Jon Awbrey

Re: Logical Graphs • Discussion 3 Re: Laws of Form • John Mingers JM: I hesitate to enter into this debate but I would want to draw different distinctions to normative/descriptive. I would distinguish (following philosopher Roy Bhaskar) between 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 , , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Logical Graphs • Discussion 4

Posted on August 1, 2021 by Jon Awbrey

Re: Category Theory • Henry Story HS: Evan Patterson’s “Knowledge Representation in Bicategories of Relations” is also drawn up in terms of string diagrams, as a way of explaining the W3C RDF and OWL standards.  So it looks like we … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Logical Graphs • Discussion 3

Posted on July 31, 2021 by Jon Awbrey

Re: Peirce List • JFS • RM • ET • RM • JFS • JFS • RM Dear John, Robert, Edwina, The Peirce List discussion on “thinking in diagrams vs thinking in words” called to mind the time I spent … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 2 Comments

Logical Graphs • Discussion 2

Posted on July 29, 2021 by Jon Awbrey

Re: Category Theory • Chad Nester CN: Recently a few of us have been using the “cartesian bicategories of relations” of Carboni and Walters, in particular their string diagrams, as syntax for relations.  The string diagrams in question are more … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Logical Graphs • Discussion 1

Posted on July 28, 2021 by Jon Awbrey

Re: Laws of Form • John Mingers JM: I find it very frustrating not to be able to draw crosses and expressions within emails or Word documents.  Does anyone know of any software or apps that can do this?  If not, … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Animated Logical Graphs • 80

Posted on July 9, 2021 by Jon Awbrey

Re: Category Theory • Chad Nester CN: Re: Categorical Treatments of Existential Graphs Cf: N. Haydon and P. Sobociński • Compositional Diagrammatic First-Order Logic Thanks, Chad, for that extremely nice treatment of Peirce’s existential graphs at the β level, tantamount 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment

Differential Logic • Comment 6

Posted on July 7, 2021 by Jon Awbrey

Cf: Category Theory • Jon Awbrey I opened a topic in the “logic” stream of “category theory.zulipchat” to discuss differential logic in a category theoretic environment and began by linking a few basic resources. The topic on logical graphs introduced … 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 6

Animated Logical Graphs • 79

Posted on July 5, 2021 by Jon Awbrey

Re: Category Theory • Henry Story HS: I think in this 2020 Applied Category Theory talk by Rocco Gangle, A Generic Figures Reconstruction of Peirce’s Existential Graphs (Alpha), he is looking at showing how Peirce’s work can be expressed in … 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 1 Comment