INTRODUCCIN A LA LOGICA (por David Miranda Salas) A- La Lgica.

1- Definicin: La lgica es la ciencia que estudia las estructuras del pensamiento. 2- Lgica formal: Estudia las estructuras fundamentales de los pensamientos. 3- Lgica aplicada: Estudia las estructuras de los pensamientos cientficos. 4- La lgica tiene como objeto los trminos del vocabulario lgico, los cuales se organizan en ciertas estructuras. Cuando las estructuras en cuestin son verdaderas con independencia de los trminos no lgicos engastados en ellas, el resultado son verdades lgicas. Se dice por ello que un enunciado es lgicamente verdadero cuando lo es nicamente en virtud de su estructura o de su forma. 5- Lgica es la doctrina sobre la legitimidad de frases reguladas (enunciados), en cuanto esta legitimidad puede determinarse con independencia de la materia de tales frases. 6- La lgica se presenta como una forma de decir capaz de describir (la esencia de) ciertas estructuras de lo real. La realidad y el decir lgico (pensar) son una y la misma cosa (Parmenides). 7- La lgica es una forma de Ontologa (Aristteles). La lgica es el prtico de entrada a todo el saber humano. La lgica es la ciencia de los principios de lo que es. 8- Lgica trascendental (Kant): Es una disciplina que determina el origen, extensin y valor objetivo de los conocimientos, que slo se ocupa de las leyes del entendimiento y de la razn, y que nicamente tiene que ver con objetos a priori, a diferencia de la lgica general, la cual trata de conocimientos empricos o puros sin distincin alguna. De tal manera que la lgica trascendental depende de la estructura de la conciencia. B- El Juicio. 1- El juicio como pensamiento: Verdadero o falso. 2- El juicio como relacin enunciativa entre conceptos. Sujeto Predicado; el elemento que realiza la relacin se llama cpula.

Ejemplo. El cloro es un metaloide (sujeto) (cpula) (predicado) 3- Los elementos del juicio: Sujeto, cpula y predicado. Los tres elementos del juicio se denominan conceptos. 4- El juicio y la proposicin. a) Proposiciones interrogativas. (ej. Por qu? Cmo?) b) Proposiciones impersonales (ej. Muy bien! Eso es) c) Proposiciones complejas: (i) Copulativas: Son proposiciones con que se traducen dos o mas juicios afirmativos; ej. San Martn y Bolvar fueron los libertadores de Sudamrica. (ii) Remotivas: Son dos o mas juicios negativos; ej. El filosofo no ama la riqueza ni la gloria. (iii) Adversativas: Unen dos juicios mediante partculas adversativas; ej. El vicio es agradable, pero no saludable. 5- Clasificacin de los juicios. a) Segn la calidad: Juicios afirmativos y negativos. b) Segn la cantidad: (i) Universales; ej. Todas las aves son ovparas. (ii) Particulares; ej. Algunas aves son pjaros. (iii) Singulares; ej. Esta paloma es mensajera. c) Segn la modalidad: (i) Juicios apodcticos (forzosos) (ii) Juicios asertricos (de hecho) (iii) Juicios problemticos (probables) d) Segn la relacin: (i) Juicios hipotticos; ej. El hombre es responsable, si es libre. (ii) Juicios disyuntivos; ej. El mundo ha sido creado o tiene una edad infinita. (iii) Juicios categricos; ej. El hombre es responsable. 6- Juicios analticos: Es aquel cuyo sujeto contiene implcitamente al predicado; ej. El triangulo es una figura. El juicio analtico es explicativo. 7- Juicios sintticos: Es aquel cuyo sujeto no contiene al predicado o no lo contiene ntegramente; ej. El hombre es un animal que re. (el predicado agrega algo al sujeto). El juicio sinttico es ampliativo. C- El Concepto. 1- Definicin: El concepto elemento del juicio- es el pensamiento de la estructura de un objeto. Como pensamiento, tiene que referirse siempre a un objeto, pero no tiene que referirse forzosamente a la totalidad del objeto; Ejemplos de conceptos son: perro, triangulo, revolucin francesa. Es

