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 suponen como verdaderas.
En su forma más temprana (definida por Aristóteles en su libro Analíticas previas del año 350 a. C. ), un silogismo deductivo surge cuando dos premisas verdaderas (proposiciones o enunciados) 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 suelen representarse en forma de tres líneas:
Todos los hombres son mortales.
Sócrates es un hombre.
Por lo tanto, Sócrates es mortal. [2]
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 se solían utilizar indistintamente. Este artículo se ocupa únicamente de este uso histórico. El silogismo estaba en el centro del razonamiento deductivo histórico, mediante el cual los hechos se determinan combinando enunciados existentes, en contraste con el razonamiento inductivo , en el que los hechos se predicen mediante observaciones repetidas.
En algunos contextos académicos, el silogismo ha sido reemplazado por la lógica de predicados de primer orden a raíz del trabajo de Gottlob Frege , en particular su Begriffsschrift ( Guión conceptual ; 1879). El silogismo, al ser un método de razonamiento lógico válido, siempre será útil en la mayoría de las circunstancias y para introducciones a la lógica y al pensamiento claro 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 habiéndose supuesto ciertas cosas (específicas), resulta necesariamente algo diferente de las cosas supuestas porque estas cosas son así". [6] A pesar de esta definición muy general, en Analíticos previos Aristóteles se limita a los silogismos categóricos que consisten en tres proposiciones categóricas , incluidos los silogismos modales categóricos . [7]
El uso de silogismos como herramienta para la comprensión se remonta a las discusiones de razonamiento lógico de Aristóteles . Antes de mediados del siglo XII, los lógicos medievales solo estaban familiarizados con una parte de las obras de Aristóteles, incluidos títulos como Categorías y Sobre la interpretación , obras que contribuyeron en gran medida a la lógica antigua predominante, o logica vetus . El surgimiento de una nueva lógica, o logica nova , surgió junto con la reaparición de Analíticos previos , la obra en la que Aristóteles desarrolló su teoría del silogismo.
Tras su redescubrimiento, los lógicos consideraron inmediatamente a la Analítica como "un cuerpo de doctrina cerrado y completo", que dejaba muy poco para que los pensadores de la época debatieran y reorganizaran. La teoría de Aristóteles sobre el silogismo para oraciones asertóricas se consideró especialmente notable, ya que solo se produjeron pequeños cambios sistemáticos en el concepto a lo largo del tiempo. Esta teoría del silogismo no entraría en el contexto de la lógica de las consecuencias, más amplia, hasta que la lógica comenzó a ser reelaborada en general a mediados del siglo XIV por personas como John Buridan .
Sin embargo, los Analíticos previos de Aristóteles no incorporaron una teoría tan completa sobre el silogismo modal, es decir, un silogismo que tiene al menos una premisa modalizada , es decir, una premisa que contiene las palabras modales necesariamente , posiblemente o contingentemente . La terminología de Aristóteles en este aspecto de su teoría fue considerada vaga y, en muchos casos, poco clara, incluso contradiciendo algunas de sus afirmaciones de Sobre la interpretación . Sus afirmaciones originales sobre este componente específico de la teoría se dejaron abiertas a una cantidad considerable de conversaciones, lo que dio lugar a una amplia gama de soluciones propuestas por los comentaristas de la época. El sistema de silogismos modales establecido por Aristóteles finalmente se consideraría inadecuado para el uso práctico y sería reemplazado por nuevas distinciones y nuevas teorías en su conjunto.
Boecio (c. 475-526) contribuyó a hacer más accesible la antigua lógica aristotélica. Si bien su traducción latina de Analíticas previas no se utilizó hasta el siglo XII, sus libros de texto sobre el silogismo categórico fueron fundamentales para ampliar el debate silogístico. Más que en las aportaciones que él personalmente hizo al campo, el legado lógico de Boecio reside en su transmisión eficaz de las teorías previas a los lógicos posteriores, así como en sus presentaciones claras y fundamentalmente precisas de las contribuciones de Aristóteles.
Otro de los primeros contribuyentes a la lógica medieval del Occidente latino, Pedro Abelardo (1079-1142), realizó su propia evaluación exhaustiva del concepto de silogismo y la teoría que lo acompañaba en la Dialectica , una discusión de la lógica basada en los comentarios y monografías de Boecio. Su perspectiva sobre los silogismos también se puede encontrar en otras obras, como Logica Ingredientibus . Con la ayuda de la distinción de Abelardo entre oraciones modales de dicto y oraciones modales de re , los lógicos medievales comenzaron a dar forma a un concepto más coherente del modelo de silogismo modal de Aristóteles.
El filósofo francés Jean Buridan (c. 1300 – 1361), a quien algunos consideran el lógico más importante de la Baja Edad Media, contribuyó con dos obras significativas: Tratado de la consecuencia y Summulae de Dialectica , en las que discutió el concepto de silogismo, sus componentes y distinciones, y las formas de usar la herramienta para expandir su capacidad lógica. Durante los 200 años posteriores a las discusiones de Buridan, se dijo poco sobre la lógica silogística. Los historiadores de la lógica han evaluado que los cambios principales en la era posterior a la Edad Media fueron cambios con respecto a la conciencia del público sobre las fuentes originales, una disminución de la apreciación por la sofisticación y complejidad de la lógica y un aumento en la ignorancia lógica, de modo que los lógicos de principios del siglo XX llegaron a ver todo el sistema como ridículo. [8]
El silogismo aristotélico dominó el pensamiento filosófico occidental durante muchos siglos. El silogismo en sí mismo trata de extraer conclusiones válidas de supuestos ( axiomas ), en lugar de verificar los supuestos. Sin embargo, con el tiempo la gente se centró en el aspecto lógico, olvidando la importancia de verificar los supuestos.
En el siglo XVII, Francis Bacon enfatizó que la verificación experimental de los axiomas debe llevarse a cabo de manera rigurosa y no puede tomar el silogismo en sí mismo como la mejor manera de sacar conclusiones en la naturaleza. [9] Bacon propuso un enfoque más inductivo para la observación de la naturaleza, que involucra experimentación y conduce a descubrir y desarrollar axiomas para crear una conclusión más general. [9] Sin embargo, un método completo para sacar conclusiones en la naturaleza no es el alcance de la lógica o el silogismo, y el método inductivo fue cubierto en el tratado posterior de Aristóteles, los Analíticos posteriores .
En el siglo XIX, se incorporaron modificaciones al silogismo para abordar los enunciados disyuntivos ("A o B") y condicionales ("si A entonces B"). Immanuel Kant afirmó en su famosa obra Lógica (1800) que la lógica era la única ciencia completa y que la lógica aristotélica incluía más o menos todo lo que había que saber sobre la lógica (esta obra no es necesariamente representativa de la filosofía madura de Kant, que a menudo se considera una innovación de la lógica misma). La opinión de Kant no fue cuestionada en Occidente hasta 1879, cuando Gottlob Frege publicó su Begriffsschrift ( Escritor de conceptos ), que introdujo un cálculo, un método para representar enunciados categóricos (y también enunciados que no están previstos en el silogismo) mediante el uso de cuantificadores y variables.
Una notable excepción es la lógica desarrollada en la obra de Bernard Bolzano Wissenschaftslehre ( Teoría de la ciencia , 1837), cuyos principios fueron aplicados como una crítica directa de Kant, en la obra publicada póstumamente Nuevo anti-Kant (1850). La obra de Bolzano había sido en gran medida ignorada hasta finales del siglo XX, entre otras razones, debido al ambiente intelectual de la época en Bohemia , que entonces formaba parte del Imperio austríaco . En los últimos 20 años, la obra de Bolzano ha resurgido y se ha convertido en tema tanto de traducción como de estudio contemporáneo.
Esto condujo al rápido desarrollo de la lógica oracional y la lógica de predicados de primer orden , subsumiendo el razonamiento silogístico, que, por lo tanto, después de 2000 años, de repente fue considerado obsoleto por muchos. [ investigación original? ] El sistema aristotélico se explica en los foros académicos modernos principalmente en material introductorio y estudio histórico.
Una notable excepción a esta relegación moderna es la continua aplicación de la lógica aristotélica por parte de los funcionarios de la Congregación para la Doctrina de la Fe y el Tribunal Apostólico de la Rota Romana , que todavía requiere que cualquier argumento elaborado por los abogados se presente en formato silogístico.
La aceptación inquebrantable de George Boole de la lógica de Aristóteles es enfatizada por el historiador de la lógica John Corcoran en una introducción accesible a Laws of Thought . [10] [11] Corcoran también escribió una comparación punto por punto de Prior Analytics y Laws of Thought . [12] Según Corcoran, Boole aceptó y respaldó plenamente la lógica de Aristóteles. Los objetivos de Boole eran "ir por debajo, por encima y más allá" de la lógica de Aristóteles mediante: [12]
Más específicamente, Boole estaba de acuerdo con lo que decía Aristóteles ; los «desacuerdos» de Boole, si se los puede llamar así, se refieren a lo que Aristóteles no dijo. En primer lugar, en el ámbito de los fundamentos, Boole redujo las cuatro formas proposicionales de Aristóteles a una sola forma, la forma de las ecuaciones, lo que en sí mismo era una idea revolucionaria. En segundo lugar, en el ámbito de los problemas de la lógica, la adición de Boole de la resolución de ecuaciones a la lógica (otra idea revolucionaria) implicaba la doctrina de Boole de que las reglas de inferencia de Aristóteles (los «silogismos perfectos») deben complementarse con reglas para la resolución de ecuaciones. En tercer lugar, en el ámbito de las aplicaciones, el sistema de Boole podía manejar proposiciones y argumentos de múltiples términos, mientras que Aristóteles sólo podía manejar proposiciones y argumentos de sujeto-predicado de dos términos. Por ejemplo, el sistema de Aristóteles no podía deducir: “Ningún cuadrángulo que sea un cuadrado es un rectángulo que sea un rombo” de “Ningún cuadrado que sea un cuadrángulo es un rombo que sea un rectángulo” o de “Ningún rombo que sea un rectángulo es un cuadrado que sea un cuadrángulo”.
Un silogismo categórico consta de tres partes:
Cada parte es una proposición categórica , y cada proposición categórica contiene dos términos categóricos. [13] En Aristóteles, cada una de las premisas está en la forma "Todos los S son P", "Algunos S son P", "Ningún S es P" o "Algunos S no son P", donde "S" es el término sujeto y "P" es el término predicado:
Los lógicos más modernos permiten algunas variaciones. Cada una de las premisas tiene un término en común con la conclusión: en una premisa mayor, este es el término mayor (es decir, el predicado de la conclusión); en una premisa menor, este es el término menor (es decir, el sujeto de la conclusión). Por ejemplo:
Cada uno de los tres términos distintos representa una categoría. En el ejemplo anterior, humanos , mortal y griegos : mortal es el término principal y griegos el término secundario. Las premisas también tienen un término en común entre sí, que se conoce como término medio ; en este ejemplo, humanos . Ambas premisas son universales, al igual que la conclusión.
Aquí, el término mayor es morir , el término menor es hombres y el término medio es mortales . Nuevamente, ambas premisas son universales, por lo tanto, también lo es la conclusión.
Un polisilogismo, o sorites , es una forma de argumentación en la que una serie de silogismos incompletos se organiza de tal 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, se podría argumentar que todos los leones son grandes felinos, todos los grandes felinos son depredadores y todos los depredadores son carnívoros. Concluir que, por lo tanto, todos los leones son carnívoros es construir un argumento sorites.
Hay una infinidad de silogismos posibles, pero sólo 256 tipos lógicamente distintos y sólo 24 tipos válidos (enumerados a continuación). Un silogismo adopta la forma (nota: M – medio, S – sujeto, P – predicado):
Las premisas y la conclusión de un silogismo pueden ser de cuatro tipos, que se identifican con letras [14] de la siguiente manera. El significado de las letras se indica en la tabla:
En Analítica previa , Aristóteles utiliza principalmente las letras A, B y C (letras griegas alpha , beta y gamma ) como marcadores de posición de términos, en lugar de dar ejemplos concretos. Es tradicional utilizar is en lugar de are como cópula , por lo tanto All A is B en lugar de All A are Bs . Es una práctica tradicional y conveniente utilizar a, e, i, o como operadores infijos para que las declaraciones categóricas se puedan escribir de forma sucinta. La siguiente tabla muestra la forma más larga, la forma abreviada sucinta y las expresiones equivalentes en lógica de predicados:
La convención aquí es que la letra S es el sujeto de la conclusión, P es el predicado de la conclusión y M es el término medio. La premisa mayor vincula M con P y la premisa menor vincula M con S. Sin embargo, el término medio puede ser el sujeto o el predicado de cada premisa donde aparece. Las diferentes posiciones de los términos mayor, menor y medio dan lugar a otra clasificación de silogismos conocida como figura . Dado que en cada caso la conclusión es SP, las cuatro figuras son:
(Nótese, sin embargo, que, siguiendo el tratamiento de las figuras por parte de Aristóteles, algunos lógicos (por ejemplo, Peter Abelard y Jean Buridan) rechazan la cuarta figura como una figura distinta de la primera.)
Si sumamos todo, hay 256 tipos posibles de silogismos (o 512 si se cambia el orden de las premisas mayores y menores, aunque esto no supone ninguna diferencia lógica). Cada premisa y conclusión pueden ser del tipo A, E, I u O, y el silogismo puede ser cualquiera de las cuatro figuras. Un silogismo se puede describir brevemente dando las letras de las premisas y la conclusión seguidas del número de la figura. Por ejemplo, el silogismo BARBARA que aparece a continuación es AAA-1, o "AAA en la primera figura".
La gran mayoría de las 256 formas posibles de silogismo son inválidas (la conclusión no se sigue lógicamente de las premisas). La siguiente tabla muestra las formas válidas. Incluso algunas de ellas a veces se considera que cometen la falacia existencial , lo que significa que son inválidas si mencionan una categoría vacía. Estos patrones controvertidos están marcados en cursiva . Todos menos cuatro de los patrones en cursiva (felapton, darapti, fesapo y bamalip) son modos debilitados, es decir, es posible extraer una conclusión más fuerte de las premisas.
Las letras A, E, I y O se han utilizado desde las escuelas medievales para formar nombres mnemotécnicos para las formas como sigue: 'Barbara' significa AAA, 'Celarent' significa EAE, etc.
Junto a cada premisa y conclusión hay una descripción abreviada de la oración. Así, en AAI-3, la premisa "Todos los cuadrados son rectángulos" se convierte en "MaP"; los símbolos significan que el primer término ("cuadrado") es el término intermedio, el segundo término ("rectángulo") es el predicado de la conclusión y la relación entre los dos términos se etiqueta como "a" (Todos los M son P).
La siguiente tabla muestra todos los silogismos que son esencialmente diferentes. Los silogismos similares comparten las mismas premisas, solo que escritas de forma diferente. Por ejemplo, "Algunas mascotas son gatitos" (SiM en darii) también podría escribirse como "Algunas mascotas son gatitos" (MiS en datisi).
En los diagramas de Venn, las áreas negras indican que no hay elementos y las áreas rojas indican que hay al menos un elemento. En las expresiones de lógica de predicados, una barra horizontal sobre una expresión significa negar ("no lógico") el resultado de esa expresión.
También es posible utilizar gráficos (que consisten en vértices y aristas) para evaluar silogismos. [15]
Similares: Cesare (EAE-2)
Similares: Datisi (AII-3)
Similares: Festino (EIO-2), Ferison (EIO-3), Fresison (EIO-4)
Similares: Cesaro (EAO-2)
Similares: Calemos (AEO-4)
Similares: Fesapo (EAO-4)
Esta tabla muestra los 24 silogismos válidos, representados por diagramas de Venn . Las columnas indican similitud y están agrupadas por combinaciones de premisas. Los bordes corresponden a conclusiones. Las que tienen un supuesto existencial están en línea discontinua.
Con Aristóteles, podemos distinguir términos singulares , como Sócrates , y términos generales, como Griegos . Aristóteles distinguió además los tipos (a) y (b):
Tal predicación se conoce como distributiva , en oposición a no distributiva como en Los griegos son numerosos . Está claro que el silogismo de Aristóteles funciona solo para la predicación distributiva, ya que no podemos razonar Todos los griegos son animales, los animales son numerosos, por lo tanto, todos los griegos son numerosos . En opinión de Aristóteles, los términos singulares eran del tipo (a) y los términos generales del tipo (b). Por lo tanto, los hombres pueden predicarse de Sócrates , pero Sócrates no puede predicarse de nada. Por lo tanto, para que un término sea intercambiable (es decir, que esté en la posición de sujeto o predicado de una proposición en un silogismo), los términos deben ser términos generales, o términos categóricos, como se los llamó. En consecuencia, las proposiciones de un silogismo deben ser proposiciones categóricas (ambos términos generales) y los silogismos que emplean solo términos categóricos pasaron a llamarse silogismos categóricos .
Está claro que nada impediría que un término singular apareciera en un silogismo, siempre que estuviera siempre en la posición del sujeto; sin embargo, tal silogismo, incluso si fuera válido, no es un silogismo categórico. Un ejemplo es Sócrates es un hombre, todos los hombres son mortales, por lo tanto, Sócrates es mortal. Intuitivamente, esto es tan válido como Todos los griegos son hombres, todos los hombres son mortales, por lo tanto, todos los griegos son mortales . Argumentar que su validez puede explicarse por la teoría del silogismo requeriría que mostráramos que Sócrates es un hombre es el equivalente de una proposición categórica. Se puede argumentar que Sócrates es un hombre es equivalente a Todos los que son idénticos a Sócrates son hombres , por lo que nuestro silogismo no categórico puede justificarse mediante el uso de la equivalencia anterior y luego citando a BARBARA.
Si un enunciado incluye un término tal que el enunciado es falso si el término no tiene instancias, entonces se dice que el enunciado tiene importancia existencial con respecto a ese término. Es ambiguo si un enunciado universal de la forma Todo A es B debe considerarse verdadero, falso o incluso carente de sentido si no hay A. Si se considera falso en tales casos, entonces el enunciado Todo A es B tiene importancia existencial con respecto a A.
Se afirma que el sistema lógico de Aristóteles no cubre casos en los que no existen instancias. El objetivo de Aristóteles era desarrollar una lógica para la ciencia. Relega ficciones como las sirenas y los unicornios al ámbito de la poesía y la literatura. En su mente, existen fuera del ámbito de la ciencia, por lo que no deja lugar para esas entidades inexistentes en su lógica. Esta es una elección meditada, no una omisión involuntaria. Técnicamente, la ciencia aristotélica es una búsqueda de definiciones, donde una definición es "una frase que significa la esencia de una cosa". Como las entidades inexistentes no pueden ser nada, en la mente de Aristóteles no poseen una esencia. Es por eso que no deja lugar para entidades ficticias como los ciervos-cabra (o los unicornios). [16]
Sin embargo, muchos sistemas lógicos desarrollados desde entonces sí consideran el caso en el que puede no haber instancias. Los lógicos medievales eran conscientes del problema del significado existencial y sostenían que las proposiciones negativas no tienen significado existencial y que las proposiciones positivas con sujetos que no suponen son falsas.
Surgen los siguientes problemas:
Por ejemplo, si se acepta que AiB es falso si no hay As y AaB implica AiB, entonces AiB tiene importancia existencial con respecto a A, y también AaB. Además, si se acepta que AiB implica BiA, entonces AiB y AaB tienen importancia existencial con respecto a B también. De manera similar, si AoB es falso si no hay As, y AeB implica AoB, y AeB implica BeA (que a su vez implica BoA), entonces tanto AeB como AoB tienen importancia existencial con respecto a A y B. De ello se sigue inmediatamente que todos los enunciados categóricos universales tienen importancia existencial con respecto a ambos términos. Si AaB y AeB son una representación justa del uso de enunciados en lenguaje natural normal de Todo A es B y Ningún A es B respectivamente, entonces surgen las siguientes consecuencias de ejemplo:
Si se decide que ningún enunciado universal tiene importancia existencial, entonces el cuadrado de oposición falla en varios aspectos (por ejemplo, AaB no implica AiB) y varios silogismos ya no son válidos (por ejemplo, BaC, AaB -> AiC).
Estos problemas y paradojas surgen tanto en los enunciados en lenguaje natural como en los enunciados en forma de silogismo debido a la ambigüedad, en particular la ambigüedad con respecto a Todo. Si "Fred afirma que todos sus libros ganaron el Premio Pulitzer", ¿está Fred afirmando que escribió algún libro? Si no, ¿es cierto lo que afirma? Supongamos que Jane dice que ninguno de sus amigos es pobre; ¿es eso cierto si no tiene amigos?
El cálculo de predicados de primer orden evita tal ambigüedad al usar fórmulas que no tienen importancia existencial con respecto a enunciados universales. Las afirmaciones existenciales deben enunciarse explícitamente. Por lo tanto, los enunciados en lenguaje natural (de las formas Todo A es B, Ningún A es B , Algún A es B y Algún A no es B) pueden representarse en el cálculo de predicados de primer orden en el que cualquier importancia existencial con respecto a los términos A y/o B es explícita o no se hace en absoluto. En consecuencia, las cuatro formas AaB, AeB, AiB y AoB pueden representarse en el predicado de primer orden en cada combinación de importancia existencial, de modo que puede establecer qué interpretación, si la hay, preserva el cuadrado de oposición y la validez del silogismo tradicionalmente válido. Strawson afirma que tal interpretación es posible, pero los resultados son tales que, en su opinión, la respuesta a la pregunta (e) anterior es no .
La gente a menudo comete errores al razonar silogísticamente. [17]
Por ejemplo, a partir de las premisas algunos A son B, algunos B son C, la gente tiende a llegar a una conclusión definitiva de que, por lo tanto, algunos A son C. [18] [19] Sin embargo, esto no se sigue de acuerdo con las reglas de la lógica clásica. Por ejemplo, mientras que algunos gatos (A) son cosas negras (B), y algunas cosas negras (B) son televisores (C), no se sigue de los parámetros que algunos gatos (A) sean televisores (C). Esto se debe a que en la estructura del silogismo invocado (es decir, III-1) el término medio no está distribuido ni en la premisa mayor ni en la premisa menor, un patrón llamado la " falacia del término medio no distribuido ". Debido a esto, puede ser difícil seguir la lógica formal, y se necesita una mirada más atenta para garantizar que un argumento sea, de hecho, válido. [20]
Para determinar la validez de un silogismo es necesario determinar la distribución de cada término en cada enunciado, es decir, si se tienen en cuenta todos los miembros de ese término.
En patrones silogísticos simples, las falacias de patrones inválidos son:
