TRATADOS DE LA L GICA DE ARISTOTELES

TRATADOS DE LA LÓGICA DE ARISTOTELES

Resumen de Lógica Aristotélica Calixto Badesa Departamento de Lógica, Historia y Filosof´ıa de la Ciencia 16 de abril de 2010 1. El Órganon Los tratados de L´ogica de Arist´oteles se agrupan en una colección que se conoce con el nombre de Organon. Listadas en el orden sistem´atico usual, las obras que componen el Organon son las siguientes: Categor´ıas (1),De Interpretatione (4), Primeros anal´ıticos (5), Segundos anal´ıticos (6), T´opicos (2) y Refutaciones sof´ısticas (3). Todas las obras de l´ogica fueron escritas en el per´ıodo del Liceo (335-322). Es problem´atico determinar el orden en que Arist´oteles las escribi´o, porque ´el mismo las revisaba constantemente y a˜nad´ıa referencias a obras posteriores. El orden cronol´ogico aceptado es elque indican los n´umeros que figuran entre par´entesis. (Una parte de los T´opicos parece escrita despu´es de descubrir los silogismos, pero antes de escribir los Anal´ıticos.) Entre los escritos de inter´es l´ogico puede mencionarse tambi´en el libro IV de la Metaf´ısica (libro Γ), donde Arist´oteles habla de la noci´on de verdad y discute los principios del tercio excluso y de no contradicci´on.Las Categor´ıas es un libro en la frontera entre la l´ogica y la metaf´ısica que Arist´oteles dedica al estudio de la predicaci´on. En De Interpretatione Arist´oteles estudia los enunciados (el t´ıtulo es poco afortunado, pero no es de Arist´oteles). Los Primeros Anal´ıticos est´an dedicados fundamentalmente al estudio de los silogismos (tanto los categ´oricos como los modales y los hipot´eticos).Contienen, por tanto, lo que podemos consideran como la “l´ogica formal” de Arist´oteles. Los ´ultimos 5 cap´ıtulos del segundo libro los dedica a estudiar los argumentos por inducci´on. Los Segundos Anal´ıticos es una obra de filosof´ıa de la ciencia. Contiene la teor´ıa de la definici´on y la concepci´on aristot´elica de la ciencia. Los T´opicos son un manual de dial´ectica. Se trata de unconjunto de reglas y consejos ´utiles para la participaci´on en los debates p´ublicos. Seg´un Arist´oteles, los debates dial´ecticos ayudan discernir entre lo verdadero y lo falso. Aunque tradicionalmente se las considera por separado, las Refutaciones Sof´ısticas son un ap´endice de los T´opicos que trata de los diversos tipos de falacias. De hecho, el apartado final de conclusiones abarca tambi´enlos T´opicos. Arist´oteles examina gran cantidad de argumentos falaces explicando en cada caso donde est´a la incorrecci´on. 1 Resumen de L´ogica Aristot´elica 2 2. Tipos de enunciados En l´ogica aristot´elica se llama t´ermino a la expresi´on que puede desempe˜nar la funci´on de sujeto o de predicado en una oraci´on atributiva de la forma sujeto + verbo ser + predicado. T´erminos singulares sonaquellos que pueden desempe˜nar la funci´on de sujeto, pero no de predicado. Los nombres propios y, en general, las expresiones que nombran un objeto individual son t´erminos singulares. Los t´erminos generales son aquellos que pueden desempe˜nar tanto la funci´on sujeto como la de predicado. Los nombres comunes, los adjetivos y, en general, las expresiones que usamos para decir que uno o variosobjetos tienen cierta propiedad son t´erminos generales. Supongamos que a es un t´ermino singular, y S y P son t´erminos generales. Seg´un Arist´oteles, los enunciados atributivos b´asicos son de alguno de los siguientes tipos: Enunciados singulares : a es P (afirmaci´on), a no es P (negaci´on). Enunciados indefinidos : S es P (afirmaci´on), S no es P (negaci´on). Universal afirmativo (A) : Todo S esP. Universal negativo (E) : Ning´un S es P. Particular afirmativo (I) : Alg´un S es P. Particular negativo (O) : No todo S es P (Alg´un S no es P). (Las dos formas de los enunciados particulares negativos se consideran l´ogicamente equivalentes y, por tanto, se usan indistintamente en la l´ogica tradicional.) En los Primeros Anal´ıticos, Arist´oteles prefiere formular los enunciados atributivos...