Re: FB | Ecology Of Systems Thinking • Richard Saunders
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.
Reference
- 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
- This Blog
- OEIS Wiki • (1) • (2) • (3)
- PlanetMath • Praeclarum Theorema
- Metamath Proof Explorer • Praeclarum Theorema
- Frithjof Dau • Computer Animated Proof of Leibniz’s Praeclarum Theorema
Resources
- Logic Syllabus
- Logical Graphs
- Cactus Language
- Futures Of Logical Graphs
- Minimal Negation Operators
- Survey of Theme One Program
- Survey of Animated Logical Graphs
- Propositional Equation Reasoning Systems
- How To Succeed In Proof Business Without Really Trying
Applications
- Applications of a Propositional Calculator • Constraint Satisfaction Problems
- Exploratory Qualitative Analysis of Sequential Observation Data
cc: Cybernetics • Ontolog • Peirce (1) (2) (3) (4) (5) (6) (7) • Structural Modeling • Systems
Inquiry Into Inquiry 
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.
Pingback: Survey of Animated Logical Graphs • 3 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 4 | Inquiry Into Inquiry
Pingback: Survey of Animated Logical Graphs • 5 | Inquiry Into Inquiry