 A more detailed criticism can be found in De disciplinis of 1531. This encyclopedic treatise is divided into three parts: De causis corruptarum artium (On the Causes of the Corruption of the Arts), seven books devoted to a thoroughgoing critique of the foundations of contemporary education; De tradendis disciplinis (On Handing Down the Disciplines), five books in which Vives outlines his program for educational reform; and five shorter treatises De artibus (On the Arts), dealing mainly with logic and metaphysics. These five treatises include De prima philosophia (On First Philosophy), a compendium of Aristotelian physics and metaphysics from a Christian point of view; De censura veri (On the Assessment of Truth), a discussion of the proposition and the forms of argumentation; De explanatione cuiusque essentiae (On the Explanation of Each Essence); De instrumento probabilitatis (On the Instrument of Probability), which contains a theory of knowledge, as well as a detailed account of dialectical invention; and De disputatione (On Disputation), in which he discusses non-formal proofs. In these treatises, Vives not only continues the trends in humanist dialectic initiated by Valla and Agricola, but also displays a familiarity with philosophical technicalities that was unusual among humanists and that reveals the more traditionally Aristotelian aspects of his thought. His appraisal of the Aristotelian corpus is summarised in Censura de Aristotelis operibus (Assessment of Aristotle’s Works, 1538). A posthumously published treatise entitled Dialectices libri quatuor (Four Books of Dialectic, 1550) appears to be a youthful work that Vives evidently did not consider suitable for publication.