Silogismo

De Wikipedia, la enciclopedia libre El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusin, siendo la ltima una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristteles, en su obra lgica recopilada como El Organon, de sus libros conocidos como Primeros Analticos, (en griego Proto Analytik a, en latn idioma en el que se conoci la obra en Europa Occidental-, Analytica Priora). Aristteles consideraba la lgica como lgica de relacin de trminos. Los trminos se unen o separan en los juicios. Los juicios aristotlicos son considerados desde el punto de vista de unin o separacin de dos trminos, un sujeto y un predicado. Hoy se hablara de proposicin. La diferencia entre juicio y proposicin es importante. La proposicin afirma un hecho como un todo, que es o no es, como contenido lgico del conocimiento. El juicio, en cambio, atribuye un predicado a un sujeto lgico del conocimiento otorgando a los trminos al mismo tiempo una funcin lingstica de significado (semntica) y una funcin formal lgica (sintctica). Esto tiene su importancia en el concepto mismo del contenido de uno, el juicio, y la otra, la proposicin, especialmente en los casos de negacin, como se considera, ms adelante, en la problemtica de la lgica silogstica. Mantenemos aqu la denominacin de juicio por ser lo ms acorde con lo tradicional, teniendo en cuenta que este tipo de lgica, como tal, est en claro desuso, sustituida por la lgica simblica en la que esta lgica es interpretada como lgica de clases. Ver clculo lgico. La relacin entre los trminos de un juicio, al ser comparado con un tercero que hace de "trmino medio", hace posible la aparicin de las posibles conclusiones. As pues, el silogismo consta de dos juicios, premisa mayor y premisa menor, en los que se comparan tres trminos, de cuya comparacin se obtiene un nuevo juicio como conclusin. La lgica trata de establecer las leyes que garantizan que, de la verdad de los juicios comparados (premisas), se pueda obtener con garanta de verdad un nuevo juicio verdadero (conclusin).

ndice
1 Juicio de trminos 2 Los juicios aristotlicos: Definicin y elementos del silogismo 3 Figuras y modos silogsticos 4 Reglas del silogismo 4.1 Reglas para los trminos 4.2 Reglas de las premisas 5 Los modos vlidos 6 Resolucin de los modos mediante un algoritmo mecnico: Las cartas silogsticas 7 Representacin grfica de los modos como lgica de clases mediante diagramas de Venn 8 La problemtica de la lgica silogstica 9 El silogismo considerado en la lgica formal 10 Vase tambin 11 Notas y referencias 12 Bibliografa adicional

Aristteles. Museo del Louvre.

Juicio de trminos
El juicio de trminos es la comparacin de dos conceptos, bien sea de forma lgica o extrada de la experiencia, mediante la cual creemos o afirmamos la relacin de uno con respecto al otro como verdad objetiva. As se justificaba la creencia verdadera en los juicios aristotlicos de la lgica clsica. Por ejemplo: en la nieve es blanca, la mente se afirma en que la blancura es una propiedad que se puede predicar con verdad de la nieve.1 Tal ha sido la consideracin de los juicios aristotlicos en el silogismo de la lgica tradicional. Hoy da la lgica formal y simblica no acepta tales juicios que se interpretan como creencia pues no requiere su formulacin lingstica o conceptual, como ya consideraron los escolsticos y por otro lado la posibilidad de un categrico, como pensaba Aristteles, est seriamente cuestionada. Actualmente, en la lgica tal relacin se considera formalmente: Como resultado de dominio de discurso de la relacin de dos clases lgicas. Como la atribucin de un predicado a una variable lgica individual cuantificada.

Los juicios aristotlicos: Definicin y elementos del silogismo

El juicio aristotlico considera la relacin entre dos trminos: un sujeto, S, y un predicado, P. Los trminos pueden ser tomados en su extensin universal: abarca a todos los posibles individuos, el dominio de discurso, a los cuales

Los trminos pueden ser tomados en su extensin universal: abarca a todos los posibles individuos, el dominio de discurso, a los cuales pueda referirse el concepto.2 3 O en su extensin particular: cuando slo se refiere a algunos.4 Los juicios por la extensin en la que es tomado el trmino sujeto, como criterio de cantidad, pueden ser: UNIVERSALES: Todo S es P5 PARTICULARES: Algunos S son P6 Nota: Los nombres propios tienen extensin universal; pues el uno, como nico, equivale a un individuo que siendo nico es, por eso, todos los posibles .7 La relacin entre los trminos puede ser asimismo: AFIRMATIVOS: De unin: S es P. NEGATIVOS: De separacin: S no es P.8 El predicado de una afirmacin siempre tiene extensin particular, y el predicado de una negacin est tomado en su extensin universal. Cuando un concepto, sujeto o predicado, est tomado en toda su extensin se dice que est distribuido; cuando no, se dice que est no distribuido. Segn el criterio de cantidad y cualidad, resulta la siguiente clasificacin de los juicios: CLASE A E I O DENOMINACIN Universal Afirmativo Universal Negativo Particular Afirmativo Particular Negativo ESQUEMA Todo S es P Todos los S no son P Algn S es P Algn S no es P EXPRESIN-EJEMPLO Todos los hombres son mortales Ningn hombre es mortal Algn hombre es mortal Algn hombre no es mortal Extensin de los trminos S: Universal P: Particular S: Universal P: Universal S: Particular P: Particular S: Particular P: Universal