interesante sealar que el juicios es necesariamente verdadero o falso, mientras que el concepto esta pensado sin que la relacin este afirmada ni negada, sin que sea verdadera ni falsa. 2- Extensin y comprensin de los conceptos: As como los juicios se expresan mediante proposiciones, los conceptos se expresan mediante trminos. El juicio consta de conceptos y la proposicin consta de trminos. En un termino podemos distinguir dos aspectos: Lo que ese termino significa y lo que ese termino designa; por ej. el termino hombre significa animal racional y designa a ciertos seres. En el concepto estos dos aspectos se denominan comprensin y extensin. En la comprensin el concepto debe hacer de sujeto; ej. el hombre es un animal. En la extensin el concepto debe hacer de predicado; ej. ese es un hombre. 3- Conceptos de genero, especie e individuo. a) Generales: hombre, amarillo. b) Individuales: el hombre, el amarillo. 4- Clases de conceptos. a) Conceptos positivos (cualidad) b) Conceptos negativos (ausencia) c) Conceptos privativos (ausencia) d) Conceptos contrarios e) Conceptos contradictorios (dos juicios no pueden ser ni verdaderos ni falsos los dos) 5- Naturaleza del concepto. a) Realismo (Los universales son reales fuera del pensamiento) b) Nominalismo (Los universales no son reales; nicamente son reales los entes individuales) c) Conceptualismo (Los universales son objetos de nuestro pensamiento y no meramente palabras, sin embargo slo son reales los entes individuales; Los universales slo son reales en los individuos mismos) 6- Los predicables: Son los universales que pueden ser atribuidos al sujeto. D- La clasificacin y la definicin: 1- La Clasificacin. a) Divisin y clasificacin: La divisin es la operacin lgica que consiste en mostrar las especies que estn contenidas en un mismo genero. b) La clasificacin consiste en mostrar los gneros en que estn contenidas las especies.

2- Condiciones de una clasificacin. a) Toda clasificacin debe ser completa. b) Toda clasificacin debe ser tal, que entre los individuos de una misma especie haya ms semejanza que entre los de una especie y los de otra. c) Toda clasificacin debe ser hecha, siempre que sea posible, segn notas positivas, y no segn notas positivas. 3- Valor de la clasificacin. a) Una buena clasificacin de conceptos es ya como un compendio de la ciencia que emplea esos conceptos. b) Una buena clasificacin sirve para descubrir nuevas relaciones que antes permanecan ocultas. 4- La definicin. a) La definicin es un juicio cuyo predicado desarrolla la comprensin del concepto sujeto. En la definicin aparece explicito lo que en el concepto est implcito; ej. El hombre es un animal racional, amar es desear la felicidad ajena. b) Tipos de definicin: (i) Por genero y diferencia especifica. Ej. El hombre es un animal racional (especie) (genero) (diferencia) La definicin por genero y diferencia especifica es un juicio analtico que expresa la esencia lgica de lo definido. (ii) Por lo propio. Ej. El hombre es capaz de aprender gramtica. (iii) Por accidente. Consiste de identificacin y descripcin. (iv) Gentica. Causa o proceso que determina la cosa en si. (muy usada en medicina). (v) Por convencin. Uso de lenguaje cientfico. 5- Definiciones reales y definiciones nominales. a) Las definiciones reales son las que analizan el contenido de un concepto. b) Las definiciones nominales son las que explican el significado de un termino. 6- Reglas de la definicin. a) La definicin debe valer para lo definido y nicamente para lo definido. b) La definicin no debe ser tautolgica, es decir, no debe emplearse para definir un concepto, el mismo concepto que se quiere definir. c) La definicin no debe ser negativa, cuando puede ser positiva. E- Los principios lgicos:

