Silogismo

Un silogismo ( griego : συλλογισμός , syllogismos , 'conclusión, inferencia') es un tipo de argumento lógico que aplica el razonamiento deductivo para llegar a una conclusión basada en dos proposiciones que se afirman o se supone que son verdaderas.

En su forma más antigua (definida por Aristóteles en su libro Prior Analytics de 350 a. C. ), surge un silogismo cuando dos premisas verdaderas (proposiciones o declaraciones) implican válidamente una conclusión, o el punto principal que el argumento pretende transmitir. ^[1] Por ejemplo, sabiendo que todos los hombres son mortales (premisa mayor) y que Sócrates es un hombre (premisa menor), podemos concluir válidamente que Sócrates es mortal. Los argumentos silogísticos generalmente se representan en forma de tres líneas:

En la antigüedad existían dos teorías silogísticas rivales: el silogismo aristotélico y el silogismo estoico. ^[3] A partir de la Edad Media , el silogismo categórico y el silogismo solían usarse indistintamente. Este artículo se ocupa únicamente de este uso histórico. El silogismo estaba en el centro del razonamiento deductivo histórico , en el que los hechos se determinan combinando enunciados existentes, en contraste con el razonamiento inductivo en el que los hechos se determinan mediante observaciones repetidas.

Dentro de un contexto académico, el silogismo fue reemplazado por la lógica de predicados de primer orden siguiendo el trabajo de Gottlob Frege , en particular su Begriffsschrift ( Concept Script ; 1879). Sin embargo, los silogismos siguen siendo útiles en algunas circunstancias y para las introducciones a la lógica para el público en general. ^[4]^[5]

En la antigüedad existían dos teorías silogísticas rivales: el silogismo aristotélico y el silogismo estoico. ^[3]

Aristóteles define el silogismo como "un discurso en el que habiendo sido supuestas ciertas cosas (específicas), algo diferente de las cosas supuestas resulta de la necesidad porque estas cosas son así". ^[6] A pesar de esta definición muy general, en Prior Analytics , Aristóteles se limita a los silogismos categóricos que consisten en tres proposiciones categóricas , incluidos los silogismos modales categóricos. ^[7]