Jon AwbreyApr 15, 2023

Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2023/03/28/survey-of-animated-logical-graphs-5/

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.

Please follow the above link for the full set of resources. A couple of beginning pieces are linked below.

Logical Graphs • Introduction
• https://inquiryintoinquiry.com/2008/07/29/logical-graphs-introduction/

Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2008/09/19/logical-graphs-formal-development/

I've been thinking about ways to connect the species of logical graphs I've been developing out of Peirce's entitative and existential graphs with the styles of logical graphs envisioned in the RDF Surfaces group.

One thing arising out of those reflections was I began to tease apart two layers of structure, the one involved in conceiving and computing logical formulas and the other employed in displaying the end results.

At any rate, I'll explore that theme further as we go.

For now, the Survey page linked above will provide an overview of work already done.

#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #PropositionalCalculus #LogicAsSemiotics
#RelationTheory #SignRelations #Semiotics #W3C #RDF #RDFSurfaces

Survey of Animated Logical Graphs • 5

Inquiry Into Inquiry
Show threadJon AwbreyFeb 17, 2023

@bblfish @emondb @hochstenbach @josd @w3c

ICYMI —
• https://lists.w3.org/Archives/Public/public-rdfsurfaces/2023Feb/0004.html

“Putting logic on the web changes logic itself”
— Pat Hayes

That could almost be the motto for all the work I've been doing on logical graphs for the last 50+ years.

Everything changed when I started putting what little I was incrementally learning about programming to work on what little I was gradually learning about logic and then everything took off when I ran into #Peirce's work on #LogicalGraphs.

#RDFSurfaces

Animated Logic Graphs from Jon Awbrey on 2023-02-17 ([email protected] from February 2023)

Show threadbblfishFeb 16, 2023
@Inquiry @w3c @emondb @hochstenbach @josd
But yes, I think it should be fine to post your findings on Peirce to the #RDFSurfaces mailing list. That is a good way to make sure it can be referred to later.
Show threadbblfishFeb 16, 2023
@Inquiry @w3c @emondb @hochstenbach @josd
#RDFSurfaces is a @w3c community group. It is relatively easy to set those up. They don't get access to full WG support, so it very much depends on how well they organise themselves. With the high requirements of understanding RDF, Peirce and Logic, I think the group should be high quality and self-selecting.
The group just got started.
Show threadJon AwbreyFeb 16, 2023

@bblfish @emondb @hochstenbach @josd @w3c

One question about the #RDFSurfaces list before we go any further — is it intended to be an actual working group or just for announcements?

Show threadJon AwbreyFeb 16, 2023

@bblfish @emondb @hochstenbach @josd @w3c

I'm starting to lose track of all the different discussions in various venues. I'll put a #RDFSurfaces tag on this in hopes of being able to find it again.

I do remember discussing #Peirce and #LogicalGraphs and #CategoryTheory and #DigrammaticReasoning et cetera with Henry in one of the Zulip chatrooms a year, or maybe two ago ...

I'll repost some of what I wrote on the W³C list for anyone who may have missed it.

Patrick HochstenbachDec 20, 2022
One could state that our #RDFSurfaces work is the #Catmandu fix language on steroids. But, it is much more: logical programming in RDF. Already creating quite fun DSL languages with it (jncluding Notation3 itself) https://www.w3.org/community/rdfsurfaces/
RDF Surfaces Community Group

The RDF Surfaces sets out to create a sublanguage of Notation3 in order to implement classical first-order logic with negation in RDF as envisioned by Pat Hayes in his 2009 ISWC Invited Talk: BLOGIC