Tag Archives: Laws of Form

Logical Graphs • Formal Development

Posted on September 1, 2023 by Jon Awbrey

Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner. Continue reading →

Posted in Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Deduction, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , | 35 Comments

Logical Graphs • Discussion 6

Posted on August 29, 2023 by Jon Awbrey

Re: Logical Graphs • First Impressions Re: Academia.edu • Robert Appleton RA: As a professional graphic designer and non-mathematician reading your two diagrams, I need to ask for a simpler statement of their purpose.  What do Fig 1 and Fig 2 represent … 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, Painted Cacti, Propositional Calculus, Propositional Equation Reasoning Systems, Relation Theory, Semiotics, Sign Relations, Spencer Brown, Topology, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Logical Graphs • Discussion 5

Posted on August 28, 2023 by Jon Awbrey

Re: Logical Graphs • First Impressions Re: Facebook • Daniel Everett DE: Nice discussion.  Development of icon-based reasoning As it happens, even though Peirce’s systems of logical graphs do have iconic features, their real power over other sorts of logical … 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, Painted Cacti, Propositional Calculus, Propositional Equation Reasoning Systems, Relation Theory, Semiotics, Sign Relations, Spencer Brown, Topology, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Logical Graphs • First Impressions

Posted on August 24, 2023 by Jon Awbrey

A logical graph is a graph-theoretic structure in one of the styles of graphical syntax that Charles Sanders Peirce developed for logic. Continue reading →

Posted in Animata, Boolean Algebra, Boolean Functions, C.S. Peirce, Cactus Graphs, Deduction, Diagrammatic Reasoning, Equational Inference, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , | 30 Comments

Logic Syllabus • Discussion 2

Posted on June 4, 2023 by Jon Awbrey

Re: Logic Syllabus Re: Laws of Form • John Mingers JM: Is [the “just one true” operator] the same or different to xor?  I have read that xor is true when an odd number of variables are true which would … Continue reading →

Posted in Amphecks, Animata, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Functional Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , , , , , , | 5 Comments

Logic Syllabus • Discussion 1

Posted on June 2, 2023 by Jon Awbrey

Re: Logic Syllabus Re: Laws of Form • John Mingers JM: In a previous post you mentioned the minimal negation operator.  Is there also the converse of this, i.e. an operator which is true when exactly one of its arguments … Continue reading →

Posted in Amphecks, Animata, Boolean Functions, C.S. Peirce, Cactus Graphs, Differential Logic, Functional Logic, Graph Theory, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Propositional Equation Reasoning Systems, Semiotics, Venn Diagrams, Visualization | Tagged , , , , , , , , , , , , , , , , , , , | 5 Comments

Theme One Program • Discussion 10

Posted on April 17, 2023 by Jon Awbrey

Re: Mathstodon • Seamus Bradley SB: I thought of a programming language where every function can only return one type:  the return type.  The return type is just a wrapper around a struct that contains the actual return value, but … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 4 Comments

Survey of Theme One Program • 5

Posted on March 30, 2023 by Jon Awbrey

This is a Survey of blog and wiki posts relating to the Theme One Program I worked on all through the 1980s.  The aim was to develop fundamental algorithms and data structures for integrating empirical learning with logical reasoning.  I … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Survey of Animated Logical Graphs • 5

Posted on March 28, 2023 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 , , , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Theme One Program • Exposition 8

Posted on October 8, 2022 by Jon Awbrey

Transformation Rules and Equivalence Classes The abstract character of the cactus language relative to its logical interpretations makes it possible to give abstract rules of equivalence for transforming cacti among themselves and partitioning the space of cacti into formal equivalence … Continue reading →

Posted in Algorithms, Animata, Artificial Intelligence, Boolean Functions, C.S. Peirce, Cactus Graphs, Cognition, Computation, Constraint Satisfaction Problems, Data Structures, Differential Logic, Equational Inference, Formal Languages, Graph Theory, Inquiry Driven Systems, Laws of Form, Learning Theory, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Painted Cacti, Peirce, Propositional Calculus, Semiotics, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , , , | 3 Comments