OSTENSIVO

En An. pr. I, 23, 40 b, 25 y sigs., Aristóteles se refiere a dos modos de probar silogismos: la prueba indirecta y la prueba directa. La prueba indirecta es la prueba apagógica o por reducción al absurdo, que Aristóteles considera como parte de la prueba a base de hipótesis. En una prueba indirecta se establece que una premisa es válida mostrando que de aceptarse la negación de la misma se obtendría una contradicción. La prueba directa, en cambio, no practica la reducción apagógica, sino la llamada «reducción ostensiva». Aristóteles habla al efecto de los silogismos ostensivos (o de demostración directa), los cuales se reducen a las tres figuras. La prueba consiste en asumir un silogismo en el cual se quiere concluir P de S. En tal silogismo el término medio debe estar unido a cada