Los juicios se relacionan unos con otros en lo que constituye un argumento. El silogismo argumenta estableciendo la conclusin como una relacin entre dos trminos, establecida como resultado de la comparacin de ambos trminos con un tercero (tertium comparationis). Por eso se define: Silogismo es la argumentacin en la que a partir de un antecedente, (dos juicios como premisas), que compara dos trminos , (sujeto y predicado de la conclusin), con un tercero, (trmino medio), se infiere o deduce un consecuente, (un juicio como conclusin), que une, (afirma), o separa, (niega), la relacin de estos trminos , (sujeto y predicado), entre s.

ANTECEDENTE = Dos premisas: Premisa mayor, en la que se encuentra el trmino mayor, que es el predicado de la conclusin, que se representa como P. Premisa menor, en la que se encuentra el trmino menor, que es el sujeto de la conclusin, que se representa como S. Entre ambas se realiza la comparacin del trmino sujeto y el trmino predicado con respecto al trmino medio, que se representa como M. CONSECUENTE = Una conclusin: En la que se establece la relacin entre el trmino sujeto S, y el trmino predicado P. TRMINOS: Trmino mayor: Es el predicado de la conclusin. La premisa en la que se encuentra se llama premisa mayor. Se representa como P. Trmino menor: Es el sujeto de la conclusin. La premisa en la que se encuentra se llama Premisa menor. Se representa como S. Trmino medio: Que sirve de comparacin (tertium comparationis) y no puede estar en la conclusin. Se representa como M.

Figuras y modos silogsticos

Teniendo en cuenta la disposicin de los trminos en las premisas y en la conclusin se pueden dar las siguientes FIGURAS SILOGSTICAS, que se denominan:

1 FIGURA 2 FIGURA 3 FIGURA 4 FIGURA

MP

PM

MP

PM

Premisa mayor

SM

SM

MS

MS

Premisa menor

SP

SP

SP

SP

Conclusin

Los modos son las distintas combinaciones que se pueden hacer con los juicios que entran a formar parte de las premisas y la conclusin. Como estos juicios tienen cuatro tipos distintos (A,E,I,O), y en cada caso se toman de tres en tres dos premisas y una conclusin hay 64 combinaciones posibles. Estas 64 combinaciones posibles quedan reducidas a 19 modos vlidos, al aplicar las reglas del silogismo.

Reglas del silogismo

Reglas para los trminos
El silogismo no puede tener ms de tres trminos. Esta ley se limita a cumplir la estructura misma del silogismo: La comparacin de dos trminos con un tercero. Aunque la regla es clara, su aplicacin no siempre lo es. Es lo que algunos llaman silogismo de cuatro patas. Ver quaternio terminorum. Consideremos el siguiente silogismo: Los hombres son esencialmente libres . Las mujeres no son hombres . Las mujeres no son libres . Los trminos que aparecen como evidentes son las palabras hombre, libre, mujer. Pero, a modo de un non sequitur en la supuesta premisa mayor se utiliza la palabra hombre en su acepcin de especie (Homo sapiens) mientras que en la supuesta premisa menor del quaternio terminorum se ha trocado el significado de la palabra hombre utilizando la acepcin de [sexo] (hombre como sinnimo de varn), es decir se ha incluido subrepticiamente un cuarto trmino, de all que la conclusin del quaternio terminorum es errnea, un sofisma. Si se observa bien, en el ejemplo dado de quaternio terminorum se ha expresado de un modo entimemtico. Los trminos no deben tener mayor extensin en la conclusin que en las premisas. Por la misma estructura del silogismo; nicamente podremos obtener conclusiones acerca de lo que hemos comparado en las premisas. El trmino medio no puede entrar en la conclusin. Por la misma estructura del silogismo la funcin del trmino medio es servir de intermediario, como trmino de la comparacin. El trmino medio ha de tomarse en su extensin universal por lo menos en una de las premisas. Para que la comparacin sea tal, es necesario que el trmino medio sea comparado en su totalidad. De otra forma, podra ser comparado un trmino con una parte y el otro con la otra, constituyndose en realidad entonces un silogismo de cuatro trminos. Todos los andaluces son espaoles . Algunos espaoles son gallegos . Por tanto, algunos gallegos son andaluces Lo que evidentemente no es un modo vlido, puesto que "espaoles" en la premisa mayor al ser predicado de una afirmativa est tomado en su extensin particular.

