I think even I can remember this
I think even I can remember this
This thing all things devours:
Birds, beasts, trees, flowers;
Gnaws iron, bites steel;
Grinds hard stones to meal;
Slays king, ruins town,
And beats high mountain down.
— Tolkien • The Hobbit
Talking about time is a waste of time. Time is merely an abstraction from process and what is needed are better languages and better pictures for describing process in all its variety. In the sciences the big breakthrough in describing process came with the differential and integral calculus, that made it possible to shuttle between quantitative measures of state and quantitative measures of change. But every inquiry into a new phenomenon begins with the slimmest grasp of its qualitative features and labors long and hard to reach as far as a tentative logical description. What can avail us in the mean time, still tuning up before the first measure, to reason about change in qualitative terms?
Et sic deinceps … (So it begins …)
#Animata, #CSPeirce, #Change, #Cybernetics, #DifferentialLogic, #GraphTheory, #LawsOfForm, #Logic, #LogicalGraphs, #Mathematics, #Paradox, #Peirce, #Process, #ProcessThinking, #SpencerBrown, #SystemsTheory, #Time, #Tolkien
Das müsste von Sebastian #Plönges mal bei #Twitter gepostet worden sein. Es ging darum, wie sich #Haken aus Laws of Form von George Spencer #Brown über die #Tastatur einfach darstellen lassen.
#Blog #Plönges: https://sebastian-ploenges.com/
#LoF #LawsOfForm #SpencerBrown #Darstellung #Zeichen #Form #Reentry
Charles Sanders Peirce, George Spencer Brown, and Me • 4
• https://inquiryintoinquiry.com/2017/08/06/charles-sanders-peirce-george-spencer-brown-and-me-4/
• https://bsky.app/profile/inquiryintoinquiry.bsky.social/post/3lh5fsszkmk23
Two things impacting my studies of Peirce and Spencer Brown over the years were my parallel studies in mathematics and computer science. In the overlap between those areas came courses in logic, mathematical linguistics, and the theory of formal languages, grammars, and automata.
My intellectual wanderings over a nine‑year undergraduate career would take me through a cycle of majors from math and physics, to communication, psychology, philosophy, and a cross‑cultural liberal arts program, then back to grad school in mathematics.
The puzzles Peirce and Spencer Brown beset my brain with were a big part of what drove me back to math, since I could see I had no chance of resolving them without learning a lot more algebra, logic, and topology than I had learned till then.
Charles Sanders Peirce, George Spencer Brown, and Me • 1
• https://inquiryintoinquiry.com/2017/07/20/charles-sanders-peirce-george-spencer-brown-and-me-1/
• https://bsky.app/profile/inquiryintoinquiry.bsky.social/post/3lgxtd6z3nk2t
It’s almost 50 years now since I first encountered the volumes of Peirce’s Collected Papers in the math library at Michigan State, and shortly afterwards a friend called my attention to the entry for Spencer Brown’s Laws of Form in the Whole Earth Catalog and I sent off for it right away.
I would spend the next decade just beginning to figure out what either one of them was talking about in the matter of logical graphs and I would spend another decade after that developing a program, first in Lisp and then in Pascal, converting graph-theoretic data structures formed on their ideas to good purpose in the mechanics of its propositional reasoning engine. I thought it might contribute to a number of ongoing discussions if I could articulate what I think I learned from that experience.
Connections: All this RFK fluoridation talk resulted in me starting a re-read of "The Schrodinger's Cat Trilogy." That reminded me I have for decades meant to look into "Laws of Form." Suddenly I am confronted with the enormity of x-squared plus one equals zero and the need for imaginary numbers.
The...NEED...for imaginary numbers. That's as far as I've got:
Logical Graphs • Formal Development 1
• https://inquiryintoinquiry.com/2024/09/12/logical-graphs-formal-development-1-a/
Recap —
A first approach to logical graphs was outlined in the article linked below.
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2024/08/26/logical-graphs-first-impressions-a/
That introduced the initial elements of logical graphs and hopefully supplied 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.
Resources —
Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs-7/
#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
Logical Graphs • First Impressions 1
• https://inquiryintoinquiry.com/2024/08/30/logical-graphs-first-impressions-1/
Moving Pictures of Thought —
A logical graph is a graph‑theoretic structure in one of the systems of graphical syntax Charles S. Peirce developed for logic.
Introduction —
In numerous papers on qualitative logic, entitative graphs, and existential graphs, C.S. Peirce developed several versions of a graphical formalism, or a graph‑theoretic formal language, designed to be interpreted for logic.
In the century since Peirce initiated their line of development, a variety of formal systems have branched out from what is abstractly the same formal base of graph‑theoretic structures. The posts to follow explore the common basis of those formal systems from a bird's eye view, focusing on the aspects of form shared by the entire family of algebras, calculi, or languages, however they happen to be viewed in a given application.
Resources —
Logical Graphs
• https://oeis.org/wiki/Logical_Graphs
Futures Of Logical Graphs
• https://oeis.org/wiki/Futures_Of_Logical_Graphs
Propositional Equation Reasoning Systems
• https://oeis.org/wiki/Propositional_Equation_Reasoning_Systems
Charles Sanders Peirce • Bibliography
• https://mywikibiz.com/Charles_Sanders_Peirce
• https://mywikibiz.com/Charles_Sanders_Peirce_%28Bibliography%29
#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
Transformations of Logical Graphs • Discussion 1
• https://inquiryintoinquiry.com/2024/05/22/transformations-of-logical-graphs-discussion-1/
Re: Laws of Form
• https://groups.io/g/lawsofform/topic/transformations_of_logical/105927945
Mauro Bertani
• https://groups.io/g/lawsofform/message/3204
Dear Mauro,
The couple of pages linked below give the clearest and quickest introduction I've been able to manage so far when it comes to the elements of logical graphs, at least, in the way I've come to understand them. The first page gives a lot of detail by way of motivation and computational implementation, so you could easily put that off till you feel a need for it. The second page lays out the precise axioms or initials I use — the first algebraic axiom varies a bit from Spencer Brown for a better fit with C.S. Peirce — and also shows the parallels between the dual interpretations.
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/
Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2023/09/01/logical-graphs-formal-development-a/
Additional Resources —
Logic Syllabus
• https://inquiryintoinquiry.com/logic-syllabus/
Survey of Animated Logical Graphs
• https://inquiryintoinquiry.com/2024/03/18/survey-of-animated-logical-graphs-7/
Survey of Semiotics, Semiosis, Sign Relations
• https://inquiryintoinquiry.com/2024/01/26/survey-of-semiotics-semiosis-sign-relations-5/
#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
#CactusSyntax #MinimalNegationOperators #MathematicalDuality #Form
Mathematical Duality in Logical Graphs • Discussion 2.2
• https://inquiryintoinquiry.com/2024/05/04/mathematical-duality-in-logical-graphs-discussion-2/
What you say about deriving arithmetic, algebra, group theory, and all the rest from the calculus of indications may well be true, but it remains to be shown if so, and that's aways down the road from here.
Resources —
Logic Syllabus
• https://inquiryintoinquiry.com/logic-syllabus/
Logical Graphs • First Impressions
• https://inquiryintoinquiry.com/2023/08/24/logical-graphs-first-impressions/
Logical Graphs • Formal Development
• https://inquiryintoinquiry.com/2023/09/01/logical-graphs-formal-development-a/
#Peirce #Logic #LogicalGraphs #EntitativeGraphs #ExistentialGraphs
#SpencerBrown #LawsOfForm #BooleanFunctions #PropositionalCalculus
#CactusSyntax #MinimalNegationOperators #MathematicalDuality #Form