Meta-logic in Aristotle's Epistemology