stringtranslate.com

Ley de no contradicción

En lógica , la ley de no contradicción ( LNC ) (también conocida como ley de contradicción , principio de no contradicción ( PNC ) o principio de contradicción ) establece que las proposiciones contradictorias no pueden ser ambas verdaderas en el mismo sentido al mismo tiempo, por ejemplo, las dos proposiciones " p es el caso " y " p no es el caso " son mutuamente excluyentes . Formalmente , esto se expresa como la tautología ¬(p ∧ ¬p). La ley no debe confundirse con la ley del tercero excluido que establece que al menos una, "p es el caso" o "p no es el caso", se cumple.

Una razón para tener esta ley es el principio de explosión , que establece que cualquier cosa se sigue de una contradicción. La ley se emplea en una prueba por reducción al absurdo .

Para expresar el hecho de que la ley no tiene tiempo verbal y evitar equívocos , a veces se modifica la ley para decir "las proposiciones contradictorias no pueden ser ambas verdaderas 'al mismo tiempo y en el mismo sentido'".

Es una de las llamadas tres leyes del pensamiento , junto con su complementaria, la ley del tercero excluido y la ley de la identidad . Sin embargo, ningún sistema de lógica se basa únicamente en estas leyes, y ninguna de ellas proporciona reglas de inferencia , como el modus ponens o las leyes de De Morgan .

La ley de no contradicción y la ley del tercero excluido crean una dicotomía en el "espacio lógico", en la que las dos partes son "mutuamente excluyentes" y "conjuntamente exhaustivas". La ley de no contradicción es meramente una expresión del aspecto mutuamente excluyente de esa dicotomía, y la ley del tercero excluido es una expresión de su aspecto conjuntamente exhaustivo.

Interpretaciones

Una dificultad en la aplicación de la ley de no contradicción es la ambigüedad en las proposiciones. [1] Por ejemplo, si no se especifica explícitamente como parte de las proposiciones A y B, entonces A puede ser B en un momento y no en otro. En algunos casos, A y B pueden parecer lingüísticamente mutuamente excluyentes, aunque A pueda ser en parte B y en parte no B al mismo tiempo. Sin embargo, es imposible predicar de la misma cosa, al mismo tiempo y en el mismo sentido, la ausencia y la presencia de la misma cualidad fija.

Filosofía india

El Tripitaka budista atribuye a Nigaṇṭha Nātaputta , que vivió en el siglo VI a. C., la formulación implícita de la ley de no contradicción: «'Mira qué recto, honesto y sincero es Citta, el jefe de familia'; y, un poco más tarde, también dice: 'Mira cómo Citta, el jefe de familia, no es recto, honesto o sincero'. A esto, Citta responde: 'si tu afirmación anterior es verdadera, tu afirmación posterior es falsa y si tu afirmación posterior es verdadera, tu afirmación anterior es falsa'». Las primeras formulaciones explícitas de la ley de no contradicción fueron ónticas , y el filósofo budista del siglo II Nagarjuna afirmó que «cuando algo es una sola cosa, no puede ser a la vez existente y no existente», de manera similar a la propia formulación óntica de Aristóteles de que «una cosa no puede ser y no ser al mismo tiempo». [2]

Heráclito

Según Platón y Aristóteles , [3] se decía que Heráclito había negado la ley de no contradicción. Esto es bastante probable [4] si, como señaló Platón , la ley de no contradicción no se aplica a las cosas cambiantes en el mundo. Si una filosofía del devenir no es posible sin cambio, entonces (el potencial de) lo que ha de llegar a ser debe existir ya en el objeto presente. En "Entramos y no entramos en los mismos ríos; somos y no somos", tanto el objeto de Heráclito como el de Platón deben ser simultáneamente, en algún sentido, lo que es ahora y tener el potencial (dinámica) de lo que podría llegar a ser. [5]

