MODULO 1 OBJETO Y DIVISIN DE LA LOGICA Lgica como arte que dirige la razn Razn: Inteligencia o entendimiento humano en su movimiento

hacia la verdad. La lgica se divide en dos grandes partes: lgica mayor o material y lgica menor o formal La lgica formal hay que distinguir dos partes: a) la teora o ciencia del razonamiento b) la metodologa o de los mtodos cientficos. El objeto de la teora del razonamiento: es determinar las condiciones de validez del razonamiento, sus principios fundamentales y sus reglas de ejercicios. Razonamiento: Es el procedimiento intelectual por el cual nuestra razn, en posesin d ciertos conocimientos preferentes a cierto objeto, es capaz de hacer progresar su saber sin tener que recurrir nuevamente a la experiencia de tal objeto. Razonamiento deductivo: en este queda eliminado todo recurso a la experiencia que no sea el que consignan los conocimientos que le sirven de punto de partida y el Razonamiento inductivo es esencialmente un procedimiento cuyo fundamento en la composicin experimental. MODULO 2 LA TEORIA LOGICA DEL RAZONAMIENTO. Diferencia entre verdad y validez: no hay que confundir, en consecuencia el problema de la de la verdad de los conocimientos que se manejan en el razonamiento con el problema de la validez del proceso que el razonamiento en s mismo. Se puede establecer entonces que un razonamiento es valido o correcto cuando, partiendo de premisas verdaderas, lleva necesariamente a una conclusin verdadera. Pero tambin el razonamiento no puede ser valido aunque las premisas sean verdaderas. Los problemas bsicos de la teora del razonamiento son los siguientes: por qu causa nuestra razn, partiendo de ciertos datos referentes a ciertos objetos y atenindose exclusivamente a tales datos, en procedimientos aparentemente similares, llega a veces a una conclusin verdadera y otra falsa? Que es lo que determina esta doble posibilidad? Cmo dar certeza a nuestro espritu que la conclusin alcanzada en nuestro razonamiento es necesariamente verdadera? Que conclusiones deben cumplirse en el procedimiento para que la validez de este se manifieste a la inteligencia? Que principios justifican estas condiciones? Los conceptos tienen pues un carcter representativo y uno formal. El carcter representativo cumple en la significacin, en el contenido significativo del concepto; en efecto todo lo que constituye este contenido significativo se refiere directamente al objeto; por eso dice que los que los elementos significativos son propiedades de los conceptos. Este sin embargo tiene otras propiedades, que no constituyen elementos significativos y por lo tanto no se refiere al objeto, estos son referibles directamente del propio concepto en cuanto forma intelectual. A estas propiedades se les llama lgicas. Cuando partiendo de unas premisas verdaderas nos lleva a una conclusin falsa podemos observar que los conceptos relacionados en la conclusin tienen en esta el mismo contenido significativo, las mismas propiedades reales, que tienen en las premisas. Si, a pesar de esta identidad de significacin de los conceptos el razonamiento a llevado a una conclusin falsa, quiere decir que su invalidez debe provenir del modo como las propiedades lgicas de los conceptos afectan su contenido significativo en la conclusin y en las premisas. El estudio que aborda la lgica en la teora del razonamiento es el estudio del concepto como elemento del juicio y el estudio del juicio como elemento del razonamiento. MODULO 3 EL JUICIO DE LA PREDICACION Dado que la verdad es la correspondencia entre el pensamiento y la realidad, todo conocimiento calificado de verdadero supone un acto que juzga que el contenido de tal conocimiento concuerde con lo que realmente es el objeto al que el contenido se refiere.

