b'\n_START_ARTICLE_\nPrincipio de no contradicci\xc3\xb3n\n_START_SECTION_\nHistoria\n_START_PARAGRAPH_\nLa formulaci\xc3\xb3n de este principio viene de Parm\xc3\xa9nides quien formul\xc3\xb3 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"\xe2\x80\x8b, aunque otros como Allan Bloom, considera que la primera declaraci\xc3\xb3n expl\xc3\xadcita conocida del principio de no contradicci\xc3\xb3n se da en la La Rep\xc3\xbablica de Plat\xc3\xb3n donde el personaje S\xc3\xb3crates dice, "es claro que la misma cosa no estar\xc3\xa1 dispuesta al mismo tiempo a hacer o sufrir cosas contrarias con respecto a lo mismo y en relaci\xc3\xb3n al mismo objeto", desconociendo el papel de la l\xc3\xb3gica de Parm\xc3\xa9nides, pero est\xc3\xa1 claro que Plat\xc3\xb3n y Arist\xc3\xb3teles tuvieron bases en los presocr\xc3\xa1ticos eleatas para formular este principio._NEWLINE_Arist\xc3\xb3teles, en su Metaf\xc3\xadsica, presenta la siguiente formulaci\xc3\xb3n del principio de no contradicci\xc3\xb3n: \xc2\xabes imposible que, al mismo tiempo y bajo una misma relaci\xc3\xb3n, se d\xc3\xa9 y no se d\xc3\xa9 en un mismo sujeto, un mismo atributo\xc2\xbb.\xe2\x80\x8b De su no observancia surgir\xc3\xa1 una contradicci\xc3\xb3n l\xc3\xb3gica formal. Esta es quiz\xc3\xa1s la formulaci\xc3\xb3n m\xc3\xa1s conocida e influyente del principio de no contradicci\xc3\xb3n. Adem\xc3\xa1s de dar la formulaci\xc3\xb3n, Arist\xc3\xb3teles ofrece una defensa de la verdad necesaria del principio. Seg\xc3\xban Arist\xc3\xb3teles, como el principio de no contradicci\xc3\xb3n es justamente un principio, no puede ser deducido a partir de principios m\xc3\xa1s b\xc3\xa1sicos. En cambio, se lo puede defender mostrando las consecuencias intolerables de negarlo, o que todo aquel que lo niegue de alguna manera lo est\xc3\xa1 suponiendo. Por ejemplo, Arist\xc3\xb3teles argumenta que al negar el principio de no contradicci\xc3\xb3n, impl\xc3\xadcitamente se lo est\xc3\xa1 suponiendo, porque el mismo acto de hacer una afirmaci\xc3\xb3n implica que se afirma una cosa y no lo contrario. Adem\xc3\xa1s, Arist\xc3\xb3teles considera el caso de alguien que niega el principio, sosteniendo que cada proposici\xc3\xb3n es a la vez verdadera y falsa, y pregunta por qu\xc3\xa9 tal persona toma la ruta de Megara para llegar hasta all\xc3\xad desde Atenas, puesto que en la opini\xc3\xb3n de tal persona es tan verdadero que cualquier otro camino lo llevar\xc3\xada a Megara._NEWLINE_En su comentario a la Metaf\xc3\xadsica, Avicena da un argumento similar. Dice que a cualquier persona que niegue el principio de no contradicci\xc3\xb3n, se la deber\xc3\xada golpear y quemar hasta que admita que ser golpeado y ser quemado no es lo mismo que no ser golpeado y no ser quemado.\xe2\x80\x8b_NEWLINE_Para Gottfried Leibniz y, en general, para los fil\xc3\xb3sofos racionalistas, el principio de no contradicci\xc3\xb3n es innato, es decir, su naturaleza se halla en el alma humana sin necesidad de haber sido aprendido. En sus Nuevos Ensayos, Leibniz lo expresa del siguiente modo: \xc2\xabEl principio de no contradicci\xc3\xb3n incluye dos enunciaciones verdaderas: la primera, que una proposici\xc3\xb3n no puede ser verdadera y falsa a la vez; la segunda, que no puede ocurrir que una proposici\xc3\xb3n no sea ni verdadera ni falsa.\xc2\xbb_NEWLINE_Hegel, en su L\xc3\xb3gica (1808-1816), se opone al principio de no-contradicci\xc3\xb3n en nombre de su tr\xc3\xadada dial\xc3\xa9ctica. Muestra, por ejemplo, que el devenir es una unidad del ser y el no ser.'