Logical Graphs • Discussion 6
• https://inquiryintoinquiry.com/2023/08/29/logical-graphs-discussion-6/
Re: Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/
Logical Graphs • Figures 1 and 2
• https://inquiryintoinquiry.files.wordpress.com/2023/08/logical-graph-figures-1-2-framed.png
Re: Academia.edu • Robert Appleton
• https://www.academia.edu/community/lavbw5?c=Q4jlVy
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 to you? And what insight do they provide us?❞
My Comment —
Figures 1 and 2 are really just a couple of “in medias res” pump‑primers or ice‑breakers. This will all be explained in the above linked blog post, where I'm revising the text and upgrading the graphics of some work I first blogged in 2008 based on work I did even further back. I'll be taking a fresh look at that as I serialize it here.
Those two Figures come from George Spencer Brown's 1969 book Laws of Form, where he called them the Law of Calling and the Law of Crossing. GSB revived and clarified central aspects of Peirce's systems of logical graphs and I find it helpful to integrate his work into my exposition of Peirce. For now you can think of those as exemplifying two core formal principles which go to the root of the mathematical forms underlying logical reasoning.
#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
#PropositionalCalculus #BooleanFunctions #lawsofform #spencerbrown #ExistentialGraphs #EntitativeGraphs #LogicalGraphs #logic #Peirce
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
#rdfsurfaces #rdf #w3c #semiotics #SignRelations #RelationTheory #logicassemiotics #PropositionalCalculus #lawsofform #spencerbrown #ExistentialGraphs #EntitativeGraphs #LogicalGraphs #logic #Peirce
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 link above for the full set of resources.
Here I'll just link to a couple of beginning pieces.
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 be exploring that theme 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
#rdfsurfaces #rdf #w3c #semiotics #SignRelations #RelationTheory #logicassemiotics #PropositionalCalculus #lawsofform #spencerbrown #ExistentialGraphs #EntitativeGraphs #LogicalGraphs #logic #Peirce
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.
#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#Boole #BooleanAlgebra #BooleanFunctions #Semiotics #Semeiotics
#SpencerBrown #LawsOfForm #PropositionalCalculus #SignRelations
#SignRelations #PropositionalCalculus #lawsofform #spencerbrown #semeiotics #semiotics #BooleanFunctions #booleanalgebra #Boole #ExistentialGraphs #EntitativeGraphs #LogicalGraphs #logic #Peirce
#LogicalGraphs • 1
• https://oeis.org/w/index.php?title=Logical_Graphs&stable=0&redirect=no
A #LogicalGraph is a graph-theoretic structure in one of the systems of graphical syntax Charles Sanders #Peirce developed for #Logic.
In his papers on #QualitativeLogic, #EntitativeGraphs, and #ExistentialGraphs, Peirce developed several versions of a graphical formalism, or a graph-theoretic formal language, designed to be interpreted for logic.
#PropositionalCalculus #BooleanFunctions
#GraphTheory #ModelTheory #ProofTheory
#ProofTheory #modeltheory #graphtheory #BooleanFunctions #PropositionalCalculus #ExistentialGraphs #EntitativeGraphs #QualitativeLogic #logic #Peirce #logicalgraph #LogicalGraphs
#Survey of #AnimatedLogicalGraphs
• https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/
This is a Survey of blog and wiki posts on #LogicalGraphs, encompassing several families of graph-theoretic structures originally developed by C.S. #Peirce as graphical #FormalLanguages or visual styles of #Syntax amenable to #Interpretation for #Logic.
In his papers on #QualitativeLogic, #EntitativeGraphs, and #ExistentialGraphs, Peirce developed several versions of a #GraphicalFormalism designed to be interpreted for logic.
#GraphicalFormalism #ExistentialGraphs #EntitativeGraphs #QualitativeLogic #logic #interpretation #syntax #formallanguages #Peirce #LogicalGraphs #AnimatedLogicalGraphs #survey
@4sphere @4sphere@kolektiva.social
Re: #ExistentialGraphs
Cf: #AnimatedLogicalGraphs
https://inquiryintoinquiry.com/2021/05/01/survey-of-animated-logical-graphs-4/
I tend to use the more generic term #LogicalGraphs because I do a lot of work at the #PropositionalCalculus level where the #LogicalDuality between #Peirce 's #ExistentialInterpretation and #EntitativeInterpretation is an important feature.
#EntitativeInterpretation #ExistentialInterpretation #Peirce #LogicalDuality #PropositionalCalculus #LogicalGraphs #AnimatedLogicalGraphs #ExistentialGraphs
Part of the Migration. Moved from @4sphere@kolektiva.social
Interested in #topology (for fun and #TDA )
#GraphicalLinearAlgebra and similar notations like string diagrams and #ExistentialGraphs
#CurryHowardIsomorphism
#Semantics for humans and computers
#topoi
#CategoryTheory
#WordEmbeddings (in #NLP )
#language
#logic
#SFF
#History of science, math, societies
etc.
Trans rights are human rights; blm; workers solidarity; native rights; and all the various other ways of not being vile to people
#history #sff #logic #language #nlp #wordembeddings #categorytheory #topoi #semantics #CurryHowardIsomorphism #ExistentialGraphs #GraphicalLinearAlgebra #TDA #topology #introduction