The philosophy of dynamic algebra