Juicio es pues todo contenido de pensamiento de una estructura tal que tenga un sentido considerarlo como verdadero o falso. Condiciones que requiere un contenido de pensamiento para que sea un juicio: uno que represente intelectualmente al objeto como tal, en su realidad de tal objeto, y otro elemento, formalmente distinto del primero, de tal manera que tenga sentido decir que el juicio corresponda o no a la realidad. Obviamente un concepto aislado ( hombre, rbol, azul), como simple representacin mental de un objeto, no puede constituir un juicio. Los elementos del juicio son los siguientes: a) un concepto que represente mentalmente el objeto a que debe corresponder el juicio para ser verdadero se le llama sujeto, b) un concepto distinto del primero, pero con el cual entra una relacin de conformidad y no-conformidad, este elemento es el predicado. c) un elemento por el que el pensamiento establece una relacin de conformidad o de no conformidad entre el sujeto y el predicado. Este ultimo elemento se le llama copula predicativa. Proposicin: Es el enunciado oral o escrito de los juicios, lo cual quiere decir que la lgica formal solo sern proposiciones los enunciados de un contenido de pensamiento que sea considerado como verdadero o falso. La copula predicativa la que, al afirmar o negar la conformidad del predicado al sujeto, da el contenido de pensamiento la forma del juicio. La copula (afirmativa o negativa) es, pues, el elemento formal del juicio. MODULO 4 LA CPULA Forma por al que se expresa la copula predicativa: se expresa por una de las formas del presente indicativo del verbo ser en predicado nominal y por accin significada en las proposiciones de predicado nominal. La copula representa una identidad parcial y objetiva entre el sujeto y predicado por que todo contenido significativo del concepto predicado se identifica en la realidad con algn aspecto del objeto que mentalmente esta representado por el sujeto Las propiedades reales de los conceptos constituyen en su conjunto, la comprensin. Desde el punto de vista de la extensin el sujeto no representa la totalidad de los objetos a los que tal concepto predicado conviene. La extensin es pues, el total de objetos de los que tal concepto puede ser predicado, total del que solo es parte el objeto representado por el sujeto en un juicio cuyo predicado sea el concepto de que se trate. La cpula negativa establece que el contenido significativo del concepto predicado no se encuentra realizado en el objeto que representa mentalmente el sujeto.

MODULO 5 CARCTER ABSTRACTO Y CARCTER UNIVERSAL DEL CONCEPTO Las caractersticas que por su naturaleza intelectual tienen los conceptos; caractersticas de las que derivan su compresin y su extensin y que determinan la doble posibilidad de fungir como predicados o sujetos en los juicios. Tales son el carcter abstracto y el carcter universal. Abstraer: significa considerar a parte Cualidades, caractersticas, determinaciones, tipos de ser son captados, en virtud de la capacidad abstractiva de la inteligencia, aparte de las cosas o hechos en que se encuentra verificados, constituyndose de esa manera en objetos de pensamiento, en conceptos Es pues por su carcter abstracto por lo que el concepto se distingue de las cosas singulares y concretas. Las caractersticas esenciales de los conceptos son: ej: si piensas en una mesa no piensas en otra si no justamente en la que debes de pensar pero si de esa mesa abstraigo su tipo de ser (mesa) o una