Reglas de las premisas

De 2 premisas negativas no puede obtenerse conclusin alguna . Dos premisas negativas no se adaptan a la estructura del silogismo, ya que si negamos S de M, y P de M, no sabemos qu relacin puede haber entre S y P. Para establecer la relacin, por lo menos uno de los trminos tiene que identificarse con M. Por tanto una de las dos premisas tiene que ser afirmativa. De dos premisas afirmativas no puede sacarse una conclusin negativa . En efecto, si S se identifica con M, y P tambin se identifica con M, no tiene sentido establecer una relacin negativa con entre S y P. La conclusin ser afirmativa.

La conclusin siempre sigue la peor parte. Entendiendo por peor parte, la negativa respecto a la afirmativa y lo particular respecto a lo universal. Veamos los dos casos separadamente: a) Conclusin negativa de una premisa afirmativa y la otra negativa. Si se afirma una relacin entre dos trminos (X, M), pero se niega la de uno de ellos con otro (Y, M), siendo M el trmino medio, no puede haber ms conclusin que negar la relacin que pueda haber entre el primero (X) y el ltimo (Y) siendo uno sujeto y el otro predicado de la conclusin. b) Conclusin particular de una premisa universal y otra particular (teniendo en cuenta que dos premisas particulares no puede ser, como veremos en la regla siguiente). Pueden darse dos casos: Que una sea afirmativa y la otra negativa, o que las dos sean afirmativas. 1) Dos afirmativas. (Tenemos que recordar que el predicado de una afirmativa est tomado en su extensin particular, y el predicado de una negativa en su extensin universal). Al ser las dos afirmativas sus predicados son particulares. El trmino de la universal tiene necesariamente que ser el trmino medio, la conclusin tiene que tener un sujeto particular. 2) Una afirmativa y otra negativa: Tiene que haber dos trminos universales. Uno de ellos tiene que ser el trmino medio, el otro tiene que ser el predicado de la conclusin, pues la conclusin tendr que ser negativa, (caso a) de esta misma regla). Por tanto el trmino que queda ser el sujeto de la conclusin con extensin particular. De dos premisas particulares no se saca conclusin. Tambin tiene dos casos posibles: que una sea afirmativa y la otra negativa o que las dos sean afirmativas. a) Afirmativa y negativa: Algn A es B - Algn A no es C. Slo hay un trmino universal que es el predicado de la negativa, que por tanto tiene que ser el trmino medio. La conclusin tendr que ser negativa (caso a) de la regla anterior), y por tanto el predicado tendr que ser universal, y no puede ser el trmino medio por tanto no puede haber conclusin. b) Dos afirmativas: Algn A es B - Algn A es C. Los tres trminos son particulares, y por tanto no puede haber trmino medio con extensin universal, y por tanto no hay conclusin posible.

Los modos vlidos

Modo del silogismo es la forma que toma ste de acuerdo con la cantidad y la cualidad de las premisas y la conclusin. De la aplicacin de las leyes de los silogismos a los 64 modos posibles resultan vlidos solamente 19 y son los que tradicionalmente se memorizan atendiendo a los modos vlidos de cada figura con sus premisas y conclusin. As los modos vlidos De la primera figura De la segunda figura AAA, EAE, AII, EIO EAE, AEE, EIO, AOO Se memorizaban cantando BARBARA, CELARENT, DARII, FERIO CESARE, CAMESTRES, FESTINO, BAROCO

De la tercera figura AAI, IAI, AII, EAO, OAO, EIO DARAPTI, DISAMIS, DATISI, FELAPTON, BOCARDO, FERISON De la cuarta figura AAI, AEE, IAI, EAO, EIO BAMALIP, CAMENES, DIMATIS, FESAPO, FRESISON

Nota bene: Tambin son vlidos para la primera figura los modos subalternos BARBARI, CELARONT; para la segunda: CESARO, CAMESTROP; y para la cuarta: CAMENOP.9

Resolucin de los modos mediante un algoritmo mecnico: Las cartas silogsticas

Consiste en un juego de diecisis cartas, ocho mayores y ocho menores. En cada carta mayor figura en primera lnea una posible premisa mayor y debajo posibles conclusiones. La primera lnea de las cartas menores llevan una posible premisa menor, y en sus partes medias unas aberturas. Colocando una carta menor sobre una mayor como si fuera una combinacin de premisas, aparece en la abertura correspondiente una conclusin si es modo vlido, o ninguna si no lo es (carta 8 menor).

