 The Consolation of Philosophy, a prosimetrum (a prose work with verse interludes) which recounts, in polished literary language, an imagined dialogue between the prisoner Boethius and a lady who personifies Philosophy, contrasts with the rest of Boethius’s oeuvre. Besides writing text-books on arithmetic and geometry, closely based on Greek models, Boethius devoted himself to translating Aristotle’s logic and commenting on it; he produced a commentary on the Categories and two each on On Interpretation and on the Isagoge (‘Introduction’) by Porphyry, which had become a standard part of the logical curriculum. He also composed logical text-books on division, categorical syllogisms, and on two branches of logic which will require further explanation (see below,  Section 3):  hypothetical syllogisms and topical reasoning (along with a commentary on Cicero’s Topics). In three of his four Theological Treatises (often known as the Opuscula sacra), I, II and V, Boethius uses his logical equipment to tackle problems of Christian doctrine; IV, however, is a straightforward statement of Christian doctrine, a sort of confession of faith; whilst III is a brief, not specifically Christian philosophical treatise.