Logica: Aristotelis Ex Tertia Recognitione. Libri Logicorumad Archetypos Recogniti.

Being one of the six extant Aristotelian writings on logic and scientific method, The Prior Analytics was first composed around 350 BCE. The work represents the first formal study of logic, where logic is understood as the study of arguments. In the Prior Analytics, Aristotle identifies valid and invalid forms of arguments called syllogisms. A syllogism is an argument that consists of at least three sentences: at least two premises and a conclusion. Although Aristotle does not call them "categorical sentences," tradition does; he deals with them briefly in the Analytics and more extensively in On Interpretation. In the sixth century, Boethius composed the first known Latin translation of the Prior Analytics. No Westerner between Boethius and Bernard of Utrecht is known to have read it.