Relativité de l'axiomatisation et vues logistiques de l'ancienne logique : essai sur les restrictions des systèmes d'axiomes formalisés de la syllogistique d'Aristote et de la dialectique des Stoi͏̈ciens en logique formelle contemporaine
Institution:
Lyon 3Disciplines:
Directors:
Abstract EN:
Our essay analyses the limitations of the formalized and axiomatic interpretations of the theories of the ancient logic, spcially the aristotle's system. On one hand, in relation with the philosophical purposes which found epistemologically the theorical requirements and the semantical nature of the systems of the ancient logic. For, these systems coming within their author's pjilosophical conceptions, their formalization and axiomatization produce a kind of methodical abstraction inside the philosophical doctrines which express their reach. On the other hand, according to the relativity of the foremost notions and axioms which are freely choosen as the indefinable concepts and undemonstrable theorems in the formalized and axiomatic presentation of the aristotle's system. Thus, we settle that, the aristotle's syllogistic could not be interpreted as a formal axiomatic system which brings to the notion of thelogical law. So, like the stoic logic, it should be considered as a inferential system built on the formal inference rules which warrant the security of reasoning. Thereby, their modern readings as the systems of logical laws or thesis, would only have a reducing value which rectify and roughly adapt them to the methods of new logic.
Abstract FR:
Notre essai analyse les limitations des interpretations formalisees et axiolatiques des theories de l'ancienne logique, notamment du systeme d'aristote:-d'une part, en rapport aux presupposes philosophique qui fondent epistemologiquement les besoins theoriques et la nature semantique des systemes de logique ancienne. Car, ces systemes s'inscrivant dans des trames philosophiques de leur auteur qui les orientent, leur formalisation et leur axiomatisation operent une sorte d'abstraction methodique a l'interieur des problematiques philosophiques qui dirigent leur portee. D'autre part, en fonction de la relativite des notions et des propositions premieres choisies facultativement comme des indefinissables (notions) et des indemontrables 'axiomes) dans l'exposition formalisee et axiomatique du systeme d'aristite. Pour conclure que la syllogistique d'aristote n'etant pas un systeme de lois logiques, serait comme la dialectique des stoiciens, un systeme d'inference prescrivant des regles logiques assurant la securite du raisonnement. De ce fait, leurs lectures modernes comme des systemes de lois ou theses logiques, n'auraient qu'une valeur reductrice corrigeant et adaptant approximativement les theories de l'ancienne logique aux concepts et methodes logistiques de la pensee logique contemporaine s'inspirant des demarches mathematiques.