Tag Archives: Duality

Logical Graphs • Interpretive Duality 2

Posted on October 29, 2023 by Jon Awbrey

A logical concept represented by a boolean variable has its extension, the cases it covers in a designated universe of discourse, and its comprehension (or intension), the properties it implies in a designated hierarchy of predicates.  The formulas and graphs … 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, Interpretive Duality, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Logical Graphs • Interpretive Duality 1

Posted on October 26, 2023 by Jon Awbrey

The duality between Entitative and Existential interpretations of logical graphs is a good example of a mathematical symmetry, in this case a symmetry of order two.  Symmetries of this and higher orders give us conceptual handles on excess complexity 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, Interpretive Duality, Laws of Form, Logic, Logical Graphs, Mathematics, Minimal Negation Operators, Model Theory, Painted Cacti, Proof Theory, Propositional Calculus, Propositional Equation Reasoning Systems, Spencer Brown, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , , , , | 7 Comments

Logical Graphs • Discussion 9

Posted on October 12, 2023 by Jon Awbrey

Re: Logical Graphs • Formal Development Re: Laws of Form • Lyle Anderson LA: The Gestalt Switch from parenthesis to graphs is stimulating.  There are probably things in Laws of Form that we didn’t see because we were blinded by … 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 8

Posted on October 2, 2023 by Jon Awbrey

Re: Logical Graphs • Formal Development Re: Laws of Form • Alex Shkotin Hi Alex, I got my first brush with graph theory in a course on the Foundations of Mathematics Frank Harary taught at the University of Michigan in 1970.  … 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 7

Posted on October 1, 2023 by Jon Awbrey

Re: Logical Graphs • Formal Development Re: Laws of Form • Alex Shkotin AS: When we look at undirected graph it is usual, before describing a rules of graph transformation, to describe exactly what kind of graphs we are working … 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 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

Survey of Relation Theory • 7

Posted on July 26, 2023 by Jon Awbrey

In the present Survey of blog and wiki resources for Relation Theory, relations are viewed from the perspective of combinatorics, in other words, as a topic in discrete mathematics, with special attention to finite structures and concrete set‑theoretic constructions, many … Continue reading →

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Surveys, Triadic Relations, Triadicity, Type Theory | Tagged , , , , , , , , , , , , , , , , , , , , , , | Leave a comment

Relation Theory • Discussion 5

Posted on April 22, 2023 by Jon Awbrey

Re: Survey of Relation Theory Re: Ontolog Forum • Ravi Sharma RS: Is there also an attempt at integrating these relation concepts?  Like a meta‑model of relations? Dear Ravi, I haven’t run across the concept of a meta‑model before so … Continue reading →

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Triadic Relations, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 5 Comments

Relation Theory • Discussion 4

Posted on April 19, 2023 by Jon Awbrey

Re: Survey of Relation Theory Re: Ontolog Forum • Ravi Sharma RS: Is there also an attempt at integrating these relation concepts?  Like a meta‑model of relations? Dear Ravi, Thanks for the question.  I believe I’d say yes to the … Continue reading →

Posted in Algebra, Algebra of Logic, C.S. Peirce, Category Theory, Combinatorics, Discrete Mathematics, Duality, Dyadic Relations, Foundations of Mathematics, Graph Theory, Logic, Logic of Relatives, Mathematics, Peirce, Relation Theory, Semiotics, Set Theory, Sign Relational Manifolds, Sign Relations, Triadic Relations, Type Theory, Visualization | Tagged , , , , , , , , , , , , , , , , , , , , , | 5 Comments