Colloque

Examen des fondements de la théorie d'Aristote sur le mouvement à l'aide des méthodes logiques modernes

Laurent Larouche

Membre a labase

Laurent Larouche

Résumé du colloque

Il s'agit dans cette communication simplement d'examiner les fondements de la théorie aristotélicienne du changement en donnant une "formalisation" de cette théorie selon les méthodes de la logique moderne. Après avoir expliqué en quoi consiste une telle formalisation, nous indiquerons quelles sont les notions premières et les notions dérivées de la théorie du changement et quelles sont les suppositions (axiomes) suffisantes pour établir la thèse: "Tout ce qui se meut, est mû par un autre". Nous montrerons ensuite que ces axiomes sont non-contradictoires et indépendants.