Lingua Universalis vs. Calculus Ratiocinator door Jaakko Hintikka