Quedan tan pocos restos de los aforismos de Heráclito que no se puede decir con certeza mucho sobre su filosofía. Parece haber sostenido que la lucha de los opuestos es universal tanto en el interior como en el exterior, por lo que ambos existentes o cualidades opuestos deben existir simultáneamente, aunque en algunos casos en diferentes aspectos. "El camino de subida y bajada es uno y el mismo " implica que o bien el camino lleva a ambos lados, o bien no puede haber camino alguno. Este es el complemento lógico de la ley de no contradicción. Según Heráclito, el cambio y el conflicto constante de los opuestos es el logos universal de la naturaleza.

Protágoras

Las percepciones o juicios subjetivos personales sólo pueden considerarse verdaderos al mismo tiempo y en el mismo sentido, en cuyo caso, la ley de no contradicción debe ser aplicable a los juicios personales. El dicho más famoso de Protágoras es: "El hombre es la medida de todas las cosas: de las cosas que son, que son, y de las cosas que no son, que no son". [6] Sin embargo, Protágoras se refería a cosas que son utilizadas por los humanos o que están relacionadas de alguna manera con ellos. Esto marca una gran diferencia en el significado de su aforismo. Las propiedades, las entidades sociales, las ideas, los sentimientos, los juicios, etc. se originan en la mente humana. Sin embargo, Protágoras nunca ha sugerido que el hombre deba ser la medida de las estrellas o del movimiento de las estrellas.

Parménides

Parménides empleó una versión ontológica de la ley de no contradicción para demostrar que el ser existe y negar el vacío, el cambio y el movimiento. También refutó de manera similar las proposiciones contrarias. En su poema Sobre la naturaleza , dijo:

Las únicas vías de investigación que existen son para el pensamiento:

el que es y que no puede no ser
es el camino de la persuasión (pues asiste a la verdad);
el otro, que no es y que es justo que no sea,
éste os indico que es un camino completamente inescrutable
, pues no podríais saber lo que no es (pues no se ha de realizar)

ni podrías señalarlo... Porque lo mismo es para el pensar y para el ser

La naturaleza del «es» o lo que es en Parménides es un tema sumamente polémico. Algunos han considerado que es todo lo que existe, otros que es todo lo que es o puede ser objeto de investigación científica. [7]

Sócrates

En los primeros diálogos de Platón, Sócrates utiliza el método elénctico para investigar la naturaleza o la definición de conceptos éticos como la justicia o la virtud. La refutación elénctica depende de una tesis dicotómica , que puede dividirse en exactamente dos partes mutuamente excluyentes , de las cuales solo una puede ser verdadera. Luego, Sócrates pasa a demostrar lo contrario de la parte comúnmente aceptada utilizando la ley de no contradicción. Según Gregory Vlastos, [8] el método tiene los siguientes pasos:

  1. El interlocutor de Sócrates afirma una tesis, por ejemplo, "El coraje es la resistencia del alma", que Sócrates considera falsa y propone refutar.
  2. Sócrates consigue el acuerdo de su interlocutor para otras premisas, por ejemplo, "El coraje es una cosa buena" y "La resistencia ignorante no es una cosa buena".
  3. Sócrates argumenta entonces, y el interlocutor está de acuerdo, que estas premisas adicionales implican lo contrario de la tesis original, en este caso, conduce a: "el coraje no es la resistencia del alma".
  4. Sócrates afirma entonces que ha demostrado que la tesis de su interlocutor es falsa y que su negación es verdadera.

La síntesis de Platón

La versión de Platón de la ley de no contradicción establece que "La misma cosa claramente no puede actuar o ser objeto de acción en la misma parte o en relación con la misma cosa al mismo tiempo, de maneras contrarias" (La República (436b)). En ella, Platón formula cuidadosamente tres restricciones axiomáticas sobre la acción o la reacción: en la misma parte, en la misma relación, al mismo tiempo. El efecto es crear momentáneamente un estado congelado, atemporal , algo así como las figuras congeladas en acción en el friso del Partenón. [9]

