The divers works of a man are likely to bear some relation and resemblance to each other. Abaelard was a reasoner, more specifically speaking, a dialectician according to the ways of Aristotelian logic. And in categories of formal logic he sought to rationalize every matter apprehended by his mind. Swayed by the master-interest of the time, he turned to theology; and his own nature impelled him to apply a constructive dialectic to its systematic formulation. The result is exemplified in the extant portion of his _Theologia_ (mis-called _Introductio ad Theologiam_), which was condemned by the Council of Sens in 1141, the year before the master’s death. The spirit of this work appears in the passage already quoted from the _Historia calamitatum_, referring to what was substantially an earlier form of the _Theologia_.[427] The _Theologia_ argues for a free use of dialectic in expounding dogma, especially in order to refute those heretics who will not listen to authority, but demand reasons. Like Abaelard’s previous theological treatises, it is filled with citations of authority, principally Augustine; and the reader feels the author’s hesitancy to reveal that dialectic is the architect. Nor, in fact, is the work an exclusively dialectic structure; yet it illustrates (if it does not always inculcate) the application of the arguments of human reason to the exposition and substantiation of the fundamental and most deeply hidden contents of the Christian Faith. Obviously Abaelard was not an initiator here. Augustine had devoted his life to fortifying the Faith with argument and explanation; Eriugena, with a far weaker realization of its contents, had employed a more distorting metaphysics in its presentation; and saintly Anselm had flown his veritable eagle flights of reason. But Abaelard’s more systematic work represents a further stage in the application of independent dialectic to dogma, and an innovating freedom in the citation of pagan philosophers to demonstrate its philosophic reasonableness. Nevertheless his statement that he had gathered these citations from writings of the Fathers, and not from the books of the philosophers (_quorum pauca novi_),[428] shows that he was only using what the Fathers had made use of before him, and also indicates the slightness of his independent knowledge of Greek philosophy.