cartas silogsticas

Representacin grfica de los modos como lgica de clases mediante diagramas de Venn
Se pueden representar estos modos mediante diagramas de Venn con las siguientes convenciones: Cada trmino del silogismo est representado por S, P, M, por un crculo incoloro que representa a todos los miembros posibles de

una clase. La conclusin aparece como resultado de la relacin de los trminos S y P en su relacin con M. La inexistencia se muestra como zona rellena de color. La existencia individual se afirma mediante una X: Al menos uno, o algunos. La relacin de los trminos se constituye como pertenencia o no pertenencia a la clase. La relacin de inclusin, Todo S es P, se representa como No hay ningn S que no sea P segn muestra la imagen que se muestra al margen. Teniendo en cuenta la problemtica de la lgica aristotlica, de la que se habla ms adelante, el problema del "compromiso existencial" afecta a los modos Darapti, Felapton, Bramalip, y Fesapo que no se muestran en las grficas, al no ser admitidos como vlidos por algunos y, sobre todo, la representacin grfica no hace plausible la conclusin, debido a la falta de "compromiso existencial", como se comenta ms adelante.

Convencin para la representacin grfica del juicio tipo A.

La problemtica de la lgica silogstica

La exposicin anterior es la forma ms simple y esquemtica tradicionalmente presentada como lgica aristotlica.10 Sin embargo, la problemtica que trata Aristteles es bastante ms compleja. Aristteles define:
Silogismo es un argumento en el cual, estab lecidas ciertas cosas, resulta necesariamente de ellas, por ser lo que son, otra cosa diferente. Aristteles An. Pr. I 24 b 18-23

Dos aspectos a destacar en su definicin: La necesidad, que considera el silogismo como categrico, por considerar que los juicios que lo integran son asimismo categricos. El fundamento de dicha necesidad, por "ser las cosas lo que son". Hablar del silogismo categrico supone hablar de lo necesario e incondicionado. Y precisamente incondicionado por estar basado en el ser de las cosas. Aristteles est pensando en un predicado aprehendido a partir de la experiencia y atribuido por el entendimiento a un sujeto. En el lenguaje apofntico11 el silogismo manifiesta la verdad, porque el entendimiento humano (entendimiento agente, segn Aristteles) es capaz de llegar a la intuicin directa de lo real12 aunque sea a travs de un proceso de abstraccin.13 Se parte del supuesto de que P es predicado verdadero de S (en el sentido de que P manifiesta la "identidad" del ser de S), lo que plantea una cuestin metalgica. Vase verdad. Aristteles piensa que el juicio manifiesta lo que es como verdadero. El problema entonces es y cmo se predica de un sujeto lo que no-es?14 (V.:aportica). La lgica aristotlica se encuentra con el problema de los juicios negativos que resuelve no del todo bien. De hecho en el cuadro de oposicin de los juicios Aristteles estudi con todo detalle problemas que posteriormente no se han tenido en cuenta; en realidad consider tres figuras y no todos los 19 modos vlidos.15 Aristteles considera modos perfectos aquellos cuya validez aparece como evidente, siendo los dems imperfectos por cuanto deben ser probados por medio de los modos perfectos, que son los correspondientes a la primera figura: BRBARA, CELARENT, DARII, FERIO.16 Incluso lleg a considerar tales modos como los axiomas de todo el sistema lgico. El juicio como atribucin de un predicado verdadero a un sujeto, (en el sentido de que P manifiesta la "identidad" como "ser del sujeto",17 en tanto que realidad conocida), plantea el problema de un predicado falso, es decir un no-predicado. Cmo conocemos un nopredicado?... Lingsticamente, el problema se disfraza negando el verbo en lugar del predicado como atributo (gramtica). De esta forma en vez de decir "Antonio es un no-caballo", (qu es un no-caballo?),18 decimos "Antonio no es un caballo". Pero esto segundo slo es inteligible bajo el punto de vista extensional de los conceptos,19 es decir bajo el punto de vista de ser un elemento de un conjunto definido por una propiedad, o lo que es lo mismo por su pertenencia o no-pertenencia a una determinada clase; lo que nos lleva a la lgica de clases. La lgica moderna simblica, meramente lgica formal, no tiene conexin con contenido de verdad alguno y supera con claridad estas dificultades; sobre todo con la ventaja de poder tratar proposiciones polidicas, llamadas as porque tienen ms de dos trminos (por ejemplo: "Jpiter es mayor que la Tierra y menor que el Sol"),20 y facilitar enormemente el clculo lgico, por lo que, de hecho, la lgica aristotlica, como tal, est en claro desuso.21 Hans Reichenbach estudia el cuadro de oposicin de los juicios considerando los juicios A, E, I, O, como relacin de clases y considera que pueden eliminarse los juicios negativos E, O, que son los problemticos, mediante la anotacin de la negacin de la clase complementaria.22
Representacin grfica de los modos vlidos en diagramas de Venn.

