This is a copy of a segment of a treatise on Arabic logic, the Tractatus de logica that comes from a larger collection of three treatises, called Summa theoricae philosophiae by the 11th century Muslim theologian and philosopher, Al-Ghāzāli. These treatises are a Latin compilation and translation of Al-Ghāzāli's Arabic work, which is one of the earliest texts through which 12th century European scholars engaged with Arabic logic, and learned about the transmission and relationship of these Arabic works to the work of the ancient Greeks philosophers, such as Aristotle. Arabic scholars like Al-Ghāzāli had preserved ancient texts by building upon them in their own study. Significantly, Arabic works, like Al-Ghāzāli's that gained the attention of European scholars in the 12th century, had great influence on Christian medieval theologians, such as Thomas Aquinas, and in many texts and manuscripts scribes incorporated Al-Ghāzāli's texts (among other Arabic thinkers) in alongside established Church thought from the Church fathers such as Saint Augustine and Thomas Aquinas.