Animated Logical Graphs • 43

Re: FB | Ecology Of Systems ThinkingRichard Saunders

Praeclarum Theorema Parse Graph

RS:  I wonder if we might find such graphs in the physical microstructures of brains, cells, proteins, etc.

Dear Richard,

You are reading my mind.  See the following post on the Standard Upper Ontology List, where I took a simple example of a propositional expression and proceeded by way of logical graphs to prove its equivalence to a syntactically simpler expression.

Reflecting on the form of the proof, I concluded with the following remark.

JA:  For some reason I always think of that as the way that our DNA would prove it.

There’s further discussion of that example at the following location.


  • Leibniz, Gottfried W. (1679–1686?), “Addenda to the Specimen of the Universal Calculus”, pp. 40–46 in G.H.R. Parkinson (ed., trans., 1966), Leibniz : Logical Papers, Oxford University Press, London, UK.

Praeclarum Theorema



cc: CyberneticsOntolog • Peirce (1) (2) (3) (4) (5) (6) (7)Structural ModelingSystems

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 Animated Logical Graphs • 43

  1. Conjectural. Logical structures, either sentential or graphical, entail the mathematical structures, and mathematical structures entail the informational structures, and informational mechanical structures entail the structures in quantum logic and the statistical mechanics of physics and chemistry, and so forth; the conjecture of the unified theory is the constructible hierarchy of compound complex structures inform the higher-order domains of discourses in the natural sciences, for example. In formal languages, the thesis is testable, yet as long as the philosophy and the linguistic theory of the natural language is so subjective, the domains seem to be the discontinuous description of the continuous recursive structure of nature and chaotic even culture. That hypothesis is the theory that informs my current research and I do not know yet, because I use to construct the argument the principle of sufficient reason.

Leave a Reply

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

You are commenting using your 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.