1- Que son? Son juicios afirmaciones- sin las cuales es imposible construir el sistema de relaciones en que cada ciencia consiste. Puede, en unos casos, considerrselos evidentes y en otros simplemente convencionales; pero siempre se les considera puntos de partida forzosos para construir el sistema de relaciones. 2- Cules son? Son bsicamente cuatro: a) Principio de identidad: Toda cosa es idntica a si misma. El principio ensea que todo juicio analtico es verdadero. b) El principio de contradiccin: Es imposible que algo sea y no sea al mismo tiempo. El principio ensea que en toda contradiccin hay una falsedad. c) El principio de tercero excluido: Este principio dice que dos juicios contradictorios no pueden ser falsos los dos, por lo tanto uno es verdadero y el otro es falso. d) El principio de la razn suficiente: Este principio seala que todo lo que es, es por alguna razn que le hace ser como es y no de otra manera. Nada se da aislado, esto significa que todo est ligado a algo que es su razn. La clave es por qu? F- El razonamiento: 1- La lgica estudia las estructuras del pensamiento. Esas estructuras son tres: el concepto, el juicio y el razonamiento. El concepto es el pensamiento de las notas esenciales de un objeto; el concepto es elemento del juicio. El juicio es una relacin enunciativa entre conceptos; todo juicio es necesariamente verdadero o falso. El razonamiento es una relacin entre juicios; no es verdadero ni falso; es correcto o incorrecto. 2- Clases de razonamiento. a) Razonamiento deductivo: Es aquel en que la derivacin es forzosa, ej. Scrates es mortal; otro ej. es A=B; por lo tanto, B=A; un ultimo ejemplo seria A=B y B=C, por lo tanto C=A: El razonamiento deductivo es rigurosamente formal. Es estudiado por la lgica formal. b) Razonamiento inductivo: Parece consistir en el paso de una afirmacin particular a otra universal, ej. Si digo, algunas S son P, por lo tanto, todas las S son P. La conclusin no se impone como forzosa, por ejemplo si observo como caen algunos cuerpos en el vaco a la misma velocidad, luego concluyo que todos los cuerpos caen en el vaco con la misma velocidad. c) Razonamiento por analoga: En el razonamiento por analoga la conclusin no es forzosa. Por ejemplo Ante la comprobacin de que Marte ofrece ciertas caractersticas semejantes a las que han hecho posible la vida en la tierra, es probable que en Marte haya vida.

3- Inferencia inmediatas y mediatas: En el razonamiento deductivo podemos distinguir dos formas de inferencia. a) Inferencia inmediata: Es aquella en que, dado un juicio, se concluye de l, necesariamente, otro. Por ejemplo, Ningn pez es mamfero; por lo tanto, ningn mamfero es pez. b) El Silogismo es la inferencia mediata en que, dados dos juicios, se sigue de ellos, forzosamente, otro. Por ejemplo, Todos los hombres son mortales y Scrates es hombre, por lo tanto, Scrates es hombre. G- El Silogismo: 1- Reglas generales del silogismo: a) El silogismo consta de tres trminos. b) El termino medio no debe aparecer en la conclusin c) Ningn termino puede aparecer en la conclusin con mayor extensin que en las premisas. Por ejemplo, Algunos hombres son filsofos Todos los hombres son seres falibles Algunos seres falibles son filsofos. d) De dos premisas negativas no se obtiene conclusin. Por ejemplo, Ningn hombre es infalible Ningn hombre es inmortal _____________________? e) De dos particulares no se obtiene conclusin. Por ejemplo, Algunos hombres son hroes Algunos hombres son sabios _______________________? f) De dos premisas afirmativas no se puede obtener conclusin negativa. g) La conclusin sigue siempre la parte ms dbil. Se entiende por parte ms dbil, la negativa con respecto a la afirmativa, y la particular con respecto a la universal. Por ejemplo, Ningn hombre es inmortal Algunos seres son hombres Algunos seres no son inmortales. 2- Regla nica del silogismo: Lo que se afirma o niega de todos los individuos de una clase, se afirma o niega de cualquier nmero de individuos de esa clase. *Es importante sealar que todos los silogismos hasta aqu considerados son silogismos categricos. 3- El silogismo hipottico: Es aquel en que las dos premisas, o una de ellas, son juicios hipotticos.

