Este documento describe cuatro principios lógicos fundamentales. El primero es el principio de identidad, el segundo es el principio de contradicción, y el tercero es el principio de exclusión. Aunque estos tres principios son aceptados por la mayoría de lógicos, el cuarto principio de razón suficiente no es aceptado por todos.