De esta manera, logra dos objetivos esenciales para su filosofía. En primer lugar, separa lógicamente el mundo platónico del cambio constante [10] del mundo formalmente cognoscible de los objetos físicos momentáneamente fijos [11] [12] . En segundo lugar, proporciona las condiciones para que se utilice el método dialéctico para encontrar definiciones, como por ejemplo en El sofista . De modo que la ley de no contradicción de Platón es el punto de partida necesario, derivado empíricamente, para todo lo demás que tiene que decir [13] .

Por el contrario, Aristóteles invierte el orden de derivación de Platón. En lugar de empezar con la experiencia , Aristóteles comienza a priori con la ley de no contradicción como axioma fundamental de un sistema filosófico analítico. [14] Este axioma requiere entonces el modelo realista fijo. Ahora, comienza con fundamentos lógicos mucho más sólidos que la no contradicción de la acción en reacción a las demandas conflictivas de las tres partes del alma de Platón.

La contribución de Aristóteles

La fuente tradicional de la ley de no contradicción es la Metafísica de Aristóteles , donde da tres versiones diferentes. [15]

Aristóteles intenta varias pruebas de esta ley. Primero sostiene que cada expresión tiene un solo significado (de lo contrario no podríamos comunicarnos entre nosotros). Esto descarta la posibilidad de que por "ser un hombre" se entienda "no ser un hombre". Pero "hombre" significa "animal de dos patas" (por ejemplo), y por lo tanto, si algo es un hombre, es necesario (en virtud del significado de "hombre") que deba ser un animal de dos patas, y por lo tanto es imposible al mismo tiempo que no sea un animal de dos patas. Así, "no es posible decir con verdad al mismo tiempo que la misma cosa es y no es un hombre" ( Metafísica 1006b 35). Otro argumento es que cualquiera que cree en algo no puede creer en su contradicción (1008b):

¿Por qué no se levanta a primera hora y se mete en un pozo o, si encuentra uno, se tira por un acantilado? De hecho, parece tener bastante cuidado con los acantilados y los pozos. [18]

Avicena

El comentario de Avicena a la Metafísica ilustra la opinión común de que la ley de no contradicción "y otras similares se encuentran entre las cosas que no requieren nuestra elaboración". Las palabras de Avicena para "el obstinado" son bastante jocosas: "debe ser sometido a la conflagración del fuego, ya que 'fuego' y 'no fuego' son uno. Se le debe infligir dolor mediante golpes, ya que 'dolor' y 'no dolor' son uno. Y se le debe negar comida y bebida, ya que comer y beber y la abstención de ambos son uno [y lo mismo]". [19]

Tomás de Aquino

Santo Tomás de Aquino sostuvo que el principio de no contradicción es esencial para el razonamiento de los seres humanos (“No es posible sostener razonablemente dos creencias mutuamente excluyentes al mismo tiempo”). Sostuvo que el razonamiento humano sin el principio de no contradicción es absolutamente imposible porque la razón misma no puede funcionar con dos ideas contradictorias. Santo Tomás sostuvo que esto es lo mismo para los argumentos morales, así como para los argumentos teológicos e incluso para las máquinas (“las partes deben trabajar juntas, la máquina no puede funcionar si dos partes son incompatibles”). [20] [21]

Leibniz y Kant

Tanto Leibniz como Kant utilizaron la ley de no contradicción para definir la diferencia entre proposiciones analíticas y sintéticas . [22] Para Leibniz, los enunciados analíticos se derivan de la ley de no contradicción, y los sintéticos del principio de razón suficiente .

Russell

El principio fue enunciado como un teorema de lógica proposicional por Russell y Whitehead en Principia Mathematica como:

[23]

Dialeteísmo

Graham Priest defiende la idea de que, en determinadas condiciones , algunas afirmaciones pueden ser verdaderas y falsas simultáneamente, o pueden ser verdaderas y falsas en momentos diferentes. El dialéctico surge de paradojas lógicas formales , como la paradoja del mentiroso y la paradoja de Russell , aunque no sea la única solución para ellas. [24] [25] [26]

Supuesta imposibilidad de su prueba o negación

