This is a Survey of work in progress on Differential Logic, resources under development toward a more systematic treatment.
Differential logic is the component of logic whose object is the description of variation — the aspects of change, difference, distribution, and diversity — in universes of discourse subject to logical description. A definition as broad as that naturally incorporates any study of variation by way of mathematical models, but differential logic is especially charged with the qualitative aspects of variation pervading or preceding quantitative models. To the extent a logical inquiry makes use of a formal system, its differential component treats the use of a differential logical calculus — a formal system with the expressive capacity to describe change and diversity in logical universes of discourse.
Elements
- Differential Logic • Part 1 • Part 2 • Part 3
- Differential Logic and Dynamic Systems
- Part 1 • Part 2 • Part 3 • Part 4 • Part 5
- Appendices • References
Blog Series
- Differential Logic, Dynamic Systems, Tangent Functors • (1)
Architectonics
Applications
Blog Dialogs
- The Present Is Big With The Future • Leibniz • (1) • (2)
- All Process, No Paradox • (1) • (2) • (3) • (4) • (5) • (6) • (7) • (8) • (9)
- Time, Topology, Differential Logic • (1) • (2) • (3) • (4) • (5) • (6)
Explorations
cc: Conceptual Graphs • Cybernetics • Structural Modeling • Systems Science
cc: FB | Differential Logic • Mathstodon • Laws of Form • Ontolog Forum
Inquiry Into Inquiry 