Monthly Archives: August 2021

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