Some centuries before Mermin, Leibniz in the 17th century was seeking a solution to some of the denominational quarrels that were plaguing his generation by envisioning a calculus ratiocinator that would make it possible for the quarreling parties to "sit down and calculate". A hypothetical science he envisioned was called Mathesis Universalis and included his infinitesimal calculus as a first stage. See also Characteristica Universalis.