Este documento describe los cuatro principios lógicos fundamentales: el principio de identidad, el principio de contradicción, el principio de exclusión y el principio de razón suficiente. Explica que estos principios son verdades básicas que se derivan del empirismo y forman la base de la lógica formal.