cualidad (caf) o una caracterstica (trpode) de pronto estos conceptos adquieren formas mentales, una identidad propia inespacial, intemporal e invariable. Adquieren por su carcter abstracto la posibilidad de predicarse ya no solo del caso real de la que fueron abstrados si no de otras realidades. A esta posibilidad de ser predicados por un numero indefinido de objetos, nos da el carcter universal. Sabemos que, como predicado, expresa que todo su contenido significativo esta verificado auque no de forma exclusiva, en el objeto representado por el sujeto. Su forma lgica debe corresponder, por tanto, a esta condicin de ser verificable en un objeto. Esta forma ha sido denominada en lgica de abstraccin total Los conceptos pueden desempear en el juicio tanto la funcin de predicado como la de sujeto La forma lgica correspondiente a esta condicin de ser objeto susceptible de verificar en l los contenidos inteligibles de sus posibles predicados es denominada abstraccin formal. Abstraccin total y universalidad constituyen, de acuerdo con lo anterior, las condiciones de forma impuestas a los conceptos para que puedan fungir como predicado de un juicio. MODULO 6 LA RELACION ENTRE LOS CONCEPTOS Conceptos compatibles: cuando pueden reunir en la significacin de una nueva unidad representativa intelectual con sentido para el espritu. Ejemplo, los conceptos incoloro y aromtico puede ser mostrada en la posibilidad de reunirlos en el concepto liquido aromtico incoloro, otro ejemplo, liso y blanco, concurrentes en superficie lisa y blanca. Conceptos incompatibles: cuando esta verificacin simultanea de dos conceptos en un mismo objeto es imposible que ocurra. La incompatibilidad de conceptos proviene de la oposicin explicita o implcita. Conceptos contradictorios: l a oposicin entre dos conceptos puede ser tan obsoluta como la existente entre la afirmacin y la negacin de los juicios. En efecto hay contradiccin entre dos conceptos cuando la significacin de uno de ellos es negada total y absolutamente por el otro. Ejemplo, blanco y no blanco, finito e infinito, simple y compuesto, temporal y eterno. Se es o no se es. Conceptos contrarios: cuando sus significaciones respectivas constituyen los extremos opuestos de una lnea de cualidades, estados, situaciones, etc. Son conceptos polares, cuya oposicin no es equivalente a la afirmacin y a la negacin. Ejemplo: blanco y negro, rico y miserable, anciano y nio, gigante y enano. Los contrarios implican todas las posibilidades intermedias. Conceptos privativos: El carcter privativo aade a la simple contrariedad la idea de una carencia anmala. Ejemplo, ciego, mudo, paraltico, idiota son conceptos privativos. Conceptos correlativos. Cuando uno de ellos no puede predicarse de un objeto sin que necesariamente, por este solo hecho, el otro tenga que predicarse al mismo tiempo de un objeto distinto del primero. Son objeto que se verifican simultneamente. Ejemplo, padre e hijo, jefe y subordinado. Incompatibilidad implcita: En la compresin de cualquiera ellos hay algn elemento incompatible en la significacin del otro. MODULO7 RELACION DE SUBORDINACIN LOGICA DE LOS CONCEPTOS Comprensin: es el conjunto de notas inteligibles que lo constituyen en lo que es, en cambio su extensin en el conjunto de conceptos en los que el propio concepto se encuentra verificado, pudindose predicar, por ello, de cada uno. Hay consecuentemente una relacin estrechsima, una lnea de parentesco significativo entre un concepto y los conceptos que entran en su compresin por una parte, y por otra, entre el mismo concepto y los conceptos (objetos mentales) que entran en su extensin.

