Resumen de Modos Silogísticos y Razonamiento Deductivo

## Introducción La silogística lógica estudia cómo obtener conclusiones válidas a partir de dos premisas relacionadas entre sí. Es una parte fundamental de la lógica clásica y ayuda a razonar con precisión sobre categorías y relaciones entre conceptos, usando estructuras llamadas silogismos. > Definición: Un silogismo es un razonamiento deductivo formado por dos premisas y una conclusión que relacionan tres términos: término mayor, término medio y término menor. ## Componentes de un silogismo - **Término mayor**: el predicado de la conclusión. - **Término menor**: el sujeto de la conclusión. - **Término medio**: aparece en ambas premisas y sirve de puente. > Definición: Premisa mayor es la que contiene el término mayor; premisa menor contiene el término menor. ### Formas de proposiciones usadas - A: afirmación universal (Todos los S son P). - E: negación universal (Ningún S es P). - I: afirmación particular (Algunos S son P). - O: negación particular (Algunos S no son P). ## Reglas básicas para validez 1. El término medio debe aparecer en las dos premisas. 2. Si una premisa es negativa, la conclusión debe ser negativa; si ambas premisas son afirmativas, la conclusión es afirmativa. 3. No se puede inferir una conclusión particular a partir de dos premisas universales sin una premisa particular (salvo reglas de formas válidas específicas). ## Modos y ejemplos comunes (orden clásico: premisa mayor, premisa menor, conclusión) A continuación se presentan modos silogísticos con ejemplos claros y reconstruidos a partir del material original. ### 1. Barbara (Modo AAA) - Forma: A, A, A - Ejemplo: - Todos los humanos son mortales. - Todos los médicos son humanos. - Por lo tanto, todos los médicos son mortales. ### 2. Celarent (Modo EAE) - Forma: E, A, E - Ejemplo: - Ningún reptil tiene plumas. - Todos los víboros son reptiles. - Por lo tanto, ninguna víbora tiene plumas. ### 3. Darí (Modo AII) / Darri (modo AAI en el texto) - Forma típica: A, I, I (o A, A, I según variante) - Ejemplo: - Todos los perros son fieles. - Mi mascota es un perro. - Por lo tanto, mi mascota es fiel. ### 4. Ferio / Ferro (Modo EIO o E10 en el texto) - Forma: E, I, O - Ejemplo: - Ningún mentiroso es confiable. - Algunos políticos son confiables. - Por lo tanto, algunos políticos no son mentirosos. ### 5. Disamis (Modo IAI / 1A1 en el texto) - Forma: I, A, I - Ejemplo: - Algunos artistas son excéntricos. - Todos los artistas son creadores. - Por lo tanto, algunos creadores son excéntricos. ### 6. Datisi / Darapti (variantes AII / A11) - Forma y ejemplo relacionados: - Todos los metales brillan. - Algunos metales son líquidos. - Por lo tanto, algunos líquidos brillan. ### 7. Cesare (Modo EAE) - Forma: E, A, E (similar a Celarent en estructura) - Ejemplo: - Ningún mamífero tiene branquias. - Todos los peces tienen branquias. - Por lo tanto, ningún pez es mamífero. ### 8. Camestres (Modo AEE) - Forma: A, E, E - Ejemplo: - Todos los carros eléctricos usan batería. - Ninguna bicicleta antigua usa batería. - Por lo tanto, ninguna bicicleta antigua es un carro eléctrico. ### 9. Festino (Modo EIO) - Forma: E, I, O - Ejemplo: - Ningún mentiroso es confiable. - Algunos políticos son confiables. - Por lo tanto, algunos políticos no son mentirosos. ### 10. Bocardo / Bacardo (Modo OAO) - Forma: O, A, O - Ejemplo: - Algunos pájaros no vuelan. - Todos los pájaros tienen plumas. - Por lo tanto, algunos animales con plumas no vuelan. ### 11. Ferison (Modo EIO / E10) - Forma: E, I, O (variante de negación general) - Ejemplo similar al de Festino: niega en general y concluye que un grupo particular queda afuera. ## Tabla comparativa de modos (resumen) | Modo | Forma (premisa mayor, premisa menor, conclusión) | Tipo de conclusión | Ejemplo breve | |---|---:|---|---| | Barbara | A, A, A | Universal afirmativa | Todos los médicos son mortales | | Celarent / Cesare | E, A, E | Universal negativa | Ninguna víb