Text this: Establishing connections between Aristotle's natural deduction and first-order logic