Résultats de recherche

filters logos

Filtrer les résultats

arrow down
Années
exclamation icon
Type de contenu
Exporter les résultats Sauvegarder les résultats
1 résultats de recherche
pen icon Colloque
Examen des fondements de la théorie d'Aristote sur le mouvement à l'aide des méthodes logiques modernes
quote

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.

quote