La notacin se hace estableciendo entre el sujeto S y el predicado P, la letra minscula correspondiente al tipo de juicio. As tenemos

La notacin se hace estableciendo entre el sujeto S y el predicado P, la letra minscula correspondiente al tipo de juicio. As tenemos que:

As no slo se simplifica la notacin sino que de modos que tradicionalmente han sido considerados invlidos, se puede obtener conclusin vlida, que la notacin clsica haca imposible.23 Por todo ello la interpretacin actual de la lgica aristotlica como silogismo es su interpretacin como lgica de clases. Tal es el mrito de la obra de Lukasiewicz. Pero considerar los conceptos universales, como clases plantea el problema de la existencia del individuo como instanciacin o compromiso existencial. Pues la clase como propiedad independiente puede considerarse como abstracto universal.24 Pero los predicados, como atributos, no tienen sentido sin un sujeto gramatical del cual se prediquen porque posea dicha propiedad.25 La lgica tradicional no consideraba el problema de la existencia o no existencia del individuo respecto a los conceptos universales, pues se supone que stos han surgido de la abstraccin a partir del conocimiento de los singulares o individuos existentes.26

El silogismo considerado en la lgica formal

La lgica formal actual considera la relacin S y P como una relacin meramente sintctica sin contenido material alguno, bien sea en una relacin de clases o una funcin proposicional de predicados. Aristteles considera dicha formalidad, desde luego, bajo el punto de vista de la relacin entre dos trminos S (sujeto) y P (predicado) que al mismo tiempo tienen una funcin lingstico-gramatical, pues para Aristteles los trminos representan aspectos del ser y por tanto de la realidad. Pero la formalidad de la lgica actual convierte la deduccin en una inferencia, como consecuencia lgica, en lugar de una implicacin con transmisin de contenido en un lenguaje apofntico transmisor de la verdad como pretenda Aristteles para el lenguaje de la ciencia. En la nueva forma de relacin sintctica se pierde toda relacin de los trminos con la gramtica del lenguaje y posible "significacin". El silogismo pierde as su formalidad de ser categrico, transmisor de la verdad necesaria, "por ser las cosas como son", para adquirir una formalidad hipottica. Siendo S el sujeto, P el predicado y M el trmino medio, el silogismo es ahora interpretado como lgica de clases, y su esquema lgico sera del tipo siguiente: Si la clase S est (o no est) contenida en la clase M, y la clase M est (o no est) contenida en la clase P, entonces la clase S est o (no est) contenida en la clase P. O, en su interpretacin con respecto a los individuos, cuando haya conocimiento de instanciacin existencial:27 Si todos (o algunos) los individuos que pertenecen (o no pertenecen) a la clase S pertenecen (o no pertenecen) a la clase M, y todos (o algunos) los individuos que pertenecen (o no pertenecen) a la clase M pertenecen (o no pertenecen) a la clase P, entonces todos (o algunos) los individuos que pertenecen (o no pertenecen) a la clase S pertenecen (o no pertenecen) a la clase P. As el silogismo en Brbara se convierte formalmente en lgica de clases como:

Que expresa una frmula de relacin hipottica y al no haber afirmacin de verdad alguna en las premisas, la conclusin es condicionada y no implicada. De la misma forma el silogismo puede interpretarse como una funcin proposicional de un predicado P que se predica de uno, alguno o todos los individuos x, que a su vez pueden ser o no ser sujeto de otro predicado S como resultado de la relacin que ambos tienen o no tienen con otro predicado M, siendo S, P y M los trminos del silogismo. Mx simboliza "Ser mortal", siendo M=ser mortal que se puede predicar respecto a una variable x cuyo compromiso de existencia vendra dado por la cuantificacin existencial de la referencia de dicha funcin, bien sea un cuantificador universal, todo x: ; un cuantificador particular, un o algn x: ; o una constante individual determinada: a, b, c La lgica de predicados resuelve as el problema de la instanciacin existencial, pero nuevamente convierte el silogismo en un esquema formal de inferencia, donde no hay afirmacin sino una inferencia hipottica, a partir del hecho de que la proposicin puede ser verdadera o falsa y no una afirmacin categrica. As el silogismo por antonomasia en AAA, de la primera figura se interpretara de la siguiente manera siendo S, M y P sus trminos:

