Ciencia del pensamiento en sí mismo considerado, en sus formas y en sus leyes. Aristóteles le dio el nombre de Organon por considerarla instrumento previo a todo saber. La moderna lógica matemática aspira, mediante una formalización del pensamiento, a un metalenguaje universal.