Silogismo
Un silogismo es una deducción. Es un tipo de argumento lógico en el que una proposición (la conclusión) se infiere de otras dos o más (las premisas). La idea es una invención de Aristóteles.
En los Analíticos Previos, Aristóteles define el silogismo como "un discurso en el que, habiéndose supuesto ciertas cosas, resulta por necesidad algo distinto de las cosas supuestas porque éstas son así". (24b18-20)
Cada proposición debe contener alguna forma del verbo "ser". Un silogismo categórico es como una pequeña máquina compuesta por tres partes: la premisa mayor, la premisa menor y la conclusión. Cada una de estas partes es una proposición y, a partir de las dos primeras, se decide el "valor de verdad" de la tercera parte.
Ejemplos
Premisa principal: Todos los hombres son mortales.
Premisa menor: Todos los griegos son hombres.
Conclusión: Todos los griegos son mortales.
Cada uno de los tres términos distintos representa una categoría. En el ejemplo anterior, "hombres", "mortales" y "griegos". "Mortales" es el término mayor; "griegos", el menor. Las premisas también tienen un término en común entre sí, que se conoce como término medio; en este ejemplo, "hombre". Las dos premisas son universales, al igual que la conclusión.
Premisa principal: Todos los mortales mueren.
Premisa menor: Algunos hombres son mortales.
Conclusión: Algunos hombres mueren.
Aquí, el término mayor es "morir", el término menor es "hombres" y el término medio es "mortales". La premisa mayor es universal; la premisa menor y la conclusión son particulares. Aristóteles estudió diferentes silogismos e identificó los silogismos válidos como silogismos con conclusión verdadera si ambas premisas son verdaderas. Los ejemplos anteriores son silogismos válidos.
Un sorites es una forma de argumentación en la que una serie de silogismos incompletos se organiza de manera que el predicado de cada premisa forma el sujeto de la siguiente hasta que el sujeto de la primera se une con el predicado de la última en la conclusión. Por ejemplo, si se argumenta que un número determinado de granos de arena no hace un montón y que un grano adicional tampoco lo hace, entonces concluir que ninguna cantidad adicional de arena hará un montón es construir un argumento sorites.
Lógica hoy
El silogismo fue sustituido por la lógica de primer orden tras la obra de Gottlob Frege, publicada en 1879. Esta lógica es adecuada para las matemáticas, la informática, la lingüística y otras materias, porque utiliza números (variables cuantificadas) en lugar de oraciones.
