You might mean different things by "formal logic". It makes a lot of sense to teach Aristotelian logic either before or with Aristotle. But modern mathematical

You might mean different things by "formal logic". It makes a lot of sense to teach Aristotelian logic either before or with Aristotle. But modern mathematical logic really is a different field.