<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>0123-4870</journal-id>
<journal-title><![CDATA[Folios]]></journal-title>
<abbrev-journal-title><![CDATA[Folios]]></abbrev-journal-title>
<issn>0123-4870</issn>
<publisher>
<publisher-name><![CDATA[Universidad Pedagógica Nacional ]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S0123-48702008000100003</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Los tres principios de la lógica aristotélica: ¿son del mundo o del hablar?]]></article-title>
<article-title xml:lang="en"><![CDATA[The Three Principles of the Aristotelian Logic: Are they from the world or from the speech?]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Bustamante Zamudio]]></surname>
<given-names><![CDATA[Guillermo]]></given-names>
</name>
<xref ref-type="aff" rid="A01"/>
</contrib>
</contrib-group>
<aff id="A01">
<institution><![CDATA[,Universidad Pedagógica Nacional  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>06</month>
<year>2008</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>06</month>
<year>2008</year>
</pub-date>
<numero>27</numero>
<fpage>24</fpage>
<lpage>30</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.co/scielo.php?script=sci_arttext&amp;pid=S0123-48702008000100003&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.co/scielo.php?script=sci_abstract&amp;pid=S0123-48702008000100003&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.co/scielo.php?script=sci_pdf&amp;pid=S0123-48702008000100003&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[Estamos acostumbrados a pensar que los tres principios de la lógica aristotélica (identidad, no-contradicción y tercero excluido) describen algo del funcionamiento del mundo. Sin embargo, tales principios conllevan una serie de presuposiciones que, de ser establecidas, nos dejan más bien en el terreno de la pragmática del hablar, independientemente de qué sean las cosas o de cómo estén organizadas. A su vez, esto protege dichos principios de las críticas que supuestamente toman algo de la realidad para objetarlos; y, de otro lado, permite en algún caso precisar la formulación del principio en cuestión.]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[We are in the habit of thinking on the three principles of the Aristotelian Logic (identity, non contradiction and the third one excluded) as those describing the world performance. However such principles imply certain suppositions that, when established, deal us into the pragmatism of the speech, no matter what thinks are like or how things to be set. At once, this situation protects those principles against any objection arisen from reality; and, on the other hand, it permits in any case to precise the formulation of the principle under question.]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[Principios de identidad]]></kwd>
<kwd lng="es"><![CDATA[de no-contradicción y de tercero excluido]]></kwd>
<kwd lng="es"><![CDATA[lógica]]></kwd>
<kwd lng="es"><![CDATA[argumentación]]></kwd>
<kwd lng="en"><![CDATA[Principles of identity]]></kwd>
<kwd lng="en"><![CDATA[non contradiction and the third one excluded]]></kwd>
<kwd lng="en"><![CDATA[logic]]></kwd>
<kwd lng="en"><![CDATA[argumentation]]></kwd>
</kwd-group>
</article-meta>
</front><body><![CDATA[ <p align="right"><font face="Verdana" size=2> <b>ARTÍCULOS</b></font></p>     <p><b>    <center><font face="Verdana"  size="4">Los tres principios de la l&oacute;gica aristot&eacute;lica: &iquest;son del mundo o del hablar? </font></center></b></p>     <p><i>    <center><font face="Verdana"size="3">The Three Principles of the Aristotelian Logic Are they from the world or from the speech? </font></center></i></p> <font face="Verdana" size=2>     <p><b>Guillermo Bustamante Zamudio<sup><a href="#*">*</a></sup></b></p>     <p><sup><a name="*">*</a></sup>Profesor de la Universidad Pedag&oacute;gica Nacional. <a href="mailto:gbustamante@pedagogica.edu.co">gbustamante@pedagogica.edu.co</a>      <p>Art&iacute;culo recibido el 4 de marzo de 2008 y aprobado el 12 de mayo de 2008 </p> <hr size=”1”>     <p><b>Resumen</b> </p>    <p>Estamos acostumbrados a pensar que los tres principios de la l&oacute;gica aristot&eacute;lica (identidad, no-contradicci&oacute;n y tercero excluido) describen algo del funcionamiento del mundo. Sin embargo, tales principios conllevan una serie de presuposiciones que, de ser establecidas, nos dejan m&aacute;s bien en el terreno de la pragm&aacute;tica del hablar, independientemente de qu&eacute; sean las cosas o de c&oacute;mo est&eacute;n organizadas. A su vez, esto protege dichos principios de las cr&iacute;ticas que supuestamente toman algo de la realidad para objetarlos; y, de otro lado, permite en alg&uacute;n caso precisar la formulaci&oacute;n del principio en cuesti&oacute;n. </p>     ]]></body>
<body><![CDATA[<p><strong>Palabras clave</strong>: Principios de identidad, de no-contradicci&oacute;n y de tercero excluido, l&oacute;gica, argumentaci&oacute;n. </p> <hr size=”1”>     <p><strong>Abstract </strong></p>     <p>We are in the habit of thinking on the three principles of the Aristotelian Logic (identity, non contradiction and the third one excluded) as those describing the world performance. However such principles imply certain suppositions that, when established, deal us into the pragmatism of the speech, no matter what thinks are like or how things to be set. At once, this situation protects those principles against any objection arisen from reality; and, on the other hand, it permits in any case to precise the formulation of the principle under question. </p>     <p><strong>Key words</strong>: Principles of identity, non contradiction and the third one excluded; logic, argumentation. </p> <hr size=”1”>     <p><b>El asunto </b></p> Arist&oacute;teles plantea (tomado de Morin [1991]) que, al mismo tiempo y dentro de la misma relaci&oacute;n, <i>s&oacute;lo bajo estas condiciones</i>,      <p> 1. algo no puede ser y no ser. Este es el llamado &quot;principio de identidad&quot;: <i>A=A</i>. O sea: si <i>A </i>es, <i>A </i>no puede no ser, al mismo tiempo y dentro de la misma relaci&oacute;n; </p>     <p>2. es imposible que un atributo pertenezca y no pertenezca al mismo sujeto. Este es el llamado &quot;principio de no-contradicci&oacute;n&quot;: si {<i>A es x</i>} &rarr; {<i>A no es no-x</i>}, donde <i>x </i>y <i>no-x </i>son atributos contrarios; ejemplo: algo no puede ser blanco y no-blanco, al mismo tiempo y dentro de la misma relaci&oacute;n; </p>     <p>3. dos proposiciones contradictorias no pueden ser verdaderas ambas. Este es el llamado &quot;principio del tercero excluido&quot;: dados los enunciados {<i>A es x</i>} y {<i>A es diferente de x</i>}, s&oacute;lo uno de los dos puede ser verdadero, al mismo tiempo y dentro de la misma relaci&oacute;n. Como vemos, de forma expl&iacute;cita los dos primeros principios pretenden referirse al mundo: en el primer caso, al ser de las cosas; en el segundo caso, a los atributos de las cosas. El tercer principio es el &uacute;nico que se refiere a proposiciones, aunque supuestamente se valida porque estas se refieren al mundo. Claro que los atributos de existencia o de pertenencia que se encuentren en pugna no pueden existir m&aacute;s que en proposiciones... </p>     <p><b>Principio de identidad </b></p>     <p>Seg&uacute;n el principio de identidad (<i>A=A</i>), algo no puede ser y no ser <i>al mismo tiempo y en la misma relaci&oacute;n</i>. Pues bien, hay quien pretende objetar este principio, sin tener en cuenta las condiciones puestas para su aplicaci&oacute;n: por ejemplo, aplicando el principio estructural de la diferencia (el que tiene lugar para definir las unidades de la lengua [Miller, 1981]). Sabemos que dicha aplicaci&oacute;n produce la exclusi&oacute;n de un elemento: por ejemplo, <i>x</i>, si sirvi&oacute; como referencia para ser <i>diferente a </i>los dem&aacute;s. Ahora, si aplicamos -;pongamos por caso-; los <i>diferentes de z</i>, entonces <i>x </i>queda incluido, con lo que parecer&iacute;a como si <i>x</i>&ne;<i>x</i>, idea que contradir&iacute;a el principio de identidad. Pero, en realidad, con esa operaci&oacute;n forzamos las relaciones (recordemos que son condici&oacute;n del principio de identidad), pues escogemos otro elemento con el objetivo de hacer entrar el que fue excluido en la primera operaci&oacute;n... pero, entonces, ya estar&iacute;amos en una segunda operaci&oacute;n (no es la misma relaci&oacute;n), lo cual elimina la posibilidad de aplicar el principio: </p>     ]]></body>
<body><![CDATA[<p>Primer tiempo: elementos &ne; de <i>x</i>: <i>a</i>&ne;<i>x</i>, <i>b</i>&ne;<i>x</i>, <i>c</i>&ne;<i>x</i>... <i>z</i>&ne;<i>x</i>,     <br> donde <i>x </i>queda por fuera (no cumple la condici&oacute;n de ser &ne;<i>de x</i>).     <br> Segundo tiempo: elementos &ne; de <i>z</i>: <i>a</i>&ne;<i>z</i>, <i>b</i>&ne;<i>z</i>, <i>c</i>&ne;<i>z</i>... <i>x</i>&ne;<i>z</i>,     <br> donde <i>x </i>queda por dentro (cumple la condici&oacute;n de ser &ne;<i>de z</i>);     <br> pero esta vez es <i>z </i>el que queda por fuera (no cumple la nueva condici&oacute;n). </p>     <p>De manera que <i>x </i>est&aacute; en el conjunto, bajo <i>ciertas </i>condiciones, y sale del conjunto, bajo <i>otras </i>condiciones. Ser&iacute;a el mismo caso de Plut&oacute;n: en 1930 se le declar&oacute; planeta y en 2006 se le quit&oacute; esa categor&iacute;a. Entonces, como planeta, &iquest;Plut&oacute;n es y no es? No, lo que ocurre es que los criterios para asignar ese estatuto han cambiado. Todo esto puede afirmarse, sin necesidad de pretender objetar el principio de identidad. Arist&oacute;teles condicion&oacute; la aplicaci&oacute;n del principio, pues sab&iacute;a muy bien -;podemos presuponerlo-; que f&aacute;cilmente pueden hac&eacute;rsele objeciones a un principio de identidad sin condiciones (por ejemplo, durante un tiempo suficiente, puede decirse que un ser vivo es y no es). </p>    <p>Obs&eacute;rvese que el principio de identidad tiene un punto de partida: <i>si A es</i>, <i>dado A</i>. Entonces, si aceptamos que <i>hay A</i>, de ah&iacute; en adelante no podemos operar m&aacute;s que con su &quot;existencia&quot; (entonces, no se trata de una verificaci&oacute;n en la realidad, sino de un punto de partida). Si <i>hay A</i>, si damos por hecho que <i>hay A</i>, pues nos contradir&iacute;amos si dij&eacute;ramos que <i>no hay A</i>, <i>al mismo tiempo y en las mismas circunstancias que hay A</i>. Incluso podr&iacute;a decirse que la l&oacute;gica es una serie de recreaciones de esta primera tautolog&iacute;a, seg&uacute;n la cual <i>A=A</i>. Es como si Arist&oacute;teles, en lugar de un principio de identidad <i>de la cosa</i>, en realidad hablara de un <i>principio de consistencia de quien enuncia</i>: &quot;si empiezas considerando que <i>hay A</i>, no lo olvides en el camino&quot;. Incluso m&aacute;s: &quot;si empiezas considerando que <i>hay A</i>, y encuentras en el camino que <i>no hay A</i>, entonces tienes otro comienzo&quot;.      <p>Ahora bien, no hay mucha dificultad para aceptar que <i>hay A</i>, sobre todo si <i>A </i>est&aacute; vac&iacute;o: recordemos que esta l&oacute;gica define una proposici&oacute;n como aquello susceptible de ser calificado de verdadero o falso (V o F), <i>independientemente de lo que diga o de que diga algo</i>. Pero ello ya comporta una petici&oacute;n de principio: que lo afirmado -;no importa qu&eacute;-; tiene como referente la verdad, en su modalidad de presencia (V), o de ausencia (F); donde verdad = realidad (<i>adecuatio rei et intelectus</i>). </p>     <p>Pero hay procesos donde de entrada no puede contarse con la existencia. El caso del ni&ntilde;o frente al espejo [Lacan, 1949] no puede analizarse partiendo del supuesto hecho de que hay sujeto (<i>hay A</i>), pues ello introduce subrepticiamente, como punto de partida, la existencia de la identidad (<i>A=A</i>), que es justamente lo que est&aacute; en juego en el asunto del espejo. Del paso entre no reconocerse en el espejo, hasta el momento en que el ni&ntilde;o juega a aparecer desaparecer de la imagen, puede deducirse que, en un primer tiempo, ante el espejo al ni&ntilde;o nada puede regresarle (&eacute;l no es sencillamente un dispositivo cognitivo que aprehende el objeto, en este caso su imagen), pues <i>del sujeto no hay</i>. Y, en un segundo momento, como efecto retroactivo del espejo, algo <i>se produce</i>. Las sucesivas identificaciones que se siguen en la vida no dicen que el principio de identidad flaquee, sino, m&aacute;s bien, que flaquea la identidad, que hay<i> falta de ser</i> [Lacan]. </p>    <p>Quien toma al sujeto como hecho, como dato, no tiene otra alternativa que darle consistencia a eso (en la terap&eacute;utica psicol&oacute;gica, por ejemplo). En cambio, quien no parte del dato <i>sujeto</i>, no busca hacerlo consistir (la cl&iacute;nica psicoanal&iacute;tica, por ejemplo); en este caso, no se trata de una tozudez que contradice la evidencia de que alguien material hace una consulta, sino de la experiencia cl&iacute;nica que hace surgir algo, m&aacute;s all&aacute; del individuo, m&aacute;s all&aacute; de su demanda (en la que tendr&iacute;a que autorizarse el terapeuta, si toma al sujeto como dato). </p>    ]]></body>
<body><![CDATA[<p>Por eso, de un lado, los f&iacute;sicos se sorprenden de que haya algo: se preguntan por qu&eacute; hay algo, en lugar de haber nada; no se explican racionalmente el punto de partida, a saber: <i>hay A</i>. Desde ah&iacute;, pueden explicar muchas cosas, pero se les escurre entre los dedos la causa primera (por eso, en este punto, la ciencia parece no poder salir del &aacute;mbito de la religi&oacute;n). Mientras que, de otro lado, Lacan se sorprende de que en relaci&oacute;n con lo humano nada haya: se pregunta por qu&eacute; hay nada, en lugar de haber algo, por qu&eacute; hay<i> falta de ser</i>. </p>    <p>La evidencia de los f&iacute;sicos (hay algo), da lugar a decir <i>hay A</i>; y si hay <i>A</i>, pues <i>A=A</i>, indefectiblemente (la lengua funciona por oposiciones, de manera que decir <i>hay A </i>es, al mismo tiempo, decir que <i>no hay no A</i>). Pero recordemos todo lo que est&aacute; en juego para que eso sea posible: una masa de hablantes que comparte una cultura; y, en el caso de la ciencia: registro, medida, explicaci&oacute;n... en fin, todo el aparato simb&oacute;lico. Cuando <i>A=A</i>, <i>A </i>se mira al espejo y ve <i>A</i>. Pero sabemos que &quot;lo que permanece impl&iacute;cito en la definici&oacute;n de un hecho cient&iacute;fico, es el conjunto de los hechos que se excluyeron para hacer aparecer ese hecho&quot; [Soler, 1992: 22]. Es decir, la ciencia elige no tener en cuenta el hecho llamado &quot;individuo&quot; (que podr&iacute;a introducir error en la detecci&oacute;n de <i>A</i>); es decir, la condici&oacute;n de existencia de <i>A </i>es la exclusi&oacute;n del sujeto; en otras palabras, <i>A </i>es, independientemente del sujeto; la existencia de <i>A </i>es a prueba de sujeto. Hay otras perspectivas: el psicoan&aacute;lisis, por ejemplo, se propone <i>producir </i>el &quot;sujeto&quot; en el terreno &eacute;tico [Miller, 1987]. </p>     <p>Pero hay m&aacute;s: si la l&oacute;gica ocurre meramente en la operaci&oacute;n significante [Miller, 1981], entonces ella ser&iacute;a una operaci&oacute;n en el lenguaje y no algo inherente a las cosas, como cuando Cop&eacute;rnico anunciaba que el universo estaba escrito en caracteres matem&aacute;ticos. De manera que la evidencia de <i>hay A </i>es una operaci&oacute;n simb&oacute;lica que, como tal, constituye un l&iacute;mite. Se ha dicho que la realidad es el residuo de lo posible (Koyr&eacute;); que la ciencia es un tratamiento de lo real por lo simb&oacute;lico [Lacan, 1964]; que la ciencia parece correrle los l&iacute;mites a lo que no puede ser dicho. De tal manera, <i>A </i>es una conquista simb&oacute;lica. Es como decir: <i>los significantes nos permiten delimitar esto</i>. As&iacute;, <i>dado A </i>es un l&iacute;mite. Pero, &iquest;y m&aacute;s all&aacute;? &iquest;Y m&aacute;s ac&aacute;? En cualquier caso, algo no puede ser formulado, pero sabemos de esa imposibilidad. En otras palabras, la l&oacute;gica significante delimita lo imposible, como dimensi&oacute;n humana. </p>     <p><i>A </i>no es lo real, a lo sumo es el objeto de la ciencia, la realidad; la realidad de la causalidad y el determinismo. No obstante, <i>A </i>habla de algo que no cumple su ley, porque no puede ser enunciado, pero esa imposibilidad tiene que ver con su materialidad (por ejemplo, para el psicoan&aacute;lisis, que hace de ese <i>resto </i>real algo fundamental en la definici&oacute;n &eacute;tica del sujeto). </p>     <p><b>Principio de no-contradicci&oacute;n </b></p>     <p>Seg&uacute;n este principio, si {<i>A es x</i>} &rarr; {<i>A no es no-x</i>}; o sea, es imposible que un atributo pertenezca y no pertenezca al mismo sujeto. Con este principio &mdash;perd&oacute;n por la simpleza&mdash; lo que Arist&oacute;teles est&aacute; diciendo es que si nos ponemos a conversar, con el prop&oacute;sito de decir algo sobre el mundo (no es que sea as&iacute;, pero al menos es el prop&oacute;sito), lo m&iacute;nimo es reconocer que lo dicho ha sido dicho; de lo contrario, no se podr&iacute;a avanzar. &iexcl;Es una redundancia! Claro, pero es que toda la l&oacute;gica lo es, lo que pasa es que all&iacute; se habla de &quot;tautolog&iacute;a&quot;. </p>     <p>Al argumentar, estamos basados en el principio de no-contradicci&oacute;n, pues si no, nada se podr&iacute;a demostrar ni contradecir. No quiere decir que no haya contradicciones, o que este principio le tenga pavor a la contradicci&oacute;n. Querr&iacute;a decir, m&aacute;s bien, que si todo vale, nada es argumentable. Y que, si se quiere argumentar, es necesario poner l&iacute;mites. Por eso, reflexionar es perder la libertad: en una demostraci&oacute;n, nos vemos <i>obligados</i>, por lo dicho, a concluir de determinadas maneras, hasta el punto que la &uacute;ltima afirmaci&oacute;n -;la demostraci&oacute;n final del teorema, por ejemplo-; se dice casi sola, es una implicaci&oacute;n necesaria. Ahora bien, podr&iacute;a pensarse que en &aacute;mbitos como las noticias o la pol&iacute;tica se ignora que lo dicho ha sido dicho; sin embargo, postulo la idea de que el intercambio comunicativo en esos casos hace cesar de manera abrupta -;casi que despu&eacute;s de cada frase-; la condici&oacute;n temporal que se ha puesto como condici&oacute;n de operatividad de los principios aristot&eacute;licos: all&iacute; no vale decir: &quot;&iexcl;Pero si acabas de decir lo contrario!&quot;,pues perfectamente se nos puede responder: &quot;ya estamos en otro momento&quot;. </p>    <p>Contra el principio de no-contradicci&oacute;n se ha arg&uuml;ido, por ejemplo, que propiedades excluyentes, como las que caracterizan a las ondas y a las part&iacute;culas, pueden ser detectadas en las entidades subat&oacute;micas (de donde estas ser&iacute;an objetos materiales, pero contradictorios). Pero, en realidad, no es que se haya objetado el principio de no-contradicci&oacute;n, sino que -;como explica Capra [1982: 82-86]-; la terminolog&iacute;a disponible (&#39;onda&rsquo;, &#39;part&iacute;cula&rsquo;, &#39;causalidad&rsquo;) es insuficiente para describir los fen&oacute;menos at&oacute;micos; las unidades subat&oacute;micas <i>aparecen </i>como part&iacute;culas o como ondas <i>seg&uacute;n se las busque y seg&uacute;n se argumenten las pruebas</i>. </p>    <p>Aunque haya &aacute;mbitos donde la contradicci&oacute;n es funcional (en los mitos, por ejemplo, y sin ir tan lejos, en la conversaci&oacute;n cotidiana),si un enunciado aspira a la dignidad de ser indicativo, si se aspira a &quot;logicizar&quot; una descripci&oacute;n, a formalizar una disciplina, se acepta el principio de no-contradicci&oacute;n, independientemente de que la revisi&oacute;n de las doctrinas sea permanente (es decir: creemos en la no- contradicci&oacute;n aunque luego reconozcamos que lo que hab&iacute;amos dicho era contradictorio). </p>     <p>De nuevo, Arist&oacute;teles parece haberse referido a la discusi&oacute;n, no a las cosas. Cuando alguien intenta dar cuenta de algo, lo m&iacute;nimo que Arist&oacute;teles le pide es que tenga en cuenta que lo dicho ha sido afirmado y que si va a cambiarlo lo diga o que, en todo caso, se atenga a las consecuencias si sus interlocutores se dan cuenta. Esto explica que el principio de incertidumbre de Heisenberg se refiera a la imposibilidad de <i>describir</i>, al mismo tiempo, velocidad y posici&oacute;n de las part&iacute;culas subat&oacute;micas. Es decir, no se trata exactamente de una propiedad de la naturaleza, sino de una dificultad de nuestra aproximaci&oacute;n o, como intento mostrar aqu&iacute;, de nuestra argumentaci&oacute;n; ahora bien, tal dificultad tambi&eacute;n se&ntilde;ala hacia la diferencia entre lo que hab&iacute;amos pensado para el mundo macrosc&oacute;pico y lo que ser&iacute;a el mundo microsc&oacute;pico, pero no a favor de una descripci&oacute;n o en detrimento de otra: &iquest;acaso se trata de que las categor&iacute;as para el macromundo y la manera de describirlo son ineficaces para el micromundo <i>porque </i>&eacute;ste <i>es </i>diferente?...con lo cual volver&iacute;amos al asunto de la <i>adecuatio rei et intelectus</i>; o se trata, m&aacute;s bien, de que nuevas descripciones, nuevas categor&iacute;as, nuevas argumentaciones hacen emerger nuevas dimensiones significativas para el mundo. </p>     ]]></body>
<body><![CDATA[<p>En todo caso, podr&iacute;a pensarse que la presencia de la contradicci&oacute;n en la conversaci&oacute;n cotidiana o en el mito puede ser pensada de una manera m&aacute;s compleja. </p>     <p><b>Principio del tercero excluido </b></p>     <p>Seg&uacute;n este principio, dos proposiciones contradictorias ({<i>A es x</i>} y {<i>A no es x</i>}) no pueden ser verdaderas ambas, al mismo tiempo y dentro de la misma relaci&oacute;n. En consecuencia con el principio reductor del &aacute;lgebra que la l&oacute;gica encarna, una proposici&oacute;n significativa puede ser V o F y, por tanto, dos proposiciones contradictorias no pueden ser verdaderas ambas; una, o ambas, son F. Pues bien, decir &quot;contradictorias&quot; es ya decir que ambas no pueden ser ciertas; el que acepta que es posible la contradicci&oacute;n &iexcl;de hecho ha aceptado el principio aristot&eacute;lico! O sea, el principio de no-contradicci&oacute;n no elimina la contradicci&oacute;n, sino que le da un lugar, incluso le da una posibilidad. Advi&eacute;rtase, adem&aacute;s, que decir &quot;proposiciones contradictorias&quot; es afirmar que se refieren a la misma porci&oacute;n de realidad y en las mismas condiciones (de tiempo y relaci&oacute;n).Pues dos proposiciones contradictorias pueden ser ambas V, si se dicen para momentos distintos o para relaciones distintas: es la fuente de la broma en la que alguien dice que el pato y la gallina son animales <i>peligrosos</i>, mientras que el tigre y el le&oacute;n son animales <i>inofensivos</i>…; claro, pues es lo que una lombriz le dice a sus peque&ntilde;os hijos. Habr&iacute;a contradicci&oacute;n entre lo que dice el personaje y lo que tenemos enunciado para nosotros, que habla de inocencia de los comedores de lombrices y de peligrosidad de los carn&iacute;voros de formato mayor; pero el chiste est&aacute; en explicitar al final las condiciones en las cuales se relacionan ciertos grupos de animales con la propiedad de peligrosos o inofensivos. </p>    <p>Es claro -;seg&uacute;n me parece-; que el problema, en primera instancia, tiene que ver con la idea de una proposici&oacute;n &quot;con sentido&quot;,&quot;dotada de significaci&oacute;n&quot;. De nuevo, si damos estas ideas por sentadas, de ah&iacute; en adelante no es posible negar el principio del tercero excluido. Como la l&oacute;gica es tautol&oacute;gica, si se aceptan las condiciones de partida, los principios no son m&aacute;s que una manera de inferir lo que de ellos es posible. De tal manera, los tres principios aristot&eacute;licos no son problem&aacute;ticos, sino los axiomas que utilizan, a saber, los siguientes: </p>     <p>- hay A,     <br> - A dice algo de la realidad,     <br> - decir de la realidad es o no es,     <br> - eso es tener o no tener sentido. </p>     <p>Hay quienes quieren derrumbar el tercero excluido de la l&oacute;gica aristot&eacute;lica, diciendo que no solo hay V y F, que tambi&eacute;n existe el &quot;m&aacute;s o menos&quot; entre ambos, as&iacute; como el gris entre el blanco y el negro, el regular, el mediano, etc. En este punto puede precisarse el tercer principio, en un sentido que parece desprenderse de la idea de Arist&oacute;teles. El fil&oacute;sofo griego no se molestar&iacute;a si dij&eacute;ramos que, razonando en el marco de una l&oacute;gica (tal vez este sintagma sea una redundancia), est&aacute; excluido un juicio sobre los enunciados que exceda en n&uacute;mero a la cantidad de juicios aceptados en ese contexto. En otras palabras, podemos generalizar su tercer principio as&iacute;: &quot;Si la cantidad de juicios sobre <i>A </i>es <i>n</i>, queda excluido el juicio <i>n+1</i>&quot;. Aplicado al ya conocido, tenemos: <i>n=2 </i>(V y F, &uacute;nicos valores de una proposici&oacute;n),entonces est&aacute; excluido el juicio n+1, o sea, 2+1, o sea, est&aacute; excluido un tercer juicio. Entonces, el tercero excluido es apenas un ejemplo de un principio m&aacute;s general que podr&iacute;amos llamar el [n+1]&deg; excluido (<i>ene-m&aacute;suno-avo excluido</i>). </p>     <p>As&iacute;, si en la l&oacute;gica de los cr&iacute;ticos f&aacute;ciles est&aacute; el gris, adem&aacute;s del blanco y el negro, pues estar&iacute;a excluido un cuarto color... y si hay siete colores en el arco iris, pues est&aacute; excluido el octavo... Y, aunque haya millones de gamas entre el blanco y el negro, nadie ha o&iacute;do hablar de &quot;las piezas grises&quot; del ajedrez. En el juego de damas, una pieza est&aacute; en el tablero o no est&aacute;; no cabe una tercera posibilidad. En cambio, en el f&uacute;tbol, donde un jugador puede estar: i) afuera del campo, ii) adentro del campo, o iii) moment&aacute;neamente-por-fuera; no cabe una cuarta opci&oacute;n (si estar en la banca es una cuarta, pues est&aacute; excluida una quinta). En resumen: </p>     ]]></body>
<body><![CDATA[<p>Si <i>A </i>tiene dos valores excluyentes [<i>p</i> / <i>q</i>],entonces {<i>A es p</i>} o {<i>A es q</i>}, pero no puede ser {<i>A es p </i>y <i>es q</i>} ni {<i>A es r</i>} (tercer valor que no estaba incluido en la lista inicial de valores posibles). </p>    <p>Y si <i>A </i>tiene tres valores [<i>p </i>/ <i>q </i>/ <i>r</i>], entonces si {<i>A no es p</i>}, todav&iacute;a puede ser {<i>A es q</i>} o {<i>A es r</i>}; pero si, adem&aacute;s, {<i>A no es q</i>}, entonces ya no puede ser m&aacute;s que {<i>A es r</i>}; en ning&uacute;n caso puede ser {<i>A es p</i> y <i>A es q</i>},o {<i>A es p </i>y <i>A es r</i>},o {<i>A es q </i>y <i>A es r</i>}, o {<i>A es p </i>y <i>A es q </i>y <i>A es r</i>},ni {<i>A es s</i>} (cuarto valor que no estaba incluido en la lista inicial de valores posibles).Y as&iacute; sucesivamente. </p>    <p>Es evidente que se trata, otra vez, de una consistencia de la argumentaci&oacute;n: si pusimos como condici&oacute;n que las cosas eran verdaderas o falsas, no hay una tercera opci&oacute;n, a no ser que pongamos otra condici&oacute;n. Y no se crea que pasar a l&oacute;gicas nobinarias nos permitir&iacute;a objetar la l&oacute;gica formal del tercero excluido. Si tomamos, por ejemplo, la l&oacute;gica modal (que tiene cuatro valores: <i>posible, contingente, necesario</i> e <i>imposible</i>) y le aplicamos nuestra f&oacute;rmula del [n+1]&deg; excluido, un valor por fuera de esos cuatro (o que combine algunos de ellos), un quinto valor, queda excluido. </p>    <p>El punto interrogable es el lugar axiom&aacute;tico del principio, a saber: qu&eacute; se puede juzgar, qu&eacute; se puede afirmar de algo en ese mundo sobre el que pretendemos operar. </p>     <p>Este principio aristot&eacute;lico, as&iacute; visto, parecer&iacute;a poder ponerse en el sentido del principio estructural del lenguaje que consiste en poner l&iacute;mite, entre otras para hacer algo pensable. Si a cada cosa le corresponde un juicio, es imposible pensar. Si hay un n&uacute;mero (<i>n</i>) finito de juicios, es posible pensar, justamente porque est&aacute; excluido el [<i>n+1</i>]<i>&deg;</i>; de incluirlo recurrentemente, se obtiene infinito, o sea, imposibilidad de pensar. </p>     <p><b>Conclusi&oacute;n y esquema </b></p>     <p>Los tres principios de la l&oacute;gica aristot&eacute;lica pueden hacerse equivaler a <i>principios de consistencia de quien enuncia</i>. As&iacute;, el principio de identidad rezar&iacute;a: &quot;si empiezas tu argumentaci&oacute;n considerando que <i>hay A</i>, no lo olvides en el camino&quot;; o, mejor: &quot;si empiezas tu argumentaci&oacute;n considerando que <i>hay A</i>, y encuentras en el camino que <i>no hay A</i>, entonces tienes otro comienzo&quot;.Por su parte, el principio aristot&eacute;lico de la no-contradicci&oacute;n rezar&iacute;a:&quot;si conversas, pensando que dices algo sobre el mundo, tienes que reconocer que lo dicho ha sido dicho; de lo contrario, no se podr&iacute;a avanzar; y si vas a cambiar lo dicho, tienes que explicitarlo o, en todo caso, atente a las consecuencia si tus interlocutores se dan cuenta&quot;. Y, por &uacute;ltimo, el principio aristot&eacute;lico del tercero excluido rezar&iacute;a: &quot;si pusimos como condici&oacute;n que los enunciados eran verdaderos o falsos, no hay una tercera opci&oacute;n, a no ser que pongamos otra condici&oacute;n que, en todo caso, no podr&aacute; ser rebasada&quot;. </p>     <p>    <center><a name="tab1"></a><img src="img/revistas/folios/n27/n27a03tab1.gif"></center></p>     <p></p>     ]]></body>
<body><![CDATA[<p><b>Bibliograf&iacute;a </b></p>     <!-- ref --><p>1. Capra, Frijof. [1982]. <i>El punto crucial</i>. Buenos Aires:   Estaciones, 1992.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=000064&pid=S0123-4870200800010000300001&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --><!-- ref --><p>2. Lacan, Jacques. [1949]. El estadio del espejo como formador    de la funci&oacute;n del yo [je] tal como se nos revela en    la experiencia psicoanal&iacute;tica. En: <i>Escritos 1</i>. M&eacute;xico: Siglo XXI Editores, 1984.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=000065&pid=S0123-4870200800010000300002&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --><!-- ref --><p>3.    Lacan, Jacques. [1964]. <i>Los cuatro conceptos fundamentales    del psicoan&aacute;lisis</i>. Barcelona: Barral, 1977.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=000066&pid=S0123-4870200800010000300003&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --><!-- ref --><p>4. Miller, Jacques-Alain. [1992]. <i>La naturaleza de los semblantes</i>.    Buenos Aires: Paid&oacute;s, 2001.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=000067&pid=S0123-4870200800010000300004&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --><!-- ref --><p>5. Miller, Jacques-Alain. [1981]. La l&oacute;gica del significante.    En: <i>Matemas II</i>. Buenos Aires: Manantial, 1988.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=000068&pid=S0123-4870200800010000300005&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --><!-- ref --><p>6. Miller, Jacques-Alain. &iquest;Producir el sujeto? En: <i>Matemas  I</i>. Buenos Aires: Manantial, 1987.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=000069&pid=S0123-4870200800010000300006&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --><!-- ref --><p>7. Morin, Edgar. [1991]. <i>El m&eacute;todo. Las ideas</i>. Madrid: C&aacute;tedra,    1992.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=000070&pid=S0123-4870200800010000300007&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --><!-- ref --><p>8. Soler, Collete [1992]. <i>Las variables del fin de la cura</i>. Buenos    Aires: EOL, 1995.&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;[&#160;<a href="javascript:void(0);" onclick="javascript: window.open('/scielo.php?script=sci_nlinks&ref=000071&pid=S0123-4870200800010000300008&lng=','','width=640,height=500,resizable=yes,scrollbars=1,menubar=yes,');">Links</a>&#160;]<!-- end-ref --> ]]></body><back>
<ref-list>
<ref id="B1">
<label>1</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Capra]]></surname>
<given-names><![CDATA[Frijof]]></given-names>
</name>
</person-group>
<source><![CDATA[El punto crucial]]></source>
<year>1982</year>
<publisher-loc><![CDATA[Buenos Aires ]]></publisher-loc>
<publisher-name><![CDATA[Estaciones]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B2">
<label>2</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lacan]]></surname>
<given-names><![CDATA[Jacques]]></given-names>
</name>
</person-group>
<article-title xml:lang="es"><![CDATA[El estadio del espejo como formador de la función del yo [je] tal como se nos revela en la experiencia psicoanalítica]]></article-title>
<source><![CDATA[Escritos 1]]></source>
<year>1949</year>
<publisher-loc><![CDATA[México ]]></publisher-loc>
<publisher-name><![CDATA[Siglo XXI Editores]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<label>3</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Lacan]]></surname>
<given-names><![CDATA[Jacques]]></given-names>
</name>
</person-group>
<person-group person-group-type="editor">
<name>
</name>
</person-group>
<source><![CDATA[Los cuatro conceptos fundamentales del psicoanálisis]]></source>
<year>1964</year>
<publisher-loc><![CDATA[Barcelona ]]></publisher-loc>
<publisher-name><![CDATA[Barral]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<label>4</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Miller]]></surname>
<given-names><![CDATA[Jacques-Alain]]></given-names>
</name>
</person-group>
<source><![CDATA[La naturaleza de los semblantes]]></source>
<year>1992</year>
<publisher-loc><![CDATA[Buenos Aires ]]></publisher-loc>
<publisher-name><![CDATA[Paidós]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<label>5</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Miller]]></surname>
<given-names><![CDATA[Jacques-Alain]]></given-names>
</name>
</person-group>
<article-title xml:lang="es"><![CDATA[La lógica del significante]]></article-title>
<source><![CDATA[Matemas II]]></source>
<year>1981</year>
<publisher-loc><![CDATA[Buenos Aires ]]></publisher-loc>
<publisher-name><![CDATA[Manantial]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B6">
<label>6</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Miller]]></surname>
<given-names><![CDATA[Jacques-Alain]]></given-names>
</name>
</person-group>
<article-title xml:lang="es"><![CDATA[¿Producir el sujeto?]]></article-title>
<source><![CDATA[Matemas I]]></source>
<year></year>
<publisher-loc><![CDATA[Buenos Aires ]]></publisher-loc>
<publisher-name><![CDATA[Manantial]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<label>7</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Morin]]></surname>
<given-names><![CDATA[Edgar]]></given-names>
</name>
</person-group>
<source><![CDATA[El método: Las ideas]]></source>
<year>1991</year>
<publisher-loc><![CDATA[Madrid ]]></publisher-loc>
<publisher-name><![CDATA[Cátedra]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B8">
<label>8</label><nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Soler]]></surname>
<given-names><![CDATA[Collete]]></given-names>
</name>
</person-group>
<source><![CDATA[Las variables del fin de la cura]]></source>
<year>1992</year>
<publisher-loc><![CDATA[Buenos Aires ]]></publisher-loc>
<publisher-name><![CDATA[EOL]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
