Introducción a la lógica formal (01)

Sesión 16/22 del Seminario de Filosofía de la UPCM, Tres Cantos, Madrid.
Después de unas consideraciones generales hacemos un breve repaso de la lógica aristotélica, antes de comenzar con la lógica proposicional que trataremos la próxima semana.
Nota: en la grabación no se enuncian completas las reglas del silogismo, por tanto las consigno a continuación.
Reglas del silogismo aristotélico:
• El silogismo no puede tener más de tres términos (P, M, S).
• Los términos no deben tener mayor extensión en la conclusión que en las premisas.
• El término medio no puede entrar en la conclusión.
• El término medio ha de tomarse en su extensión universal al menos una vez.
• De dos premisas negativas no hay conclusión posible.
• De dos premisas afirmativas no puede obtenerse una conclusión negativa.
• De dos premisas particulares no hay conclusión posible.
• La conclusión siempre deber ser más “débil” que las premisas (si hay una premisa particular, la conclusión ha de ser particular y si hay una negativa, la conclusión también debe ser negativa).