studium-veritatis-17-fondo-editorial-ucss

DESCARTES Y LOS INICIOS DE LA LÓGICA FACULTATIVAConsideremos, antes de proseguir con nuestro análisis, dosdefiniciones importantes relativas a la demostración y al silogismo, las cualesaparecen en el Órganon. Aunque Aristóteles no proporciona definiciónalguna de silogismo, 22 se puede establecer por los ejemplos mencionados enlos Analíticos primeros (i 4-22) la siguiente enunciación: 23Silogismo 1 =(df) argumento que contiene dos premisas yuna conclusión, siendo cada una de estas proposiciones unaproposición categórica, y poseyendo un total de tres términos,uno de los cuales (llamado término medio) está presente en cadapremisa, pero no en la conclusión.Aristóteles analiza, a su vez, la noción de demostración en losprimeros seis capítulos de los Analíticos segundos. Una demostración esuna especie de deducción o syllogismos tis, en virtud de la cual «poseemosconocimiento» (An. pr. I 4, 25b 30). 24 La deducción demostrativa podríaser definida de la siguiente forma (es necesario emplear una definiciónrecursiva): 25Deducción o silogismo demostrativo 1 =(df)(1) ({a 1, a 2,...,a n}, σ) es una demonstración de σ si(i) ({a 1, a 2,...,a n}, σ) es una deducción; y(ii) cada a es una premisa probatoria para σ(2) a es una premisa probatoria de σ si(i) a es un principio de σ, óRevista STUDIUM VERITATIS, Año 11, N. 17, 2013 (pp.55-91)— 69 —