(logic, historical) An exposition or setting out; used by Aristotle in setting forth various proofs, though the nature of the process is disputed; perhaps simply writing out in letter notation.