CAPTULO VIII

CAPITULO VIII: PRINCIPIOS DE LGICA FORMAL Y APLICACIONES. 3

1. Determinacin del problema 3 1.1 Enunciados....... 3 2. Introduccin. 4 3. Argumentacin. 4 3.1 Principios lgicos. 4 3.2 Principio de identidad. 5 3.2.1 Que son los juicios analticos.. 6 3.2.2 Crtica al principio de identidad... 7 3.3 Principio de no contradiccin... 8 3.4 Principio de tercero excluido 9 3.4.1 Critica al principio de tercero excluido.. 11 3.5 Principio de razn suficiente. 11 3.5.1 Crtica al principio de razn suficiente... 12 4. Relacin entre los principios. 13 5. Conclusiones. 14 6. Bibliografa.. 14

PRINCIPIOS DE LA LGICA FORMAL Y APLICACIONES I.-DETERMINACIN PROBLEMTICA: En el ltimo tercio del siglo XIX la lgica ha encontrado su transformacin ms profunda de la mano de las investigaciones matemticas y lgicas, junto con el desarrollo de la investigacin de las estructuras profundas del lenguaje, lingstica, convirtindose definitivamente en una ciencia formal. La lgica es una ciencia formal y que por tanto no tiene contenido, sino que simplemente estudia las formas validas de inferencia. Es el estudio de mtodos y principios utilizados para distinguir el razonamiento correcto del incorrecto. La lgica formal se dedica al estudio de razonamiento correcto. El objetivo supremo de la lgica es el razonamiento, esta operacin del entendimiento, y aun el simple acto de juzgar, presupone ciertos principios o, si se quiere, ciertas verdades previas, que han sido llamadas, por estas, leyes fundamentales del pensamiento. Ellas estn como subentendidas en cualquier juicio y raciocinio; de modo que si uno de estos actos de la mente fuese opuesto a ellas, indudablemente se tratara de un juicio o de un raciocinio errados. (PENNATI, Eugenio, 1972. Pg. 58). 1.1. ENUNCIADOS: Qu es un principio? En qu consiste El Principio De Identidad? En qu consiste El Principio De No Contradiccin? En qu consiste El Principio Del Tercio Excluido? En qu consiste El Principio De La Razn Suficiente?

I.INTRUDUCCIN. Para empezar hablar de los principios de la lgica formal primero tenemos que definir brevemente que es la lgica formal, su diferencia y relacin con la lgica dialctica. La lgica formal es la parte de la lgica que se dedica al estudio de la inferencia, mediante la construccin de lenguajes formales, sistemas deductivos y semnticas formales .La idea es que estas construcciones capturen las caractersticas esenciales de las inferencias vlidas en los lenguajes naturales, pero que al ser estructuras formales y susceptibles de anlisis matemtico, permite realizar demostraciones rigurosa sobre ellas. La lgica formal distingue razonamientos correctos e incorrectos, interesada en la forma o estructura de los razonamientos prescindiendo de los contenidos. La lgica formal no debe ser confundida con la lgica matemtica ya que esta ltima es una sub disciplina de la lgica formal. La lgica dialctica por otro lado estudia las formas del pensamiento, el proceso de formacin de conceptos, juicios, etc. Estudia las formas del pensamiento pero no de manera esttica, si no en su movimiento, sus cambios del conocimiento en el tiempo. II.ARGUMENTACIN 2.1. PRINCIPIOS LGICOS. Para empezar hablar de los principios lgicos hay que primero definir que es principio. Los principios son juicios, afirmaciones sin los cuales es imposible construir el sistema de relaciones en cada ciencia consiste. Puede en unos casos considerrselos evidentes y en otros simplemente convencionales, pero siempre se los considera puntos de partida. Los principios lgicos son tambin juicios, afirmaciones; pero en vez de constituir el punto de partida de un determinado sistema de relaciones, es decir, de una determinada ciencia, constituye el punto de partida de todas las ciencias, porque son principios del pensamiento mismo al que toda ciencia recurre. El pensamiento considerado en s mismo, tiene principios que son previos a los principios especiales de cualquier ciencia. Esos principios son los principios lgicos.

