Logical Graphs • Formal Development 1
• https://inquiryintoinquiry.com/2023/09/15/logical-graphs-formal-development-1/

Recap —

A first approach to logical graphs can be found in the article linked below.

Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/

That introduces the initial elements of logical graphs and hopefully supplies the reader with an intuitive sense of their motivation and rationale.

Formal Development —

Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner.

The next order of business is to give the precise axioms used to develop the formal system of logical graphs.  The axioms derive from C.S. Peirce's various systems of graphical syntax via the “calculus of indications” described in Spencer Brown's “Laws of Form”.  The formal proofs to follow will use a variation of Spencer Brown's annotation scheme to mark each step of the proof according to which axiom is called to license the corresponding step of syntactic transformation, whether it applies to graphs or to strings.

#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus 

 Logical Graphs • Formal Development 1
• https://inquiryintoinquiry.com/2023/09/01/logical-graphs-formal-development-2/

Recap —

A first approach to logical graphs can be found in the article linked below.

Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/

That introduces the initial elements of logical graphs and hopefully supplies the reader with an intuitive sense of their motivation and rationale.

Formal Development —

Logical graphs are next presented as a formal system by going back to the initial elements and developing their consequences in a systematic manner.

The next order of business is to give the precise axioms used to develop the formal system of logical graphs.  The axioms derive from C.S. Peirce's various systems of graphical syntax via the calculus of indications described in Spencer Brown's “Laws of Form”.  The formal proofs to follow will use a variation of Spencer Brown's annotation scheme to mark each step of the proof according to which axiom is called to license the corresponding step of syntactic transformation, whether it applies to graphs or to strings.

#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus 

 Signspiel • 1
• https://inquiryintoinquiry.com/2019/04/17/signspiel-1/

All sorts of players have given us all sorts of spiel about speech acts over the years but Peirce stands out from the chorus in giving us models of semiotic processes whose generation by triadic sign relations allows them to maintain a constant relation among signs, their active interpretants in conduct, and their ultimate pragmata, the objects and objectives of the whole action.  Shy of that, the speilerei of Austin and Wittgenstein simply never gets off the ground.

#Peirce #Semiotics #Semiosis #SignRelations
#Austin #SpeechAct #Wittgenstein #Sprachspiel 

 #TodaysAcronym ☞ #DKT

#DunningKrugerThreshold

When It Occurs To You That 
You Have Something To Learn 

 #TodaysAcronym ☞ #CSP

#CoreScientificPrinciple