Erudito (sec. 12º); rivelò all'Occidente la "logica nova" di Aristotele, traducendo dal greco in latino e commentando (1128 circa) gli Analitici primi e secondi, i Topici e gli Elenchi sofistici. A lui si deve anche la traduzione di altre opere aristoteliche: della Physica, del De anima, di parte dei Parva naturalia e della Metaphysica (la cosiddetta Metaphysica vetustissima).