Fatone Vicente lo expresa as: Los principios lgicos son las conclusiones que hacen posible la relacin o sistemas de relaciones en que el pensamiento consiste. El pensamiento, en cuanto quiere descubrir en la realidad relaciones o sistemas de relaciones, no puede renunciar a sus exigencias propias; si renunciase a ellas, dejara de ser pensamiento; y dejando de ser pensamiento renunciara a entender la realidad, pues no puede entenderla si no en la medida en que la realidad se le aparece como lgica, es decir, como sujeta, tambin, a principios. (FATONE, VICENTE, 1967, pg.46.) Los principios lgicos son afirmaciones de validez universal que hacen posible el pensamiento mismo. Esos principios son cuatro: principios de identidad, de no contradiccin, de tercero excluido y de razn suficiente. 2.2. PRINCIPIO DE IDENTIDAD. Este principio no s dice que todo sujeto es idntico a si mismo. Lgicamente este principio se simboliza A es A, que nos indica que una cosa siempre es la misma. Fingermann lo expresa as: Este principio se expresa con la formula A es A, significa que un concepto o una idea es igual a ella misma. (FINGERMANN, G. 1951, pg. 39) Nos quiere decir que un concepto cualquiera, por ejemplo el concepto rbol es idntico al concepto rbol, yo estoy de acuerdo porque si yo tengo la idea de carro es igual a la idea carro. A si por ejemplo, si sustituimos A por el concepto vegetal obtendremos un juicio verdadero, un vegetal es un vegetal. Dion Martnez lo expresa como: Un pensamiento es idntico asimismo si los objetos que refleja no se transforman en el momento en que los utilicemos o si podemos abstraernos de sus cambios. (DION MARTINEZ, C, 1965, pg. 307) El ac el autor quiere decir que un pensamiento cualquiera, por ejemplo avin si este objeto no cambia en el momento en que es utilizado ser igual al pensamiento avin. Personalmente digo que esta mal porque si bien, un objeto fsico cambia constantemente; pero sigue siendo ese objeto; si no siguiese siendo ese objeto, si fuese otro, no podramos decir que ese objeto ha cambiado.

La nocin de identidad implica, pues, la de unidad, como lo sealaba Aristteles: La identidad es una especie de unidad del ser, o de varias cosas, o de una sola considerada como varias (como cuando al decir que una cosa es idntica a s misma se la considera como dos) Cuando decimos que una cosa es idntica a si misma no nos referimos a dos cosas porque es la misma cosa, solo enunciada dos veces. Decir que una cosa es idntica a s misma significa decir que una cosa es una cosa. Adems de esa identidad de una cosa consigo misma, podemos hablar tambin de la identidad de dos cosas bajo alguno de sus aspectos. Decimos que un objeto tiene el mismo color que aquel otro y los declaramos idnticos en ese aspecto. En este caso es el color la cosa idntica a si misma: se trata de un mismo color. Puedo, tambin a pesar de que una cosa cambie en sus distintos momentos, hablar de algo que permanece idntico a s misma en ella. Decimos entonces que una cosa a cambiado; pero si podemos afirmar que esa cosa ha cambiado es porque algo, que no ha cambiado, me permite reconocer la cosa de que se trata. El principio de identidad, enuncia en la forma: toda cosa es idntica a s misma , es una afirmacin con respecto a las cosas. Pero la lgica no estudia cosas si no el pensamiento. La ciencia que estudia las cosas o entes es la ontologa. Si nos atenemos a ese enunciado, el principio es ontolgico y no lgico (pero no por eso deja de ser verdadero). Para poder hablar de principio lgico de identidad, es necesario que lo enunciemos de manera que diga algo con respecto a los pensamientos, que es lo que la lgica estudia. Y lo que el principio dice, entendido lgicamente, es que todo juicio analtico es verdadero. 2.2.1. QU SON LOS JUICIOS ANLITCOS. Son aquellos en el que el predicado est implcito en el sujeto y se obtiene por simple analices de este ultimo. El hombre s mamfero; en el concepto hombre est implcito el concepto mamfero para comprobarlo basta con definir el concepto hombre .Hombre: mamfero bimano. Cuando decimos que el hombre es un mamfero, estamos diciendo que un mamfero bimano es un mamfero; o sea un mamfero es un mamfero. La formula A =A, habla de igualdad, pero esta frmula no dice que A es el mismo, si no, que cada A mismo es consigo mismo lo mismo. En la mismidad yace una relacin de medicin o vinculacin.

