Tag Archives: Logical Graphs

Relations & Their Relatives • 4

Posted on August 15, 2021 by Jon Awbrey

From Dyadic to Triadic to Sign Relations Peirce’s notation for elementary relatives was illustrated earlier by a dyadic relation from number theory, namely, the relation written for Cf: Relations & Their Relatives • 3 Table 1 shows the first few … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 8 Comments

Relations & Their Relatives • Comment 3

Posted on August 6, 2021 by Jon Awbrey

Here’s a couple of selections from Peirce’s 1870 Logic of Relatives bearing on the proper use of individuals in mathematics, and thus on the choice between nominal thinking and real thinking. 😸 Mathematical Demonstration & the Doctrine of Individuals • … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 9 Comments

Relations & Their Relatives • Comment 2

Posted on August 5, 2021 by Jon Awbrey

Before I forget how I got myself into this particular briar patch — I mean the immediate occasion, not the long ago straying from the beaten path — it was largely in discussions with Henry Story where he speaks of … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 9 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

Relations & Their Relatives • Comment 1

Posted on August 2, 2021 by Jon Awbrey

I opened a topic on Relation Theory in the Logic stream of Category Theory Zulipchat to discuss the logic of relative terms and the mathematics of relations as they develop from Peirce’s first breakthroughs (1865–1870). As I have mentioned on … Continue reading →

Posted in C.S. Peirce, Category Theory, Dyadic Relations, Logic, Logic of Relatives, Logical Graphs, Mathematics, Nominalism, Peirce, Pragmatism, Realism, Relation Theory, Semiotics, Sign Relations, Triadic Relations, Visualization | Tagged , , , , , , , , , , , , , , , | 9 Comments

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 , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

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 , , , , , , , , , , , , , , , , , , , , , , , , , | 7 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 , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

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 , , , , , , , , , , , , , , , , , , , , , , , , , | 6 Comments

Inquiry Driven Systems • Discussion 9

Posted on July 26, 2021 by Jon Awbrey

Re: Laws of Form • Leon Conrad LC: As someone who has worked on, teaches, and uses the CoI [Calculus of Indications] to make classical syllogistic logic much easier to practice and more visually intuitive than any of the visualisations we … Continue reading →

Posted in Animata, Artificial Intelligence, C.S. Peirce, Cybernetics, Inquiry, Inquiry Driven Systems, Inquiry Into Inquiry, Intelligent Systems, Learning Systems, Logic, Logical Graphs, Peirce, Semiotics, Sign Relations, Visualization | Tagged , , , , , , , , , , , , , , | 7 Comments