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

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

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

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

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

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

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

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

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).