Heidegger intenta proponer la frmula adecuada del principio de identidad segn la cual: A es A, quiere expresar no tanto que todo A es l mismo lo mismo, si no que cada A es consigo mismo lo mismo. es vlido porque en rigor puedo reducirlo a la frmula un mortal es un mortal. Aplicando a los razonamientos, el principio de identidad puede enunciarse as: Todo razonamiento fundado en la identidad es vlido.

2.2.2. CRTICA AL PRINCIPIO DE IDENTIDAD. El filsofo alemn Fichte .Sostuvo que la formula A es A no puede ser la expresin de un principio, es decir, de un punto de partida que se justifique por s mismo, porque la verdad A es A est condicionada: A es A, si es: que, si no es, ni es A ni es nada. Para que se trate de un principio, es necesario que sea una afirmacin cuya verdad no est sujeta a ninguna condicin. La frmula del principio de identidad es, para Fichte: yo soy yo. En este caso la afirmacin no est condicionada a la existencia del yo, pues el yo se afirma a s mismo como existente. Estoy de acuerdo con lo que plantea Fichte porque no tendra sentido decir yo soy yo, si soy. En cuanto digo yo, ya est afirmando el yo. Globot, refirindose al principio de identidad deca que la formula A es A no es un principio, porque carece de aplicacin; y no es un juicio, porque saber de A solamente que es A es no saber nada. Llevando ms lejos la crtica de Fichte, Hegel sostuvo que A es A es una contradiccin .Si alguien comienza diciendo un rbol es esperamos que agregue algo nuevo; si continua es un rbol, nos hallamos con una forma da hablar que se contradice a s misma, porque no significa ningn progreso, que es lo que se exige a toda proposicin, es decir, a toda expresin de un pensamiento. Refirindonos a estas tres crticas podemos decir lo siguiente: el principio de identidad, A es A, no contiene ningn conocimiento; pero eso no le quita su carcter de principio. Un principio es un punto de partida del conocimiento; pero nada exige que un punto de partida del conocimiento sea, a su vez, un conocimiento.

2.3. EL PRINCIPIO DE NO CONTRADICCIN. Fatone, refrindose a este principio dice: Es imposible que algo sea y no sea al mismo tiempo y en el mismo sentido. (FATONE, VICENTE.1967, pg. 42) A si podemos enunciar el principio de no contradiccin desde el punto de vista ontolgico, es decir, refirindolo a las cosas. Es imposible que A sea B y no sea B, puede ser B ahora y no ser B despus; pero no al mismo tiempo. Por ejemplo: Yo puedo estar aqu ahora y no estar despus; pero no puedo estar y no estar ahora aqu. A si como el principio de identidad se reduca decir que una cosa es una cosa, el de no contradiccin dice que una cosa no es dos, esto es una consecuencia inmediata del principio de identidad, pero no es el principio de identidad mismo. Desde el punto de vista ontolgico se enuncia: Es imposible que una figura sea un tringulo y no sea un tringulo. Es imposible que A sea B y no sea B. Refirindose a los juicios, el principio de no contradiccin dice que en toda contradiccin hay una falsedad; pero la contradiccin puede aparecer en un solo juicio, o entre dos juicio. Lgicamente dice: Dos juicios contradictorios entre si no pueden ser verdad eros los dos. Refirindose a nuestros pensar, es decir, entendido psicolgicamente, el principio de no contradiccin se enuncia: no podemos si no pensar que es imposible algo sea o no sea. (FATONE, VICENTE, 1967, pg. 43) En este caso, como sucede siempre en las interpretaciones psicolgicas, lo que se quiere sealar es que el principio es una ley, simplemente de hecho, de la actividad del pensar. Como vimos anteriormente el principio de identidad deca algo respecto a los juicios analticos, que son todos verdaderos; pero no deca nada con respecto a los juicios sintticos o sea aquellos en que el predicado no surge del anlisis del sujeto. El principio de no contradiccin dice ya algo respecto a estos juicios sintticos.

