Por Lógica se entiende la ciencia que tiene por objeto el estudio de las leyes que regulan la validez formal de la inferencia. Esta definición, concisa pero certera, condensa lo más esencial del significado de este saber ancestral fundado por Aristóteles cuyos elementos sustantivos pasamos ahora a analizar con cierto detalle.»La producción más relevante de Aristóteles en el ámbito de la lógica es el descubrimiento de la teoría de la deducción, la silogística, y el planteamiento, unido a ella, de que determinadas deducciones pueden ser consideradas válidas sobre la base únicamente de su forma. Un silogismo consiste en dos premisas y una conclusión. Por ejemplo: primera premisa: «Todos los seres humanos son mortales»; segunda premisa: «Todos los reyes son seres humanos»; conclusion: todos los reyes son mortales. Un silogismo en el que «ser humano» es el concepto central que desaparece en la conclusión. La consecuencia es necesariamente verdadera. Aristóteles denomina los silogismos de…