la convencion

El silogismo es una forma de razonamiento deductivo que consta de dos proposiciones como premisas y otra como conclusión, siendo la última una inferencia necesariamente deductiva de las otras dos. Fue formulado por primera vez por Aristóteles, en su obra lógica recopilada como El Órganon, de sus libros conocidos como Primeros Analíticos, (engriego Proto Analytika, en latín –idioma en el que seconoció la obra en Europa Occidental-, Analytica Priora).
Aristóteles consideraba la lógica como lógica de relación de términos. Los términos se unen o separan en los juicios. Los juicios aristotélicos son considerados desde el punto de vista de unión o separación de dos términos, un sujeto y un predicado. Hoy se hablaría de proposición.
Juicios de términos
El juicio de términos es lacomparación de dos conceptos, bien sea de forma lógica o extraída de la experiencia, mediante la cual creemos o afirmamos la relación de uno con respecto al otro como verdad objetiva.
Así se justificaba la creencia verdadera en los juicios aristotélicos de la lógica clásica.
Por ejemplo: en la nieve es blanca, la mente se afirma en que la blancura es una propiedad que se puede predicar con verdad dela nieve.1 Tal ha sido la consideración de los juicios aristotélicos en el silogismo de la lógica tradicional.
Reglas del silogismo

Reglas para los términos[editar · editar código]
El silogismo no puede tener más de tres términos.
Esta ley se limita a cumplir la estructura misma del silogismo: La comparación de dos términos con un tercero. Aunque la regla es clara, su aplicación 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 términos 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 acepción deespecie (Homo sapiens) mientras que en la supuesta premisa menor del quaternio terminorum se ha trocado el significado de la palabra hombre utilizando la acepción de [sexo] (hombre como sinónimo de varón), es decir se ha incluido subrepticiamente un cuarto término, de allí que la conclusión del quaternio terminorum es errónea, un sofisma. Si se observa bien, en el ejemplo dado de quaternioterminorum se ha expresado de un modo entimemático.
Los términos no deben tener mayor extensión en la conclusión que en las premisas.
Por la misma estructura del silogismo; únicamente podremos obtener conclusiones acerca de lo que hemos comparado en las premisas.
El término medio no puede entrar en la conclusión.
Por la misma estructura del silogismo la función del término medio es servir deintermediario, como término de la comparación.
El término medio ha de tomarse en su extensión universal por lo menos en una de las premisas.
Para que la comparación sea tal, es necesario que el término medio sea comparado en su totalidad. De otra forma, podría ser comparado un término con una parte y el otro con la otra, constituyéndose en realidad entonces un silogismo de cuatro términos.
Todos losandaluces son españoles.
Algunos españoles son gallegos.
Por tanto, algunos gallegos son andaluces
Lo que evidentemente no es un modo válido, puesto que "españoles" en la premisa mayor al ser predicado de una afirmativa está tomado en su extensión particular.

Los juicios aristotélicos: Definición y elementos del silogismo [editar · editar código]
El juicio aristotélico considera la relaciónentre dos términos: un sujeto, S, y un predicado, P.
Los términos pueden ser tomados en su extensión universal: abarca a todos los posibles individuos, el dominio de discurso, a los cuales pueda referirse el concepto.2 3
O en su extensión particular: cuando sólo se refiere a algunos.4
Los juicios por la extensión en la que es tomado el término sujeto, como criterio de cantidad, pueden ser:...