Por ejemplo: Hay decaedros regulares, no hay decaedros regulares. Estos juicios son sintticos. No pueden ser falsos los dos. La ley de no contradiccin, se expresa habitualmente mediante la frmula (A ^ -A) en la que A denota un juicio cualquiera; -A un juicio que niega al anterior, y el trazo largo sobre toda la expresin, la negacin del juicio compuesto A ^ -A. (DION, MARTINES, 1974, pg. 312) El principio de no contradiccin ha sido enunciado de muchas maneras de acuerdo con la posicin de que cada lgico adopta. Por ejemplo: Ningn juicio es verdadero y falso. Es imposible que lo que es, no sea, que lo que no es sea. 3.4 EL PRINCIPIO DE TERCERO EXCLUIDO: Cuando dos juicios se contradicen no pueden ser verdaderos los dos falsos; basta, pues, que reconozcamos la falsedad de uno para que podamos afirmar sin ms la verdad del otro. El principio dice: No podemos negar los dos El principio de no contradiccin sostiene, que dos juicios contradictorios no pueden ser ambos verdaderos, el principio de tercero excluido dice que uno es verdadero y otro falso, necesariamente. Pero el principio de tercero excluido no decide cual es el verdadero y el falso; se limita a enunciar que una es verdadera y el otro falso. (PUCCIARELLI, Eugenio, 1942. Pg.34) Un juicio debe afirmar lo que otro niega: El oro es un metal El oro no es un metal

La contradiccin es la que existe entre la afirmacin y la negacin de lo mismo, a veces, en lugar de negarlo se toma una nocin positiva que creemos niega a la otra porque la excluye, pero de que una nocin positiva que creemos niega a la otra porque la excluye, pero de que una nocin sea contraria a la otra no se sigue que sea lgicamente contradictoria. El principio de tercero excludo da lugar al llamado principio d disyuncin contradictoria, que enuncia: Al sujeto de un juicio le conviene siempre determinado predicado o no le conviene; esto es S es necesariamente P o no P El principio de no contradiccin declaraba que nada puede ser y no ser, en el mismo sentido y no podemos afirmar esos dos juicios; por el tercero excluido, no podemos negar los dos (FATONE, Vicente, 1967. Pg. 52) Dados dos juicios contradictorios, necesariamente uno es verdadero uno es falso: A es B y A no es B

Es imposible que los dos sean verdaderos, por el principio de contradiccin. Es imposible que los dos sean falsos, por el principio de tercero excluido. Por lo tanto, uno es verdadero y otro es falso.

Resulta que entre la verdad y la falsedad no hay trmino medio. Ante un solo juicio no puedo decir que es verdadero y falso y tampoco puedo decir que no es ni verdadero ni falso. En el principio de no contradiccin y de tercero excludo han dado lugar a largas discusiones que ya estaban presentes en Aristteles. En su metafsica Aristteles deca:

10

No pueden ser verdaderos juntos; y tampoco puede ser ambos falsos; aunque este segundo casi pueda parecer menos improbable (FATONE, Vicente, 1990. Pg.51)

3.4.1 CRTICA AL PRINCIPIO DE TERCERO EXCLUDO

Una manera ms importante de negar al principio de tercero excludo, consiste en afirmar que entre el ser y el no ser hay una tercera posibilidad: el devenir. (Crtica hecha por FATONE, Vicente) Este principio contiene, el concepto de que todo es un opuesto y que la identidad traspasa a la diversidad, el opuesto significa aqu solo la falta o ms bien la indeterminacin. El principio de tercero excludo se diferencia adems del principio considerado antes de la identidad a la contradiccin, no hay nada que al mismo tiempo sea A y El tercero excludo contiene el concepto que no hay nada, que no sea un tercero, que sea indiferente con respecto a la oposicin. (Crtica hecha por Hegel)

3.5 El principio lgico de razn suficiente Todo juicio pretende ser verdadero; sin tal pretensin no hay juicio. El principio de la razn suficiente dice que tiene como sentido propio declarar de modo general que es lo que necesita para que su pretensin de verdad no sea una pretensin vaca, sino cumplida. (PUCCIARELLI, Eugenio. 1942. Pg. 35) Todo juicio para ser verdadero, ha de menester necesariamente de una razn suficiente (FATONE, Vicente. 1960. Pg. 53)

Como lo peculiar del juicio es enunciar una situacin objetiva representado por su concepto como sujeto del juicio y atribuirle algo mediante el predicado, y la verdad consiste en que su enunciacin corresponda a la situacin objetiva, la razn suficiente de un juicio es el comportamiento de los objetos a que se refiere.

11