Toda lnea de parentesco significativo implica asi una relacin de dependencia lgica entre los conceptos emparentados, relacin de superioridad eh inferioridad de unos respecto a otros. En esta lnea un concepto sera considerado superior en relacin a los conceptos que estn potencialmente contenidos en su extensin; correlativamente, estos sern sus conceptos inferiores. Todo concepto forma parte de la comprensin de sus conceptos inferiores por que para que un concepto inferior se constituya es necesario agregarle un concepto diferenciador extrao al concepto superior Cuando el concepto superior se predica de sus inferiores, se predica de todos ellos exactamente segn la misma significacin, es decir unvocamente. El concepto mayor extensin en una lnea de subordinacin lgica, se le denomina predicamento. MODULO 8 PREDICAMENTOS Y PREDICABLES El concepto mas superior se le llama genero supremo(predicamentos) inmediatamente debajo de l, distribuidos en el mismo plano horizontal sus planos inferiores. Un ejemplo de ordenacin de los conceptos es el rbol de Porfirio La tabla aristotlica se compone de los siguientes 10 predicamentos con ejemplos: 1. Sustancia (rbol) 2. Cantidad(doce) 3. Cualidad(bello) 4. Relacin(discpulo) 5.Accin(estudia) 6. Pasin(es amado) 7.Lugar(en la ciudad) 8. Tiempo(hoy) 9. Situacin(de rodillas) 10. hbito(estar armado) No todos lo conceptos predicamentales se predican del mismo modo, a idntico titulo, de los diversos objetos en los cuales se verifican. A estos ttulos o modos generales se les llama predicables o categoras. Los predicables son cinco: especie, genero, diferencia, propiedad y accidente. Especie: seala que la predicacin esta echa a titulo de esencia. Genero: seala que la predicacin se hace a titulo de expresin conceptual que requiere ulteriores determinaciones para constituir la especie. Diferencia: seala el elemento conceptual que, en l orden de la esencia, determina un concepto de genero. Propiedad: cuando el concepto se predica como una caracterstica que, auque no constituye un elemento de la esencia del objeto, se deriva de ella, de modo que siempre y de modo exclusivo pertenece a tal objeto. Accidente: cuando el concepto se predica como una caracterstica que de hecho se da en el objeto, pero no es un aspecto necesario de ste, de modo que bien podra concebirse si tal caracterstica no se diese en l. MODULO 9 LA ANALOGA DE LOS CONCEPTOS Los conceptos trascendentales: La predicacin univoca no es el nico tipo de predicacin. Hay otros conceptos que la metafsica llama trascendentales. El tipo de predicacin que corresponde a estos conceptos trascendentales, es la predicacin analgica o multivalente, y los propios conceptos reciben el nombre de anlogos. Las caractersticas el concepto ser: es l ms universal que existe, trasciende la generalidad suprema de los predicamentos, no se da en una sola lnea de significacin unvoca, no es un genero comn, es el lazo que une a todos los gneros y sus subordinados, puede ser predicado de todo etc. Los conceptos trascendentales son anlogos por que: por que contienen en su unidad la multitud indefinida de sus conceptos subordinados. La diferencia radical en las relaciones de los conceptos trascendentales con sus conceptos subordinados consiste en: que el elemento diferencial no es totalmente extrao a este; por el contrario, el elemento diferencial ya tiene verificado en l propio concepto trascendental. Ejemplo: si al concepto ser se le agrega el concepto determinante viviente, en este estaba ya presente el propio concepto ser, no ocurre lo mismo con el concepto cuerpo al que se le agrega el determinante viviente este es totalmente extrao al concepto cuerpo.

Como se predica el concepto trascendental: se predica a s mismo de todos sus subordinados tomados estos bajo el estatuto de la abstraccin formal En la analoga de proporcionalidad el concepto trasc. Se predica de la multiplicidad indefinida de sus subordinados, segn la compresin de cada uno de ellos. La analoga de atribucin, el concepto es predicado de conceptos en los cuales no se verifica directamente. Sujetos singulares: cuando su extensin esta restringida a un solo objeto determinado individual y concreto. Ejemplos: esta mesa fue adquirida en una subasta, ese limonero no da fruto, aquel caballo esta cojo, ese artista suea con la fama, etc. Sujetos generales: es cuando la extensin del concepto sujeto no esta restringida a un solo objeto individual determinado. Se dividen en sujetos universales y sujetos particulares Sujetos particulares: cuando los objetos que representan en el juicio, aquellos de los que se dice que verifican o no lo que se expresa el concepto predicado, constituyen solo una parte de la extensin del propio concepto, por ejemplo: ciertas plantas son medicinales, algn artista es vanidoso, no todo triangulo tiene sus lados iguales, la mayor parte de los habitantes actuales de la tierra son personas jvenes. Sujetos universales: cuando el esta tomando en el juicio en toda su extensin, esto es cuando de todos los objetos en los cuales el concepto se verifica se dice que verifican o no a su vez lo que expresa el concepto predicado, por ejemplo: todo ocupa un lugar en el espacio, ningun cido es dulce, todos los hombres son falibles, todo ejercito necesita disciplina, etc. MODULO 10 LOS TERMINOS Los trminos: signos materiales de los conceptos. Los trminos constituyen el lenguaje. Solo por extensin, los propios conceptos, en cuanto signos intelectuales de los objetos, son llamados trminos mentales. En la lgica la nocin del termino. El termino escrito es el signo del termino oral, este termino a su vez, es signo del termino mental y, finalmente, el termino mental es signo del objeto. Trminos equvocos: un mismo termino con dos o ms significaciones distintas e irreductibles entre s, que empleados con una significacin distinta en un razonamiento, es obvio que lo hace errneo. La suposicin: propiedad de los trminos que consiste en suplir las cosas en nuestros razonamientos. Suposicin material: cuando el termino figura como sujeto de la proposicin, por ejemplo: Hombre se escribe con h, amar es un verbo transitivo, msica es palabra esdrjula. Suposicin formal: este puede estar suplido de dos formas diferentes: en la suposicin lgica, el termino no compromete la realidad u objeto que representa. Y en la suposicin real, l termino puede ser suplido en su funcin representativa del objeto de cual es signo. Ejemplo de sup.lgica: la accin es un predicamento, el ser es un concepto trascendental, sobrino es un concepto, etc. Ejemplo de sup. Real: esta accin tuya es inexplicable, el ser esta en todas partes, los sobrinos de Juan son extranjeros, etc. MODULO 11 CLASIFICACION DE LOS JUICIOS DE PREDICADO LA CUANTIFICACION DEL PREDICADO Las clasificaciones de los juicios de predicacin: la cualidad, la forma, la cantidad, la cantidad y forma combinada y la materia de los juicios. Desde el punto de vista de la cualidad se dividen: en juicios falsos y juicios verdaderos, segn se d o no el acuerdo entre lo que anuncia el juicio y la relacin objetiva que pretende reproducir. Desde el punto de vista de la forma se dividen: en juicios afirmativos y juicios negativos, segn que la copula este o no afectada.

