Download Afirmación – negación / verdadero – falso

Document related concepts

Doble negación wikipedia , lookup

Condicional material wikipedia , lookup

Negación lógica wikipedia , lookup

Principio de no contradicción wikipedia , lookup

Proposición wikipedia , lookup

Transcript
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