Lógica de Silogismos: Tipos, Reglas y Validez del Razonamiento Deductivo

Tipos y Validez de Silogismos en Lógica Formal

En lógica formal, los silogismos son una herramienta fundamental para el razonamiento deductivo. Se clasifican en diversas categorías, cada una con su estructura y reglas específicas. A continuación, exploraremos los silogismos hipotéticos, disyuntivos y condicionales, así como la determinación de su validez y las reglas que rigen los silogismos categóricos.

Silogismo Hipotético: Estructura y Variantes

El silogismo hipotético se diferencia del categórico porque relaciona proposiciones, y su premisa mayor es siempre una proposición compuesta, ya sea disyuntiva, conjuntiva o condicional. Está formado por:

Silogismo Disyuntivo

Existen dos tipos de disyunciones: la inclusiva (representada por "y/o") y la exclusiva (representada por "o... o bien"). El silogismo disyuntivo se estructura de la siguiente forma:

• Premisa Mayor: Una proposición disyuntiva.
• Premisa Menor: Se afirma o se niega una parte de la disyunción.
• Conclusión: Se niega o se afirma la otra parte de la disyunción.

Toda proposición disyuntiva tiene dos partes, que pueden ser afirmativas o negativas.

Silogismo Condicional

El silogismo condicional (estructurado con "si... entonces...") tiene como primera premisa una proposición condicional. La segunda premisa se formará con la afirmación del antecedente o la negación del consecuente. Por lo tanto, la conclusión será, en el primer caso, la afirmación del consecuente y, en el segundo, la negación del antecedente. De esta manera, permite construir válidamente el silogismo con dos modos principales: Modus Ponens (MPP) y Modus Tollens (MTT).

Determinación de la Validez de un Silogismo Hipotético

Para demostrar la validez de un silogismo hipotético por medio de tablas de verdad, es crucial entender los siguientes principios:

1. Prueba de Invalidez: Un silogismo se demuestra inválido si se encuentra al menos un caso de sustitución en el que todas las premisas son verdaderas y la conclusión es falsa. Si existe tal caso, el razonamiento no es válido.
2. Prueba de Validez: Un silogismo es válido si, y solo si, no existe ningún caso de sustitución en el que todas las premisas sean verdaderas y la conclusión sea falsa. En otras palabras, la verdad de las premisas garantiza la verdad de la conclusión.

Figuras y Reglas del Silogismo Categórico

De acuerdo con la ubicación del término medio en las premisas, se forman cuatro figuras. Cada figura posee un modo, que surge de la combinación de las cuatro proposiciones categóricas (A, E, I, O) en las premisas y la conclusión. Se pueden construir 256 silogismos, de los cuales solo 19 son válidos. Las estructuras lógicas se pueden analizar aplicando las siguientes reglas:

Reglas de los Términos

1. Todo silogismo debe tener exactamente tres términos: mayor, menor y medio.
2. Ningún término (mayor o menor) puede tener mayor extensión en la conclusión que en las premisas.
3. El término medio (M) no debe aparecer en la conclusión.
4. El término medio (M) debe ser universal al menos en una de las premisas.

Reglas de las Premisas

5. De dos premisas negativas no se sigue conclusión válida.
6. De dos premisas particulares no se sigue conclusión válida.
7. La conclusión siempre sigue la parte más débil (si hay una premisa particular, la conclusión es particular; si hay una premisa negativa, la conclusión es negativa).
8. De dos premisas afirmativas no se puede obtener una conclusión negativa.

Comparación de Razonamiento Deductivo y No Deductivo

Los razonamientos pueden dividirse en dos grandes grupos:

• Razonamientos Deductivos: Aquellos que ofrecen fundamentos concluyentes para aceptar la conclusión. En el razonamiento deductivo, la conclusión se desprende necesariamente de las premisas. Si las premisas son verdaderas, la conclusión debe ser verdadera.
• Razonamientos No Deductivos: Aquellos que solo ofrecen algún fundamento a favor de la conclusión, pero este fundamento no es concluyente. La conclusión se desprende probablemente de las premisas, pero no con certeza absoluta.