La formulación de este principio viene de Parménides quien formuló su ley de identidad donde enuncia "lo que es es y lo que no es no es", a partir de este principio deduce que "lo que es no puede no ser", aunque otros como Allan Bloom, considera que la primera declaración explícita conocida del principio de no contradicción se da en la "La República" de Platón donde el personaje Sócrates dice, "es claro que la misma cosa no estará dispuesta al mismo tiempo a hacer o sufrir cosas contrarias con respecto a lo mismo y en relación al mismo objeto", desconociendo el papel de la lógica de parménides, pero está claro que Platón y Aristóteles tuvieron bases en los presocráticos eleatas para formular este principio.