Se alega que la ley de no contradicción no es verificable ni refutable, sobre la base de que cualquier prueba o refutación debe utilizar la ley misma antes de llegar a la conclusión. En otras palabras, para verificar o refutar las leyes de la lógica uno debe recurrir a la lógica como arma, un acto que se sostiene que es contraproducente . [27] Desde principios del siglo XX, ciertos lógicos han propuesto lógicas que niegan la validez de la ley.

Las lógicas denominadas " paraconsistentes " son lógicas tolerantes a la inconsistencia en el sentido de que, de P junto con ¬P, no se deduce que se siga ninguna proposición. Sin embargo, no todas las lógicas paraconsistentes niegan la ley de no contradicción y algunas de ellas incluso la prueban. [28] [29]

Algunos, como David Lewis , han objetado la lógica paraconsistente sobre la base de que es simplemente imposible que un enunciado y su negación sean conjuntamente verdaderos. [30] Una objeción relacionada es que la "negación" en la lógica paraconsistente no es realmente negación ; es meramente un operador formador de subcontrarios . [31] [ cita completa necesaria ] [32] [ cita completa necesaria ] Aquellos que (como los dialeteístas) afirman que la Ley de No Contradicción puede ser violada están de hecho usando una definición diferente de negación, y por lo tanto hablando de algo distinto de la Ley de No Contradicción que se basa en una definición particular de negación y por lo tanto no puede ser violada. [33]

En la cultura popular

El episodio de Fargo " La ley de la no contradicción ", que toma su nombre de la ley, se destacó por sus diversos elementos relacionados con la ley de la no contradicción, ya que el personaje principal del episodio enfrenta varias paradojas. Por ejemplo, ella sigue siendo la jefa interina de policía a pesar de haber sido degradada de su puesto, e intenta investigar a un hombre que se llamaba y no se llamaba Ennis Stussy, y que era y no era su padrastro. También presenta la historia de un robot que, después de haber pasado millones de años sin poder ayudar a la humanidad, se le dice que ayudó mucho a la humanidad todo el tiempo al observar la historia. [34]

Véase también

