AVERROÉs, De Caelo, lib. II, comm

(' Mais la théorie dont nous parlons n'appartient à aucan de ces modes de démonstration ; en cette théorie, en effet, ce sont les principes qui sont cachés ; mais ces principes ne sont nullement nécessités par les effets connus ; les astronomes se contentent de poser ces principes, bien qu'ils les ignorent.

« Si vous considérez, d'ailleurs, les effets en vue desquels les astronomes posent ces principes, vous n'y trouverez rien d'où se puisse conclure, d'une manière essentielle et nécessaire, qu'il en est ainsi. Seulement les astronomes, ayant posé des principes qui leur sont inconnus et en ayant tiré des conséquences qui sont connues, ont admis la réciproque. »

Poser a priori des hypothèses mathématiques, en tirer des corollaires qui soient la représentation fidèle des faits observés, c'est, pour l'astronome disciple de Ptolémée, l'œuvre essentielle de celui qui compose une théorie ; il serait bien fou de penser que l'expérience, alors qu'elle s'accorde avec les résultats de ses déductions,* en transforme les prémisses en vérités démontrées ; rien ne prouve, en effet, que des prémisses toutes différentes n'eussent pu conduire aux mêmes conclusions ; contre une telle erreur, Averroès a raison de le mettre en garde. Mais il ne commettra pas cette erreur, il ne tournera pas dans le cercle vicieux que lui reproche le Commentateur, s'il aperçu le but véritable assigné à l'Astronomie par Posidonius, par Ptolémée, par Proclus, par Simplicius ; aux hypothèses qui portent sa théorie, il ne demandera pas d'être vraies, d'être conformes à la nature des choses ; il lui suffira que les résultats du calcul s'accordent avec ceux de l'observation, que les apparences soient sauvées.

D'une semblable théorie astronomique, Averroès ne veut pas se contenter ; il exige que la Science des mouvements célestes tire ses principes des enseignements de la Physique, et de la seule Physique qui soit véritable à ses yeux, de celle d'Aristote :

(( Il faut donc * que l'astronome construise un système

1. Averroès, Metaphysica.Wh, XII, suinma II, cap IV, comm. 45.

astronomique tel que les mouvements célestes en résultent et qu'il n'implique aucune impossibilité au point de vue de

la Physique Ptolémée n'a pu parvenir à faire reposer

l'Astronomie sur ses véritables fondements L'épicycle et Texcentrique sont impossibles. 11 est donc nécessaire de se livrer à de nouvelles recherches au sujet de cette Astronomie véritable, dont les fondements sont des principes de Physique ... .En réalité, l'Astronomie de notre temps n'existe pas ; elle convient au calcul, mais ne s'accorde pas avec ce qui est. »

Averroès n'eut pas le loisir d'entreprendre la tâche qu'il jugeait nécessaire, de construire un système astronomique qui ne fût pas seulement capable de sauver les apparences^ mais qui reposâtsur deshypothèses conformesàla nature des choses, sur des principes tirés de la Physique et de la Métaphysique d'Aristote. « Dans ma jeunesse, dit-il*, j'espérais que cette recherche serait accomplie par moi-même ; parvenu déjà à la vieillesse, je ne l'espère plus ; mais peut-être que ces paroles inciteront quelqu'un à reprendre cette étude. » Ce vœu d'Averroès fut accompli par son contemporain et condisciple Al-Bitrogi.

Élève d'IbnTofaïl comme Averroès, comme lui, adversaire déterminé du système de Ptolémée, qu'il paraît surtout connaître sous la forme que lui a imposée Thâbit ibn Kourrah, AI-Bitrogi (Alpetragius) entreprend de substituer un système nouveau aux doctrines de VAlmageste. Comme Averroès, il prétend que les principes sur lesquels repose cette théorie des planètes soient prouvés par des raisons tirées de la Physique, et il n'hésite pas à intituler son traité : Planetarum theorica, physicis rationibus probala '.

A la vérité Ja Métaphysique dont se réclament les principes posés par Al-Bitrogi à la base de son Astronomie n'a,