Filósofos de la matemática, tales como Leibniz, Gottlob Frege y Rudolf Carnap, intentaron desarrollar una semántica para lo que ellos consideraban era el lenguaje del pensamiento, donde los estándares de la demostración matemática pudiesen ser aplicados a la ciencia empírica.