História da ^: Aristóteles estabelece suas bases no séc. IV a. C.; Gottlob Frege cria a ^ moderna no final do séc. XIX. No começo do séc. XX Bertrand Russell desenvolveu a notação que traduz a linguagem natural em proposições lógicas [1]. V. a contribuição de Wittgenstein.