Aristotle distinguishes demonstrative sign-inference (tekmerion) from merely probable sign-inference...