Si este comportamiento da la razn al juicio, el juicio es verdadero; si no, el juicio es falso. Todo concepto es distinto de su objeto que no existe nada que sea mero concepto. Tampoco hay juicio que se identifique con su situacin objetiva, que sea algo subsistente por s. Se ha sostenido que el principio de la razn suficiente es ontolgico y no lgico, o sea, que se refiere a las cosas y no a los juicios. El principio de la razn suficiente dice que todo lo que existe por alguna razn; con respecto a los juicios, dice que todo juicio verdadero, o falso, es verdadero por alguna razn. (FATONE, Vicente. 1960. Pg. 54).

Todo juicio es verdadero, o falso, por alguna razn, pero esta razn puede estar: En otro juicio. En una situacin objetiva. En el juicio mismo. Las races del principio de la razn suficiente:

Formal lgico: Los juicios que parte son la razn de la conclusin. Formal fsica: Toda modificacin de la realidad tiene su razn en un estado anterior. Formal matemtica: Dependen de otras caractersticas del mismo. Formal moral: Toda conducta humana o animal tiene su razn en un hecho anterior.

3.5.1 CRTICA AL PRINCIPIO DE RAZON SUFICIENTE

Considera como la naturaleza positiva de algo, mientras de otro lado se relaciona con un opuesto y todo la naturaleza emergen de su inocencia de su indiferente identidad consigo, se relacionan por medio de si mismo con su otro y con eso se encamina hacia su destruccin, o , en sentido positivo, vuelven a su base.

12

Es uno de los conocimientos ms importantes al entender y establecer esta naturaleza de las determinaciones reflexivas consideradas. (Crtica hecha por Hegel).

IV. RELACION ENTRE LOS PRINCIPIOS Los principios lgicos son independientes entre s, no se derivan unos de otros, pero eso significa que no haya entre ellos ninguna relacin. El lgico ingles BOSANQUET ha sostenido la coherencia de cuatro principios: El principio de identidad, Son juicios reductibles a la formula A es A si hay juicios verdaderos, hay una realidad, a la que estos juicios se refieren. El principio dice, que hay una realidad y que esa realidad es una. El principio de no contradiccin, Nos dice que la realidad es una y no dos A es B y A no es B no pueden ser falsos los dos. La realidad es la que es y no otra. El principio de tercero excludo, La realidad es un sistema de partes determinada recprocamente A es B y A no es B no pueden ser verdaderos los dos. Si niega cualquiera de estos dos juicios, no tengo ms alternativa que afirmar el otro. Y ante cualquier juicio me basta decir Si o No para tener la seguridad de que estoy en la verdad o en el error. Siempre al juzgar estoy en la verdad o en el error. El principio de razn suficiente, Que a todo le exige razn, dice que la realidad es un sistema de partes relacionados de manera tal que de cualquiera de sus partes se puede pasar a cualquier otra, a travs de las relaciones que la rigen. Dicho en otras palabras, la realidad es un sistema de partes.

13

V. CONCLUSIONES

5.1. El Principio De Identidad: Afirma que toda cosa es idntica a si misma, siendo universalmente vlida para la lgica formal. Pero en un sentido dialctico, a medida que a esta no se la limite a una simple repeticin predicado sujeto, podr aportar conocimientos nuevos. 5.2. El Principio De No Contradiccin: Establece la, imposibilidad de que de un juicio sea verdadero y falso a la vez, lo cual se contrapone a la lgica dialctica que si admite contradicciones. 5.3 El Principio De Tercero Excludo: Afirma que dos juicios contradictorios no pueden ser falsos los dos, a diferencia del principio de no contradiccin que afirma a dos juicios contradictorio no pueden ser verdaderos los dos. 5.4. El Principio De Razn Suficiente: Dice que los juicios son verdaderos por una razn y los juicios son verdaderos o falsos.

VI. BIBLOGRAFA 6.1 FATONE, Vicente: Lgica E Introduccin A La Filosofa; Editorial Kapelusz; Buenos Aires; 1969. 6.2 PUCCIARELLI, Eugenio: lgica y nocin de teora del conocimiento; Editorial El Ateneo; Buenos Aires, 1942. 6.3 G.W.F Hegel, Ciencia De La Lgica, Editorial Solar, Buenos Aires, 1969. 6.4 FATONE, Vicente: Lgica Y Teora Del Conocimiento; Editorial Losada; Buenos Aires; 1960.

14

15