Logical Graphs • Discussion 2

Re: Category TheoryChad 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 or less a directed version of Peirce’s lines of identity.  They’re usually described in terms of commutative special frobenius algebras.  I suspect the reason we keep finding commutative special frobenius algebras is that they support lines of identity in this way.

Dear Chad, Henry, …

Chaos rules my niche of the world right now so I’ll just break a bit of the ice by sharing the following links to my ongoing study of Peirce’s 1870 Logic Of Relatives.

See especially the following paragraph.

To my way of thinking the above paragraph is one of the most radical passages in the history of logic, relativizing traditional assumptions of an absolute distinction between generals (universals) and individuals.  Among other things, it pulls the rug out from under any standing for nominalism as opposed to realism about universals.

cc: Category TheoryCyberneticsOntologStructural ModelingSystems Science
cc: FB | Logical GraphsLaws of FormPeirce List

This entry was 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 and tagged , , , , , , , , , , , , , , , , , , , , , , , , , . Bookmark the permalink.

1 Response to Logical Graphs • Discussion 2

  1. Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google photo

You are commenting using your Google account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s

This site uses Akismet to reduce spam. Learn how your comment data is processed.