Aristotle's modal proofs : Prior analytics A8-22 in predicate logic.