Es decir un silogismo hipottico de la lgica de predicados. En ambos casos, como relacin de clases o como lgica de predicados, el clsico silogismo categrico: Todos los hombres son mortales. Todos los griegos son hombres. Por tanto todos los griegos son mortales . Se convierte en un silogismo hipottico: Si todos los hombres son mortales y todos los griegos son hombres, entonces, todos los griegos son mortales .

Lo que, no cabe duda, es una transformacin no menor de la lgica aristotlica.

Vase tambin
Entimema Sorites Silogismo hipottico Modus ponendo ponens Modus tollendo tollens Modus ponendo tollens Modus tollendo ponens Nyya Regla de inferencia Proposicin Quaternio terminorum Razonamiento Razonamiento abductivo Razonamiento circular Razonamiento deductivo Razonamiento inductivo Conversin lgica Obversin lgica Contraposicin lgica Inversin lgica

Notas y referencias
1. Vase verdad y la reflexin sobre tal afirmacin de Alfred Tarski 2. Que no necesariamente tiene una referencia en una palabra; puede ser una frase o un discurso tomado como una unidad lgica 3. Se dice de un trmino tomado en su extensin universal que est distribuido. Ntese que el dominio del concepto es mucho ms amplio que la mera referencia a "todos los que existen". Quiere decir que el trmino universal, distribuido, abarca todos los posibles individuos que hayan podido existir, hayan existido y los que existen y existirn. El verbo ser es meramente atributivo y no exige la existencia. La filosofa tradicional consideraba que el trmino tena su origen en la abstraccin a partir de la existencia de individuos, por lo que no haca referencia a esta distincin que exige la lgica formal tal como se entiende en la actualidad. 4. En esta referencia es necesario que se incluya la existencia de individuos bien sea pasada, presente o futura, de existencia real o conceptual; de otro modo no habra significacin en la atribucin. El verbo ser referido a la extensin particular es de existencia. Lo que no pocas veces conduce a errores lgicos cuando no se tiene en cuenta el diferente uso del verbo ser respecto a la extensin de los trminos, sobre todo en los juicios negativos. 5. La forma lingstica que expresa el juicio admite variaciones: Todos los S, Cualquier S.... Lo importante es que cualquier cosa que sea S, entonces es P. Ntese que en la lgica aristotlica el uso del verbo ser tiene un contenido categrico de realidad. Ms tarde la lgica de Port Royal har de esta relacin una atribucin. La lgica de clases, por su parte, nicamente seala una relacin meramente lgica entre clases. El individuo como se explica ms adelante, es un trmino, considerado en su extensin universal, como clase lgica o trmino distribuido. 6. Las formas lingsticas tambin pueden ser variadas: Algn S siempre que sea indeterminado, unos cuantos S etc. 7. De lo nico, como unidad elemental, no podemos ms que o "designarlo" con el dedo, como hace el nio pequeo cuando no sabe hablar, o "nombrarlo" con un "nombre propio" o "clasificarlo" mediante un "nombre comn" o "concepto universal", es decir incluirlo como elemento "perteneciente a una clase" que designa una "propiedad". Por eso los "nombres propios" son una "Clase Universal". Este problema lo resuelve mejor la lgica a ctual considerando los elementos comunes como "variables" o "elementos de un conjunto" y los individuos existentes como "constantes" o "instanciacin de existencia". Las propiedades son consideradas como "clases" como posibilidad de la existencia de individuos 8. Esta expresin es lgicamente la correcta. Sin embargo este matiz se oculta bajo la forma expresiva de S no es P que suena mejor pero oculta este matiz y puede inducir errores lgicos; S no es P manifiesta claramente la separacin de S respecto a P como predicado de S. En cambiio la expresin S no es P expresa la no pertenencia de S a la clase P. Vase ms adelante la problemtica de la lgica aristotlica respecto a los juicios negativos y su interpretacin como lgica de clases. 9. Cfr. ukasiewicz. La silogstica de Aristteles desde el punto de vista de la lgica formal moderna. Madrid: Tecnos (1977). pg. 81 y ss. Vase ms adelante: Problemtica de la lgica aristotlica 10. Que es la considerada como lgica tradicional que no sigue exactamente los postulados del propio Aristteles, como veremos ms adelante. 11. Aristteles considera que es el lenguaje propio de la ciencia; a diferencia del lenguaje retrico que genera silogismos retricos o argumentos probables aunque formalmente sean vlidos 12. Es decir a lo que "de verdad es"; la esencia frente a la apariencia sensible que manifiesta lo que es al mismo tiempo que lo oculta 13. Si bien en los juicios derivados de la experiencia los sujetos lgicos nicamente pueden ser las sustancias primeras individuales, en la abstraccin de sus predicados, como categoras y modos de predicacin predicables, tales predicados como conceptos pueden hacer de sujetos lgicos en oraciones gramaticales que expresan juicios categricos mediante los cuales se ponen de manifiesto sus contenidos como propiedades y sus relaciones con otros conceptos manteniendo su relacin con lo real, puesto que su origen deriva de lo real existente. Las categoras lgicas tienen por ello carcter de realidad. 14. Para los griegos clsicos y tambin para Aristteles, el concepto de clase o, simplemente, el conjunto vaco era algo inconcebible. La problemtica parmenidiana sobre el ser estaba en el fundamento lgico de todo su pensamiento. Por eso, en matemticas no pudieron concebir el 0 (cero) como concepto. Vase supra nota 5.