Desde el punto de vista de la cantidad los juicios se dividen: juicios generales, que estas pueden ser a su vez, universales o particulares y juicios concretos, divididos en singulares y colectivos, segn la cantidad de su propio sujeto. Ejemplos: juicio universal: todo acto moral es libre, ningun delincuente es justo. Juicio particular: algn oficio no es remunerado, algn razonamiento es errneo. Juicio concreto: Pablo Picasso es un genio, mi biblioteca no esta clasificada. Desde el punto de vista de la cantidad y forma combinadas se dividen: universales afirmativos(todo viviente se nutre), universales negativos( ningn adulador en veraz), particulares afirmativos(algn sabio es imprudente) y particulares negativos( algn rbol no es frutal). Los juicios se simbolizan en: A- universales afirmativos, E- es un juicio universal negativo. I- es un juicio particular afirmativo, O- particular negativo. Los elementos conceptuales del juicio se simbolizan: el sujeto S y el predicado P Los juicios en materia necesaria: son aquellos cuyo predicado constituye una nota del contenido inteligible de la comprensin del sujeto. Ejemplos: El crculo es una curva cerrada, el len es un felino, el hombre es racional. Los juicios en materia contingente: son aquellos en los que el lazo afirmado o negado entre el predicado y el sujeto es afirmado o negado simplemente como un dato de experiencia Diferencia entre la cantidad del predicado y la cantidad del juicio: no confundir la extensin que todo concepto considerado en si mismo tiene, con su cuantificacin en un juicio en el que cumple la funcin de predicado, ni confundir la cantidad del juicio que depende segn ya sabemos, de la cantidad del sujeto con la cantidad del predicado. En que consiste la universalidad y particularidad del predicado: Universalmente, si todos los objetos estn cubiertos por su extensin estn interesados en el juicio, particularmente, si solo una parte de los objetos que su extensin cubre estn interesados en el juicio. Regla que determina la cuantificacin del predicado: en todo juicio afirmativo el predicado est tomado en parte de su extensin, particularmente: en todo juicio negativo el predicado esta tomado en la totalidad de su extensin, universalmente. MODULO 12 LAS INFERENCIAS INMEDIATAS La inferencia inmediata: es la deduccin de la verdad o falsedad de una proposicin, a partir de la verdad o de la falsedad de otra sola proposicin dada. En lgica, se consideran opuestas, las proposiciones generales que, teniendo el mismo sujeto y el mismo predicado, difieren o por su cantidad o por su forma o simultneamente por su cantidad y por su forma. Las proposiciones que difieren a la vez por su cantidad y su forma reciben el nombre de contradictorias Contradictorias: A y O son mutuamente contradictorias, lo mismo que E y O. Ejemplo: Todo hombre es feliz y Algn hombre no es feliz; hay una contradiccin mutua y tambin entre: Ningun hombre es feliz y Algn hombre es feliz. Las contradictorias no pueden ser ni simultneamente verdaderas ni falsas. Proposiciones contrarias: tienen el mismo sujeto y el mismo predicado, pero que difieren en su forma. A y E son pues mutuamente contrarias. Ejemplo: Todo hombre es feliz y Ningun hombre es feliz y lo mismo que Todo animal es viviente y Ningun animal es viviente. Las proposiciones contrarias nunca pueden ser simultneamente verdaderas pero si puedes ser falsas Proposiciones particulares subcontrarias: tienen el mismo sujeto y el mismo predicado, pero que difieren por su forma, I y O, son pues subcontrarias entre s. Ejemplo: Algn hombre es feliz y Algn hombre no es feliz, lo mismo que, Algn animal es viviente y Algn animal no es viviente. Las proposiciones subcontrarias, nunca pueden ser simultneamente falsas, pero si pueden ser simultneamente verdaderas. Proposiciones subalternas: tienen el mismo sujeto y el mismo predicado y la misma forma ( ambas son afirmativas o negativas), pero difieren de la cantidad.

