Best title I’ve read in a long time! But the really immense swamp critter here is the Naturally Evolved Organon known as ornery natural language which resists any augmentation by mathematics and keeps trying to get by with a motley assortment of evolution’s legacy software.
The way physics adapted to quantitative change was not by adding “tense operators” to Descartes’ analytic geometry but by Leibniz and Newton developing the differential calculus. The way logic will handle qualitative change is by finding the appropriate logical analogue of differential calculus. I took a few steps in that direction with the work linked on the following page.