## [Silogismo](/es/node/71503) Definición Una forma de argumento deductivo compuesta por dos premisas y una conclusión que relacionan tres términos según patrones silogísticos clásicos (típicamente proposiciones categóricas como 'Todos A son B; C es A; por tanto C es B'); la validez depende de la estructura formal del argumento mientras que la solidez requiere además premisas verdaderas. ## Principio Principio La validez de un silogismo es función de su forma lógica y de la distribución de términos; una forma silogística puede ser válida independientemente de la verdad empírica de sus premisas, y un silogismo válido produce una conclusión necesariamente verdadera solo cuando sus premisas son verdaderas (solidez). ## Demostración Demostración Escenario ilustrativo → Situación: Premisas: (1) Todos los mamíferos son de sangre caliente. (2) Todas las ballenas son mamíferos. Reconocimiento: Las premisas encajan en la forma clásica Barbara (Todos A son B; Todas C son A). Acción: Aplicar deducción silogística. Consecuencia: Conclusión: Todas las ballenas son de sangre caliente. La conclusión se sigue válidamente de la forma; su verdad como afirmación factual depende de la veracidad de las premisas. ## Aplicación incorrecta Aplicación incorrecta Inferir conclusiones existenciales a partir de premisas universalmente cuantificadas sin importación existencial (p. ej., concluir 'Existe un A' a partir de 'Todos los A son B' si el dominio puede estar vacío). El error confunde los requisitos de validez formal con supuestos ontológicos no declarados. ## Consecuencia Consecuencia Los silogismos proporcionan un método conciso para derivar consecuencias necesarias a partir de premisas dadas y para exponer supuestos implícitos; mal aplicados, pueden producir argumentos convincentes pero no sólidos si las premisas son falsas o si hay supuestos existenciales tácitos no formulados. ## Inversión Inversión Las reglas silogísticas clásicas deben ser matizadas en la lógica de predicados moderna y en contextos donde la interpretación de cuantificadores, dominios vacíos, operadores modales o referencia plural modifican los patrones inferenciales; algunas inferencias clásicas presuponen importación existencial que las interpretaciones modernas rechazan. ## Límite Límite Claramente dentro: Un argumento categórico de tres términos que encaja en un modo y figura silogísticos válidos (p. ej., Barbara). Caso límite: Argumentos que emplean cuantificadores pero incluyen operadores modales o temporales donde los modos clásicos pueden no aplicarse directamente. Claramente fuera: Pruebas formales multietapa en cálculo proposicional o de predicados que no se basan en la estructura categórica de tres términos. ## Tensión semántica Tensión semántica Validez formal ↔ Verdad empírica — los silogismos separan la forma lógica que asegura validez de la verdad de las premisas necesaria para la solidez; esto genera una tensión entre la certeza deductiva y la justificación empírica de las premisas. ## Síntesis Síntesis Los silogismos actúan como herramienta diagnóstica: muestran qué conclusiones se derivan estrictamente de supuestos dados y distinguen así errores de lógica (forma inválida) de errores de hecho (premisas falsas o supuestos existenciales tácitos).