Me intereso y lo quiero postear 
:
El principio de no contradicción es una exigencia del pensamiento racional y, junto al principio de identidad y al principio del tercero excluido, constituye las bases de la lógica aristotélica clásica.
El principio establece que toda proposición idéntica o analítica (es decir, toda proposición en la que la noción del predicado está contenida en el sujeto) es verdadera, y su contradictoria es falsa. Por ejemplo, las proposiciones "A es A" o "El triángulo equilátero es un triángulo" son proposiciones necesariamente verdaderas, puesto que negarlas supone caer en contradicción. Así pues, el principio de no contradicción nos permite juzgar como falso lo que encierra contradicción.
Para Leibniz y, en general, para los filósofos racionalistas, el principio de no contradicción es innato, es decir, se halla en el alma humana sin necesidad de haber sido aprendido. En sus Nuevos Ensayos, Leibniz lo expresa del siguiente modo: "El principio de contradicción incluye dos enunciaciones verdaderas: la primera, que una proposición no puede ser verdadera y falsa a la vez; la segunda, que no puede ocurrir que una proposición no sea ni verdadera ni falsa".
El principio de identidad es una ley lógica que, junto al principio de no contradicción y al principio del tercero excluido, constituye las bases de la lógica aristotélica clásica.
El principio de identidad indica que A = A. Cabe notar que toda reflexión supone el principio de identidad, que es una tautología.
Se lo atribuye a menudo a Aristóteles, pero ninguna referencia a él existe hasta después de Santo Tomás en el siglo XIII. En el Siglo XVII, la referencia a esta ley era común entre los filósofos, y es probable que haya sido tomada de las enseñanzas de Aristóteles durante la Alta Edad Media.
El principio del tercero excluido o principium tertium exclusum es un principio de la lógica tradicional formulado canónicamente por Leibniz cómo: o A es B o A no es B. Ahora lo leemos del siguiente modo: o bien P es verdadera, o bien su negación ¬P lo es. Entre dos proposiciones que juntas forman una contradicción no hay una tercera posibilidad, la tercera está excluida.
También se conoce como "tertium non datur" ('Una tercera (cosa) no se da') . Clásicamente se considera que es uno de los principios o leyes fundamentales del pensamiento (junto con el principio de identidad, de no contradicción y de razón suficiente).
Otra formulación del principio de tercio excluso: Toda proposición es verdadera o falsa, y entre estos dos valores de verdad no se admite nada intermedio o “tercero”; en términos semánticos, si dos proposiciones son contradictorias, al menos una de ellas es falsa.
Su representación simbólica corresponde a la tautología: A¬A
Fuentes: http://es.wikipedia.org/wiki/Principio_de_no_contradicci%C3%B3n
http://es.wikipedia.org/wiki/Raz%C3%B3n
http://es.wikipedia.org/wiki/Principio_de_identidad
http://es.wikipedia.org/wiki/Principio_del_tercero_excluido
:
El principio de no contradicción es una exigencia del pensamiento racional y, junto al principio de identidad y al principio del tercero excluido, constituye las bases de la lógica aristotélica clásica.
El principio establece que toda proposición idéntica o analítica (es decir, toda proposición en la que la noción del predicado está contenida en el sujeto) es verdadera, y su contradictoria es falsa. Por ejemplo, las proposiciones "A es A" o "El triángulo equilátero es un triángulo" son proposiciones necesariamente verdaderas, puesto que negarlas supone caer en contradicción. Así pues, el principio de no contradicción nos permite juzgar como falso lo que encierra contradicción.
Para Leibniz y, en general, para los filósofos racionalistas, el principio de no contradicción es innato, es decir, se halla en el alma humana sin necesidad de haber sido aprendido. En sus Nuevos Ensayos, Leibniz lo expresa del siguiente modo: "El principio de contradicción incluye dos enunciaciones verdaderas: la primera, que una proposición no puede ser verdadera y falsa a la vez; la segunda, que no puede ocurrir que una proposición no sea ni verdadera ni falsa".
El principio de identidad es una ley lógica que, junto al principio de no contradicción y al principio del tercero excluido, constituye las bases de la lógica aristotélica clásica.
El principio de identidad indica que A = A. Cabe notar que toda reflexión supone el principio de identidad, que es una tautología.
Se lo atribuye a menudo a Aristóteles, pero ninguna referencia a él existe hasta después de Santo Tomás en el siglo XIII. En el Siglo XVII, la referencia a esta ley era común entre los filósofos, y es probable que haya sido tomada de las enseñanzas de Aristóteles durante la Alta Edad Media.
El principio del tercero excluido o principium tertium exclusum es un principio de la lógica tradicional formulado canónicamente por Leibniz cómo: o A es B o A no es B. Ahora lo leemos del siguiente modo: o bien P es verdadera, o bien su negación ¬P lo es. Entre dos proposiciones que juntas forman una contradicción no hay una tercera posibilidad, la tercera está excluida.
También se conoce como "tertium non datur" ('Una tercera (cosa) no se da') . Clásicamente se considera que es uno de los principios o leyes fundamentales del pensamiento (junto con el principio de identidad, de no contradicción y de razón suficiente).
Otra formulación del principio de tercio excluso: Toda proposición es verdadera o falsa, y entre estos dos valores de verdad no se admite nada intermedio o “tercero”; en términos semánticos, si dos proposiciones son contradictorias, al menos una de ellas es falsa.
Su representación simbólica corresponde a la tautología: A¬A
Fuentes: http://es.wikipedia.org/wiki/Principio_de_no_contradicci%C3%B3n
http://es.wikipedia.org/wiki/Raz%C3%B3n
http://es.wikipedia.org/wiki/Principio_de_identidad
http://es.wikipedia.org/wiki/Principio_del_tercero_excluido