Referencias

  1. ^ "Lógica, neutralidad ontológica y la ley de no contradicción" (PDF) . Columbeia.edu . 2014.
  2. ^ Gillon, Brendan (2011), "Logic in Classical Indian Philosophy", en Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (edición de primavera de 2024), Metaphysics Research Lab, Stanford University , consultado el 3 de marzo de 2024.
  3. ^ Aristóteles, Metafísica (IV,1005b) , suponer que una misma cosa es y no es, como algunos imaginan que dice Heráclito.
  4. ^ Heráclito, Fragmentos 36, 57, 59 (Por el agua)
  5. ^ Cornford, FM, La teoría del conocimiento de Platón , pág. 234
  6. ^ (80B1 DK ). Según el Teeteto de Platón , sección 152a. [1]
  7. ^ Curd, Patricia, "Filosofía presocrática", The Stanford Encyclopedia of Philosophy (edición de verano de 2011) , Edward N. Zalta (ed.), URL = http://plato.stanford.edu/archives/sum2011/entries/presocratics/
  8. ^ Gregory Vlastos, 'El Elenchus socrático', Oxford Studies in Ancient Philosophy I , Oxford 1983, 27–58.
  9. ^ James Danaher, Las leyes del pensamiento "Las restricciones que Platón impone a las leyes del pensamiento (es decir, "en el mismo aspecto" y "al mismo tiempo") son un intento de aislar el objeto del pensamiento eliminándolo de todo otro tiempo excepto el presente y de todos los aspectos menos uno".
  10. ^ La línea dividida de Platón describe los cuatro mundos platónicos
  11. ^ Cratilo , a partir de 439e
  12. ^ "Una cosa que es F en un momento, o de una manera, o en una relación, o desde un punto de vista, con demasiada frecuencia no será F en otro momento, de otra manera" ("Paradoja metafísica" en Gregory Vlastos, Estudios platónicos , p. 50)
  13. ^ "Dos principios de no contradicción" en Samuel Scolnicov, Parménides de Platón , pp.12-16
  14. ^ De manera similar, Kant señaló que Newton " de ninguna manera se atrevió a probar esta ley a priori, y por lo tanto apeló más bien a la experiencia " ( Fundamentos metafísicos , 4:449).
  15. ^ Łukasiewicz (1971) pág. 487
  16. ^ Whitaker, CWA De Interpretatione de Aristóteles: contradicción y dialéctica página 184
  17. ^ Rijk, Lambertus Marie de (1972). Pedro de España (Petrus Hispanus Portugalensis): Tractatus: Llamado después Summule logices. Primera edición crítica. De los manuscritos. Van Gorcum. ISBN 9789023209751.
  18. ^ 1008b, trad. Lawson-Tancred
  19. Avicena, Metafísica , I.8 53.13–15 (sección 12 [p. 43] en la edición de Michael Marmura); comentando a Aristóteles, Tópicos I.11.105a4–5. El añadido editorial (entre corchetes) está presente en la traducción de Marmura.
  20. ^ Contradictio: Theorien und Bewertungen des Widerspruchs in der Theologie des Mittelalters. Mohr Siebeck. 2005.ISBN 978-3-16-148741-5.
  21. ^ Weidemann, Hermann (1981). ""Socrates est ": Zur Logik singulärer Existenzaussagen nach Thomas von Aquin". Sprache und Erkenntnis im Mittelalter, 2. Halbbd . doi :10.1515/9783110837711.753. ISBN 978-3-11-083771-1.
  22. ^ Wilson, Catherine (2018), "La influencia de Leibniz en Kant", en Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (edición de primavera de 2018), Metaphysics Research Lab, Stanford University , consultado el 20 de febrero de 2021.
  23. Alfred North Whitehead , Bertrand Russell (1910), Principia Mathematica , Cambridge , págs. 116-117[2].
  24. ^ Priest, Graham; Berto, Francesco; Weber, Zach (2018), "Dialetheism", en Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (edición de otoño de 2018), Metaphysics Research Lab, Stanford University , consultado el 10 de julio de 2022
  25. ^ Hájek, Petr; Paris, Jeff; Shepherdson, John (2000). "La paradoja del mentiroso y la lógica difusa". Revista de lógica simbólica . 65 (1): 339–346. doi :10.2307/2586541. ISSN  0022-4812. JSTOR  2586541. S2CID  6865763.
  26. ^ "La paradoja de Russell | Wiki de Brilliant Math & Science". brilliant.org . Consultado el 19 de octubre de 2023 .
  27. ^ SM Cohen, Aristóteles sobre el principio de no contradicción " La solución de Aristóteles en los Analíticos Posteriores es distinguir entre episteme (conocimiento científico) y nous (intelecto intuitivo). Los primeros principios, como el PNC, no son objetos del conocimiento científico -ya que no son demostrables- pero aun así son conocidos, ya que son captados por el nous. "
  28. ^ La ley de no contradicción: nuevos ensayos filosóficos . Oxford: Clarendon Press. 2004. doi :10.1093/acprof:oso/9780199265176.003.0024. ISBN 9780199265176.
  29. ^ Carnielli, Walter; Rodrigues, Abilio. "Un enfoque epistémico de la paraconsistencia: una lógica de la evidencia y la verdad" (PDF) . Pittsburg . Consultado el 20 de enero de 2024 .
  30. ^ Lewis (1982)
  31. ^ Slater (1995)
  32. ^ Béziau (2000)
  33. ^ Loke, ATE (2024). "La ley de no contradicción y la filosofía global de la religión". SOPHIA . doi :10.1007/s11841-024-01001-5.
  34. ^ "¿'Fargo' sigue siendo 'Fargo' si se emite en Los Ángeles? ¡Seguro que sí!". Uproxx . 3 de mayo de 2017 . Consultado el 6 de mayo de 2017 .

Bibliografía

Lectura adicional

Enlaces externos