Por ejemplo, El enfermo se mora, si lo operaban Lo operaron El enfermo se muri. 4- El silogismo disyuntivo: Es aquel cuya premisa mayor es un juicio disyuntivo y cuya premisa menor es un juicio categrico. Por ejemplo, O me pagaba la deuda o lo denunciaba a la justicia Me pag la deuda Por lo tanto no lo denuncie a la justicia. 5- Dilema: El dilema es un razonamiento silogstico en que se cambia un juicio disyuntivo con juicios hipotticos y que conduce a dos conclusiones igualmente desfavorables para aquel a quien se le plantea. Su valor es retrico o psicolgico. Por ejemplo, Cometiste esa mala accin o en un momento de ofuscacin o con plena conciencia de lo que hacas Si la cometiste en un momento de ofuscacin, eres culpable (por no haber sabido dominarte) Si la cometiste con plena conciencia, eres culpable (porque sabias lo que hacas). 6- Falacia: la falacia es un razonamiento slo en apariencia; el juicio presentado como conclusin no es tal conclusin. 7- Sofisma: Tiene como propsito el engaar. 8- Paralogismo: No tiene el propsito de engaar. 9- Paradojas: Razonamientos correctos que, partiendo de una proposicin aparentemente no contradictoria y que tiene sentido, conduce a contradicciones. 10- El silogismo y la verdad: El silogismo asegura que si las dos premisas son verdaderas, la conclusin ser forzosamente verdadera. Lo que el silogismo asegura, pues es que partiendo de la verdad no podemos salir de ella si razonamos correctamente; y que ninguna falsedad puede ser demostrada con verdades. 11- Criticas al silogismo: a) El silogismo es una tautologa. b) El silogismo slo tiene carcter hipottico. c) Insuficiencia de la lgica tradicional, en general, y en especial su silogstica. d) En el silogismo slo se muestra la coherencia del pensamiento consigo mismo, sin asegurar nada con respecto a la verdad del contenido.

e) La lgica que se basa en el silogismo no tiene contacto con la realidad. H- La induccin y la analoga: 1- La induccin segn Aristteles: La induccin es un razonamiento que permite pasar de lo particular a lo general. 2- La induccin incompleta: Para que haya un progreso en nuestros conocimientos, la induccin tiene que ser incompleta, es decir, partir de uno o de algunos casos particulares, para de ellos obtener una conclusin general. La induccin incompleta puede entenderse de diversas maneras: a) Como el razonamiento que va de un juicio particular a un juicio universal, por ejemplo, Algunas S son P luego todas las S son P. b) Como el razonamiento que va del hecho a la ley que lo rige. c) Como el razonamiento que va de la observacin de un hecho a su necesidad. 3- El principio de la induccin: La uniformidad de la naturaleza, es decir, se trabaja con leyes que son siempre las mismas. 4- Criticas contemporneas: a) La induccin, se ha dicho, no es nada ms que un acto de adivinacin metdicamente dirigido. b) La induccin se fundara en presupuestos innecesarios. El que algo haya sucedido no nos permite asegurar que haya de suceder algo ms. Segn Wittgenstein, la expresin maana saldr el sol, es una simple hiptesis. c) La induccin es considerada insuficiente para la explicacin de lo real. 5- Razonamiento por analoga: a) Es aquel en que, de la observacin de los caracteres comunes que poseen dos hechos, se pasa a la afirmacin de otro carcter comn que ha sido observado slo en uno de ellos. En este razonamiento, la conclusin es solamente probable no forzosa. b) El fundamento del razonamiento por analoga dice que en lo real hay analoga. c) El conocimiento aspira a descubrir esa analoga de lo real. Y el conocimiento mismo es ya una analoga. d) La analoga amplia la experiencia y hace surgir nuevas ideas.

I- La lgica simblica: 1- La lgica simblica intenta subsanar las deficiencias y superar las insuficiencias de la lgica aristotlica, ofreciendo una lgica formal mas rigurosa y mas completa. 2- La lgica simblica puede ser definida como un calculo de tautologas (repeticin de palabras), es decir, como un calculo que permite transformar unas tautologas en otras. 3- Los trminos no, y, o, es, todos, etc, son los trminos cuyo sentido debe precisar la lgica, porque son los que aparecen en el calculo lgico. 4- La primera tarea de la lgica simblica consiste en una investigacin sobre el lenguaje mismo. 5- La lgica simblica (logstica) no hace referencia a ninguna clase de objetos; sus formulas estn totalmente desprovistas de contenido, y nada nos ensean con respecto a la realidad. 6- Los clculos: El clculo de proposiciones. La lgica es la ciencia de la inferencia. La lgica simblica es el clculo de la inferencia. Este calculo puede dividirse en tres clculos fundamentales: a) El clculo de proposiciones. b) El clculo de funciones c) El clculo de clases.