Afirmación – negación / verdadero – falso Cecilia Solari Aristóteles no incluye lo verdadero en las propiedades que se identifican con el SER. Para la Metafísica, la ciencia del ser, el lugar de la VERDAD, es el EST de la cópula. Por el contrario, lo verdadero y lo falso se dan en la mente, el entendimiento y no en las cosas. Es así entonces, que allí es donde hay verdad o error, según se las conciba como siendo o no en la realidad, y este campo pertenece a la Lógica. Habrá dos posibilidades: una verdadera, la otra falsa. EL SER ES (verdadero) EL SER NO ES (falso) EL NO SER NO ES (verdadero) EL NO SER ES (falso) Para el caso, se trata de comprobación de hechos. En la empiria: día – claridad / noche – oscuridad. Luego Santo Tomás, quien retoma a Aristóteles, se pregunta si la verdad está solamente en la mente, el entendimiento (la lógica) y no lo niega pero argumenta que no está sólo allí. Va a establecer una identidad entre lo verdadero y el ser, desde el momento en que el ser va a estar en el entendimiento (mente) y además, en las cosas. De dos maneras, lo verdadero de las cosas se identifica al ser (cosidad) y lo verdadero del entendimiento con el ser. Son diferentes conceptos, pero el ser está en los dos. Lo verdadero no podrá conocerse sin el ser, es anterior a él, lo verdadero es el ser o la nada. Esa verdad se encuentra en el entendimiento divino, entender y ser es el mismo acto: FE. De allí, se desprende una teoría de la existencia. 39 En su texto La esencia y el ser, argumenta lo siguiente: Hay dos modos del ser: 1) El de la especie o género, donde es ente aquello que existe. Quididad o cosidad, aquello por lo que una cosa es lo que es. Existente. Su esencia es la quididad, por ella (la esencia) y en ella, la cosa, tiene existencia. 2) Sobre lo que se pueda afirmar o negar en el intelecto, aunque no le corresponda nada a la realidad, pero será la verdad de las proposiciones. Quine, lógico, en la introducción del texto El estudio semántico de la lógica, dirá que la lógica tiene como objetivo la búsqueda de la verdad. Ésta consiste en separar lo verdadero de lo falso. La relación de un enunciado con la realidad se corresponderá inadecuadamente o indirectamente. Define al conocimiento como un conjunto total de afirmaciones que establecen algunos nexos con experiencias y otros no. Si hubiera error, se debería modificar al sistema, pero cuando más fundamental sea una ley es improbable que se recuse. La lógica y la matemática están libres de revisión, en virtud de ese esquema conceptual. Hablará de los enunciados como de una abstracción. Entonces: Yo no puedo decir que p es falso cuando escribo no p, sólo estoy escribiendo la negación de p. Y puedo decir que p es verdadero cuando escribo p, su afirmación es verdadera si al escribir p digo que es verdadero. En estos casos, las letras pequeñas tratan de un valor de verdad para los conectores lógicos. Este lenguaje de pequeñas letras, lenguaje objeto, la afirmación y la negación se escribe en letras minúsculas. Ahora bien, en lógica hay un carácter que es el carácter de aserción: cuando lo adelanto a una fórmula la convierto en una tesis, es decir que siempre es verdad. En este caso estoy haciendo un comentario: P dice que existe Q, tal que P es no Q, entonces afirmo aserto P. Allí trato de lo verdadero y lo falso: 40 aserto (p o no p): V aserto (p y no p): F Ese carecer se escribe en lógica desde Frege y es equivalente a la función del decir. En el habla, este carácter de aserción es la misma función del decir, sabemos que aquel que habla por ese mismo hecho de hablar, indica directamente el camino: decir la verdad. De la misma manera, sucede con aquel que cuando habla miente, se le reprocha mentir. La existencia de la mentira misma es la confirmación de la enunciación. Por ejemplo: La nieve es blanca, es verdadero es equivalente a decir la nieve es blanca. Podemos constatarlo… o bien atenernos al hecho de decirlo. Puedo preguntarme si es verdadero o falso. Entonces le atribuyo un valor de verdad y hago un predicado, esa es una función de identidad. Decir que una función es verdadera da V Decir que una función es falsa (es verdadero) da F. La función se escribe: i (x)=x Y lo escribo V (v) es equivalente a lo V y la V (f) es equivalente a lo F. El hecho de decir sea V o F, es lo mismo que decir lo verdadero en V Grande. Al decir lo falso, lo digo y eso es verdadero, lo verdadero no puede desaparecer. Ahora trataré de demostrar algo, veremos qué pasa. ¿Qué quiere decir que esta frase es un comentario? El comentar es un rasgo del lenguaje, que lo diferencia del código de las abejas. Si hacemos un comentario, es porque no se puede salir del lenguaje. Está dentro del lenguaje y tiene la estructura de los conjuntos infinitos. Definición de los conjuntos infinitos, Cantor: E está incluido en A y E es diferente que A pero también A es equivalente a E. La nieve es blanca es A. La nieve es blanca es verdadero, es E (parte, que es la misma y diferente). 41 En su escrito “Posición del inconsciente”, Lacan presenta al inconsciente, como es, siguiendo a Freud en su trabajo “La negación”, en tanto etiqueta del inconsciente. Y como no es: antes de Freud, Unglauben, incredulidad, en tanto no tiene valor, ni como objeto, ni existente, él dice fundido en negro, en forma de sensaciones, automatismos, telepatía, lo pasional, etc. En la Banda de Moebius si realizo un corte, al hacer la aserción (por la negación) el inconsciente es. Existencia, sueños, actos fallidos, síntomas. Trabajo de lectura. Cuando no hay lectura, no es, incredulidad. 42