A es la subalternante de su subalternada I, y E es la subalternante de su subalternada O Dadas 2 proposiciones subalternas, si la subalternante es verdadera, tambin lo sera la subalternada, pero no viceversa; si la subalternada es falsa, tambin lo sera la subalternante, pero o viceversa. Se dice que hay inferencia inmediata por conversin cuando, con apoyo en la verdad de una proposicin general dada, se deduce la verdad de una nueva proposicin, cuyos elementos conceptuales son los mismos que los de la proposicin dada, pero cambiadas sus funciones de predicado de la primera a sujeto de la segunda y de sujeto de la primera a predicado de la segunda. La regla fundamental de la conversin es: que los conceptos nunca pueden tener en la proposicin convertida mayor cantidad que en la proposicin dada. Conversin simple: cuando la proposicin convertida no altera la cantidad ni la forma de la proposicin dada. Conversin parcial: cuando la proposicin convertida tiene la misma forma, pero menor cantidad que la proposicin dada, es decir cuando siendo ambas afirmativas o negativas, la proposicin dada es universal y la conversa es particular. Conversin por contraposicin: cuando la proposicin convertida respeta la cantidad, pero altera la forma de la proposicin dada y toma como a sujeto al concepto contradictorio del predicado de est. Obversion: consiste en cambiar la forma de una proposicin, al mismo tiempo que se niega su predicado. Por ejemplo; Todo hombre es viviente nos da Ningun hombre es no viviente, la de Ningn molusco es vertebrado, Todo molusco es no vertebrado, la de Algn mamfero es rumiante, Algn mamfero es no rumiante. Reciprocacin: es una conversin simple valida de una universal afirmativa A. Ejemplo todo hombre es animal racional tiene como reciproca todo animal racional es hombre, todo hombre es capaz de rer, todo ser capaz de rer es hombre. MODULO 13 EL SILOGISMO CATEGRICO La teora lgica del razonamiento, parte del supuesto de que los conocimientos expresados en las premisas son verdaderos Por otra parte, jams ha de olvidarse que en la teora lgica del razonamiento, los conceptos y los juicios son interpretados a la vez en comprensin y extensin. Caracterstica y requisito esencial de este silogismo es que las dos proposiciones del antecedente tienen como uno de sus elementos un concepto comn Sin la existencia de un concepto comn en las premisas, el silogismo no seria valido, si los objetos cubiertos por el concepto comn en las premisas no fuesen los mismos, y esta identidad no puede garantizarse si el concepto comn no est tomado en toda su extensin por lo menos en una de las premisas. Silogismo categrico: es un proceso deductivo en el cual, dadas dos premisas generales con un elemento conceptual comn, si en cada una de ellas se afirma categricamente la unin de este con el respectivo elemento no comn, debe afirmarse como categricamente la unin entre s de los elementos no comunes; si una de ellas afirma categricamente y categricamente niega la otra unin del elemento conceptual comn con su respectivo elemento no comn, debe negarse categricamente en la conclusin la unin entre s de los elementos no comunes. Ejemplo: Toda obra maestra enriquece la cultura humana = premisa mayor = Ma algunas novelas son obras maestras = premisa menor = mi algunas novelas enriquecen la cultura humana el concepto comn, el termino medio de las dos premisas es obra maestra M, el extremo mayor es enriquecen la cultura humana predicado de la conclusin P, el extremo menor sujeto de la conclusion es novelas S. Haciendo uso de loa smbolos, diremos que Ma establece un lazo de predicacin entre M y P y se expresara como M-P o P-M

