RS: I wonder if we might find such graphs in the physical microstructures of brains, cells, proteins, etc.
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.
- 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
- 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 of a Propositional Calculator • Constraint Satisfaction Problems
- Exploratory Qualitative Analysis of Sequential Observation Data