This reminds me of my wish to see a unified theory (and notation) that encompasses formal logic and probability. On their own, each is lacking. A unified system, for example, in which we have all the tools of first order logic and Bayesian probability would be very powerful.