mi establece un lazo predicacin M y S y se expresa M-S o S-M La conclusin en cambio, establece un lazo de predicacin entra S y P y se expresa S-P sea esto es Ma = M-P, mi = S-M / S-P. M este esquema no es el nico posible por que M puede fungir como sujeto o predicado MODULO 14 SILOGISMO CATEGRICO: REGLAS GENERALES Y FIGURAS Reglas Generales del silogismo categrico concernientes a los trminos: I. En todo silogismo debe haber tres trminos, ni mas ni menos: el trmino medio M, el extremo mayor P, y el extremo menor S. II. l trmino medio M no debe aparecer en la conclusin. III. l trmino medio M debe estar tomado por lo menos una vez universalmente. IV. Los extremos S y P no pueden tener mayor cantidad en la conclusin que en las premisas. Reglas generales del silogismo categrico concernientes a las proposiciones: V. Dos premisas afirmativas generan siempre una conclusin afirmativa. VI. Dos premisas negativas no autorizan conclusin alguna. VII. La conclusin sigue el partido de la premisa mas dbil, entendindose por dbil la premisa negativa respecta a la afirmativa y a la premisa particular respecta a la universal. VIII. Dos premisas particulares no producen conclusin alguna. Figuras de los silogismos categricos: I. M es sujeto de la premisa mayor y predicado de la premisa menor en esquema se representa asi M-P / S-P S-M II. En la segunda figura, M esta como predicado de ambas premisas. Su esquema es P-M / S-P S-M III. En la tercera figura, M esta como sujeto de ambas premisas. Su esquema es M-P / S-P M-S IV. En la cuarta figura, M esta como predicado de la premisa mayor y como sujeto de la menor. Su Esquema es: P-S / S-P M-S MODULO 15 LOS MODOS DEL SILOGISMO CATEGORICO Modos del silogismo categrico: Son las distintas combinaciones que resultan de la variacin en forma y en cantidad de una de las proposiciones que lo integran: premisas y conclusin. Modos que carecen de validez: los que contravienen las reglas del silogismo referentes a las proposiciones. Hay solo 12 modos validos: AAA, AAI, AEE, AEO, AII, AOO, EAE, EAO, EIO, IAI, IEO, OEO. Aplicando las reglas de la primera figura (premisa menor afirmativa, premisa mayor universal) a los modos validos, se observa que solo se ajustan a ellas los modos: AAA, (AAI), AII, EAE, (EAO) y EIO. La aplicacin de las reglas de la segunda figura (una premisa negativa, premisa mayor universal) a los modos validos da como resultado que solo los 6 siguientes se ajustan a ellas: AEE, (AEO), EAE, (EAO), AOO y EIO. A las reglas de la tercera figura (premisa menor afirmativa, conclusin particular) se ajustan los modos: AAI, EAO, IAI, AII, OAO y EIO. Nombres simblicos de los modos de las tres figuras: los de la primera figura son: BARBARA, CELARENT, DARII, FERIO, los de la segunda figura: CESARE, CAMESTRES, FESTINO,

BAROCO, y los de la tercera figura son: DARAPTI, FELAPTON, DISAMIS, DATISI, BOCARDO, FERISON. MODULO 16 LA REDUCCIN DE LOS MODOS VARIANTES DEL SILOGISMO. En los silogismos de conclusin afirmativa BARBARA Y DARII, la validez se basa en el principio que establece que todo lo que universalmente se afirma de un sujeto debe ser afirmado de todo lo que bajo este sujeto este contenido.