Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Objetivos
Definir y explicar qu es la lgica. Distinguir entre el pensamiento tomado como funcin y/o facultad y el considerado como producto. Sealar el tipo de lenguaje del que se ocupa la lgica. Explicar cada uno de los elementos del discurso lgico. Indicar cundo son correctas las implicaciones en la Lgica. Enumerar las partes de la Lgica y definir cada una de ellas.
Son frecuentes frases como stas: Es lgico. Hablando con lgica. Hay que ponerle lgica al asunto.
Que obviamente se pueden reemplazar por expresiones tales como: Es correcto. Hablando con correccin. Hay que poner cuidado o correccin al asunto.
La Lgica, pues, es asunto de correccin y la correccin se Refiere en alguna forma al pensamiento. Por ejemplo. La Expresin echarle cabeza a un asunto quiere decir pensarlo o hacerlo correctamente.
Por este motivo los tratadistas tradicionales definieron la lgica como la ciencia que ensea a pensar correctamente (scientia de rectitudine cogitandi) .
Qu se entiende en lgica, por pensamiento? La afirmacin de Descartes Yo pienso, luego Existo toma el pensamiento como facultad/funcin/producto?
En cambio al decir el anterior es un pensamiento del Descartes . Nos referimos al pensamiento como resultado o producto de la Funcin de pensar.
Por tanto, el trmino pensamiento puede significar, segn los casos, la facultad y/o funcin o el producto, lo que equivale a distinguir entre el pensar y lo pensado.
Pues bien, la lgica no se ocupa del pensamiento como facultad o funcin, sino en cuanto resultado de la funcin de pensar, lo que llamamos comnmente en plural pensamientos.
El hombre cuando piensa, habla consigo mismo, es decir, monologa. El pensamiento es un auto lenguaje.
La lgica no estudia el pensamiento en cuanto monlogo o realidad inmanente e inexpresada, sino por el contrario, en cuanto dialogo o realidad expresada en un lenguaje.
El pensamiento o autolenguaje se expresa mediante hetero-lenguajes Todo hetero-lenguaje convierte el monlogo, que el hombre sostiene consigo mismo, en dilogo.
Lo que nosotros pensamos lo podemos expresar mediante gestos, sonidos y en forma escrita. Los hetero-lenguajes son, por consiguiente, el : mimtico, oral, escrito.
La lgica se ocupa preferentemente del lenguaje escrito porque en l adquiere el pensamiento carcter (subjetivo/objetivo?) (Momentneo/permanente?) (privado/pblico?)
Resumiendo: la Lgica, segn lo que hemos visto, se ocupa del pensamiento expresado en un lenguaje preferentemente escrito en cuanto formalmente correcto. En qu consiste la correccin formal del pensamiento?
Nicols Meja Gmez -Universidad Libre Facultad de derecho
Cuando pensamos vamos de verdades conocidas al descubrimiento de verdades an no conocidas. En un problema matemtico, por ejemplo, lo conocido son los datos y lo desconocido es la solucin.
Este proceso, del conocimiento humano se llama comnmente demostracin, raciocinio, razonamiento, etc., nosotros lo nominaremos discurso. Por ejemplo el proceso empleado para llegar, a partir de los hechos probados, a una sentencia, es un discurrir o discurso.
Nicols Meja Gmez -Universidad Libre Facultad de derecho
Los datos de un problema, en lgica, se denominan premisas, y la solucin se llama conclusin. As como en un problema llegamos a lo desconocido a partir de lo conocido, en lgica llegamos a la conclusin a partir de convenientes premisas.
Nicols Meja Gmez -Universidad Libre Facultad de derecho
Dado que la conclusin se saca de las premisas, podemos decir que est contenida o implicada en ellas. Implicar quiere decir contener y estar implicada significa estar contenida. Entonces, dado que de alguna manera la conclusin est implicada en las premisas, podemos decir que puede ser sacada o inferida de ellas.
Inferir es lo mismo que sacar de unas premisas dadas una conclusin. Cuando la conclusin est correctamente inferida de las premisas, decimos que es formalmente correcta. Y, dado que solo se puede dar lo que se tiene, la conclusin est bien inferida cuando est efectivamente implicada en las premisas.
Nicols Meja Gmez -Universidad Libre Facultad de derecho
La efectiva correspondencia entre inferencias e implicaciones se denomina en lgica correccin o verdad formal. Lo contrario ser error o falsedad formal. En la solucin de un problema el error puede originarse a) en la inexactitud de los datos o falsedad de las premisas (error material o de contenido), b) en no seguir las reglas del proceso, lo cual constituira un error formal.
Por ejemplo, la operacin suma se rige por una reglas que determinan la forma correcta de realizarse y que de no seguirse se cae en un error de forma o formal. Pero puede suceder que la suma est formalmente bien hecha y el resultado no sea materialmente correcto, ya que los datos pueden ser inexactos.
Nicols Meja Gmez -Universidad Libre Facultad de derecho
De modo anlogo, en el siguiente discurso: Todos los animales tienen cuatro patas, Es as que los hombres son animales: Luego los hombres tienen cuatro patas.
La conclusin es materialmente falsa, porque la premisa primera es por razn de su contenido o significacin materialmente falsa.
Pero, en el ejemplo anterior, el lgico dira que pese a que se trata de un caso con errores de contenido o materiales, sin embargo, el discurso es correcto formalmente, porque no peca contra ninguna de las reglas lgicas del silogismo, que ms adelante veremos.
El lgico, en cuanto tal, no responde por la verdad o falsedad material de los contenidos o significaciones, sino por la correccin formal en las operaciones, segn las reglas de inferencia.
Por dicha razn, la lgica se ha denominado desde siempre LGICA FORMAL. La lgica formal se presenta bajo dos formas distintas: Simblica y no simblica. Cuando las inferencias se expresan en smbolos cuasi matemticos, distintos a los usuales en el lenguaje cotidiano, se trata de una lgica simblica.
Cuando las inferencias se exponen mediante reglas y ejemplos tomados del lenguaje usual, sin hacer uso generalizado de smbolos especiales, entonces tenemos una lgica no simblica.
La lgica creada por Aristteles y perfeccionada por los Estoicos y los Escolsticos, es decir la lgica tradicional, es un modelo de lgica no simblica o filosfica.
La lgica creada por BOOLE, FREGE, RUSSEL, etc. , que utiliza en su desarrollo un lenguaje artificial semejante al de las matemticas, ser una lgica simblica.
A diferencia de la lgica tradicional, que fue creada por filsofos, la lgica simblica, creada por matemticos con el fin de encontrar el ltimo fundamento de las matemticas, se llama, por dicha razn, lgica matemtica.
En realidad, la lgica aristotlica y la lgica moderna no son dos ciencias distintas, sino dos formas de una misma ciencia: la una ms intuitiva, la otra ms formalizada.
Ambas formas de la lgica son de tipo deductivo. Deducir consiste en inferir verdades particulares contenidas en juicios o leyes universales. Por ejemplo, de la verdad: Todo humano es mortal puedo deducir que los pastusos son mortales.
Lo contrario de deducir es inducir. Inducir consiste en inferir de juicios particulares, bien fundados en la experiencia, leyes generales. Por ejemplo, de A muri, C muri.N muri puedo inducir que todo hombre muere.
Ambos procesos, ascendente o induccin y descendente o deduccin son complementarios. No podramos deducir o aplicar sin inducir o generalizar. En nuestro curso nos referimos exclusivamente a la lgica deductiva.
La lgica deductiva se divide en dos grandes ramas: lgica de proposiciones y lgica de trminos.
La lgica proposicional toma las proposiciones, que intervienen en un discurso, como un todo no analizado en sus partes o componentes. Le interesa slo el estudio de las conexiones lgicas de unas proposiciones con otras en orden a obtener conclusiones en forma correcta.
La lgica de trminos analiza las diversas partes o componentes de las proposiciones en orden a obtener conclusiones correctas. Son partes de las proposiciones: el sujeto, el predicado y otros complementos.
De anloga manera como un ostelogo estudia, no solamente las articulaciones de unos huesos con otros, sino tambin la estructura interna de los mismos, as tambin el lgico realiza este doble estudio en el cuerpo del lenguaje desarrollando las dos partes de la lgica, llamadas: Lgica de proposiciones. Lgica de trminos.