15. Aristteles consider la posibilidad de poder afirmar "El hombre es un no-caballo" como implicacin consecuente de la afirmacin previa existencial en la experiencia de "El hombre no es un caballo" (CORREIA, Manuel. La Actualidad de la Lgica de Aristteles. Rev. filos., Santiago, 2010 2010. Disponible en. <http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S071843602006000100009&lng=es&nrm=iso>. accedido en doi 16: noviembre 10.4067/S0718- 43602006000100009.). Esto es as porque el conocimiento del concepto de caballo en su relacin con el hombre es nicamente de "ser" o "no-ser". En cambio "El hombre es bueno" no es oponible de la misma forma a "El hombre es no-bueno" puesto que la bondad admite gradaciones y situaciones que no responden a la condicin de "ser" o "no-ser", como ya haba expuesto Platn en su dilogo Fedro. Un mismo hombre puede ser hoy bueno y maana malo; as como puede ser regular, mezcla en parte de lo bueno y en parte de lo malo; la oposicin entre uno y otro no es totalmente excluyente. Si es "malo" entonces es "no-bueno", como verdad implicada. Pero ser "no-bueno" no implica "ser malo". [Analticos Primeros I, 46 (52b15)]. La forma lgica aristotlica implica en algunos casos, como el presente, la consideracin de la materia o contenido del juicio de que se trate. Por ello mientras que para la lgica simblica actual "El hombre es un no-caballo" y "El hombre no es un caballo" son formalmente equivalentes, y se simbolizan de la misma forma, siendo A= Ser hombre y C= Ser caballo, para Arstteles no lo son como hemos visto antes. Lo que indica que la lgica de Aristteles siendo formal, al pretender ser transmisora de la verdad, nunca pierde su relacin con la materia o contenido en su consideracin lgica, pues siempre se trata de una predicacin respecto a un sujeto que, en ltima instancia, tiene una referencia verdadera, b ien en la experiencia concreta como conocimiento de una sustancia primera, b ien en la evidencia de un axioma, b ien en la realidad de un concepto universal ab strado a partir de una sustancia existente individual. Por eso el concepto aristotlico, como trmino del juicio, no es una clase, y siempre tiene una referencia existencial. Algunos piensan que la lgica de Aristteles siendo formal no es formalista. Manuel Correia. Revista de filosofa. Rev. filos. v.62 Santiago 2006. tienne Gilson (1944). Eco (1977), Kant y el ornitorrinco. Cap. 1 "Sobre el ser" 16. Para hacer tales demostraciones se establecen ciertas operaciones lgicas que permiten transformar unos juicios en otros. Vase conversin lgica, obversin lgica, contraposicin lgica e inversin lgica. Es famosa la demostracin demostracin formal!!! de la "inmortalidad" por este procedimiento segn el siguiente esquema: 1. Todo S es P; 2. Nign S es no-P (por obversin en 1); 3. Ningn noP es S (por conversin en 2); 4. Todo no-P es no-S obversin en 3); 5. Algn no S es no-P (por conversin per accidens en 4. De esta forma "Todos los hombres son mortales" implicara que "Algn no-hombre es no-mortal" lo que sera una prueba o demostracin la "inmortalidad". Pero ... qu es un "no-mortal" si no tenemos "experiencia" como instanciacin existencial de ello?. A qu referente como no-hombre podremos aplicar dicha propiedad de "inmortalidad"? a los ngeles? a los demonios?. David Mitchell, Introduccin a la lgica, pp. 38-39. 17. Los griegos no concibieron el no-ser como posibilidad de un concepto. Por eso no concibieron el cero matemtico a diferencia de la reflexin de la cultura india 18. Eso slo tiene sentido en tanto que lo que se afirma es el conocimiento previo de la existencia de los contenidos (notas) del predicado en la identidad (notas) que constituye al sujeto. Por su parte el predicado es conocido a travs de conocimientos singulares de otros sujetos conocidos por la experiencia 19. Los conceptos se definen por su comprensin, es decir las notas que le hacen ser lo que es, el significado en su expresin lingstica, y su extensin, o denotacin en su expresin lingstica, es decir cada uno de los seres a los que dicho concepto se puede aplicar, nombrndolos o designndolos. El concepto aristotlico, que procede de la abstraccin a partir del conocimiento de los individuos particulares, tiene siempre y necesariamente aplicacin a un grupo de individuos. Por eso, ms tarde en la Edad Media, se considerarn como universales. En cambio la clase se define exclusivamente por una propiedad, haya o no haya individuos que posean dicha propiedad. Por eso existe el concepto de clase vaca. Para los griegos, que no conocan ni conceban la posibilidad del cero, el concepto de clase habra sido imposible. 20. Miguel Candel Sanmartn Metafsica de cercanas, p. 55, Editorial Montesinos, 2004 ISBN 978-84-95776-85-3 21. Luis Guerrero Martnez Lgica: el razonamiento deductivo formal, p. 165, Publicaciones Cruz O.S.A., 1991 ISBN 978-968-20-0272-4 22. Vase cuadro de oposicin de los juicios 23. Donde se puede apreciar, una vez ms, la importancia de la formalizacin del lenguaje en el progreso de la ciencia. 24. Que da lugar a una Lgica de segundo orden 25. Quine, W.V. Filosofa de la lgica. Madrid. Alianza Editorial. 1981.pgs. 58-61. Cfr. ref, 4 y 5 26.
Al construir su lgica, Aristteles no tiene en cuenta ni a los trminos singulares ni a los trminos vacos. En los primeros captulos de los Primeros Analticos, que contiene una expresin sistemtica de su silogstica, slo son mencionados trminos universales. Jan ukasiewicz, op. cit.

27. Lo que excede de la mera informacin formal del concepto de clase. A veces se confunde errneamente el uso de un concepto como clase lgica, es decir un Todo-lgico, distribuido (en su extensin lgica universal), o no-distribuido (en su extensin lgica particular), como si fuera un conjunto de individuos existentes. Tal puede ocurrir cuando se utilizan lingsticamente pronombres vagos (Santo Toms) o pronombres perezosos (Quine) como: algn o algunos, cualquiera o todo o todos (considerando tales pronombres como sustitucin de uno por uno y cualquiera de todos los posibles elementos del conjunto como si fueran individuos reales y existentes). Se confunde de este modo la clase lgica con la clase natural como si fuera aquella un conjunto enumerable. Una clase lgica significa toda la extensin lgica o el dominio de discurso de un concepto expresado como trmino lingstico que significa posibles individuos de cuya existencia no sabemos nada. La existencia se reconoce en un sistema de referencia de lenguaje objeto o primer nivel como lgica de primer orden. Las propiedades lgicas sitan su referencia en una lgica de segundo orden.

Bibliografa adicional
Clark, J. T. (1952). Conventional Logic And Modern Logic . Correia, Manuel (2006). La actualidad de la lgica de Aristteles (http://www.scielo.cl/scielo.php?script=sci_arttext&pid=S071843602006000100009&lng=es&nrm=iso). Rev. filos. [online] 62: pp. 139-150. http://www.scielo.cl/scielo.php? script=sci_arttext&pid=S0718-43602006000100009&lng=es&nrm=iso. Ferrater Mora, Jos (1979). Diccionario de Filosofa. Barcelona: Alianza. ISBN 84-206-5299-7. Garrido, M. (1974). Lgica simblica. Barcelona: Tecnos. Gonzlez Labra, Mara Jos. Psicologa del pensamiento. ukasiewicz, Jan. La silogstica de Aristteles desde el punto de vista de la lgica formal. Madrid. Mitchell, D. (1968). Introduccin a la lgica. Barcelona: Labor. Quine, Willard Van Orman (1981). Filosofa de la lgica. Madrid: Alianza. ISBN 84-206-2043-2. Reichenbach, Hans (1952). The Syllogism Revised. 19. Philosophy of Science. Obtenido de http://es.wikipedia.org/w/index.php?title=Silogismo&oldid=70427148 Categoras: Lgica aristotlica Terminologa filosfica
Esta pgina fue modificada por ltima vez el 26 oct 2013, a las 16:46. El texto est disponible bajo la Licencia Creative Commons Atribucin Compartir Igual 3.0; podran ser aplicables clusulas adicionales. Lanse los trminos de uso para ms informacin. Wikipedia es una marca registrada de la Fundacin Wikimedia, Inc., una organizacin sin nimo de lucro.